c be h(-37). Which is smaller: 213 or c?
213
Let b = -73376/17 + 4318. Is b less than or equal to 3?
True
Suppose 60*f = -38*f - 98. Let p = -492/5 + 98. Which is smaller: f or p?
f
Let h = 157075112587/122529004 - -30/2356327. Let i = -1282 + h. Let s = i + -395/364. Is s bigger than -1?
False
Let o = 5.788 - 5.7. Let h = -0.142 - o. Which is smaller: -1/5 or h?
h
Let b(l) = -2*l**3 - 2*l**2 - 4*l - 15. Let n be b(-2). Which is smaller: n or 15/101?
15/101
Let x be (30/125)/((-6)/(-15)). Let i = x + -289/465. Which is greater: 1 or i?
1
Let t be (-27)/(-3) + (6 - 88). Which is greater: 0.2 or t?
0.2
Let r be 12 + -6 + (-4 - -2). Suppose 4*y - r = 4*f, 0*f = -4*f + 4. Is -2 bigger than y?
False
Let t = -61 - -57. Suppose y = 4 - 2. Suppose 4*l = 16, -y*j + 4*l = -5*j + 7. Which is greater: t or j?
j
Suppose -2*o = 3*o, 4 = 2*g - o. Let m be 5*(-14)/(-105)*138/32. Which is bigger: g or m?
m
Let f = 2/9329 + 457113/37316. Which is bigger: 0.3 or f?
f
Suppose 5*q - 15 = 0, 5*q + 0*q = z - 16. Is 9 <= z?
True
Suppose 32*n - 23*n = 81. Are 88/9 and n unequal?
True
Let g be 18/45 - (-788)/30. Let y(u) = -7*u**2 - u - 1. Let d be y(-2). Let m = d + g. Which is greater: 0 or m?
0
Suppose -10 = -3*o - 2*m - 38, -m - 42 = 5*o. Let n(p) = p**3 + 7*p**2 + 15*p + 3. Let y be n(-2). Are o and y equal?
False
Suppose 2*s = 814 - 46. Are s and 384 nonequal?
False
Let c(j) = -5*j - 5*j**2 + j + 103*j**3 + 0*j**2 + 1 - 106*j**3. Let z be c(-2). Is z at least 16?
False
Let x = -1.859 + -0.141. Are -1 and x nonequal?
True
Let f = 1.2 - 0.2. Let k = 1061 - 1055.01. Let l = k - -0.01. Which is smaller: l or f?
f
Let v(c) = c**2 + 12*c - 9. Let x be v(9). Which is greater: 179 or x?
x
Suppose 2*w = -5*x - 38 + 11, 4*w - 4*x = -124. Let p = -23 - w. Which is smaller: 4 or p?
p
Suppose -4*p + 6 = 2*m - 8, 12 = 5*p - 3*m. Suppose 3*v = -v - p*v. Which is smaller: v or -45?
-45
Suppose -2*q = 3*b - 122, -3*b + 2*b - 194 = -3*q. Let w = -88 + q. Is w bigger than -22?
False
Let n be (57/9)/(1/6). Let m = 52 - 15. Is m bigger than n?
False
Suppose 0 = y + 24 + 26. Let g be y*(-1)/22 + -2. Let b = 44 - 43. Is b < g?
False
Suppose 3*s = 12, 3*s - 722 = -4*m + 9*m. Do m and -140 have the same value?
False
Let o = -336 + 225. Is o less than -0.1?
True
Let k = -99203825 - -1437165811963/14487. Let r = -2/439 + k. Are r and 1 unequal?
True
Let q be -4*18/12 - -6. Let j be (-38)/744 - 2/(-6). Let w = j - 1/31. Is w >= q?
True
Let y = 186 + -185. Do 2/23 and y have the same value?
False
Suppose x = -2*y + 3, -3*y + 6 = 5*x - 2*y. Let u = 78 - 104. Let t be 4/u - 15*28/(-3744). Are x and t equal?
False
Let f = 28.063 - 28. Which is smaller: f or -1/2?
-1/2
Suppose v + 0*u = 2*u - 12, -u + 1 = 2*v. Let k be -11 + v - (-76)/(-19). Is k <= -17?
True
Suppose -4*m + 3*a = -147 - 7, a - 82 = -2*m. Let i be 4998/m + 6/24. Let q = 124 - i. Which is bigger: q or -1?
-1
Let g = -87 - -95. Is 44/5 equal to g?
False
Suppose -17 + 30 = -13*i. Let s = -0.1 - 0. Is s >= i?
True
Let i be 2/(-24)*(9 + 0). Suppose 3*p = 5*k + 12, k - 3*p = -2*k - 12. Suppose 5*j - b = -0*b - 1, k = 2*j + 2*b + 10. Which is greater: i or j?
i
Let q be 24/(-60) - (-1070)/(-200). Which is smaller: q or 0.2?
q
Let p(k) be the second derivative of 11*k**3/6 - 11*k**2/2 - 26*k. Let j be p(-4). Is -55 not equal to j?
False
Suppose 11 = 2*f + 9. Let x be 11/22 - f/2. Is -2/49 greater than x?
False
Suppose -4*n + 4*s - 34 = -2, 0 = -3*n - 4*s + 11. Let g be 3 - 164/18*(-30)/(-40). Which is smaller: n or g?
g
Let q be (-7 + -1)*(-4)/(-8). Let i be -4 + (q - -8)/4. Let c be (2/(-4))/(i/126). Is c at most as big as -2/7?
False
Let l = 80 - 151. Let x = -73 - l. Is x at most as big as -5/8?
True
Let f be (8 + -5)/(2 - (-10)/(-6)). Suppose -f = -2*k - 7. Which is smaller: -2/101 or k?
-2/101
Suppose 0 = -2*b - 4*m - 38, -4*m - 11 = -5*b + 6*b. Which is smaller: b or -30?
-30
Let s = -1617 + 954. Which is smaller: -1 or s?
s
Let d = -6398 - -6394.967. Let b = -0.033 - d. Which is smaller: b or -9?
-9
Let d be ((-6)/3)/((-119)/962). Let l = -114/7 + d. Let g = -2 + 2. Is l not equal to g?
True
Suppose 0 = 5*r - 4*c - 511, 0 = -3*r - 4*c + 212 + 69. Which is smaller: r or 101?
r
Suppose 19 = -y + 20. Let m be -1 - (6/(-9) - y). Which is greater: -3.6 or m?
m
Let x(j) = j**2 + 10*j - 24. Suppose 4*w - 80 = 5*f, -83 = 4*f - 4*w - 15. Let o be x(f). Which is smaller: o or -0.03?
-0.03
Suppose -4*f + 24 = -3*f - 4*b, 2*b + 138 = 4*f. Let x = f + -37. Is -8/5 bigger than x?
False
Let g = -4.1 - 0.9. Let x = -57 + 58. Is x greater than or equal to g?
True
Let l(k) be the second derivative of -k**4/6 - 2*k**3 + k**2 - 4*k. Let h be l(-7). Let c(t) = t**3 - 10*t**2 - 13*t + 11. Let g be c(11). Is h greater than g?
False
Let s = 91.4 - 97. Let a = 21.4 - s. Which is smaller: -1/2 or a?
-1/2
Let h = -234 + 233. Are h and -3 nonequal?
True
Let o = -0.1 + -0.3. Let p = o - -0.7. Let w = 170 - 173. Is p at most as big as w?
False
Let s = -173 + 182. Suppose 3*l - 5*l = -18. Is l at most as big as s?
True
Let w = 13 + -9. Let c(j) = j**3 - 3*j**2 - 5*j + 5. Let o be c(w). Which is bigger: 1/55 or o?
o
Suppose -2*h - 8 + 36 = 5*m, -2*m = h - 11. Let s = 11 + -7. Is s less than or equal to m?
True
Let p = 19 + -19.4. Let b = 57.6 + -63. Let v = b - p. Which is smaller: -1 or v?
v
Let x = 12294/1421 - 258/29. Is x greater than or equal to 1?
False
Let i = -10 + 27. Let z = i + -18. Let r be (-65)/104*(-6)/(-4) + 1. Is z greater than or equal to r?
False
Let v(u) = 7*u + 4. Let j be v(3). Let h(m) = -m**3 + 4*m**2 - 5*m - 1. Let w be h(4). Let c = j + w. Is 4 > c?
False
Let i(q) = q**2 + 9*q + 12. Let d be i(-9). Suppose -j - 23 - d = 0. Let f be j/14 + (-3)/6. Does -3 = f?
True
Let d = -0.055 + -0.012. Let a = d - 0.033. Is -22 < a?
True
Suppose -524 = -39*r - 95. Is r != 9?
True
Let q be 36/(-10)*5/(-3). Suppose f = 5*r + 3, 0 = 3*f - f - 4*r - q. Is 3 >= f?
True
Let h(f) = -f - 7*f - 2*f + 2*f. Let n be h(-1). Suppose -2*v = -9 - 5. Which is greater: n or v?
n
Let i = -2412 - -2446. Which is greater: i or 40?
40
Let x = -149/1212 - -4/101. Suppose -26 = -5*v + 4*r, -5*v + 0*r = -5*r - 30. Suppose -4*b = -0*i + v*i - 2, 4*b - 1 = -i. Is x at least as big as b?
False
Let m = -25/3 + 251/6. Do m and 33 have the same value?
False
Let u be 2/8 + 1/(-4). Let g be 2/(-3)*13 - u. Let s = 3474 + -3482. Is g at least s?
False
Let x be 3/(-10)*(9 + (-45376)/5040). Is x smaller than 2/5?
True
Suppose 0 = -3*m + y - 29, -4*m - y - 38 = 10. Let u = m - -23/2. Let b = -0.27 - 0.03. Which is smaller: u or b?
b
Suppose 6 = -r + 8. Let n be 12/(-18) - 3*r/(-9). Let m be 416/(-588) - (-4)/6. Which is bigger: n or m?
n
Suppose 3*p - 51 = -6. Suppose 12*y - 18 = p*y. Which is bigger: y or -4?
-4
Suppose 10 = w + 4*w, 5*w = 2*z - 186. Let a = z + -99. Which is greater: -1/30 or a?
-1/30
Suppose 26 = -2*o - 5*n - 49, o + 5*n = -30. Let c = o - -44. Which is smaller: c or -14/9?
-14/9
Suppose 0 = -10*b + 108 - 508. Let o(r) = r**3 + 11*r**2 + 3*r - 5. Let a be o(-11). Which is bigger: a or b?
a
Let p = 43.8 + 7.2. Let s = 51 - p. Which is smaller: -0.15 or s?
-0.15
Let m = 217 - 360. Which is bigger: -145 or m?
m
Suppose 0 = -2*z + k - 70, 5*z + 134 = -k - 34. Is -8 >= z?
True
Suppose 5*v + 2*i = 3 + 14, -v + 13 = -2*i. Let z = 32 - -5. Let t = -33 + z. Which is smaller: v or t?
t
Let x = -5467 + 16553/3. Which is greater: x or 52?
52
Suppose -2*o + 4 = -o. Suppose 7*d - o = 4*d + i, -2*i = 5*d - 25. Suppose f + 0*f - 37 = 5*a, d*a = -f - 19. Is a at most as big as -7?
True
Let o = -609/13 + 146756/3133. Which is bigger: -1 or o?
o
Suppose -i = -q + 3*q + 24, 0 = 5*i - 4*q + 120. Let a be 3/(-18) + (-31)/i. Let l = 187/152 - a. Does l = 1?
False
Let r be (-5 + 88/20)/((-6)/(-4)). Which is bigger: 124 or r?
124
Suppose -4*k - 2*v = -20, 0 = 4*k - 2*k - 4*v. Let f be ((-50)/(-12))/(-5 + k). Which is smaller: -4 or f?
f
Let u = 752/11 + 2305/44. Let l = 120 - u. Let g = l + 7/20. Do 1/12 and g have the same value?
False
Let z be 9/(-3)*(-3)/(15/(-1)). Which is greater: z or -1?
z
Let w = 199 - 198. Is 97 != w?
True
Suppose 5*m - 29 = -24*m. Do -2.52 and m have the same value?
False
Let v = 130 + -140. Which is smaller: v or 2?
v
Let b be (72/(-30))/((-4)/(-30)). Which i