
False
Let h be (-4)/10 - 288/30. Let b = -4 - h. Let d(z) = 15*z + 30. Let u be d(-2). Which is bigger: b or u?
b
Let g be (-406)/(-17) - (-2)/51*3. Let f = g - 20. Which is smaller: 14/5 or f?
14/5
Let s = 100/199 + -46076/2985. Is -14 at least as big as s?
True
Let a(f) = -f**3 + 12*f - 3*f**2 - 14 - 25*f - 10*f**2. Let k be a(-12). Let h(l) = l**2 + 2*l + 1. Let s be h(k). Is 1/8 at most as big as s?
True
Suppose -2*l = l + 39. Let z = l - -21. Let a = -7 + z. Is -2 at least as big as a?
False
Let w = -129 - -129. Suppose 5*n - n + 32 = w. Is -12 equal to n?
False
Suppose -85 = -2*g + 19. Suppose x + g = -3*x. Do x and -11 have different values?
True
Let j be 2/(-6) - (-25)/(-15). Let h be 4/j*(0 + -2). Suppose -h*t = -2*t - 4. Which is smaller: 4/3 or t?
4/3
Let d(q) = 3*q**2 - 4*q + 84. Let l be d(-14). Which is smaller: l or 727?
727
Let m be (3*4/(-6))/((-148)/6). Is 0.04 != m?
True
Suppose -3*p + 98*o = 94*o - 1, -10 = 5*p + 5*o. Which is smaller: p or -5/157?
p
Let g be (-2)/7 - 220/(-35). Let j be ((-6)/(-9))/((-4)/g). Let y be j + 4 - (-8)/(-6). Is 3 > y?
True
Let j be (12 - 6)/(1 - -1). Suppose 3*b - o + 163 = -3*o, j*o + 52 = -b. Let v = 167/3 + b. Is v at most 0?
False
Let l(p) be the second derivative of -4/3*p**4 + 1/20*p**5 - p + 7/3*p**3 + 0 + 7/2*p**2. Let i be l(15). Is -7 greater than i?
True
Let x be 5 + -2 + 27/(-36). Which is smaller: x or 1?
1
Let f be 6/(-39) - ((-2268)/208 - 0). Which is smaller: 11 or f?
f
Suppose -31 = -17*l + 71. Which is smaller: l or 130/21?
l
Let r be 7*-3*(-51)/63. Suppose y - r = 8. Which is smaller: 28 or y?
y
Let w = 308 + -559. Which is smaller: -252 or w?
-252
Let v = 74 + 149. Let i = -1564/7 + v. Let t = 68 - 67. Is i greater than or equal to t?
False
Suppose 3*q - 160 = -5*v, -3*v + 0 - 3 = 0. Which is smaller: q or 56?
q
Suppose 0 = -4*m + d + 3*d + 12, 0 = 5*m - d - 23. Suppose 2*k - 6 = -4*r + 7*k, 3*r - 4*k = m. Is r smaller than -3/35?
True
Let q(s) = 909*s - 3. Let j be q(-7). Let g be (j/(-4))/((-1368)/2). Let p = 1/152 - g. Which is smaller: p or 3?
p
Let h be 2/6*(-18)/(-62). Let o be (-20)/(-50)*10/4. Which is smaller: h or o?
h
Let x(r) = 18*r - 42. Let n be x(4). Let z = -44 - -21. Let c = n + z. Is c smaller than 7?
False
Let f be 0/1*4/(-8). Suppose 5*p + 0*p - 2*i = 86, f = 4*p + 5*i - 49. Which is smaller: p or 18?
p
Let j be -3 - 5/((-15)/6). Let k = 40.1 - 38. Let q = -0.1 + k. Is j at most as big as q?
True
Suppose -3*i - 23 = -o, 6*i - 4*o + 36 = i. Which is bigger: -6 or i?
-6
Let o = -57.5 - -4.5. Let k = o - -50.8. Is k equal to -0.1?
False
Let d = 143 - 170. Let z be 3 + (-9)/(d/(-6)). Which is smaller: -2 or z?
-2
Let s = 73 - 50. Let w(c) = 14*c - 1. Let a be w(2). Let u = a - s. Which is smaller: u or 6?
u
Let z(l) = -l + 1. Let p(c) = -5*c + 10. Let t(a) = p(a) - 6*z(a). Let y(i) = i**3 - 2*i**2 - 4*i + 3. Let f be y(3). Let j be t(f). Is j <= 1?
False
Let u be 486/114 - (1 - -4). Is u > 0?
False
Suppose o = -2*p + p + 8, -4*o + 53 = -3*p. Suppose 2 = o*x + 57. Is x at least -6?
True
Let i be 172/(-680) - (440/(-48) - -9). Do i and 0 have the same value?
False
Let p = 14 + -23. Let u(n) = n + 5. Let v be u(p). Let a be v/(-22) - 99/(-121). Does a = -4/13?
False
Let l be (-27)/6 + -1 - 1. Let t = -3.47 + -0.13. Let v = t - -2.6. Which is bigger: l or v?
v
Let m = -951.9 + 952. Let p = 1 - -2. Which is greater: m or p?
p
Let q = 3/7 - -9/77. Suppose 0 = 8*u - 3*u - 15. Suppose -s - u*l = -4, -3*s - 4*l + 3 + 4 = 0. Which is smaller: s or q?
q
Let q(n) = 12*n - 137. Let p be q(11). Do 14 and p have different values?
True
Let c = -42241/3 - -14245. Let k be (0 - -1)/(2/(-332)). Let f = c + k. Which is greater: f or -1?
-1
Let r(w) = -27*w**2 - 53*w + 2. Let k be r(-2). Which is bigger: k or -1/465?
k
Suppose -685 = 4*g + 3*i, 5*i - 15 = 10. Let x be ((-4)/g)/((-36)/10). Which is smaller: 0 or x?
x
Suppose 4*y + 3 = y. Let h be 1/(-7)*(0 + y + 4). Is -1 < h?
True
Let i = 0.12 + -5.12. Let c = -1 - i. Let y = -3897/21373 - -1/1943. Which is bigger: y or c?
c
Let p(v) = -v - 2. Let b be p(1). Let w be (3 - 65/20)/(b/12). Which is smaller: -1/31 or w?
-1/31
Let u = 110626/9 - 12318. Which is greater: -26 or u?
-26
Let r = 36775398/7 - 5272157. Let b = r - -18780. Let l = b - 252. Do -1 and l have different values?
True
Let v(d) = 2*d**2 - 60*d + 75. Let h be v(31). Which is smaller: h or 136?
136
Let a be 125/(-468) - (174/(-24) + 7). Which is smaller: a or 0?
a
Let u be (5/(-300)*3)/(78/(-104)). Let i = -7 + -1. Let f be (2/i)/((-2)/8). Is f greater than or equal to u?
True
Let h = 29 + -43. Let n be (96/(-22) - (-6 + 2))/(-2). Which is smaller: h or n?
h
Suppose -7*s = -2*s + 5. Suppose -3*b + 11 - 92 = 4*d, -b + 29 = -d. Let p = d + 118/5. Is s at least as big as p?
False
Let h be (-39)/((-3 - 0)/(-3)). Suppose x - a = -1 - 36, 6 = -2*a. Which is greater: h or x?
h
Suppose 4*f - 242 = -2*i, -7*f - 3*i = -12*f + 275. Suppose -8*h - f = -266. Which is bigger: 28 or h?
28
Let i = -64/23 - -4823/1725. Does i = 1?
False
Let b(s) = 13*s - 123. Let d be b(8). Which is smaller: d or -31?
-31
Let v be 22/(-14) - (-4 + 16/8). Is -2/23 != v?
True
Let i = -5 + 4. Suppose -3*n = n. Suppose n = -2*l + 1 + 3. Is i less than or equal to l?
True
Let m = 1406 - 1995. Is -589 <= m?
True
Let a = 13.09 - 0.59. Let c = 4.5 - a. Are c and -1/5 equal?
False
Suppose -14*o - 8 = -12*o, -u - o = -1149. Which is smaller: 1154 or u?
u
Suppose -75*k + 71*k = 0. Do k and -1/455 have the same value?
False
Let v be (-12)/(-78) + (-327)/(-702)*-2. Is v bigger than 0?
False
Let b = -117 + 225. Let p be b/(-8)*(-2)/(-3). Does -10 = p?
False
Let o = 30286/2033121 + -22/2011. Is o < 1?
True
Let v = 450.9 - 425. Let o = v - 26. Suppose 5*x + 70 = -3*y - 2*y, -5*y - 70 = 4*x. Which is bigger: o or y?
o
Let u be 58/(-4) + (0 - 2). Let o = -17 - u. Let l(w) = -w**3 - 4*w**2 + 5*w - 1. Let c be l(-5). Is c at least o?
False
Let d = 35.63 + 0.37. Let a = 35 - d. Is 0.41 at most a?
False
Let o = 0.038 - -33.962. Let m = o - 33. Which is smaller: m or 18?
m
Suppose -8 + 20 = -2*p. Let m be -2*(21/p - 2). Is m > 11?
False
Let l(n) = n**3 - 18*n**2 - 7*n + 44. Let u be l(18). Is u at least as big as -81?
False
Let b = -8 + 11. Let f = -18 - -20. Let p = -3 + f. Is p smaller than b?
True
Suppose 15 = 3*i + k, -2*k + 4*k + 6 = 0. Let p be (27/i)/(0 - (-21)/(-6)). Let y be (0 - (1 + 0))/1. Which is greater: y or p?
y
Let g = 35 + -179/5. Let f be (-22)/(-6) - (-6)/(-9). Suppose q + 2*x + 2*x - 6 = 0, -f*q = -4*x + 14. Which is smaller: q or g?
q
Suppose 6*t = 5*t. Let l be t/(-3*1/3). Suppose -2*n - 2*n - 8 = l. Is -3 greater than n?
False
Let s be (2/6)/((-1)/3). Let d = s + 0. Let o(b) = -b**2 + 9*b - 13. Let v be o(7). Which is smaller: d or v?
d
Let g be ((-2)/(-4))/((-4)/(-24)). Suppose 4*q - z - 50 = 0, 0*q + z - 22 = -2*q. Let c be 3/q*0 - -2. Which is greater: g or c?
g
Let a = -762 - -42671/56. Suppose -h = -3*h - 2. Is a greater than h?
True
Let n(q) = 22*q**2 + 2*q - 1. Let d be n(-1). Suppose -h - 31 = -4*y, -3*h + 7*y = 2*y + 121. Let c = h - -67. Which is smaller: c or d?
d
Let d = 3 - 4. Let s = -402 + 403.71. Let k = 0.29 + s. Are k and d unequal?
True
Let d = 609.5 + -725.54. Let w = d - -116. Which is bigger: 3 or w?
3
Let r(h) = -6*h + 2. Let a be r(3). Let b = -10 - a. Suppose b = -4*c - 5*s + 3*s, 2*s = -3*c - 6. Is c not equal to -4/5?
True
Let t = -131 + 126. Are -1/2 and t equal?
False
Suppose u = -4*m + 63 + 84, -3*u - 77 = -2*m. Let a = -35 + m. Let h = a - 3. Which is greater: h or 1/11?
1/11
Suppose -8 = -2*p + p. Let q be (21/(-4))/(10/p). Let n(t) = t**3 - 65*t**2 + 303*t - 185. Let r be n(60). Is q > r?
True
Let f = 0.32 - 0.56. Let p = -0.76 + f. Is -11 at most as big as p?
True
Let r = -194 + 182. Which is bigger: r or -94/7?
r
Let q = -377 - -302. Which is bigger: q or -76?
q
Suppose 27 = 9*n - 10*n. Let h = n + 27. Which is smaller: h or 0.03?
h
Suppose k - 5*m = -22, 114 = -5*k + 4*m - 17. Let j = k + 10. Let z = 115 - 115.1. Is z greater than or equal to j?
True
Let k be ((-144)/(-868))/6*42. Which is smaller: 0 or k?
0
Let f(d) = d + 12. Let i be f(-10). Let a(z) = -5*z**2 - 2*z + 2. Let o be a(i). Let h be o/(-28) + (-6)/21. Which is smaller: -0.3 or h?
-0.3
Suppose -3