?
True
Suppose -13*u + 12*u = 13. Let g = 5447 + -16381/3. Which is smaller: g or u?
g
Let b(t) = -19*t + 146. Let v be b(8). Let w(l) = -l**3 - 7*l**2 + 7*l - 8. Let y be w(-8). Suppose 2*r - 4*k = y, 0*k = 5*r - k + 18. Is v > r?
False
Suppose -r = y - 78 + 22, r + 4*y = 71. Suppose -261 = -3*q - r. Which is bigger: 68 or q?
q
Let f be (-476910)/14175 - ((-12)/10)/2*2. Does -31 = f?
False
Suppose 6*z + z = -28. Let h = 10 + z. Let y be (9/h)/(3/(-18)). Does -8 = y?
False
Let o(j) = j**2 + 12*j - 34. Let b be o(-14). Let q(h) = 9*h + 25. Let t be q(b). Which is bigger: -26 or t?
-26
Let w be 3/((58/14 - 4)/1). Suppose w*c = 7*c + 812. Suppose -26 - c = 7*p. Is p < -92/7?
False
Let b = -249 + 259. Let g be 736/b - (-5)/((-50)/(-4)). Are 73 and g non-equal?
True
Suppose 0*c + 28 = -4*c. Suppose s = 5*t + 4, 46*s - 42*s + 6*t + 88 = 0. Is c equal to s?
False
Let l = -1145 - -1151. Which is greater: l or -727?
l
Let y be (3/2)/(60/(-14480)). Let f be y/(-9) + 2*(-6)/54. Suppose -2*k + f = 2*k. Are k and 13 non-equal?
True
Suppose 6 = -17*t + 19*t. Suppose 0*v = -v + 2. Let i be (2/(-8))/(v/(-40)). Is t smaller than i?
True
Let m(b) = -15*b - 12. Let f be m(-18). Let v = -251 + f. Is -10 not equal to v?
True
Suppose -5*j = 12 - 32. Let r be 1/4 + (-1)/j. Let n be (-27864)/(-167427) - 4/26. Which is greater: n or r?
n
Let j = -9551 - -85909/9. Which is smaller: -5 or j?
j
Let o be (336/35)/(2/50). Suppose 0 = -0*f + 4*f + o. Which is smaller: -59 or f?
f
Let d = 118173 + -201248630/1703. Which is greater: d or -1?
d
Let g = 23124/23 + -303566/207. Let u = g + 464. Is u less than or equal to -1?
False
Let u = 11/285 - -1/15. Let k = u + 15/38. Let w be ((-2)/(-12))/(1 - (-15)/(-9)). Are w and k equal?
False
Let u = 40160 + -40662. Which is smaller: u or 29?
u
Let b be ((-8)/(-6))/(3/54*2). Let f(y) = -3*y**2 - 1. Let g be f(-2). Let n = g + b. Which is smaller: 2/47 or n?
n
Let t = -4370 + 4367. Is t at least 628?
False
Let u = -28780 - -5103. Is -23677 greater than or equal to u?
True
Let t = 69 - 70.725. Let o = -0.82 - t. Let y = o + 0.095. Which is greater: y or 3?
3
Let g be (-3 - -1) + 48/27. Let q = -7862.4 + 7864.8. Which is smaller: q or g?
g
Let o be (-4)/18 + (4 - (-1709)/(-450)). Let f be (2/(-1))/((-2)/3). Suppose -2*n + 3*h = 12, 2 = -f*n - 3*h + 14. Which is bigger: n or o?
n
Suppose 0 = -10*y + 12*y + s + 7, s = 5*y + 7. Which is smaller: -26 or y?
-26
Let i(n) = 4*n + 189. Let g be i(-45). Let s(o) be the second derivative of o**3/6 + o**2/2 + o. Let r be s(g). Is r > 11?
False
Suppose 48*p + 134*p + 214328 = 36*p. Is p at least as big as -1470?
True
Let r = 47638162/30105 + -7912/5. Is -1 > r?
False
Suppose 5*p = -0*p + 60. Let l(j) = -2*j + 34. Let a be l(-27). Suppose 0 = 83*y - a*y + 80. Does p = y?
False
Let m = 37485 + -37487. Do -124/153 and m have the same value?
False
Let i = -15 + 17. Let l = 0.0655 + 95.8345. Let d = -95 + l. Which is smaller: d or i?
d
Let b = 273 - 268. Suppose -2*i = b - 7. Is 4/157 > i?
False
Let m be (-24 - -6) + -20493 - 26. Which is smaller: m or 0.1?
m
Suppose -3*x = 12, 0*j - 4*x = 2*j + 10. Suppose 172 = 4*r - j*w, 2 = r + 2*w - 41. Which is bigger: 44 or r?
44
Suppose 3*u - 20 = -12*x + 8*x, 5*x - 5*u + 10 = 0. Which is smaller: x or -6/125?
-6/125
Suppose -y = 7 + 21. Let r = -774 - -782. Is r greater than y?
True
Suppose -34*j = -85*j. Is 20/49 > j?
True
Let i(l) = 19*l**3 - 3*l + 3. Let d be i(3). Let n = -1201 - d. Let m = n + 8596/5. Is m >= 10?
True
Let r = -9 + 9.15. Let l = 45.77 - 46. Let a = 0.43 + l. Do r and a have the same value?
False
Let i be (-9)/90 - (-49)/(-10). Let f be (18 + i)*2*(-3)/6. Do -16 and f have the same value?
False
Let l be (0 - -5) + (-65 - -65). Suppose 28*t - 3*d = 26*t - 2, -l*t = 3*d + 47. Is -1 smaller than t?
False
Let h(p) = -p + 20. Let s be h(0). Let w(q) = q**3 - 6*q**2 - 38*q - 3. Let l be w(10). Is s less than l?
False
Let m(r) = r**3 + 3*r**2 - 3*r + 6. Let a be m(-4). Suppose -l - 20 = -a*d - 2*d, -l - 24 = -5*d. Let u = d - 35. Which is smaller: u or -30?
u
Suppose 4*w - 2*a = 2770, 5*w - 3456 = -0*a - 4*a. Let z = -692 + w. Let q = -0.39 + 69.39. Is z bigger than q?
False
Let x be ((-35)/(-7) + -5)*(-3 - -2). Which is smaller: 3/1916 or x?
x
Let a be 21*4/(-28) - 3698/(-1234). Is 0 less than a?
False
Suppose h + 3*y = 5, y = 2*h - 2*y - 55. Suppose h*i - 5*i = 150. Let w = 14 + -11/3. Does w = i?
False
Suppose 0*v + 16064 = -16*v. Let f be (138/(-45))/((-112)/v). Let n = -55/2 - f. Which is smaller: n or 0?
n
Let t = -790 + 789. Is t < 6/3731?
True
Let u(k) = -2*k**3 - 24*k**2 - k - 13. Let a be u(-12). Suppose 40 = 4*w - 4*y, 3 - 25 = -2*w + 4*y. Let x be -10 + w + (a - 17/(-5)). Which is smaller: x or 0?
0
Let q be 1/7770*2283 - (-6)/(-21). Let a = 41/4070 + q. Let k = 3 - 2. Which is smaller: k or a?
a
Suppose -f - 4*p - 7 = -8, 5*f - 22 = -3*p. Suppose f*m = 2*m - 9, -m = -5*x + 58. Is 10 at most as big as x?
True
Let u be 486 + (4/8)/(1/(-8)). Let f = u - 755. Is f equal to -272?
False
Let p = -15480/13 + 9350505/7852. Which is greater: 1 or p?
1
Suppose -23*i - 7020 = 29*i. Which is greater: -112 or i?
-112
Suppose 2*n - 3*n - 7 = -3*m, 0 = 4*n + 4. Suppose -m*j - 2 = 0, 0 = -3*g + 2*g + 4*j - 3. Do -11 and g have different values?
True
Let j(g) = g**3 - 9*g**2 - 4*g - 10. Let f be j(9). Let v be (-12)/30 + (-1834)/40. Let s = f - v. Do s and 0.9 have the same value?
False
Let u be 38/95 - 36556/(-10). Let p = -25684/7 + u. Is -14 at most p?
True
Let q = 885 - 867. Let d be ((-32)/(-24))/((q/6)/(-72)). Which is smaller: -364/11 or d?
-364/11
Let g be 498535/598170 + 16/288*-15. Which is smaller: -1 or g?
-1
Let t = 15 + -9. Suppose 4*y - 3*g = 17, -4*y + g + 5 = 2*g. Suppose -13 = -y*j + 7. Is j bigger than t?
True
Let z = 12522 + -12201. Is z less than 331?
True
Let z be (18/15)/((-350)/(-6370)). Is 22 >= z?
True
Let j = -31 + 33. Let k be -4 + (1 - 1 - j). Let c be (8/(-21))/(k/(-9)). Which is smaller: 0 or c?
c
Let g(s) = 126*s**2 - 2*s + 2. Suppose -6*o + 4 + 2 = 0. Let f be g(o). Let h be 99/f + (-3)/2. Which is smaller: 0 or h?
h
Let l = -0.075 + 31.075. Let g = -4992.8 + 4993. Which is smaller: l or g?
g
Suppose 4*d = 8, 215*l - 216*l + 12 = -4*d. Suppose 0 = 2*i - 2 - 40. Which is smaller: i or l?
l
Let n(g) = -12*g - 195. Let k(s) = -2*s - 2. Let y(q) = 4*k(q) - n(q). Let i be y(-29). Suppose 4*z + 2*t = 270, -2*z + z + 50 = 4*t. Which is bigger: z or i?
i
Let w be 18 + 7/((-7)/(-2)). Suppose 10 = -w*z + 10*z. Let q be 30/(-12) + 2 - z/(-2). Which is smaller: -11/7 or q?
-11/7
Suppose 8*j = -0*j + 24. Suppose 0 = i + 2*i + 4*c - 38, 34 = j*i + 5*c. Suppose -2*r = -0*r - i. Which is smaller: r or 10?
r
Let l(f) = -86*f**3 + 9*f**2 - 3*f - 1. Let v be l(1). Is -163/2 less than or equal to v?
True
Let a = 12 - 4. Let f be (-3 + (-7)/5)/((-24)/60). Suppose f*i - 14*i = 3, 4*g - i = 25. Which is smaller: a or g?
g
Suppose -35*n = -25*n - 5940. Let y = n - 508. Which is smaller: y or 83?
83
Let v be (-20)/(-35)*(-14)/(-4). Let k be ((-1)/7)/(5/(-500)*v). Is 7 at least as big as k?
False
Let k be (165/35)/((-45)/10). Let p = 26/7 + k. Is 2 at most p?
True
Let y = 7431 + -7788.74. Let n = y - -359. Is n <= 3?
True
Let d = 8194.143 - 8196. Which is greater: 0 or d?
0
Let i(j) = -3*j**2 - 95*j + 911. Let m be i(8). Which is smaller: -356/9 or m?
m
Let a = 932 - 934. Let p(c) = c**2 + 8*c - 7. Suppose 0 = 16*l - 21*l - 45. Let h be p(l). Is a less than or equal to h?
True
Suppose -39 + 9 = 10*s. Let w(h) = -2*h + 13. Let y = 13 - 3. Let u be w(y). Which is smaller: u or s?
u
Suppose 5*d = -2*l + 2425, 1104 = 2*d - 2*l + 120. Let w = d - 51. Which is smaller: w or 437?
w
Let x = 8885 - 6153. Which is smaller: 2731 or x?
2731
Let a(z) = 7*z**3 + 11*z**2 + 7*z + 5. Let b be a(-4). Let q be (-1 - b/10)/((-3)/(-4)). Is 38 equal to q?
True
Suppose -6*u = -2206 + 2386. Let h be u/(-25) - (-3424)/(-3020). Is -1 < h?
True
Suppose r = -2*b - 115, 0 = 2*b - 0*r + 3*r + 113. Suppose -7*j + 177 = -10*j. Which is bigger: b or j?
b
Let s(v) = -13 - v**2 + 12 - 7*v**3 + 3*v**2. Let i be s(-1). Let r = -7 + i. Which is bigger: -4 or r?
r
Suppose 306 = 3*g - h + 305, -4*h - 4 = 5*g. Which is smaller: -86/75 or g?
-86/75
Suppose -4*x = -15 + 3, 3*x - 269 =