 -n = 3*v - 165. Are 155 and n equal?
False
Let b(k) = k**3 + 11*k**2 - 26*k - 74. Let y be b(-12). Is y less than 90?
False
Let q = 621.1 + -711. Let b = -90 - q. Is b greater than or equal to 31?
False
Let q be 1/(-2)*(-24)/(-12). Which is bigger: 1/24 or q?
1/24
Suppose 7*t + 224 = 3*t. Let d be (-8)/15*126/t. Which is smaller: d or -2/9?
-2/9
Suppose -3*r - 3*a - 17346 = 0, -4*a + 5780 = -r - 7*a. Let i = -17134/3 - r. Let f = -71 + i. Is f smaller than 1?
True
Let h = 14 + -13. Let o = 15 - h. Let p be -2*o/4 + -1. Is -8 <= p?
True
Let p be -8*(-2 + 22/12). Let y be 2 + 0 + 0/(12/3). Let n = y - p. Which is smaller: n or -2?
-2
Let v = -47 - -47.27. Let y = v - 8.27. Which is smaller: y or 1?
y
Let s(z) = z**2 + 7*z + 3. Let c be s(-7). Suppose -c*o + 0 = 4*t - 16, -2*t - 2*o = -10. Let w be 8/(-5) - (0 + -2). Which is smaller: t or w?
w
Let g = -1332 + 38631/29. Do g and 0 have the same value?
False
Let u(w) = 5*w**2 + 76*w + 17. Let i be u(-15). Is i <= 9?
True
Let p be ((-916)/180 - -2) + 3. Which is bigger: p or 1?
1
Let w = -187 + 156. Which is greater: -32 or w?
w
Suppose -g - 7 + 1 = t, -8 = -4*t + 4*g. Let s be 39*4/12 + t. Is 3 less than s?
True
Let p be (7441/151)/7 - 7. Is p not equal to 1?
True
Let w = -171 + 174.5. Is 1/2 >= w?
False
Let s(z) = z + 16. Let w be s(-13). Suppose 5 = 8*o - w*o. Let q be 10/14 - (-3)/(-3). Are q and o nonequal?
True
Let m = -15 - 5. Let q = m - -19. Let w(t) = -4*t - 16. Let n be w(-4). Which is greater: n or q?
n
Let g = -11 + 13. Suppose u - 1 = y, -u = -5*y - 7 + g. Suppose u*h = -h. Which is greater: 2/3 or h?
2/3
Suppose 1 = 5*t - 9. Which is greater: t or 16?
16
Let p be (-14152)/87*(0 + 3 + -6). Is p < 487?
False
Suppose -4*b + 35 = -5. Suppose 2*d - b = 6. Let v be 2 + 5/((-20)/d). Is -2/3 greater than or equal to v?
False
Let i = -46 + 46. Suppose 2*h + 2*v - 10 = i, -17 = -3*h - 4*v + 3. Is 2 > h?
True
Suppose 50*r = 44*r - 18. Which is bigger: -112/45 or r?
-112/45
Suppose m - 3*z = 5*m - 27, 4*z = 5*m - 26. Let p(c) = c**3 - 18*c**2 + 19*c - 39. Let l be p(17). Let h = l + m. Which is smaller: h or 4/3?
h
Let i = -35.1 - -32. Let b = 3 + i. Is 1 less than b?
False
Let k = -5.62 - -5.57. Which is bigger: k or -24/5?
k
Let u = -0.29 - -13.29. Let l = 13.1 - u. Which is bigger: l or 5?
5
Suppose -4*s - 4*l + 1004 = 0, -s + 1259 = 4*s + 4*l. Is s at most as big as 253?
False
Let a(i) = -i + 9. Let n be a(7). Suppose -2*m - 9 = 3*s - 6*s, 0 = -n*m - 5*s - 1. Let g be (m/27)/((-2)/12). Are g and 0 equal?
False
Let s = 3676.04 - 3582. Let o = s - 94. Which is bigger: -1 or o?
o
Let f = -3 + 25. Let h = -21 + f. Which is smaller: h or -2/35?
-2/35
Let c = -19 - -26. Let j = -6 + c. Is 4 bigger than j?
True
Let c = 36 - 36. Suppose -3*n + 7*n + 12 = c. Which is smaller: -1 or n?
n
Let g be (5/(-10))/((-3)/(-2364)). Let y = g + 9065/23. Let k be 6*(-1 + ((-15)/18 - -2)). Which is smaller: k or y?
y
Let n be (12 - 20)*(-12 + 6). Which is smaller: n or 47?
47
Let k(y) = -7*y**3 - 3*y**2 + 14*y - 34. Let a be k(3). Is a not equal to -207?
True
Let j be (-249)/9 - 2/(-3). Which is smaller: -11 or j?
j
Let h be -3 - (-1)/2*10. Let w be ((-14)/(-5) - h)*-5. Let v(b) = -b**2 - 3*b - 4. Let d be v(-3). Is w not equal to d?
False
Let x = 49 + -50. Which is greater: 2/3 or x?
2/3
Let k = 115 - 114.919. Let d = 0.081 - k. Which is bigger: d or 42?
42
Let v be 1 - 0 - 50*-2. Let g(b) = -b**3 + 206*b**2 - 1183*b. Let k be g(6). Which is bigger: v or k?
k
Let t = 5.6 - 27.6. Let g = -24.3 - t. Let w = g + 2.3. Is w at least -0.06?
True
Let f be (4/(-2))/(-3 + 7910/2640). Which is smaller: f or 529?
f
Let k be (-1 - -1) + 1/16. Let u = -8.595 - -6.595. Is u bigger than k?
False
Let d = 3 - 1. Suppose -d*n + 7 = -n. Suppose 0 = -4*x - 9 - n, 4*p = 5*x + 24. Is -2/9 != p?
True
Let k be (-4)/(-1)*63/(-12). Let n be (-33)/k - (-4)/(-2). Suppose 6 - 1 = 5*b. Which is smaller: b or n?
n
Let j = -783 - -3929/5. Let f = j - 27/10. Let v be (-2)/(-12) + (-1)/(-3). Is v >= f?
True
Let l = -454 + 455. Let r(c) = c**3 - 3*c**2 + 1. Let a be r(2). Let q be (-4 - a)/(1*-4). Which is bigger: q or l?
l
Let f = -7 - -15. Let s = f + -8. Let t be ((-3)/(-6) + -1)*s. Which is smaller: 5/4 or t?
t
Suppose 8 = 1082*q - 1086*q. Suppose 3*x = -1 - 8. Let n be 3/27*x*q. Is 1.9 <= n?
False
Let z = -5.263 + 0.063. Let r = -3.513 - -3.313. Which is bigger: z or r?
r
Let d be 1106/(-175) + 2 + 5. Which is bigger: d or 1?
1
Let v = 1099 + -7711/7. Suppose 0 = 5*r - 4*u - 27, 3*r - 30 = 4*u - 9. Suppose 5*j + 20 = -z + 8, r = z. Are v and j non-equal?
True
Let y = -71 + 71.08. Let j = 17 + -15. Is j greater than y?
True
Suppose -309*h = -323*h + 210. Which is smaller: 137/9 or h?
h
Let k = 529/470 - 114/47. Which is smaller: k or -2?
-2
Let p(g) = -10*g**2 - 9*g - g**3 + 779 + g - 769. Let z = 14 - 23. Let s be p(z). Is 1/16 > s?
False
Let j(x) be the first derivative of x**4/4 - 5*x**3 + 8*x**2 - 17*x + 22. Let r be j(14). Is r at least as big as 11?
True
Let g(l) = -3*l + 56. Let m(w) = w - 28. Let q(a) = 4*g(a) + 9*m(a). Let h be q(-9). Which is smaller: 0.9 or h?
h
Let u = -2 + 22. Suppose v = -0*v + u. Suppose 2*o - 21 = o. Which is smaller: o or v?
v
Let o = -26.013 + 26. Let r = o - -4.013. Let n = 0.7 - 3.7. Which is bigger: n or r?
r
Let x = 7.05 + -7.3. Is x smaller than 3?
True
Suppose -38*q = 21*q + 5074. Is q at least as big as -86?
True
Let q be (-10)/8 + (-277)/(-228). Which is smaller: q or 1?
q
Let i be 29171/(-68) + (0/(-4))/5. Let o = 429 + i. Which is smaller: o or 1?
o
Let o be 0/((84/6)/(-7)). Is 1/170 at least o?
True
Suppose 77 = -5*q - a, -3*q - 4 = -5*a + 31. Let r be 4 - ((-4)/(-6) + (-20)/q). Suppose 2*l - 4 = 3*b, -2*b + 3*b - 5*l = -23. Do b and r have the same value?
True
Let b be 3*(-8)/36*-6. Let p be (-1)/(b/4)*-14. Let l be ((-1)/p)/((-16)/56). Which is greater: 1 or l?
1
Let z = -4519 + 3061. Does z = -1458?
True
Let q be (-10)/(-3) + (-7)/21. Let z be q/(-12) - (-81)/(-12). Let i = 0 - 5. Is i greater than or equal to z?
True
Let w(q) = -q**2 - 9*q - 4. Let j be w(-6). Let b(c) = 3*c**2 - c. Let t be b(1). Suppose -2*i - t*v = -0*i, -3*v + j = -4*i. Which is bigger: i or -1?
-1
Suppose 2*i + 2*r = -14, -26*r - 21 = 3*i - 25*r. Is -82/13 smaller than i?
False
Let l = -197469961/242326 + 67/69236. Let b = -815 - l. Let k = 1/7 - b. Which is bigger: k or -4?
k
Let g be (3928/204 - 19)*(-1)/(-1). Is -2/7 > g?
False
Let n = 13.68 + 0.32. Let x be 9/6*-1*2/127. Let s = 227/1143 - x. Does s = n?
False
Suppose -b = -0*b - 3. Suppose b*z + 0*z = -5*a + 16, 2*a = -4*z + 12. Suppose p = a*p. Which is smaller: p or 3/7?
p
Let k = -161 + 403. Which is smaller: k or -1?
-1
Let o = 315 + -545. Which is smaller: o or -228?
o
Let i = -486 - -486. Is i smaller than -759?
False
Let w = 145 + -129. Is w smaller than 13?
False
Let t = 2037 + -2387. Is -349 equal to t?
False
Suppose 2*k = -4*m - 309 - 13, 4*k = 5*m + 422. Do -409/5 and m have different values?
True
Let d(r) = 6*r - 1. Let l be d(1). Suppose 42*m - 14*m - 168 = 0. Suppose -l = y - m. Which is smaller: y or -1/3?
-1/3
Let q(r) = r**2 + r + 14. Let n be q(0). Let j be 18/(-42) - (-6)/n. Suppose t - 1 - 3 = j. Is 0 greater than t?
False
Let u = -131 + 132. Let k be 3*(3 + -4)/u. Is -4 < k?
True
Let w = 4 + -3. Let f = -209969537/1676080 - -45656/365. Let z = f + 1/574. Is w < z?
False
Let j = 43 - 43. Let q = j - -4. Suppose -2*g + 4 = -g - m, -3 = -3*m. Is q equal to g?
False
Suppose 5*c - 2*c - 3*k = 3, 3*c + 5*k - 19 = 0. Let l be -9*(9/c + -4). Suppose -l - 3 = 4*o. Is o >= -14/9?
False
Let a(j) = j**3 - 2*j**2 + 7*j - 8. Let u be a(6). Are u and 178 equal?
True
Let l = -144 - -137.1. Let c = -11 + 4. Let k = c - l. Is k >= -1?
True
Let c = 0.52 - -25.48. Let j = c + -26.03. Which is smaller: j or 1?
j
Let z = -0.8 - 0.5. Let v = z - 0.7. Let f = v - -2.1. Are f and -0.2 unequal?
True
Let q be (-2)/(-6) - 4/3. Let u = 13/4 - q. Suppose -35 = -12*t + 25. Which is bigger: u or t?
t
Let n = -30.54 + 30. Let x = 11.05 - 11.4. Let a = n - x. Are -0.1 and a non-equal?
True
Suppose -4*q + 5*u = -68, 0*q + q - 30 = -2*u. Let n be (2 - (-7)/(-5))*q/6. Which is greater: 3 or n?
3
Suppose 5*g - 4*a = -3*a - 39, 5*g - 3*a = -37. Which is greater: g or 1?
1
Suppose