s smaller: l or -5/31?
-5/31
Let u be (-6)/4*-2 - 1. Suppose -u*g + 7 = b - 2*b, -g + 5*b + 26 = 0. Which is smaller: 9/4 or g?
g
Let y = -19/14 + -1/7. Let c = 28 + -40. Let w be c/20*(-1 + 6). Which is bigger: w or y?
y
Let i = -20 - 40. Let t be (-2)/(-10) + (-28)/i. Let n = -1099 - -1101. Is n <= t?
False
Let n be (-17)/(-102) + 2581/(-6). Which is greater: n or -859/2?
-859/2
Let r be ((-54726)/61740 - (-1)/(-10)) + 1. Let a = -1.6 - 0.4. Do a and r have different values?
True
Let l(t) = -2*t**2 + 2 - 5 + t**2 + 2 + 2*t. Let c be l(3). Let g be c/(-18) - 12/54. Does g = 1?
False
Let c = -460.96 + 461. Which is bigger: c or 15.3?
15.3
Let b = 28.913 + 1.087. Which is smaller: b or -0.05?
-0.05
Let s = 5 + -4.64. Let d = s - 0.25. Which is smaller: d or 2/7?
d
Let o be 5/2*8/100. Which is greater: o or -1/4?
o
Let w be ((-2)/(-1))/(5/(-10)) + -1. Does w = -2?
False
Let v = -1.1 - -6.5. Let d = 107.6 + v. Is d less than 0.1?
False
Let r = -3003 - -3014. Do 0.57 and r have the same value?
False
Let h(k) = k**2 + 12*k + 13. Suppose a - 12 = 4*t + 30, 0 = -4*a - 8. Let f be h(t). Let m be 3 + 53/(-11) + f. Which is greater: m or -1/3?
m
Let d(z) = z**2 + 4. Let o be d(3). Suppose 5*t = -2*j + 11, o = -2*t + 3*t - 5*j. Suppose -c + 8 = y, t*c + 0 = 6. Is 7 != y?
True
Let r(n) = 4*n + 8. Suppose 3*q + 2*x + 0*x + 6 = 0, 0 = -2*x. Let m be r(q). Suppose 0 = 4*j + y - 2*y - 12, -2*j - 8 = 3*y. Which is smaller: m or j?
m
Let m(q) = -16*q - 78. Let z be m(17). Is -2/5 > z?
True
Let y = -1.49 - -1.89. Is y greater than -20?
True
Let k be 197/(-345) - 5/50*-6. Let u = 160/759 - k. Is u less than or equal to -0.12?
False
Let j = 59 + -22. Let s = -18 + j. Which is bigger: s or 18?
s
Let c be (-16 - 486) + (-18)/3. Is c not equal to -509?
True
Let t be 20/9 - (-2)/(-9). Suppose n = -0*n + t. Suppose -3*y + 5*y = 0. Which is greater: n or y?
n
Suppose 5*s + m + 172 = 0, -3*s - 106 = 7*m - 5*m. Is -27 bigger than s?
True
Suppose 5*r - 453 = -158. Suppose -3*o - r + 230 = 0. Is 57 at least o?
True
Let a = -354.79 + 355. Is a smaller than -7?
False
Suppose 2 = -2*f, 4*w + 7 = -0*f + f. Let v = -32704615/188888 - -1/26984. Let b = -174 - v. Which is smaller: b or w?
w
Let b = 35 - 34. Is 2/129 >= b?
False
Let t be (-15)/(-3)*1/41. Let h = t - 218/779. Is -1 < h?
True
Let n = 508 + -499. Which is greater: 18 or n?
18
Let v = -1353.4 + 1353. Which is bigger: 2/183 or v?
2/183
Let d = -20.94 - -21. Let g = d + -2.06. Let f = 4 - 4.3. Do g and f have the same value?
False
Let k = 5261/2 + -305125/116. Let i = -1/4 + k. Is 1 at least as big as i?
True
Suppose 2*a + g - 20 = 0, -a - 5*g = -0*a - 19. Let n(t) = -5*t + 53. Let s be n(a). Which is greater: s or 9?
9
Let k = 17 - 10. Let f be (1 - (-55)/180*-4)/(-2). Which is smaller: k or f?
f
Let r = -2696/21 + 389/3. Let t be ((-48)/40)/(3/(-10)). Suppose -5*d = -t*d - 1. Which is smaller: r or d?
d
Let y = -1.82 + 0.32. Let z = y + 1.4. Let r = 3 + -2. Is r >= z?
True
Let o = 2 + -4. Let i = 14.48 - -2.52. Which is bigger: i or o?
i
Let x(z) = z**3 - 12*z**2 - z + 8. Let m be x(12). Let s be (-1)/(3 + m + 2). Let c = 3573/13 - 275. Are s and c equal?
False
Let o = -54 + 29. Does o = 2?
False
Let d(f) = f + 8. Let p be d(-8). Let g = 1/287 - -6/287. Which is smaller: p or g?
p
Let y be 1496/12 + 7/21. Suppose -q - 165 = -y. Do q and -38 have different values?
True
Let t = 18 + -32. Let b be 12/(-28) - 34/t. Suppose -3*x = -5*g - 7*x - 5, -b*g - 5*x - 2 = 0. Is g less than -2?
False
Let b be (-49)/(-343) - (-2)/(-14). Which is greater: 12/37 or b?
12/37
Let r be 0 + 15 + 2 + -2. Suppose 10*q + 7*q + 51 = 0. Let o be (17 - q) + (2*-3 - -2). Which is greater: o or r?
o
Let u be (-24)/2*408/96. Which is smaller: -48 or u?
u
Let s = -646/9 - -22646/315. Is 7 at most as big as s?
False
Suppose i = o - 18, 4*i - 5*o + 4 = -64. Let c = -24 - i. Is c at least as big as -3?
True
Suppose 0*h = -2*c + 2*h - 8, -c - 19 = -4*h. Let u = -10004/124425 - -2/4977. Which is bigger: c or u?
c
Suppose -8 = -2*y + 12. Suppose y*q + 2066 = 5*q - n, -q = -4*n + 430. Let m = q - -5379/13. Which is bigger: m or -1?
m
Let c be (-56)/162*72/288. Is c smaller than -1?
False
Suppose 7*m - 5*m = -2. Let d be 3 + 4 + 2118/(-302). Which is greater: d or m?
d
Let w = 6 + -8. Suppose -385*c + 76 = -383*c. Let q be w - (1 + c/(-14)). Which is smaller: 2 or q?
q
Suppose -p - 2*p - 33 = y, 0 = -5*y - 15. Let i be ((-16)/12)/(p/321). Let k = i + -43. Which is smaller: 1/3 or k?
k
Let d = -45 - -46. Let q be 4/18 + (-60)/27 + d. Let n = -0.2 - -0.1. Which is bigger: q or n?
n
Let k be (-10)/8 + 5481/(-108). Is k >= -49?
False
Suppose -20*n - 5*v = -15*n - 35, -4*v + 34 = 5*n. Which is greater: 11 or n?
11
Let v be 3/6*(3/3 - 2). Is 0.02 less than v?
False
Suppose 26*x + 3725 + 9587 = 0. Is -511 greater than x?
True
Let m = -28.75 + -0.25. Let c = m + 56. Let j = c - 24. Is j equal to 0.1?
False
Let q(k) = -k**3 - 2*k**2 - k - 1. Let f be q(-2). Let y(x) = -x**3 + 2*x - 1. Let i be y(f). Which is smaller: i or -1/42?
-1/42
Let r be 2/(3/((-81)/6)). Let u = -8 - r. Let l = 507/5 + -101. Which is smaller: u or l?
l
Let l = 241 + -240.97. Is l at least as big as 20?
False
Let q = -611 - -610.9. Which is smaller: q or -3.5?
-3.5
Let n = 984 - 927. Which is bigger: n or 4?
n
Suppose 20*c + 3*u = 22*c + 140, 3*c = 3*u - 210. Is c > -71?
True
Let m(z) = -z**2. Let v be m(1). Let n be (-1)/4 + (63/12)/1. Suppose n*l = 4*l + 4*l. Which is greater: l or v?
l
Let i = 144.4 - 164. Let l = 19 + i. Let r = l + -0.4. Which is greater: r or 13?
13
Suppose 115 - 122 = m. Let c be (-4)/(-16) + 234/(-40). Is c less than m?
False
Let a be 1740/(-291) - 41/((-287)/42). Let h(k) = k**3 - 3*k**2 - k + 4. Let n be h(3). Which is smaller: n or a?
a
Let f(t) = 3*t**2 - 10*t + 7. Let o be f(6). Suppose 1155 = 251*r - 230*r. Is o at most r?
True
Suppose 4*l = -236 - 52. Let p = 59 + l. Which is smaller: p or -0.2?
p
Let a = -0.0512 + 2.7812. Let c = a - -0.27. Is 1/8 greater than c?
False
Let z = -11 - -12. Let o be 1/(-9) + 316/900. Is o greater than z?
False
Let r be (3/(-12))/(2/(-24)). Let k = 880 + -869. Which is smaller: r or k?
r
Let r be ((-196)/21 + 2)*81/24. Is r not equal to -26?
True
Let o = 2009/12 + -503/3. Which is greater: o or -246?
o
Let w be (14/(-3))/(3/(-9)). Let f be 8/7 + (-2)/w. Suppose -u - 4*u + 4 = 4*y, 3*u = -y + f. Which is greater: 11/5 or y?
11/5
Suppose -3*r + 45 = -3*p, -p - 2*p = -15. Let g be ((-9)/(-6))/(-2 + r/16). Is -32/13 greater than or equal to g?
False
Let r = 1/608591 - -2702752215/253173856. Let f = r + -140/13. Is -1 < f?
True
Let p = 1823/4 - 297143/652. Let s = 3233/2934 + p. Is s greater than 0?
True
Suppose 3*n = -0*i + i - 17, 5*i - 5*n - 35 = 0. Suppose i*c + 0*c = 6. Let d = c - 21. Does -0.1 = d?
False
Let y = -11.259 - -11.2. Let w = y - 4.941. Suppose -4 = -j - j. Which is greater: w or j?
j
Let g = 337/6 - 107/3. Is 20 equal to g?
False
Let q = -2 + 38. Suppose -2*z - 3*t - 23 = -0*z, -4*z = 4*t + q. Suppose -8 = 2*c - 0. Is z less than or equal to c?
True
Suppose -15 = -2*x + 53. Suppose 0 = -4*y + 86 + x. Suppose 4*k - 9*k + y = 0. Is k less than or equal to 3?
False
Let g(b) = -19*b + 190. Let w be g(10). Is w at most as big as 24/31?
True
Let h be 2/7 + 110/111111*-290. Which is smaller: h or -1?
-1
Let m = -27.06 - -27. Let d = 21 - 12. Let q = -7 + d. Do m and q have different values?
True
Let g = -3 + 6. Let a = 4 + 3. Suppose 10 = a*b - 2*b. Which is smaller: b or g?
b
Let k = -2.17 - -158.17. Let q = 110 - k. Which is greater: q or 0?
0
Suppose 0 = w + 2*w - 4*l + 105, -3*l = 4*w + 115. Let b = -143 + 113. Is b greater than w?
True
Let j(o) = -o**3 + 8*o**2 - o + 8. Let n = -7 - -15. Let f be j(n). Is -1/2 at most f?
True
Let o(f) = -f**2 - 12*f - 18. Let c be o(-6). Suppose -4*y - 14*y - c = 0. Which is smaller: -2/339 or y?
y
Let m = -462 + 929. Which is smaller: 465 or m?
465
Suppose -26*o - 476 = -9*o. Is o > -20?
False
Let g(a) = 2*a**2 + 19*a + 40. Let w be g(-7). Suppose 3*s + s = 0. Suppose -4*b + w*x = 0, 5*b - 3*x = -s*b. Are b and 8 nonequal?
True
Let j = 4351 - 187083/43. Which is smaller: j or -1?
-1
Suppose -6 + 14 = c. Suppose 3*f + c = -4*r, f - r - 2 = -0*r. Which is smaller: -2/19 or f?
-2/19
Su