 j. Which is bigger: v or 0?
0
Let w = -634 + 639. Do w and 17/3 have different values?
True
Let n = 0.29 + 12.71. Let q = 13 - n. Which is bigger: 27 or q?
27
Let z = 0.9 - -9.1. Let f = 3 - -5. Let t = z - f. Does -0.1 = t?
False
Let k(b) = -b**3 + b**2 - 2*b - 1. Let v be k(0). Let g = -79/2 - -355/9. Is v at least g?
False
Let h = 9/44 + -169/396. Let n(r) = -r + 37. Let g be n(17). Let z be -2 + 4 - (-8)/g*-5. Which is smaller: z or h?
h
Let c = 38 - 171. Do -134 and c have different values?
True
Let f(x) = x**3 - 5*x**2 - 2*x + 12. Let a be f(5). Suppose -2*s - z + 4*z + 66 = 0, -4 = a*z. Which is greater: 31 or s?
31
Let f be 18/1 + 0/(-1). Suppose -l + f = 2*l - 3*i, 4*l = -3*i - 11. Let p = -92 + 91.97. Which is smaller: l or p?
p
Suppose 0 = n - 0*n - 14. Suppose -4*l + 22 = 6. Suppose 4*p - n - 6 = 0, -l*p = -q - 24. Is -5 equal to q?
False
Let i be 48009/(-117) + 5/(-3). Is -413 >= i?
False
Let k = 447 + 15. Suppose -5 = -0*o - o, 0 = -w - 5*o - k. Let s = 3403/7 + w. Is s bigger than 0?
False
Suppose -4 = -j - 3*j. Suppose -3*l + 1 = -2*k, 4*k - 10 = l + 3. Suppose -12 = l*y - 15. Is y greater than j?
False
Let g be ((-12)/45)/((-13)/5). Suppose -2*a + 2*a - 8*a = 0. Which is bigger: g or a?
g
Let c be (3 - 183/81)*-6. Let y = -218/45 - c. Which is bigger: 3/5 or y?
3/5
Let m be ((-12)/328)/(-3*(-1)/(-34854)). Let n = -425 + m. Which is bigger: 1 or n?
1
Let h = -202 + 274. Are h and 72 non-equal?
False
Let t = 9.772 + 0.128. Let q = t - 10. Which is bigger: q or 1/5?
1/5
Let q = 0.453 - 4.453. Let b = -79/4 - -387/20. Which is smaller: b or q?
q
Suppose 3*o - 26 = 2*z, 2*z + 20 = 2*o - 6. Let h be 1 - (-7)/z - 8/(-52). Which is bigger: 0 or h?
h
Let v = -26 + 10. Let n = v - -34. Suppose 8 = 2*m - n. Are m and 13 equal?
True
Let y = 0.31 - -10.69. Let a = y + -10.65. Let n = -0.25 + a. Is n greater than or equal to 2/5?
False
Let u be -1 + 1 - 326/(-14)*4. Let s = u - 93. Which is greater: s or 0.1?
s
Let n be (-724)/384 + (-48)/(-72). Which is smaller: -2 or n?
-2
Let g = 1558 - 157360/101. Is g > 1?
False
Let y = 0.149 + -0.099. Is y smaller than 10?
True
Suppose 2*q - 186 = -5*k, q = 1 - 3. Let g be (-208)/(-24)*27/6. Which is greater: g or k?
g
Let s = -318 + 370. Is 49 at most s?
True
Let s = 305.5 + -304.5. Which is bigger: s or 0.163?
s
Suppose -3*u + v + 9 = 0, 2*u + 3*v - 9 = 8. Suppose 5*b + u = 7*b. Which is greater: b or 3/8?
b
Let n(c) = c**3 + 2*c**2 + c. Let u be n(-2). Let m be 0 + -2*(-38)/(-4). Let i = -21 - m. Is i less than or equal to u?
True
Let r = -39.1 + 38.96. Is r at most as big as 2/3?
True
Let z be 6/(-126)*7 - 5/(-6). Let d = -337/63 + 39/7. Which is greater: z or d?
z
Let o = 691 + -692. Is -0.054 greater than o?
True
Let h = -15836/15 - -54589/60. Let k = -458/3 - h. Which is greater: -6 or k?
-6
Let l be (-9)/(-18) + (-3)/2. Suppose 9*z - 14 = 7*z. Suppose 0*w = z*w + 63. Is l < w?
False
Let a(h) = 2*h - 7. Let n be a(5). Let x(s) = s**2 - 3*s + 3. Let p be x(n). Suppose -2*q + p = 1. Which is smaller: q or 2?
q
Suppose -2*d + 10 = f, f - 8*d + 4*d = 4. Let t = 9 + f. Let a = 5 - t. Which is smaller: -11 or a?
a
Let x = 1.162 - -0.038. Let l = x + -35.2. Which is smaller: l or 2/7?
l
Let t be (-2 - -3)*(0 - (2 - 1)). Let d be (-9)/(-18)*(1 + t). Which is smaller: 4/13 or d?
d
Let d(j) = -j + 12. Let k be d(0). Let f = -11 + k. Let h be (1/6)/(f/(-3)). Which is greater: -9 or h?
h
Suppose 54 = 3*r + 36. Let x be (-1)/(-5)*2*(-9)/r. Is -2 less than or equal to x?
True
Let v be (2/(-116))/(2/48). Which is greater: v or -1?
v
Let b = -61.3 + 64. Let u = b - 1.7. Is u greater than 1.8?
False
Let x = 50.16 + 12.84. Is 7/5 at least as big as x?
False
Let u(t) = t**2 + 8*t - 4. Let x be u(-5). Let h = -0.093 - 0.007. Is x > h?
False
Let m = -2.09 - -2.2. Let k = 1.451 - 0.241. Let w = k - 0.21. Is w bigger than m?
True
Let a(o) = -23 + 2*o**2 + 670*o - 5*o**2 - 671*o. Let i be a(0). Let q(s) = -2*s**2 + 8*s + 2. Let x be q(6). Which is smaller: i or x?
i
Let v = 1593 - 2031. Is -0.1 greater than or equal to v?
True
Suppose -7 = -0*d - d + 3*k, -3*d - 7 = 5*k. Let l = 43229/20167 + -2/2881. Which is bigger: d or l?
l
Let w = 19 + -21.6. Let u = 49.4 - 49. Let y = w - u. Which is smaller: 0 or y?
y
Suppose -2*t = -2*r + 4*r + 4, -5*r - 3*t = 4. Is r smaller than -8/207?
False
Let v = 877 + -1104. Is v greater than -230?
True
Let u be 2 - (1712/76)/4. Which is bigger: -3 or u?
-3
Let b = 5/9 - 1/18. Let d be (-6)/(2/1)*-3. Let k = -8 + d. Which is smaller: k or b?
b
Let y = 181 - 113. Let l = -77.1 + y. Let o = 9 + l. Which is bigger: o or 8?
8
Let a = 1.01 - 1. Let c = 2.719 - 4.719. Is c at least a?
False
Let p = 475 + -474.5. Which is greater: -18 or p?
p
Let f(i) = -16*i**3 - 2*i**2 + 3*i - 2. Let o be f(1). Let q = o - -17. Is q > 2/77?
False
Let h(x) = 7*x**2 - 34*x + 33. Let k(v) = -20*v**2 + 101*v - 98. Let n(i) = 17*h(i) + 6*k(i). Let y be n(27). Let q be (-8)/3*(-1)/2. Which is bigger: y or q?
q
Let s be -1 - (-2)/(14/9). Let c = 1107.22 + -1107. Which is bigger: s or c?
s
Let w = -561 + 560. Let l be (-4)/183*(-9)/6. Is l >= w?
True
Let g be (2 + (-20)/30)/(-4). Let v = 20 + -19.78. Which is smaller: v or g?
g
Let l = -18 - -14. Let y = -7 + l. Let v be y/(-4) + (-9)/(-36). Is v greater than 4?
False
Let u = 242.35 + -242.3. Is 8.1 bigger than u?
True
Let z be ((4 + 0)/(-4))/(-15). Let d = 0.6 - 1.6. Is z greater than d?
True
Let b be (-65)/12*(255/(-75) + 3). Which is smaller: 2/5 or b?
2/5
Let u = -3.82 - -3.9. Which is greater: u or -3?
u
Let l = -42.6 + -6.4. Let w = -52 - l. Which is smaller: w or 1?
w
Suppose -2*l = 5*o + 15 + 5, 3*l - 16 = 4*o. Which is bigger: 13/37 or l?
13/37
Suppose -5*o - 86 = 3*m, 18 = -0*o - o - m. Let w(z) = z + 6. Let y be w(o). Is y at least as big as -12?
True
Suppose -5*z + 4*f + 188 = 0, f + 110 = -5*z + 8*z. Which is smaller: z or 2?
2
Let d be (-2)/(-9) + (-52)/(-9). Suppose f - 4*b = -3*f + 80, 3*b = f - 20. Suppose 11*m = d*m + f. Which is smaller: 2 or m?
2
Let g(s) = s + 9. Let t be g(-12). Let r be 1 + 7 - (t + 4). Let n be 1/1 + r/(-6). Are 1 and n equal?
False
Let h = 0.28 + -0.3. Let y = -14.7 + 14.9. Which is smaller: h or y?
h
Let p be (5 + -1)/(7/1344*16). Which is smaller: p or 47?
47
Suppose 0 = 5*m + 172 - 42. Suppose -3*y - 72 = 4*t, -t - 120 = 5*y + t. Which is bigger: y or m?
y
Suppose v - 4*t = 10, v - 5*v + 62 = -5*t. Let c = -19 + v. Is -1/3 equal to c?
False
Suppose -72 = 6*c - 10*c. Suppose 3*o + 3*d = 36, -o + 6*d - d = -c. Let h = 47 + -33. Which is smaller: o or h?
o
Let o be 514 + (12/(-2) - -4). Does o = 513?
False
Suppose -7 = -3*v - 4*w, 6*v - 20 = 4*v + 5*w. Suppose -v*a = -a - 188. Are 47 and a nonequal?
False
Let v(i) = -i**2 - 3*i - 6. Let n be v(-5). Let l = 1409/2 + -721. Is n equal to l?
False
Let w = -1/123 + -91/3936. Which is bigger: 0.1 or w?
0.1
Let p = -141/11 + 2727/187. Do p and 1 have the same value?
False
Let n be 648/(-165) - 216/(-54). Is -1 != n?
True
Suppose 4*w + 25 - 1 = 0. Let u = w - -6. Is u greater than or equal to -1/68?
True
Let w be -4 + (5 - 51/39). Do w and -2 have different values?
True
Let d = -31639/5 - -884977/140. Let t = d + 25/14. Is -4 less than t?
False
Let o(p) = -p**2 - 44*p - 407. Let v be o(-27). Is 54 at most as big as v?
False
Let t be -6*((-28)/(-56))/(1*-1). Which is bigger: t or 32/15?
t
Let t = -17231/3275 - -14/655. Let r = t + -1/100. Which is bigger: -6 or r?
r
Let i = 527 - 521. Which is bigger: i or 14?
14
Let w be ((-10)/(-14) - 1)/((-64)/(-112)). Are 29.1 and w non-equal?
True
Suppose -2*i - i - 2 = 5*y, 5*i + 14 = -3*y. Let a = 1 + y. Let h = -30/127 + 441/254. Is h bigger than a?
False
Let t = 14696/31 + -474. Which is smaller: t or -2/5?
-2/5
Let q be (2 - 5) + (1 - -2). Let b be (q/10)/(4/2). Suppose -2 = 2*i - b*i. Are i and -1 equal?
True
Let i = -0.83 - 1.35. Let u = i - 0.22. Suppose -3*y = -4*r + 8, 0 = 4*r + 69 - 77. Which is smaller: y or u?
u
Let g = 3.5 + -4.9. Let j = g - 0.6. Is 0.5 smaller than j?
False
Suppose -348 + 0 = 2*h. Is -174 bigger than h?
False
Let s(z) = z + 29. Let u be s(-23). Is 58/11 bigger than u?
False
Let l = -2/3 + 8/9. Let x(n) = n + 7. Let y be x(-6). Let w be ((-6)/10)/(y + 5/(-2)). Is w greater than or equal to l?
True
Let l be (