True
Let d = 135.2 + -223.1. Let s = d + 88. Which is smaller: s or -0.36?
-0.36
Let y be (-50)/((-16)/(-4) + -5). Is y at most as big as 53?
True
Let i = 4.157 + -0.057. Let l = 4 - i. Is -12 equal to l?
False
Let q = -38.6 - 11.4. Let x = q + 50.4. Is x greater than or equal to -5?
True
Let o = -3 - -2. Suppose -10*y = -11*y. Suppose 4*p + 5*z - 3 = y, 2*p - 4*z + 13 + 5 = 0. Which is greater: p or o?
o
Let n be (-1284)/(-2016) + 50/16 + -3. Which is smaller: 2 or n?
n
Let p = 118 - 103. Let g be 2/(((-1)/7)/(-1)). Is p greater than g?
True
Let o = 30 - 11. Let d be (-16)/6 - o/57. Let y be -4*(-5 + d/(-1)). Which is smaller: y or 6?
6
Let i = -20 - -33. Let z(u) = -u**2 + 47*u + 111. Let c be z(49). Is i < c?
False
Let m = 2744 + -2754. Which is smaller: m or 0.22?
m
Let k = 374 + -358. Is k greater than 1.7?
True
Suppose k - 17 - 407 = 0. Suppose -k = 4*t + 4*d, 5*t - t - d + 414 = 0. Let x = -1148/11 - t. Is 1 > x?
True
Let u = 7 - 19. Let h(n) = -n**3 - 11*n**2 + 14*n + 1. Let p(f) = -2*f**3 - 22*f**2 + 29*f + 1. Let s(l) = -5*h(l) + 2*p(l). Let v be s(u). Is v at least -2?
False
Let a(r) = 3*r**2 - 156*r + 61. Let l be a(51). Which is bigger: -90 or l?
-90
Let t(d) = 2*d - 6. Let o be t(5). Let v = 5 + -5. Suppose v*u = -u. Which is smaller: u or o?
u
Suppose 7*y = -524 - 869. Which is greater: y or -200?
y
Let a = -11.98 + -0.02. Let j = 10 - 0. Let g = a + j. Is g smaller than -0.02?
True
Let w = -640 + 547. Which is smaller: -92 or w?
w
Let p = -17 - -20. Let g be 0 - ((-3)/1 + p). Suppose g = -4*j + 11 - 3. Which is smaller: j or 1/2?
1/2
Let g = -262 + 1831/7. Suppose -8 = -2*h + 5*a, 7*h - 5*h - 2*a - 2 = 0. Which is bigger: h or g?
g
Suppose 11*v + 66 = -3*g + 14*v, -12 = g - 3*v. Do g and 0.04 have the same value?
False
Let n = -0.9 + 1.7. Let i = 0 - n. Let s = -4.2 + i. Which is bigger: -2 or s?
-2
Let u be 8 + 3 + -5 + 4. Suppose -3*o = -u + 7. Which is bigger: -2 or o?
o
Let a = 2.47 - 20.47. Is a at least as big as 1?
False
Suppose g = -g - 80. Suppose -184 = 174*f - 169*f + 4*u, 3*u = 12. Is g at most as big as f?
True
Suppose 5*r = -3*c, 0*c = -5*r + 3*c. Which is greater: r or -12/245?
r
Let x(l) = -12*l + 30. Let m be x(-5). Which is smaller: 88 or m?
88
Let u be (-2)/((-2)/(-3))*-1. Suppose 0 = 4*l - 5 - u. Suppose -4*x + 2 = -3*b, -2*x + 0*x = -4*b + 4. Is l greater than x?
False
Let a be ((-470)/525 - (-8)/10)*198. Which is smaller: a or -19?
-19
Let t(r) = 8*r + 592. Let g be t(-77). Suppose 4*w + 0*z + 5*z + 237 = 0, -2*w = -3*z + 91. Let l = w - -30. Is g at most as big as l?
True
Let l = 2/2681 - 5400/50939. Which is smaller: 3/40 or l?
l
Suppose 127*h - 38114 = 9*h. Which is smaller: 2 or h?
2
Let t be (-10)/(-35) + 156/(-7). Let r = t - -21. Let i be (r/(-4))/((-40)/64). Are 1 and i equal?
False
Let n = -14.56 - -6.56. Is n < -1/3?
True
Let q = -4.53 - -4.5. Suppose v + 5 = 2*v. Let i be (-3)/(-2)*2/v. Which is bigger: i or q?
i
Let u be (10/(-75))/(-1) - (-534)/45. Let a(l) = -l**2 + 9*l - 3. Let k(z) = 3*z + 1. Let j be k(2). Let g be a(j). Is u smaller than g?
False
Let d = 2567 - 1966323/766. Which is smaller: -1 or d?
-1
Let y be ((-1173)/340)/((-9)/12). Is -0.01 at least y?
False
Let h = -606 - -633.1. Let i = 27 - h. Is 17 equal to i?
False
Let k = -11485/4 - -2837. Is k greater than or equal to -34?
False
Let t = -7/25 - -274/175. Which is smaller: t or 0?
0
Let w = 1860/13 - 144. Let u = -8321 + 8319. Which is smaller: w or u?
u
Let b be (-2)/4 - 390/(-260). Which is smaller: -1/1211 or b?
-1/1211
Let k = -877 + 878. Is 0.0593 smaller than k?
True
Let l(d) = 2*d**3 + 7*d**2 - 2*d - 24. Let v be l(-5). Is -87 bigger than v?
True
Suppose 25 = 4*v - 2*q - 27, 5*v - 2*q - 66 = 0. Is -8 <= v?
True
Let g(v) = v**3 - 14*v**2 + 15*v - 15. Let c be g(6). Is -213 at most c?
True
Let g(l) = -4*l - 47. Let w be g(-20). Suppose -3*z = -4*r + 58, 29 = 4*r - 5*z - w. Is r at most 9?
False
Let r = -7/747 + -123953/5229. Which is greater: r or -25?
r
Let l be 507/(-104) - (2 - 30/16). Let w = 1 + -4. Which is bigger: w or l?
w
Let v = -3293.29 + 3278. Let a = v + 0.29. Let s = a - -12. Which is smaller: s or -4?
-4
Let w = 5 - 8. Let h be 3/w*(-5 + 5). Let r be (-12)/(-42) - (-128)/(-154). Which is smaller: h or r?
r
Let q = -7422508118/47853 + -15050/15951. Let y = q - -155361. Let z = -249 + y. Is z > -1/4?
True
Let a = 75/4 + -19. Let u = -102 - -100. Which is smaller: u or a?
u
Let h be 10/2 + 1/((-3)/12). Suppose -n + h = -10. Which is bigger: 10 or n?
n
Let w(j) = -j**2 - 6*j + 4. Let f be w(-7). Let v be (f/12)/(12/32). Which is greater: 1/73 or v?
1/73
Let i = -840 - -515. Is -325 smaller than i?
False
Let u be 1*(-146)/4*2. Suppose 79 = -5*p + 5*j - 251 - 35, 0 = -3*j. Do u and p have different values?
False
Let v = -1000 + 1000. Which is smaller: 1/934 or v?
v
Let b = -2923/13 + 225. Let v = 5 + -3. Which is smaller: v or b?
b
Let t = -0.37 - 0.03. Let m = -15.4 + 15.3. Are m and t nonequal?
True
Let x(p) = -6 - p - p + p**2 + 0. Let s = -495 - -498. Let r be x(s). Is r at most -1/4?
True
Suppose -4*v - 7 = -3*w - 456, -3*v + 587 = -4*w. Is w at least as big as -143?
True
Suppose -5*q + 860 = -300. Which is bigger: q or 227?
q
Let u = -1180 - -1181. Let c be (-1)/1*(8 + -3). Is u less than or equal to c?
False
Let o be 2 + (-1)/(-2)*-4. Suppose 4*p = -o*p. Let q be (-4)/(-56)*-8 + p. Is q <= -2?
False
Let y be (15/30)/(62/(-368)). Let h = 3 + y. Suppose -4 = -4*s + 3*z, -s + 3 = 2*s - z. Is s smaller than h?
False
Suppose w + 24 = -2*t, -2*t + 5*w = -0*t + 48. Let u be t*((-2)/(-2))/(-2). Let k be u + -9 + (2 - 1). Is k >= 2/7?
False
Suppose 8*m = 19*m - 1430. Suppose -4*l = 5*d - m, d = -0*l + l + 26. Is 26 < d?
False
Let d = -4.9 - -17.9. Which is bigger: -2/7 or d?
d
Let a = -1804/611 + 146/47. Suppose -4 = 4*o + 2*f, 4*f - 2*f - 1 = o. Which is smaller: a or o?
o
Let r(f) = -f**2 - 13*f + 290. Let o be r(-20). Which is bigger: 146 or o?
o
Suppose -3*n = 3*j - 342, -3*n + 5*j + 310 = -16. Is n at least 112?
True
Suppose -3*j + 5*u + 80 = -0*j, 0 = -5*j - 3*u + 88. Suppose -2*i + 15 = 3*l - 2*l, -2*l + j = 2*i. Suppose 120 = -0*m - l*m. Is -23 equal to m?
False
Let u(h) be the third derivative of -h**5/60 + h**4/2 + 17*h**3/6 + 2*h**2. Let r be u(13). Let d(c) = c - 10. Let l be d(15). Which is greater: r or l?
l
Let w be (-10)/(-65) + (-774)/(-39). Which is greater: 15 or w?
w
Let l = 22 + -26. Let b be 0/l - (-6)/(-33). Which is smaller: b or -1?
-1
Suppose 15*t = 2 + 148. Is t smaller than 17?
True
Let c(k) = -k**3 + 3*k**2 + 8*k - 1. Let g be c(4). Let q = g - 20. Is 1 at most q?
False
Let h = 12 + 86. Is 0.1 less than or equal to h?
True
Let r = -3.01 - -0.01. Suppose 0 = 5*m - 4*m + 3*i + 15, 52 = -4*m - 4*i. Let w be 3/m*(-48)/(-42). Is w at least r?
True
Let k = -636 - -636.4. Let n be (1 + (-13)/2)*2. Which is smaller: n or k?
n
Let j = 0.041 - -5.559. Let c = -4 + j. Let v = c - -5.4. Is -1 less than v?
True
Let x be 27 + -2 - (1 + 0). Suppose -p - 2*a - 20 = 2*p, -5*p - a = x. Suppose 0 = 5*v - 14*k + 11*k + 21, -3*v + 5*k = 19. Do v and p have different values?
True
Let v(l) = -l**2 - l + 13. Let g be v(0). Suppose 5*m + 44 = 4*h + 1, 4*h + 5*m - 53 = 0. Let d = g - h. Is -17 greater than d?
False
Let v(l) = -4*l**2 - 50*l + 100. Let r be v(11). Is r bigger than -933?
False
Suppose -4 = -2*a + 26. Suppose -a = 6*j - j. Let l = j - 1. Are 1 and l nonequal?
True
Suppose 4*w = -2 - 2. Let d be 2 + (6 - 2)/(-2). Let c be 47/(-15) + d + 3. Is w >= c?
False
Let u = 9836 - 48957/5. Which is greater: 46 or u?
46
Let s(l) = 5*l**2 + 2. Let f be s(3). Let p(j) = -16*j + 32. Let i be p(-1). Which is greater: i or f?
i
Let s = 56 + -55.44. Let u = 3.46 - s. Which is bigger: u or 1?
u
Let s = -258 + 259. Which is smaller: 1/24 or s?
1/24
Let p = -43/30 - -8/5. Let g(k) = -k**3 - 4*k**2 + 13*k + 5. Let x(u) = -2*u**3 - 10*u**2 + u - 1. Let w be x(-5). Let y be g(w). Is p >= y?
True
Let x be ((-3)/(36/(-304)))/(2/3). Let k = 104 + -67. Which is smaller: k or x?
k
Let b = -841/186162 + -1/426. Is 0 greater than b?
True
Let x = 0.0468 + -6.4268. Let b = -0.38 - x. Which is smaller: b or -0.1?
-0.1
Let r be 0/(0/(-3) - -2). Let s be 1/(-1)*(9/93 + r). Which is smaller: -1 or s?
-1
Let s(i) = 3*i - 1. Let g b