
Let r = -1109.3 + 1109. Which is greater: r or -3/2?
r
Suppose 5*w = -2*w - 14. Let x be (-6)/(-8) + w/(-8). Let a = 0.5 + -0.9. Which is smaller: a or x?
a
Suppose 20 = -4*n + 4, 0 = -4*l + 3*n - 60. Does l = 4?
False
Let j = -1.23 - 0.07. Let c = 1.2 + j. Let y = -0.2 + c. Which is smaller: y or -1?
-1
Let h(u) = u + 27. Suppose 4*k = -4*t + 14 + 14, k + 1 = -5*t. Let l be h(k). Is 37 less than l?
False
Let x = 277/5 + -11908/45. Let s = x - -209. Which is greater: s or -1.7?
s
Let z(i) = i**2 - 3*i + 4. Let s be z(3). Suppose -b + 3*b - a - 4 = 0, -6 = s*b + 5*a. Is b greater than 0.014?
True
Let q = -18/7 + 79/28. Let g be (-289)/(-396) + 6/(-8). Let l = g - -8/33. Which is smaller: q or l?
l
Let p be ((-8)/20)/(-2) + 120/25. Suppose -p*w - 41 = 24. Do -13 and w have different values?
False
Let b(k) = 9*k**3 - 16*k**2 - 5*k + 2. Let s be b(2). Which is smaller: 37/46 or s?
s
Let i = 3405/2 + -1831. Let r = i + 4375/34. Suppose 5*m + 3 = -2. Is r < m?
False
Let k = 13 - -11. Let f = k - 21. Is f equal to 1/12?
False
Let s = 6 - 14. Let j = 8 + s. Let q = -1 - 7. Are q and j unequal?
True
Let o(w) be the third derivative of w**6/120 - w**4/8 - w**3/3 + 7*w**2. Let t be o(-1). Are t and 4/17 nonequal?
True
Let s = -11404/166155 - -6/1045. Is s less than 1?
True
Suppose -z - c + 85 = 0, 0*z - 2*c = 4*z - 334. Let o be 82/((-3)/(-3)) - 0. Is o bigger than z?
False
Suppose -2*l = 3*p - 160, 5*p + 5*l - 352 = -82. Let c be (-6)/(-8) + 13/p. Let u be (c/(-22))/(1 + -2). Which is bigger: 0 or u?
u
Let m be (3/(-3) + 0)/((-1428)/(-8)). Which is smaller: 1 or m?
m
Let l = 1.18 - 0.18. Let x = -19 - l. Is -0.1 > x?
True
Let u = 47.9 + -48. Is -0.5 at least u?
False
Let m = 334/7 + -53. Is m less than or equal to -6?
False
Let y = 2838.91 - 2839. Which is greater: y or -52?
y
Let h be ((-10)/(-4))/((-2)/(-68)). Let z = -423/5 + h. Let r = 1445 + -1444.2. Which is smaller: z or r?
z
Let i = 78 - 79. Let q = 1.2 + i. Which is bigger: q or -9?
q
Let q = 41.5 - 40. Let k = -0.009 - -0.209. Which is smaller: q or k?
k
Let l = -5.33 + 14.63. Are -1 and l unequal?
True
Suppose 8 + 16 = 6*p. Is 5 > p?
True
Let y be 37 - (-5)/((-5)/(-3)). Suppose -4*d = -9*d + y. Suppose 0 = -2*m - 0*m + d. Is m > 4?
False
Let p(y) = -y**3 - 28*y**2 + 64*y - 101. Let s be p(-31). Are 0.2 and s equal?
False
Suppose 3*q + 5*p + 162 = 6*p, -q - 54 = 5*p. Do -54 and q have the same value?
True
Let k be ((-686)/56)/((-3)/12). Let n(z) = -z + 6. Let i be n(3). Let d be (-1)/i*(-42)/k. Is 4/3 > d?
True
Let d = 5.1 + -15.5. Let x = d - -10. Is 0.4 less than or equal to x?
False
Let q(b) = 10*b**2 - b + 1. Let l be q(1). Let v = l - 6. Suppose -v*f - 2 = 2. Which is smaller: f or 9?
f
Let u(w) = 6*w + 61. Let h be u(-10). Does -1/42 = h?
False
Suppose 0 = 5*c + 5*k - 1020, c - 9*k - 192 = -13*k. Is 212 less than or equal to c?
False
Let n(r) = -r**3 + 2*r**2 - r - 11. Let b be n(9). Let t = -6451/11 - b. Let g = 16 + -16.2. Which is smaller: g or t?
g
Suppose -3*c + 6*c = 15. Suppose -8 = c*b - 3. Let j(q) = -q**2 - q + 2. Let h be j(-2). Which is smaller: b or h?
b
Let a be 7*4*(-196)/49. Is a at least 2?
False
Let b(w) = w**2 + 4*w - 6. Let x be b(-6). Suppose 9*q - 4*q = 90. Suppose -2*k + q = 2*o, -o + 0 = 3*k - 13. Is x >= o?
False
Let u be (-4 + 1512/7)*1/(-2). Which is smaller: -103 or u?
u
Let o be -2*5/45 - (-245)/1062. Which is greater: o or 0?
o
Let m be ((-26)/(-12) + -2)*8/38. Let k = 77/570 - m. Which is smaller: 0 or k?
0
Let n = 321 - 1395. Is -1074 greater than n?
False
Let p = 174.9 - 162.6. Is p greater than 1/3?
True
Let o = 1256/207 - 46/9. Which is bigger: o or 0?
o
Let f = -284 - -1985/7. Does 0.1 = f?
False
Suppose -4*t = -2*t + 26. Let p = t - -16. Suppose -8 = c + p*c. Are c and -5/3 equal?
False
Suppose 0 = 11*a + 282 + 587. Which is bigger: a or -78?
-78
Let b be 172/(-20) + 10 + 4/(-10). Let f be 65/(-3) - 5/15. Let w be f/24 + (4 - 3). Which is bigger: w or b?
b
Let c be (-1)/10*(-4 - 0/7). Let z = -58 - -58.47. Let y = -0.13 + z. Do y and c have the same value?
False
Let h = -0.07 - -0.07. Let v = -355 + 354.77. Do v and h have different values?
True
Let k = 92 - -425. Do 1 and k have the same value?
False
Let k be -2*(3/2 + 75/(-40)). Is 0.26 equal to k?
False
Let x(z) be the first derivative of -z**2/2 + 4. Let i be x(-3). Suppose -2*m = i*m + 5. Does m = -1/5?
False
Let t(m) = -m**2 - 6*m - 3. Let w be t(-4). Suppose 3*n - 32 = w*n. Is n <= -17?
False
Let a be ((6/4)/(15/100))/6. Let n = 1 - 0. Do a and n have different values?
True
Let l = 799534 - 1365604567/1708. Let w = 2825 - 689299/244. Let i = l + w. Which is bigger: 7 or i?
7
Let p be ((-884)/51)/((-10)/(-96)). Let y = -167 - p. Which is greater: y or -1/4?
-1/4
Let o = 0.12 - -3.88. Which is greater: 7/3 or o?
o
Suppose 11*y + 4*y = -810. Does y = -54?
True
Suppose -753 = 4*m - m + 5*q, -3*m + 2*q = 774. Is m at most -259?
False
Let w(j) = 5*j + 47. Let i be w(-9). Suppose 0 = x + i*x + 3*x. Which is bigger: x or 3/4?
3/4
Let m = 0.44 - -292.56. Let t = m - 291.23. Let o = t - 1.7. Is -2/9 <= o?
True
Let v = -1534 + 2871. Let q = 53483/40 - v. Is -1 less than q?
True
Let k(v) = 21*v**2 - 25*v + 66. Let l be k(3). Is 180 bigger than l?
False
Suppose -33 = 2*b + 11. Let w be -33*-3*(-2)/9. Is b at most w?
True
Suppose 24 = 4*b - f, -5*b + 18 = -4*f - 23. Suppose -3*g + b*m - 8 = 0, -g - 3*g = 4*m. Let z = 1/9 + -49/36. Which is greater: g or z?
g
Let t = -1.897 - -0.897. Which is greater: t or 3?
3
Let x = -2.6 + 4.41. Let m = 2 - x. Let z = m - 0.19. Is z smaller than 10?
True
Let x be (-344)/10 - (-10)/25. Let o = x - -37. Is 0 at most o?
True
Let p = 398 - 7163/18. Are -9/2 and p unequal?
True
Let s(i) = -2*i + 16. Suppose -3*z = 9 - 42. Let t be s(z). Which is smaller: -7 or t?
-7
Let q be (-55)/(-22)*(-2 + 588/10). Suppose q = 16*a + 46. Which is smaller: a or 3?
3
Let t be (-1384)/208 - -7 - (-2)/(-4). Let l be -1 - (-3)/(36/(-687)). Let y = 58 + l. Do t and y have the same value?
False
Let f be (-2)/6*-21*-2. Is -8 bigger than f?
True
Let d = 33 + -22. Suppose -3 = y - d. Suppose 6*v + 46 = 3*i + v, 4*v = -5*i + 15. Is y at most i?
False
Let b be 1/(-4) - 13/(-20). Let z = -106.25 + -3.75. Is b less than or equal to z?
False
Let s(y) be the third derivative of y**5/60 + 5*y**4/12 - 5*y**3/2 + 21*y**2. Let v be s(-14). Which is smaller: v or 40?
40
Let s = -856 - -1306. Let g be ((-4)/(-3))/(40/s). Which is smaller: 16 or g?
g
Let o be 4245/429 + (-40 - -30). Is o less than or equal to 0?
True
Let f = 23 + -11. Let c be (8/f - 1)*15. Let l be c/(35/(-9)) - 2. Which is greater: -2 or l?
l
Suppose 14*x - 3*x = -22. Is -2 <= x?
True
Let n(z) = 4*z**2 + 0*z + z**3 + 3*z + 7*z**2 + 11. Let a be n(-11). Is a at least -22?
True
Let s be 51/34 + 38/(-4). Let z be -4*2*(13 + -12). Is s smaller than z?
False
Suppose -3*d = -5*w - 0*d + 78, 0 = 5*w - d - 76. Let p = 8 + 4. Which is greater: p or w?
w
Let o = -4.7 - -5. Let l = -6.3 + o. Let g = l + 6.2. Is g >= -5?
True
Let w = 220.1 + -220.1. Let d = 40 - 19. Which is smaller: w or d?
w
Let d = 32 + -10. Suppose 8*u = 6*u + d. Which is greater: u or 12?
12
Suppose -50*o = -61*o - 946. Is -89 greater than or equal to o?
False
Suppose g - 5*x - 6181 = 2699, 2*x = 3*g - 26640. Let k = 62025/7 - g. Let f = k + 19. Is f smaller than 0?
True
Let p = -13/90 - -1/30. Let r be (-1 - -1)/((-2)/(-2)). Which is smaller: p or r?
p
Let s = 7 - 6. Let o be 8/s*(-1 + 0). Is -10 equal to o?
False
Let w(i) = i + 1. Let g be w(9). Let c = 9 - g. Let n be c/(-3) - (-10)/(-12). Is -2 less than n?
True
Suppose -x + 13 = 4*m - 9, 0 = -2*x - m + 9. Let s be -35*-1*(1 - x). Let j be (14/s)/((-14)/10). Is -1 > j?
False
Suppose -35*f = -31*f - 4. Is f < 120?
True
Let q = 84 - 77. Suppose -a = -7*a + 12. Do q and a have different values?
True
Let q = -15 - -26. Let o(g) = g**2 - 7*g + 16. Let t be o(q). Suppose 16*w = 21*w - t. Is 13 >= w?
True
Let s(r) = -r**2 + 16*r - 12. Let p be s(14). Let y be p/(-4) - (-8)/2. Suppose 0*b - 4 = -2*b. Is y not equal to b?
True
Let z be ((-689)/52 + 12)*(-2)/(-10). Is -4.03 < z?
True
Let p be 9/12*(-912)/2014. Is p not equal to -1?
True
Let z be (-2)/4*36/3. Let m be (z/15)/(14/(-105)). Is m at most 11/7?
False
Suppose 0 = -11*f - 0 + 