 Let d be j(2). Let p = -49 + 46. Is p greater than d?
True
Let y be -1 + 1 - (-2)/40. Let g be -3 + 29/9 - 2894/(-18). Let o = 160 - g. Is y at most as big as o?
False
Let x(u) = 93*u**3 - u**2 + 2*u - 1. Let k be x(1). Does 93 = k?
True
Let b be 1/5 - (-52)/(-10). Suppose -10 = -5*y + 3*y. Let f = 3 - y. Is b bigger than f?
False
Let x = 68 + -16. Let i be ((-1)/2)/(10/x). Do -2 and i have the same value?
False
Let j be -3 - (2964/(-1434) + 1/(-1)). Let b = -9736/2629 + j. Which is smaller: -5 or b?
-5
Suppose n + n = -8. Suppose 2*w + 6*w + 48 = 0. Which is smaller: n or w?
w
Let i be 3*(-2)/(-72)*2086/(-7). Is -24 at most as big as i?
False
Let h(s) = -s**2 - 12*s + 14. Let r be (1/(-1))/((-12)/(-12)). Let w be r/6 - (-539)/(-42). Let u be h(w). Is -1/9 at least as big as u?
False
Let k = 0.791 + -0.74. Let w = 0.151 - k. Is w >= 16?
False
Let j = -0.662 - -14.662. Let d = -13 + 12. Which is bigger: d or j?
j
Let a be (0 + -1)/((-1)/35). Let p be 1526/42 + (-1)/3. Which is smaller: a or p?
a
Let f be 26 - (3/3 + 1). Let v = f - 23. Which is smaller: 4 or v?
v
Let k = 0.56 + -85.56. Let x = 86 + k. Is x at most -5?
False
Let q(r) = r + r - 4*r + 8*r + 24. Let p be q(-4). Is 0 at most p?
True
Let l(b) = b**2 - 10*b + 6. Let q be l(18). Let z be (4/q)/(1/6). Are z and 1 non-equal?
True
Let h = 125 - 123. Which is greater: -7.5 or h?
h
Let z be (3 + -18 - -1 - -3) + 1. Let t = -8 - z. Let h(n) = -n**2 - 10*n - 10. Let o be h(-8). Is t <= o?
True
Let y = -30 - -17. Let s = y - -14. Let j be (2/2)/((-78)/(-12)). Which is smaller: j or s?
j
Let i be ((3 - 83) + -7)*(-11)/(-3). Is -318 less than i?
False
Let z = 0.1562 + -71.0562. Let g = z - -71. Which is smaller: g or -1/12?
-1/12
Suppose -20 = -0*x + 4*x. Let n be 362*1/(-72) - (-14)/(-63). Which is bigger: x or n?
x
Suppose 0 = -9*v + 655 - 1654. Let x be (v/(-261))/(3/21) - 3. Let q be ((-4)/6)/((-2)/(-3)). Is x at least q?
True
Let x(w) = -2*w**3 + 18*w**2 + w - 4. Let r be x(9). Let l(k) = -k**3 + 2*k**2 + 4*k + 1. Let c be l(3). Let q = r - c. Is q equal to 1/9?
False
Suppose l + 4*v + 16 = 0, 3*v - v + 14 = -l. Let z be ((-5)/(-2))/((l/(-3))/8). Which is smaller: -2 or z?
-2
Let l = 127 + -127.1. Which is greater: -110 or l?
l
Let k(w) = 2*w + 15. Let o be k(-6). Is -24 < o?
True
Let m = 3 + 0. Let g be ((-456)/(-30) - 9) + 0 + -4. Which is smaller: g or m?
g
Let q = -1104 - -1201. Which is smaller: 94 or q?
94
Suppose 0 = 4*a - 4*p - 8, 3*p - 10 = -1. Is a at least -10?
True
Let g = 60 + 37. Is g > 97?
False
Let v(n) = 38*n - 53. Let o be v(12). Do 403 and o have the same value?
True
Let g be (1210/(-150) - -8) + (-4 - -2). Which is greater: g or -3?
g
Let u be (4/(-150))/(110/5325*-6). Let v = u - 2/11. Do v and 1 have different values?
True
Let j = -1454 - -1453.8655. Which is greater: j or -0.1?
-0.1
Let i(v) = v**3 + 12*v**2 + 9. Let s be i(-12). Let c = s - 11. Let g = 117.3 + -117. Is g greater than c?
True
Let b = 0.52 + -0.32. Let u = 0 - b. Which is smaller: u or 2/55?
u
Suppose 2*b - 103 - 37 = 0. Let c = b - 73. Which is smaller: c or -4?
-4
Let x(l) = -l**2 - 3*l + 7. Let b be x(-5). Suppose 5*o = -q + 11, 2*q + 3*q + 4*o = 34. Let t be 49/(-2) - b/q. Is -24 at least t?
True
Let j be 3/(-18) + 5368/(-363). Let w = j + 15. Suppose 3*m - 7 = 3*p + 2, 0 = 4*p - 2*m + 8. Which is greater: w or p?
w
Let o = 254 + -444. Let j be ((-3)/(-8))/((-57)/o). Which is greater: 1 or j?
j
Suppose 2230 - 844 = 33*z. Which is smaller: 0 or z?
0
Let b be (-3)/(-8) - (18215/360 - 12). Which is smaller: b or -1?
b
Let m(g) = 2*g**2 - 7*g + 6. Let c be m(2). Let p be (-9)/(27/2) - c. Does p = -49?
False
Let s = -347/63 - -76/21. Which is greater: s or -2?
s
Let k be ((-25)/15)/(3/(-27)). Suppose 12*a - k*a = -15. Let y(l) = l + 27. Let n be y(-22). Is n > a?
False
Let v(d) = 3*d**3 + d**2. Let u be v(-1). Is u >= -24/13?
False
Let g be 15*9/(-54)*10. Is 0.1 != g?
True
Let u = -0.3 - 2.45. Let x = -0.25 + u. Let n = -1 - x. Which is smaller: -1 or n?
-1
Let b = 19/10 + -17/10. Suppose 3*f = -g - 1, 3*f - 3*g - 3 = 5*f. Is b > f?
True
Let d(x) = x**3 + 6*x**2 - 24*x - 13. Let z be d(-8). Is 199/4 not equal to z?
True
Let a be 24/40 + (-42)/(-5). Suppose a*q = 6*q. Which is bigger: q or -2/31?
q
Let o be ((-12)/(-147))/((-6)/(-273)). Which is bigger: o or 4?
4
Let m be 10/(-8) + 2/8. Let n = -10185 - -3809187/374. Let j = n - 5/22. Is m at most j?
True
Let t = -0.2 + -0.3. Let h = 19 + -19.5. Let k = t - h. Is k not equal to 0?
False
Suppose 8*y + 3 - 3 = 0. Which is smaller: y or -2/29?
-2/29
Let h be (-755)/5 - (-5)/(20/(-12)). Is h smaller than 0?
True
Let n(a) = 2*a - 130. Let s be n(65). Which is greater: 6/757 or s?
6/757
Let w(s) = -4*s**2 + 4 - 2*s**3 + 3*s**3 - 2*s**3 + 2*s - s. Let u(q) = q**2 - 6*q - 4. Let c be u(6). Let x be w(c). Is 2 at least as big as x?
True
Let n = -4 - -3. Suppose 5*d = -32 - 33. Let g be 3 + (0 - (-43)/d). Is g equal to n?
False
Let t = 0.62 - 0.02. Let w = t + 5.4. Let n = w + -4. Do -2/3 and n have the same value?
False
Let l = -0.1098 - -9.1098. Which is smaller: l or 0.33?
0.33
Let u be (20/(-75))/((-6)/(-15))*-3. Suppose 0 = 3*n + t + 17, -u*n - 4*t + 30 = -4*n. Is -5 <= n?
False
Let a = 36 - 5. Let m = a - 33. Which is greater: m or -7/4?
-7/4
Let y be 7 + (-114 - 24/(-4)). Which is bigger: y or -1?
-1
Let s = 1404 - 995. Which is smaller: s or 410?
s
Let u = 0.17 + -0.17. Which is greater: u or 0.17?
0.17
Let v = -102147/14 - -7293. Is v at most -4?
False
Let n be 30/4*621/(-90). Let y = 52 + n. Suppose 2*b - 2 + 6 = 0. Which is bigger: b or y?
y
Let s be (4 - -6)*(-4)/(-10). Suppose 4 = 5*g - 3*q, 2*g - s*q = 3 + 7. Which is bigger: 3/53 or g?
3/53
Let h = 342 + -1024/3. Which is bigger: 3 or h?
3
Let r = -208 + 425/2. Let o = r - 4. Let j be ((-6)/(-18))/(16/(-6)). Is j != o?
True
Let n be (4 + 10)*24/14. Let w(p) be the first derivative of 2*p**3/3 - 2*p**2 - 7*p - 30. Let g be w(-3). Do g and n have different values?
True
Let w be (-15)/(-2)*(-2)/(-3). Suppose -7*h = -w*h + 2, 0 = -4*x + 4*h + 148. Are 36 and x non-equal?
False
Let n = 4 - 0. Let d = 5 - n. Let f = -3/34 - -23/68. Which is smaller: f or d?
f
Let q = 4047 - 2359. Is 1688 >= q?
True
Let o = -19 + -287. Which is bigger: -308 or o?
o
Let c(o) = o - 5. Let a(u) = -12*u + 66. Let t(k) = -2*a(k) - 27*c(k). Let x be t(3). Is x >= -5?
False
Let h = 1479/7 + -211. Let w = 5 + -7. Is w not equal to h?
True
Let p = 198 - 1384/7. Let b(t) = 2*t**3 + 7*t**2 + 1. Let o be b(-4). Which is smaller: o or p?
o
Suppose s + 142 = 5*b, b - 5 - 17 = -3*s. Is b > 20?
True
Let c = -1048 + 685. Is c != -364?
True
Let i = 16.8 - 5. Let r = 0.25 + -12.25. Let o = i + r. Which is smaller: o or 0.4?
o
Let g(p) be the first derivative of -p**4/4 + 4*p**3/3 - p**2 + 5*p + 5. Let j be g(4). Does j = -4?
False
Let w = -13 - -15. Suppose 2*y = 4 - w. Suppose 0 = -4*c + 5 - y. Is 1/25 at most as big as c?
True
Let p = 289/164 - 23/205. Are p and 2 nonequal?
True
Let u = -2619 + 13143/5. Are 2 and u unequal?
True
Let h = -8584/475 + 286/25. Is h at most -8?
False
Let u = 41.86 - 0.86. Let y = u + -40.9. Which is smaller: 20 or y?
y
Let k = 438.9 + -460. Let t = k - -22. Let i = 1 - t. Which is greater: i or 1.2?
1.2
Suppose 20 = 3*w + 2*p, 5*p - 16 = 5*w - 66. Which is smaller: 7 or w?
7
Suppose -248 = 6*m + 106. Is -58 at most as big as m?
False
Let i = -1066 + 1065. Is i at most -1/1058?
True
Let c = 303 - 323. Which is smaller: c or -14?
c
Let f be (40/(-6))/(1/3). Let y = f + 8. Let i = -11 - y. Is 1/3 at least i?
False
Let u be 6178/60 - (110/11)/60. Do u and 103 have the same value?
False
Let u be ((-3)/(-18))/(18/(-8)). Let v(a) = 2*a + 4 - a**2 + 25*a**3 - 5 - 24*a**3. Let k be v(1). Does k = u?
False
Let u = 7 - 22/3. Suppose -y + 3*y = 42. Let v be 4/(-6)*y/(-455). Is v < u?
False
Let k = -69.39 + -0.61. Let l = 68 + k. Let c = 0.3 - 0.25. Is l > c?
False
Let h be 16330/(-13000) + 5/4. Is 1 at least h?
True
Let d = 99 + -99. Suppose 0*z + l = 4*z + 4, -3*z - 3*l + 12 = d. Which is smaller: -2/109 or z?
-2/109
Let o be (72/32)/((-3)/16). Let x(s) = -s**3 + 5*s**2 - 5*s + 4. Let u be x(4). Suppose u = -4*a - n - 50, n + 8 = -3*n. Is a >= o?
True
Let r = -23099/42 - -550. Which is smaller: 0 or r?
0
Let o be 76