gger: s or 5?
s
Let p = -375 + 10127/27. Is p greater than -4?
True
Suppose q = -4*f - 675, -13 + 16 = 3*q. Which is smaller: f or -168?
f
Suppose 164 = 4*k + 4*f, -k + 5*k + 2*f - 168 = 0. Suppose -4*q + k = 15. Which is smaller: 20/3 or q?
20/3
Let l = -0.087 - -39.087. Let r = -36 + l. Is 2/5 greater than or equal to r?
False
Suppose -4*a - x - 79 = 0, -5*x - 59 = 2*a + 2*a. Let g = a - -6. Let u = 14 + g. Which is bigger: u or -1/5?
-1/5
Let i = -1.94 + 1.84. Which is greater: i or -5.6?
i
Suppose 3*a + 526 = 16. Is a less than -170?
False
Let w be (1/(-2))/((-4)/24 - 0). Let u be (2 + -3)/(-10)*4/w. Is 3 less than or equal to u?
False
Suppose 0 = -7*o + 5*o + 2. Let x be 1/((-3)/(-12)) - o. Is 0.1 less than x?
True
Let t = -4 - -8. Suppose -m + 6*m - 16 = -3*s, -24 = -t*s - 4*m. Suppose -4*p - 4*l - 12 = 0, s*l + 15 = -p + 2*l. Are p and 1 nonequal?
True
Let n = 92 + -92.061. Let l = -0.161 - n. Which is smaller: 6/13 or l?
l
Let f(b) = -3*b**2 + 13*b + 28. Let v be f(6). Suppose -l - 13 = -10. Which is smaller: l or v?
l
Let d = 173/222 - -2/37. Do -0.7 and d have the same value?
False
Let z be 1 + ((-174)/(-56))/(-3). Let w = 619 - 619.3. Which is bigger: w or z?
z
Let p(m) = -22*m**2 - 121*m + 11. Let g be p(-10). Do g and -980 have the same value?
False
Suppose -o - 3*o = -4*k + 256, 4*k = -4. Which is smaller: -263/4 or o?
-263/4
Let n = 615 - 463. Let v = 105 + 46. Is n greater than v?
True
Let t be (-16)/40 + 42/5. Let i be t/44 + (-27495)/33. Let f = -10835/13 - i. Is f smaller than 0?
True
Let i(p) = p**3 - 13*p**2. Let t be i(13). Which is bigger: -1/5372 or t?
t
Let o be 4/5 - (-156)/5. Let c = o + -32. Which is greater: c or 2/9?
2/9
Let d be (4 - 2 - 0)/(-11). Let q = 0.49 - -0.01. Let j = 0.4 - q. Which is bigger: d or j?
j
Let f be 40/8 - 9/(-3). Suppose 6 = -2*j - 18. Let v be j/f*(-6)/9. Which is smaller: 4/7 or v?
4/7
Suppose 0*u + 35 = 5*u. Let k(s) = 3*s**2 + 10*s - 3. Let d be k(-4). Is d at most u?
True
Let y be 8/18 - (-113176)/423. Is y bigger than 271?
False
Let y(c) = 9*c**2 - c + 3 + 2*c - 8*c**2. Let h be y(0). Let i be (-3 + -2)*(-4 + h). Is -2 less than or equal to i?
True
Let k be (-7)/1365*-9*-1. Which is smaller: 0 or k?
k
Let n = 46 + -45.81. Let i = n + -11.39. Let b = i - -1.2. Which is bigger: 0 or b?
0
Let c = 14 + -9. Let n(o) = -o**3 + 5*o**2 - 2. Let t be n(c). Suppose -2*k - 2*i + 8 = 0, -k + i + 8 = 3*i. Is t at least k?
False
Suppose 6*t = 8*t - 6, 2*n + 5*t - 73 = 0. Which is smaller: 86/3 or n?
86/3
Let s = 5 + -8. Let r = -177 - -177. Is r greater than s?
True
Let f = 179 - 179.7. Which is smaller: -0.16 or f?
f
Let z = 54 + -60. Which is smaller: z or -45/8?
z
Suppose 21*k - 2258 = 199. Let l be (-1)/4 - k/(-516). Which is smaller: l or 0?
l
Suppose 9*f - l + 2041 = -4687, 0 = 4*f + 4*l + 2968. Is -747 at most f?
True
Let s(r) = r**3 + 7*r**2 + 9*r - 4. Let v be s(-5). Which is smaller: v or 2/1403?
2/1403
Let g be 150/15 - 4*(-1)/(-1). Suppose 118 = g*d + 34. Is d <= 10?
False
Let g(l) = 37*l**2 + 4*l - 2. Let o be g(-2). Which is bigger: o or 140?
140
Let v = -0.85 - -0.47. Which is smaller: v or 3/2?
v
Let l = 90 - 89.38. Let q = l - 0.22. Which is smaller: -0.4 or q?
-0.4
Let i be 13/(-13)*((-7)/(-1) + -2). Let x(o) = -o**2 + 3*o - 3. Let c = -7 + 10. Let j be x(c). Is i less than or equal to j?
True
Let s = 1458 - 1457. Which is smaller: s or 4/69?
4/69
Let w = 37 + -74. Which is smaller: 0.1 or w?
w
Let x = 127 + -74. Let g = 48 - x. Suppose 22 - 2 = -4*y, -35 = 5*c + 3*y. Are g and c non-equal?
True
Let a be 2/3 + 8/(-156). Suppose 0 = -5*f - 15, -2*u + 5*u = -4*f - 9. Which is smaller: u or a?
a
Let x be ((-61)/(-38) - 2)*(-1 - 361). Let r = x + -143. Which is smaller: -1 or r?
-1
Suppose 3 = a - 0*a. Let u = -177 - -180. Suppose -2*w + 2*p = -16, w + u = 2*p + 16. Are w and a equal?
True
Let m(o) = -o + 13. Let r(y) = -y + 2. Let p be r(-8). Let k be m(p). Suppose 2*g - k = h, 1 = -4*g + h + 6. Is g less than or equal to 3?
True
Suppose 0 = -24*s - 390 + 2982. Which is bigger: s or 109?
109
Let x = 14.18 + -14. Let h = -0.0183 - 14.8017. Let u = h - x. Is u greater than 0?
False
Suppose 0 = 33*l - 28*l - 15. Let f = 15 + -13. Is f at least as big as l?
False
Suppose -12 = -4*q + 8. Let l(w) = w**2 - 6*w. Let k be l(q). Let d be 32/(-40) + (-19)/k. Does 0 = d?
False
Suppose -10*s + 6*s = 0. Is -3/10 >= s?
False
Let t = -53 - -65. Suppose t*u = u - 66. Is u less than or equal to -8?
False
Let x(i) = 15*i - 225. Let y be x(15). Do y and -2/153 have different values?
True
Suppose -r - 26 = -5*z, 0 = -5*r - 2*z - 3*z + 20. Suppose -5*b = 3*h + 26, -2*b = h - b + 10. Let o be (1 - 6/9) + (-8)/h. Which is bigger: o or r?
o
Let g be 5/(-2)*(-40)/25. Let l(j) = -4*j. Let h be l(g). Which is bigger: h or -29/2?
-29/2
Let p = 615/737 + 5/67. Is 0 > p?
False
Let t(f) = f - 12. Let x be t(8). Suppose -z + 3*a + 8 = 7*a, 2 = -3*z + a. Suppose n = z, 0 = -4*d - n - n - 12. Which is smaller: d or x?
x
Let l = 221 + -168. Let v = l - 54. Is v < -9?
False
Suppose -14*a = -10*a - 164. Suppose a*r = 40*r. Let t be ((-1)/12)/((-4)/8). Is r at least t?
False
Let r = 343/3 + -116. Let d = r + 17/9. Let j = -2 - -2.1. Is j at most d?
True
Suppose 3*c = 6, -2*k - 2*k + c + 78 = 0. Is 21 != k?
True
Let l = -1283 - -1169. Which is bigger: l or -113?
-113
Let o be 2916/3*2/(-10). Let y = 19807/105 + o. Let l = y + 38/7. Is l bigger than 0?
False
Suppose 4*c + 29 = x, 40 = -3*x + 5*x + c. Let u be (-14)/x*-3 - (1 + 54). Which is smaller: -54 or u?
-54
Suppose 2*x - 8 = -2*x. Suppose 0 = -5*k + l + 55, x*k - 3*l - 55 = -3*k. Let p be k/4 - (-2)/8. Is p < 1?
False
Suppose r - 11 = 3*o, 3*r - 23 = o + 3*o. Let p be -1*(o - -4)/(-2). Let j = 10222/35 - 292. Is j greater than p?
False
Let u(a) = a + 7. Let z be u(-6). Let y be (8/(-5))/(6/40)*6. Let r be 0 - -2 - 2/y*-62. Which is smaller: z or r?
r
Let p be (-138)/(-33) + (-26)/143. Do p and -112 have the same value?
False
Suppose 5*q - q - 8 = -4*f, 5*q - 4*f - 1 = 0. Let x(y) = 32*y**2. Let u be x(-1). Let i = u - 31. Is q greater than i?
False
Let b(f) = 49*f - 7. Let p be b(-7). Let i = p + 3146/9. Let n = 136.9 + -137. Is n <= i?
False
Let u be (2/(-42))/(80/360). Is -1 smaller than u?
True
Let h = 6072/5 - 1209. Are 2 and h equal?
False
Let r be -10 - 19012/(-1638) - (-4)/(-18). Is r less than -1/7?
False
Let v = 0.27 + -0.16. Let r = -0.17 + v. Let h = 2.06 + r. Which is smaller: 6 or h?
h
Let c = 0.76 - -37.24. Let f = c + -59. Is 0.2 at most f?
False
Let o = 2077/10 - 208. Suppose -2 + 10 = 4*c. Let f = 1 - c. Which is greater: f or o?
o
Let f be (-484)/(-66) - (-28)/(-4). Is 19 != f?
True
Suppose -h + 0 + 4 = -2*t, 4*h - 2*t - 16 = 0. Let i be h/(-22) + 114/22. Suppose -4*p + 9 = -3*m, i*m + p = -0*p - 15. Which is bigger: m or 1?
1
Let t be 9/6*52/6. Suppose -3*d + 2*v - 7 = 0, 2*d - 5*d - t = -5*v. Let z = -273 + 1908/7. Which is smaller: z or d?
d
Let g be 4/(-5) - (12 - (-776)/(-60)). Suppose 2*i + 12 - 4 = 0. Which is smaller: g or i?
i
Let t be (-159)/21*42/72. Let n = 35/4 + t. Is 3 at most as big as n?
True
Suppose -3*i = 5*w + 5 + 5, 0 = 2*w - 2*i - 12. Does w = -82?
False
Let o = -2180 - -250702/115. Suppose 0 = 3*h - 2 + 5. Which is smaller: h or o?
h
Suppose 6*t - 28 = 2*t - 2*b, -33 = -5*t - 2*b. Suppose -20 + 30 = -t*y. Which is smaller: y or -0.09?
y
Let k(x) = x**3 + 5*x**2 - 6*x + 1. Let r = 21 - 27. Let n be k(r). Let p = -7 - -10. Which is greater: n or p?
p
Let f(g) = g**2 + 10*g + 25. Let j be f(-5). Suppose j*h + 5*i + 1 = -4*h, h + 5*i = 11. Is -2 < h?
False
Let y be (-17)/(-19) + 44/418. Which is bigger: y or 2/951?
y
Let b(u) = -u**3 - 7*u**2 + 10*u + 9. Let h be b(-8). Let d be 5 + -4 + 2 + 0. Let g = d + -9. Is g >= h?
True
Suppose 5 = -w + 19. Let f(u) = 2*u + 1. Let n be f(8). Are w and n non-equal?
True
Let n = -6389/4 - -1612. Which is smaller: n or 16?
n
Let w = -5.56 - -5.66. Is w greater than or equal to -277?
True
Let w = -382 + 381.94. Is w equal to -58?
False
Let g = 53.116 - 0.116. Let o = -57 + g. Is o less than -0.2?
True
Let h = 1438/9 - 160. Which is greater: h or -0.08?
-0.08
Let m = 74 + -74. Which is greater: -2/411 or m?
m
Let p be (20/(-5) - 1) + (-1 - 1). Is p less than -6?
True
Let j = -173798 + 729986