s = w - -3.68. Let o = 16 + s. Do -0.06 and o have the same value?
False
Let c be -1 - 2 - (-2)/5*10. Which is greater: c or -26?
c
Suppose 537 - 261 = 23*c. Let w(h) = h**2 - 6*h + 4. Let n be w(7). Which is bigger: n or c?
c
Let k = -1 + 0. Let s = -2907 + 2884. Which is greater: s or k?
k
Let j be (-4)/(-1) + -3 - (-1695)/75. Which is greater: j or 23?
j
Suppose -5*l + 137 = 3*i, -4*i + i + 129 = 3*l. Let t be (1 + 3)/((-145)/(-1450)). Which is greater: t or i?
t
Suppose 18*m + 994 + 662 = 0. Is m bigger than -92?
False
Let x be (1 - 175/(-9))*-3. Let o = x + 62. Let p be (12/16)/((-18)/16). Do p and o have different values?
True
Let p(c) = c**3 + 10*c**2 - 12*c - 2. Let r be p(-11). Is r at least as big as 16?
False
Suppose 0 = 4*n - 4, n + 2*n = -2*v - 69. Let m = -72 - -37. Which is smaller: v or m?
v
Let o(y) = y**2 + 11*y + 12. Suppose -2*f + 28 = -2*q, -3*q - f - 17 = 5. Let c be o(q). Is c greater than or equal to -2?
False
Suppose 20*b - b = 741. Is 45 <= b?
False
Let u(t) = -t**2 + 2*t + 3. Let l be u(4). Let o = -28 - -31. Suppose 0 = 6*d + 39 - o. Is d less than or equal to l?
True
Suppose 4*s - 6*s + 3*c - 12 = 0, 5*s - c + 4 = 0. Let w(f) = f**2 + f - 1. Let v be w(-3). Do s and v have different values?
True
Let q = 6 + -5. Let s = -9 + 64. Let u = s - 57. Which is smaller: u or q?
u
Suppose 0 = 23*b - 14*b. Let g = 216942 + -9763502/45. Let s = -118/5 - g. Which is smaller: s or b?
b
Let j(h) = -74*h - 547. Let d be j(-5). Do -181 and d have different values?
True
Let l = 469/5 + -93. Which is bigger: l or -2?
l
Let c(t) = -t**3 - 11*t**2 - 10*t - 18. Let b be c(-9). Let z be (-8)/34*(-9)/b. Are z and 1 equal?
False
Let p = 403/9 - 224/5. Let d = -4 - -3. Are p and d equal?
False
Suppose 0*l - 5 = -l. Suppose -1 = -4*o + 3, -4*c - l*o + 17 = 0. Suppose 0*i + c = 3*i. Which is bigger: i or 2/15?
i
Suppose p = -2*p. Let a be (0 - p)*(-14)/28. Suppose a*f = 4*f. Is f greater than or equal to 2/5?
False
Let n = -15025/154 + 682/7. Let i be 9 + -9 + 3 + -35 + 31. Which is smaller: i or n?
i
Suppose 0*s - s - 3 = 0, 2*x = 3*s + 9. Suppose 0 = -5*p + 3*o + 4, 9 = -3*p - x*p - 2*o. Which is greater: -1/116 or p?
-1/116
Suppose 4*u = 3*g - 2, 5*u - 10*u - 10 = 0. Which is greater: -23/11 or g?
g
Let l be -1 + (0 - -2) - 6. Let w be 374/(-5) - 3/l. Let j = -74 - w. Which is bigger: 1 or j?
1
Let y = 0 + -3. Let j = -0.609 + 0.309. Is y equal to j?
False
Let f = -30.99 - -31.99. Let s = -0.02 - -0.42. Let x = 0.1 - s. Which is smaller: f or x?
x
Suppose 1 = -5*p - 4. Let v be 2*(12/8)/p. Which is bigger: -3/2 or v?
-3/2
Suppose 0*t + 3*t + 6 = 4*u, 0 = -3*u - t + 11. Suppose 5*a = -8*l + u*l + 40, -2*l = -a - 16. Let g be ((-52)/l)/(3/(-6)). Which is greater: 12 or g?
g
Suppose 5*p = 2*s - s + 20, -s - 4 = -p. Which is bigger: s or -277/4?
s
Let c be (-106)/(-60) + 4/10. Suppose l + 4 = 4*x, 0 = 5*x - 6*x - 2*l + 1. Is c greater than or equal to x?
True
Let k(u) = -u - 14. Let w be k(-16). Let c(h) = -4 - 1 + 1 + 1 - h**w + 15*h. Let p be c(15). Is p not equal to -5?
True
Let y = 0.5 - -0.5. Let b = -7.98 + 8. Let h = b + 0.06. Is h equal to y?
False
Let c(j) = 7*j + 225. Let o be c(-31). Which is greater: 5 or o?
o
Let b = -16 + 31. Suppose 0*l + 5*l - b = 0. Suppose 6*t - 5*t = l*f + 13, -5*t - 7 = 3*f. Do 4 and t have the same value?
False
Let d(b) = -2*b**2 - 5*b + 5. Let u be d(-4). Let c be u + 3 + (-462)/(-116). Is 1 <= c?
False
Let b = 4.57 - -0.23. Let m = 4.78 - b. Do m and 0.3 have the same value?
False
Let n be 4 - 1 - 33/12. Let z(j) = 48*j**3 + 3*j - 2. Let t be z(1). Which is bigger: n or t?
t
Let i be 3*1 + 1 - (-684 - -687). Let v = -1.3 + 0.3. Let w = v + 0.96. Is w less than i?
True
Let t(i) = -i**2 - 9*i - 10. Let q be t(-8). Let p = -267/44 + 42/11. Which is bigger: q or p?
q
Let s(c) = 2*c - 12. Suppose -18*w + 8 = -17*w. Let f be s(w). Let r be (-1)/(-3) + f/15. Which is bigger: 1 or r?
1
Let v be -8*4/(-1318)*24/(-96). Is 0 at least as big as v?
True
Suppose 5*k = -2*p - 0*p + 35, -3*p = -4*k - 110. Let s be p/(-7)*(-49)/7. Suppose 7*y = -s - 180. Is y greater than -31?
True
Let l = -10714 - -43373/4. Let y = l + -128. Is y < 2?
True
Suppose -105 = -8*p - 257. Let v be -1*(0 - (p + 4)) + 4. Is 1 greater than v?
True
Let u = -0.0029 - 0.9971. Let m = 1.1 + -0.1. Which is smaller: u or m?
u
Let g(w) = 2*w**2 - 51*w - 26. Let d be g(26). Is -1/76 at most d?
True
Suppose 228*p = 247*p - 19. Is -1/128 > p?
False
Let f be ((-2)/4)/(3/(-18)). Suppose -2*k + 2*v - f*v = -12, -3*k - 3*v + 18 = 0. Let o be (37 + -39)*(-42)/12. Which is bigger: o or k?
o
Suppose 0 = -j + 2*g + 5, 35 = 4*j - 5*g - 0*g. Suppose 1 = 16*f - j. Which is smaller: f or 9/13?
9/13
Let u be (-176)/490 - (-6)/15. Suppose -2*p - 1 = 5, y - 6 = 3*p. Let x be ((-1)/3)/(y/9). Which is smaller: x or u?
u
Let j = -111 - -111.1. Is 10 less than or equal to j?
False
Let b = -23.2 + -208.8. Which is greater: b or 1/6?
1/6
Suppose -96*n - 57 = 39 - 0. Let j be 2/(-6) - 4/(-39). Is n <= j?
True
Let z be -3 - 506/(-3) - (-2)/6. Let p = 69 - z. Which is smaller: -96 or p?
p
Suppose 3*i - 8 = b - 3, 0 = 2*i - b - 4. Let u be (9 - (-2330)/(-270))*6. Is u >= i?
True
Suppose -81*n = -93*n + 48. Is 4 smaller than n?
False
Let h = -0.139 - -0.079. Let j = -1.36 - h. Which is greater: 1/5 or j?
1/5
Let c be 0/(0 - (-3)/3). Let t = c - -12. Let g = -50 - -63. Which is smaller: g or t?
t
Let t be (-2 - 3/(-1)) + 3. Suppose -4*c - 5 = -3*n, -t*n - 3*c + 7*c = -8. Let o be 2*((-18)/(-21))/n. Which is smaller: 1 or o?
o
Let c = -0.161 + -0.039. Is -228 not equal to c?
True
Let q be (-1472)/5 - ((-12)/30 + 0). Which is smaller: -295 or q?
-295
Suppose 17*g + 5*b - 1915 = 12*g, 0 = -5*g + 4*b + 1915. Is g at most 383?
True
Let w = -0.076 + -0.124. Suppose -3*p - 52 = -p. Let n be (-9)/p + 1/(-2). Which is smaller: n or w?
w
Suppose 8*c = 6*c + 378. Let y = c - 444. Let u be (12/y)/((-6)/15). Are -1 and u unequal?
True
Let s = 12 + -8. Let r = -4.12 + s. Let l = 0.22 + r. Are l and -0.06 unequal?
True
Let o = 461 + -462. Let j be 1/(-4)*(-36)/21. Which is smaller: o or j?
o
Suppose 3*q + 3 = -0. Let k = 77 + -50. Let y be k/(-28) - 3/(-12). Which is smaller: q or y?
q
Let k(c) = -c - 5. Let s be k(-6). Let j = 19 + -46. Let y = 27.09 + j. Which is smaller: s or y?
y
Let h(v) be the third derivative of v**4/12 + v**3/3 + v**2. Let j be h(-4). Let y = -2608.1 - -2608. Is y not equal to j?
True
Let g = 83 + -86.8. Which is smaller: 5 or g?
g
Let q = 27 + -36. Let t = q + 12. Is t smaller than -8?
False
Let b = -171/910 + -3/70. Let q be ((-6)/9)/(8/(-12)). Is b at most q?
True
Let g = 370 - 369. Is -4/17 < g?
True
Suppose 5*b - n - 319 = 350, -2 = -2*n. Is b greater than or equal to 134?
True
Let u = -4.94 - 0.06. Let b = -4.5 - u. Let i = b + -0.3. Which is greater: 3/2 or i?
3/2
Suppose 2*c + 0 = 12. Let a = -53 - -83. Let l = 36 - a. Is l bigger than c?
False
Let a = 17250855/7 + -23133807371/9387. Let s = -394/9 - a. Which is greater: -1 or s?
s
Let n = -172.96 + 169. Let h = n + -0.04. Let j = h - -3.98. Which is greater: 0 or j?
0
Suppose -3*u = -3*p, -u = 4*u + 5. Let j = 1034 - 4113/4. Let f = 99/20 - j. Which is smaller: p or f?
p
Let n(b) = 4*b - 2. Let h be n(-2). Let i(l) = l**3 - 18*l**2 + 15*l + 24. Let q be i(17). Let u = q - h. Does -6/11 = u?
False
Suppose 2*w - 19 - 3 = -3*m, 5*w = -20. Let f = m - 4. Is 3 bigger than f?
False
Let j be -3 - (-10)/4*1. Let t = 207 + -214. Which is bigger: j or t?
j
Let p(i) = -2*i - 9. Let r(v) = -3*v**3 + 2*v**2 + 2*v - 3. Let f be r(2). Let m be p(f). Suppose 5*x - 3 = z, 3*z + 51 = 6*z - 3*x. Which is bigger: z or m?
z
Let l = 2.06 + -1.35. Let g = 0.81 - l. Is 6/11 at least as big as g?
True
Suppose -3*q + 4*s + 2 + 0 = 0, -5*q + 46 = 4*s. Let z(i) = 1 + 3*i + 3 - q*i + 1. Let p be z(11). Is p greater than or equal to -28?
True
Suppose -5*o - 62 = 8. Let z(k) = -k**3 + 4*k**2 + 3*k - 3. Let l be z(5). Which is smaller: o or l?
o
Let d(h) be the first derivative of -h**2 - 2*h + 29. Suppose 0*a + 3*g = -5*a - 2, 5*g = 5. Let i be d(a). Is i > 4/15?
False
Let i = -1088713 + 381049843/350. Let m = -98/25 - -39/10. Let j = i - m. Is 0 > j?
False
Suppose 136 = -4*m - 64. Let k be (3/(-4))/(3 + 0). Is k at most m?
False
Let w = 