Let f(u) = u**2 + 7*u + 2. Let x be f(-6). Which is greater: g or x?
g
Suppose 14*q - 28 = -0. Is q greater than 0?
True
Let w be 1 - -1 - (-26)/13. Suppose y + 3*y - 16 = w*r, 14 = r + 5*y. Which is smaller: r or -2?
-2
Suppose -5*l - 64 = -l - 2*v, 0 = -v - 4. Is l at least as big as -17?
False
Let j be (-2 - (-19 + 2)) + 1. Suppose 2*d = -0*d - j. Which is smaller: -7 or d?
d
Suppose -69 = 3*d - 5*f, 4*f + 6 = 2*f. Let w be (d/35)/((-4)/10). Let o = 293/335 - 5/67. Is o greater than w?
False
Let v(h) = -h + 2. Let p = 6 - 4. Let z be v(p). Are z and -1/15 unequal?
True
Let c = -1892/5 + 358. Let f = -1127/55 - c. Which is bigger: f or 1?
1
Let p = -1561/3 - -509. Which is bigger: -12 or p?
p
Let u = -65 - -65. Let c(t) = t**3 - 3*t**2 - 3*t - 5. Let i be c(4). Let n = 1 + i. Is n > u?
False
Let i = -24 - -21. Let k be 33/(-9) - 1/3. Which is bigger: k or i?
i
Let a = 86 - 140. Let w be 6/30 - a/(-70). Which is smaller: w or -2?
-2
Suppose 3*m = 8*m. Suppose m = -2*k + 7 + 3. Suppose 0 = 5*p - 3*p - 8. Is p less than k?
True
Let m be (39/2)/(6/8). Is m greater than or equal to 27?
False
Suppose 0 = 3*l - 0*l + 6. Let k = -4 - l. Let g = -7 - -4. Which is greater: g or k?
k
Let o(b) = 2*b**2 - 10*b + 13. Let d be o(9). Which is bigger: d or 86?
86
Let x be ((-301)/(-70) + -1)/(12/(-5)). Is x less than -1?
True
Let l = -9 - -14. Suppose -3 + 8 = l*g. Let h = g - 1. Is -2/3 less than or equal to h?
True
Suppose l + 3*l - 14 = -3*u, -2*l + 2 = 4*u. Let y = 11 - 7. Let s = y + -6. Is s > u?
False
Let d be (-8)/20*15/(-8). Let t = -0.55 - 0.05. Let o = 1.6 + t. Which is greater: o or d?
o
Let t = -6 - -8. Which is smaller: t or -1/28?
-1/28
Let q = 43/203 - 2/29. Suppose 0 = 2*s - 3*s + 3*n - 11, 5*s + 112 = -4*n. Let y = s - -61/3. Is y > q?
True
Let i be 58/(-5) + 6/(-15). Let h be 18/4*(-8)/i. Which is greater: h or -0.1?
h
Let g = 69 - 73. Let y(k) = k + 2. Let d be ((-3)/(-2))/((-2)/8). Let n be y(d). Do n and g have different values?
False
Let u be ((-4)/(-6))/(12/90). Let x = -5.4 - -5. Let r = x - -0.3. Is r <= u?
True
Let u = -0.4 + 0.5. Is 0.26 bigger than u?
True
Let p = -1026 + 15398/15. Is 1 greater than p?
True
Suppose 0*j + 2*a = 5*j - 43, 5*j - 19 = -4*a. Which is smaller: j or 49/8?
49/8
Let x = 0.9 - -0.1. Which is smaller: 2 or x?
x
Let w = 17 - 15. Is w bigger than -6?
True
Let z(o) = -o**2 + 2*o + 3. Let a be z(3). Let h be (-1)/(-3 - a)*-3. Are h and -3 unequal?
True
Suppose w + 2 = 5. Suppose 4*j + w*l = -3, -7*l = -3*l + 20. Is j less than 3?
False
Let i = -56.9 - -53. Let x = i - 0.02. Let r = -0.08 + x. Is r less than or equal to 1/3?
True
Let r = -2 + 1. Let s = -13 - -11. Is r bigger than s?
True
Let h = -59/387 - 3/43. Let d(q) = -q**3 + 2*q**2 + q - 1. Suppose 4*v + 4*f - 10 = 18, f - 15 = -5*v. Let l be d(v). Which is bigger: h or l?
l
Let b = -0.018 - 0.152. Which is smaller: 0.1 or b?
b
Suppose 2*r - 84 = -m + r, -2*r + 420 = 5*m. Suppose 6*a = 2*a - m. Let x be 1*(27/a + 1). Are 1 and x equal?
False
Let b = 0.46 + -0.16. Is 4 at most b?
False
Let l = 20 - 14. Let m = -5.6 + l. Is m at most as big as -1?
False
Let s be (12/(-5))/(66/(-28)). Let y be (-9 - -13)/((-10)/(-3)). Let z = s - y. Which is bigger: z or 0?
0
Let q = 16 - 17. Which is bigger: q or 1?
1
Let r = 16 + -15.4. Let j = 5.4 - 5. Let q = r + j. Which is smaller: -2 or q?
-2
Let d = 29 - 31. Is d at least -6?
True
Let m = 3/1054 + -43229/5270. Is m smaller than -9?
False
Let a = -793/3 + 267. Is a at least 3?
False
Let k be (-3)/(-12) + (-46)/(-8). Suppose -3*h = -3*v - k, -h - 2 = -5*v - 2*h. Does -3/5 = v?
False
Let r(f) = -f - 1. Let a be r(-3). Suppose -2*z + 8 = a*z. Suppose -g = -j - z*j - 1, 5*g - 4*j = 5. Does 1 = g?
True
Let y = 75 + -91. Which is bigger: -13 or y?
-13
Let m = -39 - -39.02. Does m = 7?
False
Let a(v) = v**3 + 11*v**2 + 9*v - 10. Let h be a(-10). Let c = 2 - h. Let f be c - (-1 - -1) - 2. Is f greater than 1?
False
Let g = 3 - 0. Let v = 2.5 - g. Let l = v - -0.7. Is l < 2/5?
True
Let w be 4 + (3 - (-356)/(-10)). Is w != -29?
True
Let m = 3.84 - 4. Let l = m + 0.16. Suppose -4 = -4*h + 4*c, 4 = 3*h - 5*h - c. Which is bigger: l or h?
l
Let f = -17 - -23. Is 6 <= f?
True
Let j(y) = y**2 - 5*y. Let o be j(4). Let w be (-2)/(-6)*18/o. Is w equal to -2?
False
Let w be ((-6)/(-15))/((-7)/(70/8)). Is -20 >= w?
False
Let u be (-1)/(1*27*10/(-30)). Is u <= 0?
False
Suppose 0 = -r - 3, -s + 5*r = 6 - 31. Let z = 158 - 148. Are s and z equal?
True
Suppose 30 = 5*d - 2*d. Let t be (-10)/35 - d/(-84). Is 7 at most as big as t?
False
Let v be ((-223)/4)/((-2)/8). Let k = 135 - v. Let y = k + 527/6. Does y = -1/4?
False
Let j(x) = x**2 + x + 1. Let w(b) = b**3 + 4*b**2 - 5*b - 1. Let h be w(-5). Let s be j(h). Which is greater: -2/5 or s?
s
Suppose 28*j + 40 = 23*j. Is j bigger than -0.2?
False
Let o(h) = -h**3 + 11*h**2 + 12*h. Let x be o(12). Let c be x + 1 + (-5)/(-5). Suppose -1 + 3 = -c*t. Which is smaller: 0 or t?
t
Let q(d) = -d**3 - 5*d**2 - 2*d - 3. Let k be q(-4). Let a = -8 - k. Let x be a*(-2)/3*3. Which is greater: x or -5?
-5
Let r = -5 - 1. Let z be (-1)/(3/r) + -3. Is z at least -1/3?
False
Let a(t) = -5*t + 2. Let m be a(-1). Suppose 14 = -2*c - 3*r - 8, 3*r + m = c. Is -5 != c?
False
Let q(v) = -v + 6. Let f be q(6). Which is greater: f or 4/27?
4/27
Let d be 1*(240/124 + -2). Is d <= 1?
True
Let w = -1 + 5. Suppose -5*t + w = -a - 2, 4*a + 4 = 0. Which is greater: -1/8 or t?
t
Suppose 504 = -2*u - 6*u. Which is bigger: -64 or u?
u
Let u be (20/(-15))/4*1. Suppose 0 = -3*r + r + 4*y + 256, 3*r - 369 = 3*y. Let n = r + -947/8. Are n and u equal?
False
Let l = 323.91 - 327. Let n = l - -0.09. Is n at least as big as 0?
False
Let f = 1/27495 + 7817741/109980. Let v = f + -71. Which is greater: -1 or v?
v
Suppose -n = 5, 6*d - 3*d - 1 = -4*n. Is d greater than or equal to 6?
True
Let k(a) = 50*a**2 + a. Let x be k(-1). Let h = 70 - x. Let p be (-11)/63 - (-6)/h. Is 0 smaller than p?
True
Let l(o) = -o. Let b be l(-1). Let z be 2/(-6) + 2/6. Let g = z + 0. Which is bigger: b or g?
b
Let s = -2 - -6. Let o be (2 - -1)/(4/s). Suppose -o*b + b = 0. Is 1 != b?
True
Let h be 2/3*(-18)/12. Let p = h + -1. Let c = -266 + 1059/4. Is c > p?
True
Let s = -0.03 - 0.03. Let p = -0.06 - s. Are -1/7 and p equal?
False
Let n be -1*(-4)/((-12)/69). Is n greater than -109/5?
False
Let m be 8 + -45 + -1 + 4. Let b = 49 + m. Is b bigger than 15?
False
Let m = 537 + -42421/79. Do 1 and m have different values?
True
Let d be 3/(-28)*10/(-15). Which is bigger: d or -1?
d
Let b(p) be the second derivative of -p**5/60 + p**4/12 - p**3/6 - p. Let f(s) be the second derivative of b(s). Let d be f(2). Does d = -4/5?
False
Let o = 589 + -40643/69. Which is smaller: o or -1?
-1
Let k be (-4)/14 - (-105)/196. Let o be 7/2*12/21. Suppose 2*b - 2*v = 0, -2*b + 2*v - o = 2*b. Is k at most as big as b?
False
Let z = 10 - 10. Suppose -2*n - 3*n = z. Is n at least 0?
True
Let u(i) = -3*i - 7. Let v(g) = 2*g + 7. Let d(w) = 3*u(w) + 4*v(w). Let j be d(6). Let m = -144 - -436/3. Which is smaller: m or j?
j
Let v = -0.02 - -0.12. Is 7/2 smaller than v?
False
Let f = 0.6 - 0.3. Is f < -1/4?
False
Let h = 0.11 + -0.1. Let g = 1.3 + -2.3. Which is greater: g or h?
h
Let f = -22 - -23. Suppose -5*o - 2 = 13. Let y be o*(1 - (-75)/(-63)). Which is greater: y or f?
f
Let u be ((-24)/(-14))/((-2)/(-7) + 0). Is u bigger than 2?
True
Let a(r) = -2*r + 1. Let m be a(2). Let b(u) = -u**2 + 6*u + 10. Let q be b(7). Suppose q*x - 1 = -2*y - 10, y + 5*x = -8. Are y and m nonequal?
False
Let f = 3.7 - 3.9. Is f <= 4?
True
Let i = 1.72 - 1.7. Which is bigger: -1 or i?
i
Let w be (-75)/(-45) - 1/(-3). Let l(x) = x - 1. Let z be l(2). Which is smaller: w or z?
z
Let f(d) = d**2 + d - 3. Let i be f(4). Let s = -2 + i. Suppose 0 = -3*c + 15, c + 2*c - s = -2*x. Is x less than 0?
False
Suppose 4*r = -0*r - 3*j + 20, 3*j - 12 = 0. Suppose 4*t - 6 = -2*f, 0 = -3*t + 3*f - 10 + 1. Suppose -3*k = t, h - r*h + k = 4. Is -5 bigger than h?
False
Let y = 41 - 40.38. Let a = y - 0.02. Let b = -0.6 + a. Which is smaller: -1 or b?
-1
Suppose 0 = 4*s - 0*s. Suppose -4*g = 3*k - 6, 4*k + k + 4*g - 10 = s. Do k and 2 have the same value?
True
Let d = 4/9 - 173/45. Suppose -3*r + 5*y = 11, -4 = 2