
Let w = -2820 + 2820.2. Which is smaller: 2/67 or w?
2/67
Suppose 0 = -3*g + 7 - 1. Let w be (-8)/(-20) - g/5. Let r = 321 + -2893/9. Is w not equal to r?
True
Let h(r) = 2*r - 16 + 3*r - 4*r + 2*r. Let c be h(5). Let p be (3/9*0)/c. Is -2 less than or equal to p?
True
Let z be 2/11 + 10224/33. Which is smaller: z or -2?
-2
Let b be (-60)/21*(9765/(-110))/9. Is b >= 28?
True
Let x(p) = p**3 + 4*p**2 + 4*p + 2. Let l be x(-3). Let q = 171 - 171. Which is smaller: l or q?
l
Let u = -10.5 + 11.9. Let x = -7 - -6.4. Let p = x - u. Are p and -1/3 nonequal?
True
Let g be (-14)/28 + (-19)/(-2). Let q(y) = y**3 + 10*y**2 + 11*y + 12. Let l be q(-9). Let o = g + l. Are 8 and o non-equal?
True
Let s be (-16)/24*(-3)/(-2). Let o be (s - 4)*(-5)/(-60)*2. Suppose 1 + 1 = -p. Is p <= o?
True
Let y be 16/56 + 19/((-532)/1128). Do y and 2 have different values?
True
Let i = 3/5644 + -1462057/491028. Let v = 9/29 + i. Is 2/5 != v?
True
Suppose q + 15 = 6*q. Let n = 6 - q. Suppose 4*h + 10 = -3*u, h - 6 = 3*u + 4*h. Which is greater: n or u?
n
Suppose 5*r = 5*c - 35, -9*r - 4*c + 10 = -4*r. Are r and 4 non-equal?
True
Suppose 2*a - 4*x - 483 = x, 3*a = -5*x + 762. Let o = a - 4232/17. Are 0 and o non-equal?
True
Let o = -24 + 26. Suppose k - 5*i - 1 = 0, 0 = 2*k + 2*i - 3*i + 7. Is k at least as big as o?
False
Suppose 7*a - 33 = 4*a. Suppose 37 = -v - 2*k + a, 2*v - 3*k = -24. Is v at most as big as -19?
False
Let q be 20/(-35) - (-3328)/42. Is q smaller than 78?
False
Let a = 10.4 + -10. Let t = a + -0.7. Let j = 5 + -8. Which is bigger: t or j?
t
Let m = 14.3 + -13. Let l = 1.49 - m. Let z = l + 0.81. Is z smaller than -17?
False
Let v = 17 - 229. Which is bigger: v or -211?
-211
Let r = -60 - -30. Let o(l) = l - 19. Let c be o(-10). Is c at most as big as r?
False
Let f = 1758 + -19315/11. Which is smaller: 1 or f?
1
Let c be 140/6*324/(-126). Which is bigger: c or -56?
-56
Let j = 237 + -477/2. Let h = -3 + 4. Is h bigger than j?
True
Let l be 2/(316/(-395)*10/52). Suppose 2*x + 28 = -2*x. Which is smaller: x or l?
l
Suppose f - 4*m = -0*f + 595, f + 3*m - 595 = 0. Let n = f - 34511/58. Which is greater: 0 or n?
0
Let j(b) = -b**2 - 27*b - 72. Let p be j(-21). Which is bigger: 53 or p?
p
Let k = 46/31 + -739/310. Are k and 3 nonequal?
True
Let d = -552 - -124. Which is greater: d or -427?
-427
Let r = 455 - 468. Which is greater: 2/27 or r?
2/27
Let g = -558 - -563. Let n(t) = t**2 + 4*t - 7. Let m be n(-6). Are m and g unequal?
False
Let j = -13.7 - -122.7. Let y = j - 97. Which is smaller: -0.2 or y?
-0.2
Suppose 0 = -13*v + 29 + 10. Let y = 5 + -8. Let a = y - -9. Is v greater than a?
False
Let q be (-2 - 0) + (-2 - -19). Suppose 8*k - 10*k = -56. Let x = q - k. Do -14 and x have the same value?
False
Let i(d) = -9*d + 1. Let j be i(2). Suppose 1495*b - 590 - 398 = 1547*b. Which is bigger: j or b?
j
Let a(y) = y**2 - 5*y + 4. Let w be a(4). Suppose -z + 1 = -w*o - 4*o, -2*o = -3*z + 3. Let h = -1/30 - 0. Is z smaller than h?
False
Suppose 0 = -10*f + 5*f - 170. Which is greater: -43 or f?
f
Let g be -33 + 9 + 4*1. Let s be 0/(8/g*-5). Suppose -3*u - 2*u + 10 = s, 0 = -5*x - 2*u + 59. Is x greater than or equal to 12?
False
Suppose -256 + 283 = -q - 3*h, 0 = 4*q + 3*h + 72. Which is bigger: 6/7 or q?
6/7
Suppose -i - 5*z - 3 = 13, 2*z + 28 = 5*i. Suppose -i*w = -j - 13, 5*j - 3*w = -23 + 9. Let g be (1/(-5))/(48/(-40)). Which is bigger: j or g?
g
Let x be -3 - (-528)/(-56)*7/(-1). Does 64 = x?
False
Let v be ((-82)/369)/(30/27). Let k = 9 - 9.16. Is k at most v?
False
Let o be -1 + (-2 - -4) + -1. Suppose -3*q + 300 = -2*r, 5*r + q = 4*r - 145. Let w be 4/(-10) + r/(-280). Is w at most o?
False
Let k = -154 - -153.9. Is 2/83 < k?
False
Let i(n) be the first derivative of n**4/4 - 2*n**3 - n**2/2 + 7*n - 1. Let a = -223 + 229. Let f be i(a). Which is bigger: f or -1/3?
f
Let t be 2/3 + (-14)/21. Suppose -2*l - 22 = -g - t, -5*l = 0. Is 22 not equal to g?
False
Let c(j) = -j**3 - 4*j**2 - 4*j. Let b(l) = -l + 5. Let v be b(8). Let g be c(v). Suppose -3*y - 2*q = -9, -2*y - 5*q - 20 = -g*y. Which is greater: y or 0?
y
Let m(u) = u**3 + 4*u**2 - 6*u + 2. Let b be m(-5). Let h = -5 - b. Let w be h/(-16) + (-27)/(-12). Is w less than 3?
False
Suppose -27 = -7*s - 20. Which is greater: s or -2/45?
s
Let d = 480.88 + -481. Which is greater: 2/7 or d?
2/7
Suppose -x = -3*y - 88, 3*y - 370 = -5*x + 4*y. Let u = x + -45. Is 28 less than or equal to u?
True
Suppose -72 + 282 = 3*n. Let r = 69 - n. Which is greater: r or -22/9?
r
Suppose 15*g - 592 = -g. Suppose 0*f = f - 2, -5*o = f - g. Is o at least 4?
True
Let p be 0 + 5 - (-3 + (-236)/(-18)). Which is greater: -5 or p?
-5
Let d = -162 - -290. Let o = d + -127.96. Which is bigger: 5/3 or o?
5/3
Let l = -96 + 145. Is l at most 0.5?
False
Suppose 398 = 5*k + 398. Are k and 7/17 unequal?
True
Let t be 2/(-8)*(3 + -3). Let w be ((-9)/474)/((-3)/4). Do w and t have different values?
True
Let y = 20.955 - 21. Let q = -0.145 - y. Is q > 2?
False
Let x = -25.5 + 24.5. Does 36 = x?
False
Let r = -0.3 - 0.1. Let q = r - 0.6. Suppose -2*n - 30 = 4*p, 0 = 5*p - n - 2 + 50. Is p smaller than q?
True
Let u(w) = -w - 1. Let h be u(-7). Let z = -6 + h. Is -3 greater than z?
False
Let j be 60/(-21)*2/(8/(-10)). Let w(v) = v**2 - 6*v + 15. Let z be w(4). Is j less than z?
False
Let o(d) = -d**3 - 18*d**2 + 20*d + 19. Let f be o(-19). Let p be (-9)/(-138)*-4*(-1)/(-3). Which is bigger: f or p?
f
Suppose 0 = -7*z - 21*z + 28. Is 2/1225 at most as big as z?
True
Let b be -23*12/((-108)/153). Is 389 not equal to b?
True
Let b be 27282/(-520) + 17/(-85). Let h = b - -259/5. Let c = -8/13 - h. Is 0 <= c?
True
Suppose 2*w = -5*f - 12, -2*f - 20 = -2*w + f. Let j(c) = -2*c**3 + 14*c**2 - 8*c - 2. Let o be j(6). Let t be 72/(-126) + o/14. Is w >= t?
True
Let v be (-1 + 1)/(11 + -8). Let a be -1 + v - (-36)/24. Let h = 37/82 - a. Which is smaller: 1 or h?
h
Let o be (16/(-10))/4 - (-6138)/(-55). Let a = 110 + o. Suppose -2*n - 5*f + 46 - 17 = 0, 2*f - 12 = -n. Is n at least as big as a?
True
Suppose -h - 2*h = -30. Suppose 4*w = -5*l - 414, 5*l + w + 409 = 2*w. Let y = l - -93. Is y at least as big as h?
True
Suppose -4*w - 2*k = 42, 4*w + 21 = -3*k - 22. Let o be 0 + 2 + -1 - -4. Suppose z - 37 = o*z - l, 2*l + 26 = -2*z. Are w and z equal?
True
Let o be (-44)/(-12) + (-2)/(-6). Let m(x) = 4*x - 4. Let g be m(o). Let t be -12*(0 - (-8)/g). Is t smaller than -8?
False
Suppose -4*v = -7*n + 2*n + 26, -11 = v + n. Which is bigger: 12 or v?
12
Let g(q) = q - 5. Let u be g(5). Suppose -2*v + 23 - 13 = u. Is 5 at most as big as v?
True
Suppose -4*g = 27 - 11. Let m = -4 - g. Let l = -14 + 67/5. Is m greater than l?
True
Let r = -144 - -145. Which is greater: r or -4/19?
r
Let p = 312 - -59. Let t = 1168/3 - p. Let z = t - 21. Which is smaller: -3 or z?
-3
Let w = 0.01 - 0.07. Let l = 1.94 - w. Let t = l - 3. Do 0 and t have the same value?
False
Suppose -5*t = -2*v + 31, 4*v + 0*v - 4*t = 32. Suppose 2*m - v*d - 3 = -8*d, -4*m = -4*d - 20. Which is bigger: m or 5?
5
Let t be 2/(-24) + (-49985)/(-780). Are 65 and t unequal?
True
Let r(v) = -2*v**3 + 35*v**2 - 16*v - 21. Let l be r(17). Which is greater: -48/17 or l?
-48/17
Let j be (-4 + 123)*9/(-21). Suppose -46 = 2*z + 58. Which is smaller: z or j?
z
Let u be 296*9/(-54) - 7. Is -57 at least as big as u?
False
Suppose -4 - 4 = -4*w. Suppose -13 = -4*g + 5*c, -5*c = -g + w*g + 3. Suppose d + 14 = g. Which is greater: -13 or d?
d
Let w = 0.49 - 0.59. Let p(a) = -a**3 + 8*a**2 - 9*a + 8. Let q be p(7). Which is bigger: w or q?
w
Let l(j) = -7*j**2 + 6*j**2 - 7 + 2*j**2 - 5*j. Let i be l(6). Which is smaller: i or 2/21?
i
Let n = 41 - 40.9. Let v = -24 - -44. Which is smaller: n or v?
n
Let l(k) = 2*k**2 - 2*k**2 + 9 - 8*k - 2*k**2 + k**2. Let x be l(-9). Let r = 8.66 + 0.34. Is r at least x?
True
Let w be 57184/(-5216) - 22/(-2). Which is smaller: w or -0.1?
-0.1
Let v = -33602/11 - -3060. Which is greater: v or 4?
v
Let n(i) = -i**3 - 11*i**2 - 10*i + 5. Let k be n(-10). Suppose k*l = -3*l. Suppose -2*v - 4 - 16 = l. Which is greater: 1 or v?
1
Let i = 427/3 - 142. Is i greater than 5.2?
False
Let x(l) = l**3 + 14*l**2 + 9*l + 53. Let z be x(-17). Is -968 not equal to z?
True
Let p(n) = -18