-10). Is 0.52 < s?
False
Let w = 1.6 - 2.4. Is w > 78?
False
Suppose 5 - 77 = 4*o. Let t = 733/2 - 384. Which is smaller: o or t?
o
Let a = -66077/318 + -1186/53. Let p(d) = -3*d**3 - d**2 - 4*d - 5. Let y be p(4). Let s = y - a. Is s at least as big as 2?
False
Let h be 137/(-66) + -30 + 32. Is h less than or equal to 0?
True
Let g = 16/33 + 2/11. Which is bigger: g or 43?
43
Suppose 5*l = -2*y - 191, 0*y = y + 3*l + 98. Let o = y - -26. Are -58 and o unequal?
True
Let n(r) = -r**2 + 15*r - 53. Let j be n(9). Which is smaller: j or 6?
j
Let p(r) = -r**3 + 5*r**2 + r - 4. Let k be p(5). Let y(f) = -2*f + 0*f - 1 + f**2 - k. Let o be y(3). Is 1/12 less than o?
True
Let l = 2 - -1. Suppose -l*y - 5*c + 2*c = 15, 0 = 4*y - 3*c + 13. Let s(d) = 7*d + 5. Let r be s(y). Do r and -23 have the same value?
True
Suppose 4*n - 243 + 251 = 0. Which is smaller: 4 or n?
n
Let m be 80/(-10)*43/10. Let y = -518/15 - m. Which is bigger: y or 0?
0
Suppose -9*m + 12*m - 15 = 0. Suppose 50 = -m*o - 10. Let u = o - -13. Which is greater: -3/5 or u?
u
Suppose -34*p - 276 + 4 = 0. Which is smaller: -10 or p?
-10
Let v = -1054 + 359416/341. Which is smaller: -1/3 or v?
-1/3
Let t be 9 + (-2 - (4 + 0)). Let a(m) = m**2 + 2*m. Let r be a(-3). Suppose t*g = -3*i - r - 6, 5*i + 11 = -g. Which is greater: g or 4?
4
Let n be (-8)/19 + (-2 - -4). Let s = 308/171 - n. Let w = -16 - -16. Is w < s?
True
Suppose -28*i = 254 + 110. Which is bigger: 2/9 or i?
2/9
Let o = 31856 + -44120562/1385. Which is smaller: o or -2?
-2
Let f = -236 - -236.2. Which is bigger: f or -264?
f
Let v be (-1)/4 - (-1004)/(-16). Let p be -2 - v/2 - 20/40. Suppose 39 = -4*r + 155. Is p less than or equal to r?
True
Let b = -335 + 3687/11. Which is smaller: b or 3?
b
Suppose 35 = -r + y - 3*y, 4*y + 20 = 0. Let p = r + 26. Suppose -4*f + 1 = 5. Which is smaller: p or f?
f
Let c be 2/9 - (-20)/(-9). Let n be -2 + (-292)/(-72) + c/9. Which is greater: 1 or n?
n
Suppose 0 = -4*l - 78 + 18. Let u be 52/(-2)*l/(-6). Let h be ((-13)/u)/(2/12). Which is greater: h or 1?
h
Let d be (21 - 10)/(1/2). Suppose -d = -53*c + 51*c. Is 11 <= c?
True
Let g be (-2)/(-4*(-1)/(-2)). Let k be (g + -1)*(-1)/2. Suppose -5*w + 2*w + 15 = k, -q = 4*w - 36. Is q > 15?
True
Let m = 63 - 94. Let r = -32 - m. Let o = -17.7 - -18. Is o > r?
True
Let t = 171 + -287. Let k = 147 + t. Which is smaller: k or 0.2?
0.2
Let t = 0.09 + -456.09. Let u = -451.74 - t. Let k = -0.26 + u. Which is smaller: -6 or k?
-6
Let h be (-1 + 2)/(3/27). Suppose 5*k = 8*k - h. Suppose 3*q - 2*s = -4*s + 20, s + 8 = k*q. Are 1 and q equal?
False
Let b = 30 - -12. Let h = 41.7 - b. Is 4/9 at least as big as h?
True
Let l = -55 + 54. Which is smaller: l or 1/90?
l
Let o be (0 - 2)/(-4)*10. Let c(x) = -x**3 + 5*x**2 - 8*x + 4. Let m be c(o). Let v = 22 + m. Is -13 greater than or equal to v?
True
Let m = -0.44 - -24.44. Let c = m - 19. Let y = -5.1 + c. Are y and -0.1 equal?
True
Let m be -3*(-3)/36 - 18/(-24). Which is smaller: 1/130 or m?
1/130
Let y = 36 + -38. Let j be 1/(-3*y/6). Let u be (-7)/(-6) + 1/(-1). Which is smaller: j or u?
u
Let y = -3/259 + 960/15799. Which is smaller: y or -7?
-7
Let y = 36 + -30. Suppose 3*q - 2*i = -2 + 14, 0 = 2*i + y. Let j be 6*(-4)/15 + q. Which is smaller: j or 1/14?
1/14
Let c be 13/39 + (-10)/(-6). Suppose i = -c*t + 1, -5*t + 3 - 5 = -2*i. Do t and 3 have the same value?
False
Let b be ((-3)/(-1))/(((-81)/(-6))/(-3)). Let f = 1 - b. Suppose -n + 3*n + 5 = -3*d, 11 = -d - 3*n. Which is smaller: d or f?
d
Let z = -22 + 116. Are z and 93 nonequal?
True
Let a(m) = 2*m**3 - 7*m**2 - 5*m + 4. Let o be a(4). Let d = -5075/13 + 391. Is d at most o?
False
Suppose -4*x - 35 = 3*h + 26, -3*x + 4*h - 27 = 0. Suppose 0*j + 3*j + 4*i + 39 = 0, -j + i = 13. Is x greater than j?
False
Let m be ((-8)/2568)/(-3 + (-24)/(-9)). Which is greater: m or 0.1?
0.1
Let x be (-26)/6 + 4/12. Let t be 1/3*(-2 + 6 + x). Let n be (-44)/42 + 2/(-7). Which is smaller: t or n?
n
Let d(k) be the third derivative of -k**4/12 + 5*k**3/6 + 12*k**2. Let n be d(5). Is n greater than -5?
False
Suppose 4 = -2*i + i. Let x = 7 + i. Let s be 10/9 + -1 + (-2)/6. Which is bigger: s or x?
x
Let s = -8.7 - 2.3. Let a = -0.98 + -40.02. Let k = a + 43. Which is smaller: k or s?
s
Let v = -121/3 - -40. Let y = 16 - 13. Suppose -c - l = -4, 2*l - 11 - 2 = y*c. Is c greater than v?
False
Let t(v) = v**3 + v**2 - 8*v - 35. Let d be t(-3). Which is greater: -28 or d?
-28
Let g = -1/136282 + -12197197/5723844. Let o be (-53)/12 - (1 + -2). Let d = o - g. Which is smaller: -0.1 or d?
d
Let f = -75 + 847. Is 772 greater than or equal to f?
True
Let y be (-1)/(-4)*(-11)/(1419/24). Is y != 1?
True
Let n = 5611/142 + -79/2. Is n at most as big as 1?
True
Let b = 2579 - 3277. Is b < -2092/3?
True
Let t be 87/12*10/10 - 3. Which is greater: t or 4?
t
Let b(a) = -57*a**3 - a. Let o be (-1 - 1)/((-5 - -3)*-1). Let v be b(o). Which is bigger: v or 57?
v
Let p(j) = 3*j**2 + 62 - 61 - 2*j**2 + 3*j. Let c be p(-4). Suppose -l - 4*l = -35. Which is greater: c or l?
l
Let i be 13/(-5) - -2 - (-39)/65. Let c = 0 + 0. Let a = c - -1. Is a bigger than i?
True
Let u be 1/2*0 - -2. Suppose -w = -5*g - 7, u*w = g + 1 + 4. Suppose 6*v = w*v + 40. Do v and 10 have the same value?
True
Let u(b) be the third derivative of b**5/30 + 13*b**4/12 + 8*b**3/3 - 2*b**2 + 4. Let p be u(-12). Is p <= -4?
True
Suppose 8 = -7*k + 3*k - 4*s, 4*s = 3*k - 15. Is k at least 3/376?
True
Let m = -435 + 251. Is -1/3 less than m?
False
Let d be (3 + -6)/((-9)/(-102)). Let c = d - -33. Let l = 88/245 - -2/49. Do c and l have different values?
True
Let a = 43/6 - 53/6. Let x = -238235/114 - -4183/2. Let q = x + a. Which is smaller: 0 or q?
0
Let t = -1064 + 1065. Is -226 < t?
True
Suppose 0 = -9*a + 5*a - 196. Let g = 44 + a. Is 1 at least as big as g?
True
Let y = -0.6 + 0.4. Let t be 446/126 - 3 - 72/168. Is y not equal to t?
True
Suppose 7*a = 5*a - 12*a. Let n be 2/14 - 624/(-42). Is a at most as big as n?
True
Suppose 3*h - 5*w + 7*w + 80 = 0, 5*h = -w - 145. Let g be 4/(-10) - 552/20. Which is smaller: h or g?
h
Let v(x) = -x**2 + 11*x - 5. Let w be v(10). Suppose -25 = 4*t - 3*q, t = w*q + 11 + 4. Let j be (-24)/(-18)*3/t. Which is bigger: 1 or j?
1
Suppose -34*d - 18696 + 51404 = 0. Which is smaller: d or 963?
d
Let w be (-3172)/(-30) + (-285)/(-171) + 3. Which is smaller: w or 110?
110
Suppose 0 = 4*o - 5*w + 46, 20 + 6 = -4*o - 5*w. Let u be (-3)/o*(-6 + 3). Let r = -92 - -643/7. Which is smaller: r or u?
u
Let y(v) = 10*v + 3*v**2 - 2 + v**2 - 3*v**2 + 0*v**2. Suppose -2*s - 3*w - 32 = 0, 0 = 4*s - 4*w - 0*w + 24. Let m be y(s). Is -2 greater than m?
False
Let i be 2 - (-208)/76 - 6. Which is smaller: i or 0.1?
i
Suppose 8001 = 58*s - 6267. Is 243 at most as big as s?
True
Suppose 0 = -13*m + 711 + 459. Is 90 smaller than m?
False
Let p = -29 - -131. Is 102 at most as big as p?
True
Let g = 0.0015 + -2.0015. Do g and -2/9 have the same value?
False
Let o = 7/102 - 11/51. Which is bigger: -1 or o?
o
Let l = -4.14 - -2.67. Let s = l + 1.5. Let c = s + -1.03. Is 0.1 at least c?
True
Let s = -0.028 + 0.111. Let y = 0.017 + s. Which is smaller: y or -27?
-27
Suppose 0 = 2*u + 4*n + 992, -2*u = 2*u - 5*n + 1919. Which is smaller: u or -485?
u
Let f = -509 + 505. Is f equal to 11?
False
Let w = -1316 - -1409. Is 91 not equal to w?
True
Let f = -93 + 83. Let x = 3 + f. Which is bigger: x or -3?
-3
Let a be ((-31)/310)/(2/1376). Which is smaller: a or -68?
a
Let v = 4 - 7. Suppose 35 = -5*n - 5*o, -6*n + 2*n + 5*o = 73. Let r be (-12)/10*(-30)/n. Is v greater than or equal to r?
True
Let p be (3 + 78/(-30))/((-3)/(-27)). Is 4 less than p?
False
Suppose -w + 6 = 3*x, 4*x = -5*w + 3*w + 10. Suppose v = -2*c - 2*v + w, 3*c - v + 1 = 0. Is 2/43 less than c?
False
Suppose -9 = -3*t - 3*v, 0*v = -5*t + v + 9. Suppose -t*x + 4 = -x. Suppose -x*d - 5*u - 1 = 0, 2*d - 4*u = -0*d + 6. Which is bigger: d or -1?
d
Let c = 53 - 51. Let w = 15 + -6. Let l = w + -6. Which is smaller: l or c?
c
Let o(b) = b**3 - 5*b**2 + b - 2. Let u be o(5). Suppose -22 = u*y + 2*n, 0 = 2*y + n + 4*n. Let t be -5*(14/y - -2). Is t >= -2?
False
Let i(f) = -27*f - 161. Let d be i(-6). Are d and -10/73 unequal?
True
Let h(n) = -n**3 - n**2 + 