-2.24 + 1.24. Which is bigger: -40 or u?
u
Let x(n) = -n - 15. Let a be x(-7). Which is smaller: a or -33/4?
-33/4
Let l = 202 - 200.91. Let m = 0.89 - l. Is m less than -4/11?
False
Let z(l) = 2*l**2 + 9*l - 9. Let f be z(-9). Let r be 2 - 2*68/f. Do r and 0 have the same value?
False
Let h = -0.48 + -25.52. Let k = h + 25.9. Which is greater: k or 14?
14
Let w = -152 - -93. Let p = w + 59.1. Let a(n) = n + 2. Let h be a(-3). Which is bigger: p or h?
p
Let f = 1.3 - -16.7. Let c = -1485.97 - -1504. Let b = f - c. Are b and -1 equal?
False
Suppose 4*s = 5*b - 0*s - 33, -4*b + 48 = 4*s. Let q = 11 - b. Suppose y - 5*y - 14 = -2*r, -5*r - q*y - 1 = 0. Is r at least 7?
False
Let x = 2.5 - 0. Let a = -1.8 + x. Let o = 7.2 + -7. Which is smaller: o or a?
o
Let o be 0 + (-30)/8 + 2 + 2. Is -2/29 smaller than o?
True
Let s(z) = -z + 10. Let y be s(5). Suppose 0 = 5*b - 3*o + 735, -y*b + 4*o - 740 = -0*b. Let a be -4 + (b/(-50) - -1). Is 1 less than a?
False
Let m = -37.7 - -38.7. Which is bigger: -16 or m?
m
Let o = 45721/5 + -9174. Is o at most -31?
False
Let q be (12/10)/(770/(-146575)). Is -228 at most q?
False
Let z be -9 + (56/21)/(4/6). Let o be -4*(1/(-14))/1. Are z and o equal?
False
Let l = -6 + 45. Let d = l + -39. Which is smaller: -3 or d?
-3
Let c = -2296371/20 - -114850. Let m = c - 151/5. Is m > 2?
False
Let y be -1 + -17 + 2 + -2. Suppose -1575 = 104*l + l - 0*l. Are y and l nonequal?
True
Suppose -5*g + 6 = -14. Suppose -2*m = g*w - 16, -3*w + 27 = 3*m + m. Suppose 4*n - 1 = 4*z + 3, -4*z = 4*n - 36. Are n and m non-equal?
True
Let x = 155/1032 - -5/86. Which is bigger: x or 0?
x
Suppose 5*a - 5 = 3*z, -2*a + 9 = a - 3*z. Which is bigger: 4/7 or a?
4/7
Let w be -1 + 1 + (-60)/(-10) + 3. Let z be -10 - (1 - 2 - -1). Let g = z + w. Do 1/5 and g have the same value?
False
Let c = 498 - 499. Is c > -2/1179?
False
Let b(g) = 5*g + 13. Let c be b(-4). Let u be (30/(-25))/(3/20). Is c greater than or equal to u?
True
Let k be 2 - -2 - 10 - 0. Let t = 8 + -25. Is t at least as big as k?
False
Let n be 4/(-22) - (-551)/(-418). Which is smaller: 29 or n?
n
Let g = 302 + -503. Do -200 and g have different values?
True
Let a = -1495/18 - -83. Which is bigger: a or 8?
8
Let t be (-3 - 99/(-54))*-12. Which is greater: 6 or t?
t
Suppose 4*d = -5*s - 412, 422 = 31*s - 36*s + d. Is -87 < s?
True
Suppose 8 = 5*q + 3*h, 3 - 4 = -3*q + 2*h. Let t be 10/(-25)*(-1)/173*5. Which is smaller: t or q?
t
Let w(z) = z**2 - 4*z - 4. Let q be w(6). Let x = 2 + q. Let s be 1/x*(-28)/(-119). Are 1 and s equal?
False
Suppose 0 = -5*d + b - 6*b + 35, -5*d + 2*b + 42 = 0. Let t be 71/(-93) - d/(-12). Let f(g) = -122*g - 609. Let v be f(-5). Is v >= t?
True
Let b = -1678 + 1386. Which is bigger: -1/2 or b?
-1/2
Suppose 3*d = -o - 0*o + 104, d + o = 34. Let j = d - 106/3. Which is bigger: j or -2/171?
-2/171
Suppose -r - x = -2*r + 3, 4*x = 4. Suppose 4*j = -f - 23 + r, 3*j - 42 = 3*f. Is -14 >= f?
True
Let n be ((-23)/(-92))/((-6)/(-16)). Suppose -2*u - 6 = j, -2*j + 4*u + 6 = -7*j. Is j less than n?
False
Let v(k) = k**3 + 2*k**2 - 7*k + 12. Let x be v(3). Which is greater: x or 32?
x
Let o(f) = 2*f - 6. Let w be o(-5). Let s = 983 - 964. Let i = w + s. Are 0 and i unequal?
True
Let o(x) = x**3 + 3*x**2 + 7*x + 5. Let m(u) = u**3 + 3*u**2 + 6*u + 4. Let q(h) = -4*m(h) + 3*o(h). Let f be q(-2). Let w = 3035/4 + -7587/10. Does f = w?
False
Let d = -17 + 17. Let f = 0.1 - 17.1. Let u = 16.68 + f. Which is smaller: u or d?
u
Suppose -5*z + 5*y = 45, z + 3*y + 1 = -3*z. Which is smaller: z or 0?
z
Let u be 4/(-1) + 8/(-1). Let s be (2/6)/((-2)/u). Let y be -5 + 2 + 63/15. Which is greater: y or s?
s
Let m be 3 + (3 - 9) - -3. Let a be 2 + 1 + m - 3. Suppose a = -w + 6*w. Which is smaller: -2/11 or w?
-2/11
Suppose -r + 4*r = 0. Let w be (76/(-14) + 2)/(2/(-14)). Let u be (-36)/w*(16/18)/4. Which is bigger: u or r?
r
Let j(w) be the third derivative of -w**4/12 - w**3 - w**2. Let n be j(-6). Suppose -128*p + 131*p + 12 = 0, -3*b + p = -19. Is n at least b?
True
Suppose 0 = 5*g + 5*y - 4*y - 35, 2*g - 2 = 2*y. Suppose -7*t + g = 13. Which is smaller: 2/81 or t?
t
Let p(v) = -v**2 + 15*v - 29. Let d be p(12). Let r = d + -8. Is r < -1?
False
Let k = 1.8 + -70.8. Is k at most as big as -4?
True
Let u = 32/5 + -3946/615. Which is greater: 1 or u?
1
Suppose 6*x - 2*x = -4. Let k be ((-1)/(-2))/(x/(-4)). Let m be -8 - 0 - (-4466)/539. Are k and m equal?
False
Suppose 4*p + 3 = 19. Suppose -4*y - 150 = -r + 3*r, 0 = -p*y + r - 141. Is -37 < y?
True
Let v = -4781/9 - -532. Is 0 at most as big as v?
True
Let a(v) = -35*v + 912. Let z be a(26). Let i = -21 + 31. Suppose -5*h + r = -9, 5*h - 5 - i = -5*r. Is z not equal to h?
False
Let u = -239 + 239. Which is smaller: -5/71 or u?
-5/71
Suppose -4*z + 0*z = -5*c - 502, -3*c - 308 = z. Is -97 < c?
False
Let s be 1866/(-30) - 48/30. Is s smaller than -63?
True
Suppose -5 = 5*j, 4*j + 0 = -v - 7. Let z be 3 - 4*v/(-12). Suppose -z*q + 3 = 7. Is -4/3 at most q?
False
Let p = 19 - 24. Let v = -5 - -5. Which is smaller: v or p?
p
Suppose 2*o = -4*p + 144, 2*p + 4 = -4. Let x be (o/(-14))/(-4) + -2. Let b be 1/((-2)/(-2)) - 1. Which is bigger: b or x?
b
Let u be (-4)/(-10) - 8140/100. Let j be (24/10)/(u/180). Is j at most as big as -6?
False
Let q = 85 - 78. Suppose -3*r + 2*v = -20, -3*r + q = 4*v - 7. Which is greater: 7 or r?
7
Let i = 12.56 + -0.56. Let u = i + -11. Is u at most 14?
True
Let y(q) = -q - 29. Let f be y(-6). Suppose 2*a - 6*a = 88. Which is bigger: f or a?
a
Suppose z + 3*z = 8. Suppose 4*r - z*v + 4*v = -2, 3*v - 3 = 0. Let u = -33/10 + 9/5. Which is greater: r or u?
r
Let l be 3 - (-6)/((-12)/(-4)). Let c be l/15*(-45)/12. Let o be 4/(-6)*4*3/8. Which is smaller: o or c?
c
Let q = -150.78 + 151. Which is smaller: 1/4 or q?
q
Let w be ((-1)/2)/(4/(-8)). Let p(u) = -2*u + 12. Let l be p(-5). Let q be l/(-55) - 7/(-10). Which is smaller: w or q?
q
Suppose -3*z + 243 = -12*z. Which is smaller: -34 or z?
-34
Let d be -1*10*3/6*1. Is d bigger than -0.06?
False
Suppose -49*f + 52*f - 21 = 0. Suppose -12 - 9 = -f*w. Let s be 2*1*(-2)/5. Is s smaller than w?
True
Let a(k) = -k**3 - 16*k**2 + 18*k + 18. Let n be (-46)/23*(-3)/(-2). Let f(l) = 2*l**3 + 4*l**2 + l + 4. Let x be f(n). Let o be a(x). Which is smaller: o or 6?
o
Let s = -4.838 - -0.088. Let l = s + -1.25. Let a = 2 + -2.2. Is l greater than a?
False
Let d be 84/10 - 0 - 38/95. Let z(c) = -3*c + 13. Let a be z(d). Which is smaller: -12 or a?
-12
Let o(f) = 6*f + 9. Let j be o(-5). Let u = j + 45. Let s = u - 12. Which is greater: 14 or s?
14
Let v(w) be the third derivative of 0 + 0*w - 5*w**2 + 1/24*w**4 + 2*w**3. Let r be v(-9). Is r at most 4?
True
Let h = 2/7251 - 41105/58008. Let r = h - -2/3. Which is greater: r or -1?
r
Let c be (3/3)/((-516)/(-268) + -2). Let f = -38/5 - c. Which is smaller: f or 7?
f
Suppose -855 = 8*g + 11*g. Which is bigger: -0.1 or g?
-0.1
Suppose 2*p - 5*j - 2 = -p, -6 = -4*p + 5*j. Let s(y) = 4*y - 13. Let q be s(p). Suppose -34 + 14 = -2*i + 4*g, -q*i + 10 = -2*g. Is -19 at most as big as i?
True
Suppose -10*o - 364 + 4294 = 0. Which is greater: 394 or o?
394
Let d(r) = 14*r - 9. Let v be 9 + (2 + -14)/4. Let f be d(v). Let k be 10/f*(-3)/(-1). Is 1 at most k?
False
Suppose -1438*p = -1380*p. Let q = -9 + -38. Is q at most as big as p?
True
Let w(q) = 2*q**2 - q**2 - 16*q + 1 + 5*q. Suppose 4*y = 3*y + 11. Let t be w(y). Which is smaller: 2/9 or t?
2/9
Let x = -0.055 + 0.055. Is x < 0.05?
True
Suppose -112 = 8*c - 1088. Is c != 122?
False
Let c be 17/(-116) - ((-2)/8 + 0). Which is bigger: c or -1?
c
Suppose -9 = -l + 9. Let i be 46/(-420) - (-3)/l. Let w = -19 + 20. Which is bigger: i or w?
w
Let c = -327 + 309. Do c and -13 have different values?
True
Let a = 31 + -89. Suppose 2*b - 4*s + 142 - 12 = 0, 2*b = 5*s - 133. Is b equal to a?
False
Let a = -900 - -880. Which is bigger: a or -3?
-3
Suppose -3*p + 46 = -4*w + 2*w, 0 = -4*p. Let m be ((-20)/(-15))/((-1)/18). Is w equal to m?
False
Let g be (-1)/(-12)*-2*867/68. Let t = 151/56 + g. Is t smaller than 0?
False
Let n = 23 + -61. Which is smaller: 3 or n?
n
Let s(h) = 2*h + 10. Let k be s(-4). Suppose 0 = -5*t + 2*g - 130, -k*t + 0*g = -3*g + 41. Is t at most as big as -30?
Fals