 w be o(10). Let i be -9*3 - 4/(-2). Is w bigger than i?
True
Suppose -11*q + 14*q = -6. Let f(i) = -2*i - 4. Let h be f(-4). Let m = h + q. Which is greater: 0.6 or m?
m
Let q = -229 + 225. Which is bigger: -40/9 or q?
q
Let j be 740*(-5 + 310/50). Which is smaller: 886 or j?
886
Suppose q - 5*g = -4*g - 27, 4*g = -8. Let o = 31 + q. Suppose 3*a = -5*n + 2, a - 5*a - 2*n - o = 0. Is -12/5 bigger than a?
False
Let z = -4 - -6. Let x be (-3 + z)*(-2 + 2). Is 0 greater than x?
False
Let c = -113 - -197. Let n = c - 87. Which is bigger: n or -6?
n
Let z be ((-133)/(-14))/((-2)/(-4)). Are z and 109/6 non-equal?
True
Let f be 1 + 4 + -7 - -2. Let a be -2 - 4/(12/(-15)). Suppose f*c - 3*m = 3*c + 3, a*m = 5*c + 5. Which is bigger: c or -4?
c
Let r = 2 + -3. Let w be 55/(-20) - (-2 - -4)/8. Let k be (-4)/(-10) - ((-36)/20 - w). Is k > r?
True
Suppose 3*i = -i + f + 228, 0 = 3*i + 4*f - 190. Let k = i - 57. Which is bigger: 0.13 or k?
k
Let d = 4/1387 - -2762/4161. Is -18.1 bigger than d?
False
Suppose -2*n - 45 = h + 2, 4*n + 4*h + 104 = 0. Is n < -24?
False
Let h = -273 - -820/3. Let s = -13 - -43. Are s and h equal?
False
Let r = -583/628 + -3359757/8164. Let j = -412 - r. Which is bigger: 0 or j?
j
Let b = -239 - -257. Which is smaller: b or 160/9?
160/9
Let g be -59 + (-3)/((-3)/(-5)) + 5. Suppose x + 4*f + 42 + 5 = 0, -2*f = -6. Is x smaller than g?
False
Let v(z) = -z**2 + 3*z + 4. Let x be v(3). Suppose -3*h - x = -13. Is h bigger than 3?
False
Let t = -2.2 + -4.6. Let h = -0.2 + t. Let q = -5 - h. Which is bigger: -1 or q?
q
Let c be 76999/(-325) + -13 - 4/50. Is c bigger than -247?
False
Let o = -0.35 + -25.65. Let a = -25.93 - o. Let t = -0.17 + a. Which is greater: t or 2?
2
Let n = 150 + -163. Is n equal to -1?
False
Suppose -2*z = 7*z. Suppose z = 3*v + 8 - 26. Is v not equal to 19/3?
True
Suppose 2*h + 3 = -2*u + 1, 5*u - 2*h + 19 = 0. Let z = 13 - 16. Is u bigger than z?
False
Suppose -a + 3*a = -4. Let w be (1 + 1)*(-7)/a. Suppose 0 = w*p - 9*p. Which is smaller: -4/7 or p?
-4/7
Suppose -3*k + 619 = -4*o, -o + 4*o + 4*k + 433 = 0. Is o equal to -152?
False
Let c = 9/100 + -1063/700. Which is bigger: 0 or c?
0
Let o = 16 + -1. Let z be 0/(-1) - 5848/o. Let q = -390 - z. Which is bigger: 1 or q?
1
Let d = -7409/3 + 2435. Which is bigger: -36 or d?
d
Let i be ((-244)/88 - -3)*(-12)/20. Suppose -3*r = 2*r. Let j = r - 1. Which is greater: j or i?
i
Suppose 0 = 4*f - 0*f + 4. Let k = -4/125 + -174/2375. Is f < k?
True
Let x be (-11 - (-23)/2) + 53/14. Which is smaller: 3 or x?
3
Let p = -74 - -51. Let r = 19 + p. Are r and -5 equal?
False
Let b = -8 - -13. Let d(h) = h + 11. Let m be d(-10). Which is smaller: b or m?
m
Suppose 5*s + 3*j = 8, -j = 1 - 2. Let x be ((-11732)/(-52) - 3)*-2. Let f = x + 445. Is s less than f?
False
Let h(l) = -3*l**2 - 16*l + 37. Let n be h(5). Is -589/5 != n?
True
Let x be -4 + 1 - (4 + -30 - -1). Let v be (6/5)/(x/55). Let w be ((-10)/8)/(3/(-4)). Which is bigger: w or v?
v
Suppose -4*u = 4*q - 64, 2*u + u - q - 28 = 0. Let f = u - 12. Let c be 52/(-272) - f/4. Which is bigger: 0 or c?
c
Let s = 4919/12 - 408. Which is smaller: 3 or s?
s
Suppose 0 = 4*f + 4*v - 40, -2*f - 30 = -3*f - 5*v. Do f and 31 have different values?
True
Let b be -3 + (2/(-9) - 116/(-36)). Is b at least -6/61?
True
Let o = 163 - 238. Let m be (o/51 + 1)/(5 - 4). Does 1 = m?
False
Let v = -13.48 - -2.48. Which is smaller: -1/5 or v?
v
Let q = 68 - 65.3. Let i = -2.9 + q. Let k = 0.1 - 0.1. Which is greater: i or k?
k
Let o be (-2 + (-157734)/(-78885))*15/(-6). Which is smaller: o or -1?
-1
Suppose 4*g = -0*r - r + 25, g + 15 = 4*r. Suppose -3*o = 0, m - 2*o - 212 = g*m. Is -53 at least m?
True
Let d(v) = 3*v + 39. Let p = -46 + 34. Let r be d(p). Do 21/11 and r have different values?
True
Let p(m) = -2*m**2 + 6*m + 4. Let h(n) = -3*n**2 + 11*n + 7. Let w(v) = -3*h(v) + 5*p(v). Let y be w(-3). Which is smaller: y or -2/21?
y
Let l = 59 + -86. Let k = l - -25. Let y = 63/38 - -1/114. Which is bigger: k or y?
y
Let q = -0.037 - -0.014. Let v = 1.023 + q. Let k be 1/1*(-1 + 0). Which is smaller: k or v?
k
Let u be (-21)/(-15) + (-18)/24*-4. Is u < 4?
False
Let o(j) be the third derivative of 5*j**4/12 - 2*j**3/3 - 7*j**2. Let k be o(-2). Does k = 1?
False
Let d = -6 + 14. Let m be (-42)/(-28) + (-2)/d. Which is smaller: 1 or m?
1
Let z = 1/246 + -2219/1230. Let v(t) = -3*t**3 - t**2 + t. Suppose -148 + 152 = 4*u. Let y be v(u). Is y at least as big as z?
False
Let m = 4070427 + -187262641/46. Let w = 500 + m. Which is bigger: 0 or w?
w
Let c be ((-7654)/4)/((-670)/23). Let a = c - -21/335. Let t = a - 65. Which is smaller: 2 or t?
t
Let g be 1 + 34/(-6) - 6/(-9). Let i be (1464/369 + g)/2. Is -1 at most i?
True
Suppose 0*k = -k. Let y be 2 - -1 - 0/3. Suppose 2*h + 9 + y = k. Is -2 not equal to h?
True
Suppose 0 = 5*m + 10, 0 = o + 2*o + 3*m. Suppose 25 = -4*u - 7. Let d(l) = -l**3 - 8*l**2 + l + 9. Let f be d(u). Which is smaller: f or o?
f
Let z = -4.7 - -4.5. Let r = 19.53 - -0.47. Let v = r - 18. Is z > v?
False
Suppose -35 = -5*t + 5*h, -5*t + 0*t + h + 15 = 0. Let s be t/(-13) - (-15)/(-325). Let k be 5/60 + (-1)/(-4). Is k not equal to s?
True
Let c(a) = 2*a + 17. Let g be c(-7). Suppose 4*o = -g + 23. Suppose 2*f + 3*x = 3 + 4, 5 = o*x. Which is smaller: f or -0.1?
-0.1
Let s be (1 - (3 - -4))*254/(-3978). Let a = s + -20/51. Is a less than or equal to 1?
True
Let p = -644/149 + 76767/14900. Let c = -541 - -13527/25. Let l = c - p. Which is bigger: -1 or l?
l
Let p be ((-204)/36 - -7)*3/4. Which is smaller: p or 1/176?
1/176
Let b(c) = -c**2 - 3*c - 6. Let d be b(-5). Which is bigger: -17 or d?
d
Suppose 3*l + 5*v = -30, -l + v - 27 = -3*v. Let x = -30 - l. Let d = x - -15. Is d bigger than 1?
False
Let z(k) = 2*k + 14. Let p be z(-12). Let o = -6 - p. Suppose -3*y - 12 = -o*t - 2, -2*t = 4*y + 6. Do t and 1 have the same value?
True
Let t = -574 - -577. Which is greater: 118/29 or t?
118/29
Let b be (432/(-120))/((-2)/195). Are b and 351 equal?
True
Let n = -89/2 + 439/10. Is 0.55 > n?
True
Suppose 17 = y - 3*f, 9 = 2*y - 0*y - f. Suppose j + 2*j - y*h = -20, -j - 3*h - 3 = 0. Which is greater: j or -1?
-1
Let h(c) = -c - 9. Let r be h(-7). Let j be (-6)/12 + r/(-4). Let g be (10/40)/(22/(-8)). Which is smaller: j or g?
g
Suppose 0 = -12*k - 5867 + 1067. Let s be k/528 + 4/6. Are s and 0 equal?
False
Let g be 7/2 - 10/(-20). Suppose 0 = 3*v - g*n - 15, 14 = -0*v - v - 5*n. Is v bigger than 3?
False
Let z = 15 - 35. Let u be 26/(-3)*(-30)/z. Suppose -4*i - 32 = 16. Is i != u?
True
Let q(d) = -4*d**3 - 21*d**2 + 11*d - 2. Let r be q(-8). Does r = 614?
True
Let a = -2459/56 + 369/8. Is a at least 2?
True
Let y = -932 + 289. Which is greater: 1/5 or y?
1/5
Suppose -5*c + 4*a = 43, 0*c - 23 = 3*c - a. Let l = -54 - -57. Which is bigger: l or c?
l
Suppose -2*j + 373 + 393 = 0. Let o = -13023/34 + j. Let z = -65/102 + o. Which is smaller: -2 or z?
-2
Let c(l) = 4*l**2 - 14*l + 8*l**2 + 3*l**3 - 2*l**3 - 7. Let i be c(-13). Let k = i + -8. Is -2 bigger than k?
False
Let i be 1/3 - (-88)/6. Suppose 3*o + 5*s = -41 + i, -2*o - 5*s - 24 = 0. Let t = -2 + o. Which is bigger: 0.3 or t?
0.3
Suppose -8*w = 8*w. Let c be w/(-9) + (-2)/4. Is c < 3?
True
Let b = -99 + 497/5. Suppose -y = 4, 2*t - y = -t + 28. Suppose 0*q - t*q + 32 = 0. Which is greater: b or q?
q
Suppose 18 = -3*h - 3*w, -5*h - 20 = 2*w + w. Let j be h*2 + 2 + -3. Let y = -193 - -190. Are j and y nonequal?
False
Let y(x) = x**3 - x**2 - 2*x - 2. Let v be y(-3). Let h = v + 37. Let g be 21/(-5) - (-2)/h. Which is greater: -3 or g?
-3
Let h be 385/(-49) + 8 + (-17)/(-28). Which is bigger: 56 or h?
56
Suppose 0 = 4*a - a - 9. Let h be (a/(-2))/(1/(-6)). Let y be 9/(7 + (-5)/(5/6)). Is y > h?
False
Let l(b) = 9*b**2 - 17*b + 29. Let g(f) = -4*f**2 + 9*f - 14. Let m(w) = -7*g(w) - 3*l(w). Let h be m(12). Which is smaller: h or 8?
8
Let z(c) = -c**3 + 5*c**2 + 3*c - 6. Let i be z(5). Suppose 0*v - i = -v. Suppose l - 2 - 6 = 0. Which is smaller: v or l?
l
Let b be (27 + -3)*(-8)/(-12). Is 19 less than or equal to b?
False
Let m = -10966 + 16726. Let u be (2/5)/(6/m). Let w be (-4)/(-14) - u/1736. Is w at most 1?
True
Let a(r) = r**2 - 27*r + 345 - 2*r**2 - 360 + 8*r. Let l be a(-18)