 Let p = 4/337 + y. Is p < z?
False
Suppose -3*x - 10 = -2*i, x = 3*i - 3 - 5. Suppose -5*m + 3 + 12 = -5*u, -4*m - 15 = 5*u. Suppose -4*o + 2*f - 26 = m, -2*o - i*f - 2 = 8. Is -1/4 at most o?
False
Let o(s) = 2*s + 5. Let w be o(0). Let c = 29 - 25. Which is bigger: w or c?
w
Let b(t) = -t**3 + 8*t**2 - 6*t - 7. Let i be b(7). Which is smaller: i or 3/647?
i
Suppose 0 = -y - 14 - 6. Let u be ((-12)/y)/((-1)/5). Let w be ((-14)/4 - u)*8. Is -4 <= w?
True
Let m = -18.4 + 5. Let q = 2.1 + 10.9. Let o = q + m. Which is bigger: 1 or o?
1
Let h be (4/(8/(-6)))/(660/88). Which is smaller: h or 67?
h
Let b(v) = -v**3 + 16*v**2 - v - 2. Let o be b(7). Let z = -48815/113 + o. Let y = -573/904 + z. Which is smaller: y or 1?
y
Let y = -20 + 24. Suppose 3*w - 4 = 4*w + 5*a, -y*w + 5*a = -109. Let g be -3*(-435)/63 + 2/7. Is w smaller than g?
False
Let c be (-6)/(-9) + (-14)/9. Suppose -3*t = -z - 1 + 2, -2*z - 2 = -4*t. Let b be t/6 + 14/(-21). Which is smaller: c or b?
b
Let s = -0.751 - -0.951. Is 535 greater than or equal to s?
True
Let v = -5.46 + 11.46. Which is smaller: v or 2/5?
2/5
Suppose 3*q + 16 = f, q = 3*q. Let z be (-60)/f*((-16)/(-5) + -3). Which is smaller: -0.06 or z?
z
Suppose 33*a = 37*a - 4. Is a > -36/5?
True
Suppose 4*y + 44 = h + 41, 4*h = 4*y. Which is bigger: -4/387 or y?
-4/387
Let d be -3 - (-5 + (-368)/(-164)). Which is smaller: 1 or d?
d
Let t(o) = -10*o + 230. Let w be t(23). Is w less than -1/1068?
False
Let a = 8/81 + -113/324. Let y = 4 + -3. Are a and y equal?
False
Let o(p) = -33*p + 529. Let j be o(16). Which is smaller: 30/13 or j?
j
Let l = 25 - 46. Let w = 753 - 733. Let u = l + w. Which is smaller: u or 4?
u
Let t(m) be the second derivative of m**3/3 - 19*m**2/2 + 2*m. Let i be t(14). Suppose -8 = i*d - 5*d. Which is greater: d or -4?
d
Suppose k = -0*k - 2*u - 10, 25 = 4*k - 5*u. Let b be ((-7)/7000*4)/(2/(-8)). Is k < b?
True
Suppose -3*p = 14 - 20. Suppose -42 = -5*b + p*b. Are b and 14 nonequal?
False
Let w be 418/(-266) - 4/(-7). Is w at most 1/79?
True
Let o = -7 + 1. Let n be (5 + o)*(3 - 2). Is 4 equal to n?
False
Suppose -84 = -5*f - 4*o, 3*f + f - 88 = 2*o. Let s = 0 + 3. Suppose -2*b - f = 4*c, -s*c - c - 34 = -5*b. Which is bigger: 0.2 or c?
0.2
Let c = -14 + -13. Let d = c + 13. Let s = d + 15. Is 0.1 less than s?
True
Let g = 111 - 100. Which is smaller: g or 12?
g
Let a(i) = 9*i. Let b be a(2). Suppose -3*s + b = 3*y + s, s = 2*y - 1. Suppose y*j = -10 - 0. Is j != -2?
True
Let m(a) = -a + 1. Let o be m(1). Let d be -43*(-9 + 4)/5. Let u = -128/3 + d. Which is bigger: o or u?
u
Suppose 0 = 4*o + 6*p - 7*p - 613, -5*o = -4*p - 758. Is 155 bigger than o?
True
Let u = 0 + 0. Suppose u = 4*a - 2 - 2. Let d = -210 + 1056/5. Which is smaller: a or d?
a
Suppose 0 = 83*j - 88*j + 20. Let c be 0*(-1)/2*1. Suppose -o + 1 = -c*o. Is j greater than o?
True
Suppose -8*s - 14 = -86. Which is greater: s or 7?
s
Let q = -6054 + 405628/67. Which is smaller: q or -1?
-1
Let f = -46997/18592 + 81/32. Which is bigger: -1 or f?
f
Suppose 0 = 3*u - 5*m - 1155, 3*u + 3*m - 1131 = -0*u. Which is smaller: u or 378?
378
Suppose 0 = -145*w + 143*w + 14. Which is bigger: w or 16?
16
Let b(c) = c**3 - 19*c**2 - c + 45. Let z be b(19). Which is smaller: z or 22?
22
Let t = 203/165 - 1/33. Which is smaller: t or -0.2?
-0.2
Let i be (6/(-10))/(1/(-5)). Is i greater than or equal to 16/7?
True
Let h(o) = -4 + o**2 + 5*o - 2 + 0. Let v be h(-6). Which is bigger: -0.2 or v?
v
Let c = 1.8 - -7.2. Let a = -28 - -27.6. Which is smaller: a or c?
a
Let l = -37.956 + 38. Let s = 1.244 - l. Let b be (-2)/(5*1*-1). Is s greater than or equal to b?
True
Let g be (-528)/1862 + -11 + (-632)/(-56). Which is smaller: g or -1?
-1
Let z = -1119.3 + 1119. Does z = -1.69?
False
Suppose m = 4*m. Let l be 29/(-4) + 3 - -5. Is l > m?
True
Let u = 1.62 - 2.02. Does u = -15?
False
Let v(h) = h**2 + 62*h + 55. Let l be v(-12). Is -545 greater than l?
False
Let j = 0.083 - 43.083. Let c = j + 38.7. Let q = c + 0.3. Which is smaller: -3 or q?
q
Let q be 4/(-10) + 101228/220. Let o = 461 - q. Which is bigger: o or 1?
o
Let b be 40/(-20) + (-94)/(-25). Which is smaller: b or 3?
b
Let g be (20/6 - 2)*(-249)/552. Let v be -4 - -5 - (-13)/(-23). Let j = v + g. Which is bigger: -1 or j?
j
Suppose 0 = -4*l + 2 + 18. Suppose 3*g = -2*g - l. Which is smaller: -3/55 or g?
g
Let a = -9/13 - 2/91. Suppose 3*n + i = 3, -3*n + 5*i = 3*i + 6. Is a not equal to n?
True
Let x = -149 + 229. Which is greater: 76 or x?
x
Suppose -144 = -2*r + 5*p, 2*r + 2*p + 138 = 4*r. Let z(b) = -b**3 + 10*b**2 - 9*b - 16. Let i be z(7). Which is bigger: i or r?
i
Let p(i) be the second derivative of i**5/20 + i**4 - i**3/6 - 11*i**2/2 + 2*i. Let v be p(-12). Let f = 62 - 433/7. Which is smaller: v or f?
f
Suppose 4*r = -3*g + 242, -g = -2*r - 2*r + 234. Suppose 4*v = -12, -3*p + r = -4*v + 11. Are p and 0 equal?
False
Let z = 6 - 6.1. Let g = -0.85 + -0.15. Let o = g - z. Is o at most as big as 0.1?
True
Let i = 133 - 133.2. Let w be 3 + 12/17 + -3. Is w greater than i?
True
Let k be -10*(4/(-5))/(2*-1). Suppose -r + 4 = 7. Which is bigger: k or r?
r
Let m = 801 + -888.6. Let a = -88 - m. Which is bigger: a or -4?
a
Suppose 0 = -4*s - 3*z - 10, 5*s - 14 = z - 17. Which is smaller: s or 2/761?
s
Let n be 189/54*(-6)/(-350). Is -8 at least n?
False
Let f(d) = d - 11. Let x be f(8). Suppose 0*q - 10 = 2*q. Let c = q + 2. Is x at most c?
True
Suppose -15*i - 9*i = -8976. Which is bigger: 372 or i?
i
Let n be ((-4)/(-3))/((-2)/33). Let s be ((-1)/6)/(143/n). Which is smaller: s or 0?
0
Let s = -3151/9854 - -9/26. Is -1 less than or equal to s?
True
Suppose 6 = 7*o - 13*o. Which is bigger: -2/319 or o?
-2/319
Let k be 1 + (1 + -2)*0. Suppose -5*y + 317 + 493 = 0. Let w = -1945/12 + y. Does w = k?
False
Let l(t) = t**2 - 24*t - 190. Let i be l(-6). Is 12 greater than i?
True
Let p = 0.044 - 21.044. Let z = p - -21. Which is bigger: z or -14/5?
z
Let o(a) = -a + 4. Let m be o(11). Let u = 12 - m. Let i = -33 + u. Do -13 and i have different values?
True
Let l be 8*((-2)/(-4) - 0). Suppose 3*n = 2*b - 4, 0 - 4 = 5*n - 2*b. Suppose -2*t + l*t - 8 = n. Is 5 at most as big as t?
False
Suppose 3 - 3 = -7*u. Let f be -2 + 1 + 1 - -2. Suppose 5*q - 6 = f*q. Which is bigger: u or q?
q
Let k be (-8)/(8/(-9))*5/40. Suppose -5*u + 9*s = 4*s - 5, -4*u - 5*s - 5 = 0. Is u less than k?
True
Suppose 3*i + 20 = 2*j, 3*i + 2*j + 50 = -i. Which is bigger: i or -76/7?
i
Let p be (2/(-4))/((-2)/8). Let l be (-3)/(-6)*(p + -1). Suppose 7*w + 228 - 291 = 0. Do w and l have the same value?
False
Suppose r = x + 28, 5*r - x = x + 146. Let c be -3*(-124)/12*(-5 + 6). Which is greater: c or r?
c
Let i(b) = b**2 - 9*b + 22. Let c be i(10). Let v be 1/(-4) + 2*84/c. Which is smaller: v or -4?
-4
Let l = -4 - 6.6. Which is greater: -1 or l?
-1
Suppose -b = 3*n + 20, 3*n = -2*b - b - 24. Is n != 1?
True
Let i = -8854 - -8848. Let z(j) = j + 2. Let o be z(-6). Which is greater: o or i?
o
Let k(x) = 7*x - 166. Let c be k(21). Which is smaller: -14 or c?
c
Let z = 21 + -15. Let i = 5387 + -5379. Which is smaller: z or i?
z
Let f = 910.9 + -911. Let q(g) = g**2 - 13*g + 3. Let n be q(6). Is n at most as big as f?
True
Let a(y) = y**2 + 14*y - 175. Let t be a(8). Is t > -1/19?
True
Let t = -799 + 801. Is t at least as big as -70?
True
Suppose 13*t - 11*t = -36. Let g(i) = i**2 + i - 12. Let y be g(0). Let j = t - y. Is -7 smaller than j?
True
Let o(f) = 3*f - 1. Let m be o(1). Let v = -5.585 + 2.348. Let u = 0.237 + v. Which is smaller: u or m?
u
Let x(n) = 6 - 4*n - 4*n + 6*n. Let b be x(3). Is 5/4 greater than b?
True
Let y(k) = k**2 + 5*k + 39. Let w be y(-5). Which is smaller: w or 2?
2
Let y = 216 + -104. Suppose -6*d - 2*d + y = 0. Is d >= -1?
True
Let y be (-9)/(-3 - 9/(-2)). Let l = y - -8. Let s be (-1)/l + (-29)/(-6). Which is greater: s or 5?
5
Let w be 5*(-2 - (-3 - 0)). Suppose -50 = w*v - 20. Which is bigger: -13/2 or v?
v
Let l(u) = -u**2 - 8*u + 11. Let a be l(-8). Suppose 14*o = a*o. Let h be -1 - o*(-1)/4. Is 2/5 at most as big as h?
False
Let h(b) = b + 23. Let p be h(-10). Is 14 >= p?
True
Let b(t) = -t**2 - 5*t + 23. Let c be b(-12). Is -61 not equal to c?
False
Suppose -4*y = -2*y - 16. Suppose 0 = 2*k - 0*