 4*z = -12, 5*z = -q*z + 20. Is 3 not equal to u?
True
Let q = -0.02 + 0.34. Let f = -0.18 + q. Let a = -0.04 + f. Is a smaller than -1?
False
Let h = -239.23 - -238. Let n = -1.3 - h. Let u = 13.2 - 13. Is n equal to u?
False
Let v = -3061/66 - -275/6. Suppose 3*t - 7 = 5. Suppose 4 = t*o + 4*z, -3*o - 2*o + 1 = z. Is o < v?
False
Let d be (0 - (1 - 1))/1. Let t be 4*(d - 5/10). Let q = -161/2 - -79. Is q smaller than t?
False
Let q = -38/13 + 240/91. Which is smaller: q or -0.78?
-0.78
Let y be 180/(-240)*1*(-4)/3. Is 1/67 <= y?
True
Let k = -1.9 - -2. Let r = -7/4 - -25/12. Is r at most k?
False
Suppose 3*r - 9*r = -96. Let n = -27 + r. Which is bigger: n or -21/2?
-21/2
Let f be (3/2)/((-1)/4). Which is smaller: f or 23?
f
Let h = -1896 - -1895. Is h >= -2/1163?
False
Let o = -122 + 59. Which is smaller: o or -64?
-64
Let y = 40339/51 + -791. Let c(r) = 2*r**2 - 3*r - 2. Let s(b) = -b**2 + 2*b + 1. Let p(q) = 2*c(q) + 3*s(q). Let z be p(0). Which is smaller: z or y?
z
Let c = -687/33239 - 2/773. Which is greater: c or -1?
c
Let u = -14 - -34. Let k = 34 - u. Let j = 15 - k. Which is smaller: j or -4?
-4
Let k be 1 + 36/17 - 2/17. Which is smaller: k or 13/3?
k
Suppose 0 = 67*v - 117*v + 100. Let u = 18459/13 + -1419. Which is smaller: v or u?
u
Let r = -94 + 96. Which is bigger: r or 7/6?
r
Let h = -1234 - -1236.9. Is h > 37?
False
Suppose w - j - 20 = -w, -4*w = 5*j - 12. Let a be w/2*279/36. Which is smaller: 30 or a?
30
Let f(b) = -1 + 5 + 3 + b - 6. Let x be f(1). Let p = 1 + x. Which is smaller: 8/3 or p?
8/3
Let d = -0.21228 - -0.07228. Let h = 3 + -7. Is d >= h?
True
Suppose i - 3 + 4 = 0. Let w = 948 - 946. Is w greater than or equal to i?
True
Let p be 1/(-3) + (-2)/(-6). Let g = 6/127151 + 351826739/1652963. Let v = -213 + g. Is p < v?
False
Let p be -3*(3/4)/(81/180). Which is bigger: p or -51/11?
-51/11
Let l = -2 + 9. Let u = l + -3. Suppose 0 = -0*j - j - a + 1, -6 = u*j - a. Which is smaller: -2 or j?
-2
Suppose -3*x = 2*f + f - 9, 0 = 4*f + 5*x - 16. Is -2/665 < f?
False
Suppose 3*d = a + 73, 9*a = d + 4*a - 15. Is d less than or equal to 25?
True
Let r = -19.74 - 14.26. Is 7/8 greater than r?
True
Let u = -71 - -71. Let a be (34/(-10))/(16/(-20)). Let s = a - 19/4. Which is smaller: s or u?
s
Let p be 2/(-9) - 29/(-9). Let c = 4 + -4. Is c at least p?
False
Suppose -v + 78 = 2*v - 3*q, -62 = -3*v - 5*q. Let l = v - 13. Let w be l/15 + (-6)/10. Is w less than 0?
False
Suppose 3*f - 33 = 15. Let u be f/64 - (-86)/40. Is 3 > u?
True
Let k be (-2)/3 + 73/96. Let l = -17427 + 17426.9. Is l equal to k?
False
Let m(g) = -g**2 - 18*g + 704. Let c be m(19). Let h be 12*((-1)/3 - -1). Let v be h/(-170)*10/(-4). Does v = c?
False
Let n = 16 - 16. Let w = -1.88 - -1.96. Which is smaller: n or w?
n
Let c be 2*12/16 - (-4247)/186. Do c and 1.2 have the same value?
False
Let t be (-50)/15*(-3 - 0/2). Suppose 9*c + 44 = t*c. Which is greater: 45 or c?
45
Let r = 26 - 25.95. Let w = -0.05 + 0.17. Let j = 0.08 + w. Is j at least r?
True
Suppose -13 - 7 = -5*f + 5*n, -4*n - 2 = 3*f. Let h = -55/18 - -493/126. Is f at most h?
False
Let t = 31.8 - 31.7. Let d be ((-825)/9)/(-5) + -2. Let n = 17 - d. Which is smaller: n or t?
t
Let h be ((-5)/((-4005)/(-3)))/((-5)/45). Which is smaller: -1 or h?
-1
Let p = -0.2 - -0.3. Let x = 3.37 + -1.37. Which is smaller: p or x?
p
Let o be -7 - -21*(-9)/27. Which is bigger: o or -21?
o
Let a(y) = -8*y. Let u be a(1). Let k be ((-12)/u)/(6/(-10)). Let j = -12 + 11.9. Which is greater: j or k?
j
Let g be (16/6)/(2/(-56)). Let z = g - -79. Let f(i) = -3*i**3 + 3*i**2 - i + 4. Let o be f(0). Which is smaller: o or z?
o
Let f(p) = 5*p - 2. Let k be f(-2). Suppose 0 = 6*s - 305 + 311. Let d = k + s. Is -1 less than d?
False
Let g = 44 - -8. Is g at least 0?
True
Let z = -3155/7 - -452. Which is bigger: z or 2?
2
Let y(x) = -x**3 - 25*x**2 - 19*x + 29. Let r be y(-24). Let v = r + 96. Is v < 2?
False
Suppose 3*c = 9, 3*i + 26 = 3*c - 10. Let m be (i/12 - -1)*4. Let q = -1 + m. Are q and -6/5 equal?
False
Let g(c) be the first derivative of -c**2/2 - 2*c - 4. Let k be g(-9). Suppose 2*m + k = z, 11 = -z - 3*z - 5*m. Which is greater: -1 or z?
z
Let b = 10902/29 + -376. Let d be (-6)/3 + 2 + 2. Suppose 5 = 3*k + d. Which is smaller: b or k?
b
Let z = 4.66 + 1.34. Which is bigger: z or 2?
z
Let k be ((-4)/(-10))/((-5)/525). Let s be (-25)/k + (-45)/105. Which is greater: s or -0.8?
s
Let w = 34 - 42. Let r be (w/(-48))/(3/(-2)). Are r and -1 nonequal?
True
Suppose -4*o - 7 = 21. Which is greater: o or -31/5?
-31/5
Let r = 31.3 + -31.527. Let p = r - 0.003. Let l = 0.13 + p. Which is smaller: -7 or l?
-7
Let x be (-26)/(-221) - 268/(-34). Which is smaller: x or 3?
3
Let v = 4 + -6. Let u(k) = k**2 + 2. Let j = 13 + -13. Let x be u(j). Which is smaller: v or x?
v
Let o be 1/(-5) - 19617/65. Which is smaller: o or -301?
o
Let x = 136.3 - 136.5. Let i = -2 - -3. Let s = i - 1. Which is smaller: s or x?
x
Let y = -86 + 26. Let o = y + 59.9. Which is greater: 9 or o?
9
Let s(p) be the third derivative of -p**5/60 + p**4/12 + p**3/6 - 12*p**2. Let c be s(0). Is c < 4?
True
Suppose -5*x - w = -2, 4*x - 3*w - 2 = -8. Is x not equal to 3/371?
True
Suppose -5*a - 3*f + 90 = 2*f, -7 = a - 4*f. Let u be 12*1 + (1 - 3). Let c = u - a. Does c = -2?
False
Suppose 5*c - 133 = -2*c. Suppose 0 = -4*w + r - 17, -5*w = -r + 1 + c. Which is greater: -5/3 or w?
-5/3
Suppose 3*o - 6 = -0. Let i(k) = -2*k - k - 10 + 2*k + 11. Let a be i(o). Which is bigger: a or -1/8?
-1/8
Let f = -152 - -322. Let w = f - 170. Let h = -7.1 + 1.1. Is w greater than or equal to h?
True
Let w = 99 + -71. Let o = w + -28.92. Let j = o + -0.08. Which is greater: 2/7 or j?
2/7
Let d(s) = -15 + s - s - s - 2*s. Let u be d(-6). Are u and 13/3 non-equal?
True
Let i be 231/(-55) + (-1)/5*-1. Let q be 1 + i - (-1105)/365. Is q >= 0?
True
Let g be ((-104)/(-1690))/(52/(-30)). Is -1 at least as big as g?
False
Let c = -5.91 + -1.39. Let k = 7.4 + c. Are -71 and k equal?
False
Let a = -7 + 17. Let k(z) = z - a + 2 + z. Let x be k(9). Which is greater: x or 11?
11
Let s = -8 - -2. Suppose 3 = -2*i + y, -4 = -2*y + 2. Let p = i + 0. Is s <= p?
True
Suppose 3*s - 65 = 2*i, 0 = 149*i - 151*i - s - 85. Which is greater: -5 or i?
-5
Let g be (6/(-10))/(3/(-15)). Are g and 38/21 non-equal?
True
Let v = -462 - -476. Is 23 at most as big as v?
False
Let o = -37 - 5. Let b = 655 + -626. Let a = o + b. Is -1 greater than a?
True
Let i = -5 + 1. Let d(n) = 8 + n**2 + 8 + 7*n - 2 - 2*n - 13. Let j be d(i). Are j and -5 equal?
False
Suppose 2*x = 5*g - 5, -9 = -4*g + x - 2. Let k = 0 + 3. Let v be (4/g)/(5/k). Which is greater: 1/3 or v?
v
Let b be 3*((-4 - -6) + -1). Let q be b/2*((-140)/21 + -2). Which is bigger: -14 or q?
q
Let u(l) = 3*l**3 - 6*l**2 - 2*l - 1. Let v(n) = 7*n**3 - 13*n**2 - 5*n - 3. Let i(g) = -5*u(g) + 2*v(g). Let f be i(3). Is -1/2 <= f?
True
Let y = 52 + 87. Let q = -244 + y. Let m = -527/5 - q. Is -6 greater than m?
False
Let o = -34 - -38. Suppose 60 = 5*t - o*g, 0*g - 12 = -t - 2*g. Is t at most 11?
False
Let s = 23/265 + 6/53. Let z be 0/(1 - -4) - -3. Suppose 0 = 3*f + z*p + 6, 2 = p + 4. Which is greater: f or s?
s
Let i be -9 - 3*(-4365)/1431. Which is greater: 0 or i?
i
Let b(n) = n**3 - 7*n**2 + 7*n - 14. Let f be b(7). Let c = f - 27. Is c >= 8?
True
Let k be (-9)/(-6)*40/(-6). Let s be (-10)/3*36/(-30). Suppose 0 = -2*q - j + s*j - 13, 3*j = -4*q - 35. Is q smaller than k?
False
Let u be (-6)/15 + (-14)/(-10). Let d(s) = -u - s + s + s. Let m be d(6). Is m != 0?
True
Let c = 203 - 16. Is c bigger than 187?
False
Suppose 2*p + p - 12 = -4*i, -4*i + 16 = 4*p. Let u(f) = -f**3 + 15*f**2 - 13*f - 20. Let z be u(14). Let q be z/10 - 301/(-385). Which is smaller: i or q?
i
Let v be (-73)/(-15) + 4*(-4)/(-120). Suppose v*f = 4*y + 74, -22 = 2*y + f + 8. Which is smaller: -19 or y?
-19
Let u = -8/87 - -866/3741. Are 1 and u non-equal?
True
Let n be 0/1 - (6 - 11). Suppose 2*p + 5*i = -p + 16, 3*p + 2 = 4*i. Suppose p*a + 5 = -n. Which is smaller: a or -6?
-6
Suppose 0*z + 8 = z. Let m be 30/8*z/(-3). Let n = m - -11. Is n greater than or equal to 1/2?
True
Let z be 1017/(5 - 2)*-1. Let n = 7799/23 + z. Which is greater: n or -3/4?
n
Let h(u) = u**3 - 10*u