 as big as k?
False
Let g(v) = -v + 7. Let j be g(-5). Let s be (3/2)/(9/j). Let b be ((-2)/(-7))/((-30)/(-175)) + (-20)/(-15). Which is bigger: b or s?
b
Let q = -0.43 + 0.48. Let x = q - -1.65. Which is smaller: 3 or x?
x
Suppose 4*v + 16 = 0, 0 = -3*f + 3*v - 7*v + 50. Suppose -q + 0*q = -f. Is 21 less than or equal to q?
True
Let g be ((-80)/(-308))/(12/14). Let y = 1/33 + g. Which is greater: -1 or y?
y
Suppose -5*h + 20 = 5*k, 5*h - 7 = 3*h - k. Suppose 0 = -r - h*r. Suppose r = -2*l - l. Is -3/5 greater than or equal to l?
False
Suppose -y + 6 = 2. Suppose -3*j - 2 = 4*q, -4*q - j = y*j + 6. Is q bigger than -2/19?
True
Let i = 16.174 + -0.174. Let o = 0.09 + -0.1. Let s = o - 0.99. Is s greater than or equal to i?
False
Let h(t) be the second derivative of t**5/20 + 7*t**4/12 - t**3/3 + 3*t**2 - 8*t. Let j be h(-7). Let c = 21 - j. Which is bigger: 1/14 or c?
c
Let u = 9363 - 9358. Let j = -2.96 + 3. Are j and u nonequal?
True
Let s(c) = -c**2 - 18. Let i be s(0). Which is smaller: i or 12?
i
Let y = 0.21 + 0.785. Let r = 0.005 + y. Which is bigger: r or -8?
r
Let n = 398 + -398. Which is bigger: n or -31/35?
n
Suppose -4 = 5*c + 11. Let f be 3/c*-1 + 24. Suppose 14 + 12 = -2*z + 5*g, 3*z - 4*g + f = 0. Are z and -3 equal?
True
Let d = -6.14 - -6. Let i = -0.14 - -0.1. Let u = i - d. Which is greater: u or -1.1?
u
Let v = 21 + -21. Suppose 0 = -y - 4*l - 16, v = 4*y - 5*l - 3 + 4. Let i be 30/y*1/6. Does i = 0?
False
Suppose -2*c = 2*i - 14, -5*c - 3*i + 2 = -41. Suppose x = -j + 8, 15 = 4*j - 5*x - 17. Is j <= c?
True
Let s(h) = h**2 - 8*h + 2. Let r be s(-4). Which is smaller: 2/7 or r?
2/7
Suppose 45 = y + 4*y. Suppose 0 = y*u - 12*u. Is u greater than or equal to 3/20?
False
Let b(f) = 2*f - 17. Let l be b(13). Let v = l - 22. Let j = v + 14. Which is greater: j or 3/5?
j
Let o = 12 - 7. Suppose -2*d - o*p = -23, -4*d - p + 28 = 3*p. Let w be -6*1*6/d. Which is smaller: w or -10?
-10
Suppose 124 = -35*x + 31*x. Which is bigger: x or -27?
-27
Let u = 0.3614 + 0.0386. Which is smaller: u or 75?
u
Let l be (-70)/12*357/(-255). Is 8 <= l?
True
Suppose -5*m + 2*d + 120 = 0, 5*d = -m + 20 - 23. Suppose n - 2*n + 17 = -3*k, 2 = 2*k. Is n at most as big as m?
True
Suppose -4*o = -0*o - 4. Let d = 35 - 60. Let q be d/(-27) - (10 + -9). Do q and o have the same value?
False
Suppose -3*l - 3*m = 0, 3*m + 4 = -5*l - 0*m. Let v = l - 0. Let a be v + (5 - 0) + -2. Is a at most as big as -1/3?
False
Let x = -30.307 - -30.3. Which is bigger: -3 or x?
x
Let b be ((-13)/(234/(-7188)))/(14/(-6)). Which is bigger: b or -171?
-171
Suppose -7*z = 2*b - 8*z - 7, -3*z = 3. Which is smaller: 486 or b?
b
Let w = -2/49 + -45/98. Let g(i) = 3*i**2 - i + 14. Let s be g(0). Suppose -5*o - 3*c + 39 = 0, -2*o + c - 3*c + s = 0. Is o smaller than w?
False
Let p(i) = i**2 + 4*i + 3. Let s be p(-4). Let w be 140/63*(-4)/(32/(-12)). Is s greater than or equal to w?
False
Let s = 15 + -21. Let z be 207/(-36) - 9/(-12). Which is bigger: z or s?
z
Suppose 0 = 20*s - 54*s - 8296. Which is smaller: -243 or s?
s
Let r be 7/(-39) - (-6)/(-39). Let j(a) = a - 6. Let x be j(6). Let p = 0 + x. Is p at most as big as r?
False
Let l(h) = h**3 - 14*h**2 + h - 10. Let v be l(14). Let p be 21/(-6) - (-6)/v. Suppose 0 = 2*y - 1 + 7. Is p <= y?
False
Let n be (12/(-14))/(2/(-14)). Suppose 78*m - 83*m = 120. Let u be m/n - (-27)/7. Is u less than -1?
False
Let t be 0*(0 + (-4 - -3)). Suppose 3*q + t*q - 6 = 0. Suppose -q*d = 14 + 12. Is -13 <= d?
True
Suppose -2*x + 0*x - 6 = 0. Let n(s) = -4*s - 5 - 1 + s + s. Let a be n(x). Which is greater: 4/5 or a?
4/5
Suppose -4*l = -3*l + 2, -3*i = -2*l - 10. Suppose -4*n - 10 + 1 = 3*w, -5*n + i*w + 6 = 0. Let z = -100/7 + 102/7. Which is smaller: n or z?
n
Let x = 8 + -6. Let b = -38/3 - -15. Which is greater: x or b?
b
Let n = 280 - 280. Which is greater: n or 11/8?
11/8
Suppose 12 = 3*a + 5*z, 2*z = 2*a - 4 - 4. Suppose 0*k + f = 3*k + 20, -2*k + a*f - 10 = 0. Let y = 6 + k. Which is greater: y or 0.1?
0.1
Let f = -2.901 - 1.099. Which is greater: -6/5 or f?
-6/5
Let t = -2 + 11. Let q be (t - 3) + -3 + -1. Suppose 0 = 2*w + 3*r + 5, 7 = q*w - r - 8. Is w greater than 5?
False
Let m = 211 - 213. Are 30 and m equal?
False
Let t = 27 - 31.8. Let h = 4.82 + t. Is h bigger than 1?
False
Let n = -2/501 - 5495/4008. Let h be 1/(-4) - (-7)/(-4). Which is greater: h or n?
n
Let u = 198 + -114. Let w = 80 - u. Is w less than or equal to 2?
True
Suppose -21 = 3*q + 2*v - 7*v, -4*q = -4*v + 20. Let b be (26/(-12) - q) + 24/18. Suppose -5 = -3*h - 3*w + 7, -5*h + 3*w + 4 = 0. Does h = b?
False
Let q be 1/(-2)*(-1 + 7). Let t(g) = -g**2 + 9*g - 17. Let l be t(7). Is q equal to l?
True
Let d be ((-2)/(-12))/(4829/33 - 10). Which is smaller: 0 or d?
0
Suppose -o + 6*o - 35 = 0. Suppose o*j = 4*j. Let h be (2 - j) + -3 + -14. Do -15 and h have different values?
False
Let r = 8 - 13. Let g(f) = f**3 - 4*f**2 + 3*f + 5. Let d be g(4). Suppose 9*n - 48 = d*n. Is n less than r?
True
Suppose -302*a = -299*a - 453. Which is smaller: 150 or a?
150
Let p = -1129 - -1075. Which is bigger: -62 or p?
p
Let i(m) = -4*m - 227. Let b be i(-28). Is b less than -115?
False
Let z = -17.17 - -0.17. Let s = -16.9 - z. Is -10 less than or equal to s?
True
Let p = -0.68 - -0.88. Which is smaller: -327 or p?
-327
Let f = -104 - -91. Are f and -43/3 equal?
False
Let m be (-22)/(-6) + (-4)/6. Suppose -m*c - 4*r = -6*c + 11, 4*c = r + 19. Suppose 3*n - 3 = -c*z + 18, -n + 11 = 3*z. Which is smaller: n or 4/5?
4/5
Let k be (-8)/(-12) - 190/15. Let s be 309/(-12) - k/16. Is -25 <= s?
True
Let t be (-4)/(-18) - (-4 + (-583788)/(-138240)). Is t smaller than 0?
True
Let t = -241 + 252.9. Let a = t - 12. Which is bigger: -5 or a?
a
Let p = -1122 - -1138. Is p <= 59?
True
Let k = -14.77 + -0.23. Let a = -274.4 - -259.43. Let s = k - a. Is -0.1 equal to s?
False
Suppose -2*a + 4 = 10. Let h be 7/a + (-3)/(-9). Let j be 2/20 + (-8)/(-40)*-3. Which is greater: j or h?
j
Suppose 0 = -4*f - 12 - 8, 0 = 5*w - 5*f - 25. Let p be (w - 1)/(144/6). Is -0.1 bigger than p?
False
Let l = -3309.991 - -3315. Let o = 0.009 - l. Is o at least 0.2?
False
Suppose b + 0*b = -2*y + 3, 3*b = -2*y - 7. Let f = 9 + -6. Suppose -s - 20 = f*o, -o - 2*s + s = 8. Which is smaller: b or o?
o
Let d = -1997 + 1997. Is -12 greater than d?
False
Let d = 1/3 - 0. Let t = 0.21 + -0.45. Let u = 0.76 - t. Is u at least d?
True
Let n = 4514/33 - 406/3. Let l be 0 + 1 - (-5 - -4). Is n less than l?
True
Let o be ((-1)/3)/((-1)/3). Let f = -86 - -76. Let j be ((-8)/10)/(4/f). Is o smaller than j?
True
Let u(o) = -o**3 + 3*o**2 - 4*o + 2. Let m be u(2). Let y = -5.848 + -1.152. Is y not equal to m?
True
Let a(p) = p**2 - p - 1. Let x be a(2). Let u(i) = 2*i**3 + 2*i**2 - 2*i + 1. Let k be u(x). Let m(j) = -j**3 + 5*j**2 - 4*j + 1. Let b be m(k). Does b = 6?
False
Let c = 18.63 - -10.34. Let y = 29 - c. Does y = -5?
False
Suppose 5 = -v + 2*v. Suppose -4*b - 3*i + 5 = -2, 0 = -v*b + 2*i + 26. Let n be (-1 - (3 - 1)) + b. Is n bigger than -1/6?
True
Suppose 99*x + 236 = 103*x. Suppose 143 = -7*k + x. Does -7 = k?
False
Let i be (-294)/4*(550/(-60) - -9). Are i and 11 nonequal?
True
Let c = 504 + -2324/5. Which is smaller: 39 or c?
39
Let i be ((-27)/(-9))/3*1. Which is greater: i or 3/1189?
i
Let c = 14 - 7. Suppose 16 = -l - c. Let r(a) = 23*a**3 + 3*a**2 + 9*a + 7. Let s be r(-1). Which is bigger: l or s?
s
Let o = 282 - 281. Does -98 = o?
False
Let d be 3*(9 - (-240)/(-18)). Is -20 smaller than d?
True
Let d = -41 + 40.3. Let t be 1/3 + (-120)/252. Which is smaller: d or t?
d
Let s be 25/(-10)*(73/65 - 1). Suppose -6*w + 4 = -2*w. Is s not equal to w?
True
Suppose -3*n = n. Suppose 0 = 4*m - n*m. Let l = 1016/5467 - 2/497. Is m >= l?
False
Let d = 191 - 195. Which is bigger: -8 or d?
d
Let a = 176017 + -1962413531/11149. Is 0 != a?
True
Let z(w) = -2*w**2 - 15*w + 3. Let i be z(-8). Let o be 16/(-18)*(i/(-540) - 0). Is o greater than or equal to 1?
False
Let s be 8/36 - 29/(-72). Suppose 5*i = 2*x + 10, -5*i + 3 + 7 = -4*x. Which is smaller: i or s?
s
Let j = 731 + -731.1. Which is bigger: -1/75 or j?
-1/75
Let q = -375 + 373. Is q not equal to 4/7?
True
Let o be (22/6)/1 - (-9)/27. Let s be 2*((-21)/(-6) + -2). Let z be 