 + 7*y + 4. Let c be n(x). Is c >= -1?
False
Let p = -1 + 0. Let k be (-6)/(-10)*10/28. Let i = -13/28 + k. Which is greater: i or p?
i
Suppose 3*m - 3*d + 23 = -m, 3*m + 2*d = 4. Let l = -1982/7 - -281. Are m and l equal?
False
Suppose 2*n + 31 = -n + 5*x, 0 = -4*n - 3*x - 51. Let v = 138 + -153. Which is smaller: n or v?
v
Suppose 0 = t - 2 - 0. Let s be 1*t*(-16)/(-16). Let w = 6 - 4. Is s greater than w?
False
Let b = -247 + 449. Which is smaller: 203 or b?
b
Let i be 2*1/(-2)*-5. Suppose i*k = -361 - 44. Let v be 4/18 + 18/k. Is 2/23 smaller than v?
False
Let z = 1.7 + -6.6. Let r = -5 - z. Let y = -192 + 1730/9. Which is bigger: r or y?
y
Let z = -25 + 29. Let c = z - 9. Let p(v) = -v**3 - 6*v**2 - 5*v + 5. Let m be p(c). Is m > 8?
False
Suppose -527*m - 406 = -513*m. Which is bigger: -225/8 or m?
-225/8
Let q be 6*10/13200*8. Is -0.09 smaller than q?
True
Let l = -70 - -40. Let v(s) = 4*s**3 + 7*s**2 - 99*s - 13. Let t be v(-6). Which is bigger: t or l?
l
Let g = 1714 - 1716. Which is smaller: g or 388?
g
Let q be 3/(-4) - ((-2128)/(-192) - -2). Which is smaller: q or -14?
-14
Suppose 0 = d + 4*o - 20, 3*o + 44 + 46 = 3*d. Suppose 0 = 4*z + d + 64. Let m be (-1 - 19) + 0 + -2. Which is smaller: z or m?
z
Let s(a) = 2*a**3 - a**2 + 3. Let d(r) = r**3 + r**2 + r. Let x(m) = -2*m - 7. Let u be x(-5). Let o(w) = u*d(w) - s(w). Let g be o(-4). Is g > -14?
False
Suppose 2*w + 4*u = 8*u + 10, w = 4*u + 7. Suppose -w*a + 4*a + 2*h = 66, -4*a + h + 237 = 0. Is a at most as big as 2/7?
False
Suppose p + 25 = 97. Which is greater: p or 70?
p
Let c be (-56268)/648 - (1 + (-11)/6). Are c and -86 non-equal?
False
Let f be (15/(-12))/(3 + 25/(-8)). Let b be (-4)/f - (-30)/75. Is 16 equal to b?
False
Let h(f) = f**2 - 7*f + 5. Let g be h(6). Let p be g + 5 + -1 + -37. Which is smaller: -32 or p?
p
Let a be (-10)/(-4)*(-18)/(-15). Let v be 1/2 + a/(-3). Which is smaller: v or -1?
-1
Let y = -1348 - -10693682/7933. Which is bigger: 0 or y?
0
Let w(g) = -153*g + 171. Let q be w(1). Is q at most as big as 24?
True
Let n be (-54)/18 - (-2 - (-71)/(-1)). Which is bigger: 71 or n?
71
Let d = 0 + 8. Suppose -76 = -4*h - 4*j, 0 = -3*h + 5*j - d + 33. Let b = -14 + h. Is 1 < b?
False
Suppose 0 = 3*g - 4*d + 82 + 146, 2*d = -3*g - 246. Let h = -115 - g. Which is smaller: -34 or h?
h
Let g = 1/3280 + 1639/3280. Is 721 not equal to g?
True
Suppose -4*h - 2*a = -0*h, 0 = 5*h + 2*a + 2. Let q be h - (-1 + -2*(-34)/(-44)). Is q at most as big as 2?
True
Suppose 26 + 26 = 4*w + 5*j, 4*w - 80 = 2*j. Let x = w - 13. Let v = x - 5. Are -1/5 and v equal?
False
Let u(p) = -28*p + 20. Let x be u(13). Let q = x + 3106/9. Is q bigger than 1?
True
Suppose 5*y = 117 - 27. Suppose -k - 4*d - y = 70, -4*k = 4*d + 316. Let f be (-19)/k*(-20 + 1). Does f = -5?
False
Let d = -190 - -166.9. Let y = d - -23. Is y < -4/27?
False
Suppose 5*n - 9 = -14. Is n > 5/18?
False
Let q = 165931/103 - 1611. Suppose -m = v + 3, 0*m = 5*m - 3*v - 9. Is m smaller than q?
False
Suppose 3*q + 7 = 4*q. Suppose 29 = -q*d + 8*d. Is d greater than 29?
False
Suppose -7*r + 18 = 4. Suppose 7*n - 3*n = 20. Let i = 8 - n. Which is smaller: i or r?
r
Let m = 1 + -10. Let g be 3/m + (-56)/(-6). Suppose 4*o + 12 = 6*k - 2*k, 3*o = -5*k - g. Do k and -1/7 have different values?
True
Let g be 14/(2 + -4) + -1. Let d(a) = -7*a**2 + 124*a + 24. Let i be d(18). Let c be (-9)/i + 70/g. Is -7 > c?
True
Suppose 7*a = 8*a - 4. Suppose h + a*h = -20. Do 1 and h have the same value?
False
Suppose -5*c + 588 = -12*c. Which is bigger: -251/3 or c?
-251/3
Let c = -116/17 - -1458/119. Let y(s) = 3*s - 2. Let i be y(2). Which is greater: i or c?
c
Let w(u) = 44*u - u**3 + 0*u**2 + 0*u**2 - 45*u. Let b be w(1). Which is greater: -3 or b?
b
Let g = 5 + 0. Suppose p + x = 3, -g*p + 14 - 2 = 2*x. Suppose 2*z - z = -p. Which is smaller: -2/3 or z?
z
Let h(m) = -m - 2. Let o be h(-1). Let w be (-2 + o + 6)*1. Suppose -5*s - 101 = 3*i + 67, -w*i + 162 = -5*s. Are -32 and s equal?
False
Let a be 4/(-8)*6 + 3. Let n be (-3 - 10/(-3))*a. Suppose -5*m - 6*d - 11 = -3*d, n = -4*m - 3*d - 7. Which is bigger: -5 or m?
m
Suppose -5*r = -41 + 1. Let a(u) = -155*u + 7. Let f be a(0). Which is smaller: f or r?
f
Let r = -2.4 - -2.7. Let o = 2.86 - 0.16. Let i = 1.7 - o. Which is smaller: r or i?
i
Let a be (-4)/(-8)*-227 + -3. Let n = 119 + a. Which is greater: -1 or n?
n
Let i be 20/(-24)*(78/120 - -4). Which is smaller: i or -3?
i
Let y = -11 - -5. Let n = 0.1 + -0.8. Let d = -0.8 - n. Which is smaller: d or y?
y
Let i(v) = v**3 + 7*v**2 - 46*v + 30. Let a be i(4). Which is greater: 159/7 or a?
159/7
Let x = 2117/6 + -350. Suppose 0*r + 2*r + 5*z - 1 = 0, -4*z = 4. Which is smaller: r or x?
x
Suppose -11 = -27*x + 16. Is 26/43 greater than or equal to x?
False
Let f = -30 + 42. Let x be (-24)/(-204) + (-370)/(-34). Which is greater: x or f?
f
Let o be 1 + 10 - (-6192)/(-504). Which is smaller: o or -26?
-26
Let o = 1236 - 1238. Which is bigger: 41 or o?
41
Let q be (-1)/(-3) + (-10)/((-270)/2529). Which is greater: 95 or q?
95
Let a be (-2 + 17)*1/3. Let k = -23 + 15. Let c = k + 15. Which is greater: a or c?
c
Suppose 0 = -5*g + 2*s - 6, 0*g + 3 = -5*g + s. Suppose 0 = q - 2*b - 21 + 1, g = -q + 3*b + 24. Let d = 13 - q. Which is smaller: 3 or d?
d
Let f be (3 + 1 + -5)*-7. Let m(i) = -3 - 1 - 1 + 0 + 2*i. Let a be m(7). Is f >= a?
False
Let x = -14 - -1. Suppose 8*o - 3*o - 5*g = -30, 0 = 5*o - 4*g + 25. Let l = o + -13. Which is greater: x or l?
x
Let h be (-28)/98 - (-132)/266. Is 1 >= h?
True
Suppose 0 = -10*s + 11850 + 640. Is 1250 >= s?
True
Suppose -172 = 3*s + 263. Let i = -152 - s. Is i != 0.1?
True
Let b = 39.917 - -0.083. Let m = b - 40. Is m at most as big as -10?
False
Let n = 59/3 + -1000/51. Is n at most as big as 1?
True
Suppose 6*g - 3*g - 12 = 0. Suppose -5*t = -g*t - 2*t. Are -5/4 and t nonequal?
True
Suppose 0 = -2*g - 3*g + 40. Suppose 0 = 3*r + r + g. Let x be (-1)/(r + -1 + 6). Is -1/3 != x?
False
Suppose 0 = 4*r - 3*k + 17, r + r + 5*k + 41 = 0. Let x be (-84)/7 - (-1 + -2). Is x less than or equal to r?
True
Let p = -63413/69 + 919. Which is bigger: 10 or p?
10
Let g = -844.9 + 811. Let j = g + 34. Is -2.5 less than or equal to j?
True
Let l be (-2)/10 + (-3887)/2415. Is l at most as big as -3?
False
Let u be (2 - 63/33)/((-30)/150). Does 0 = u?
False
Let o = 855 + -799. Which is smaller: 57 or o?
o
Let u(o) = -o**3 - 8*o**2 - 2*o - 6. Let f be u(-8). Suppose -f + 6 = -r. Suppose -3*k + 29 = z - 3*z, -4 = r*z. Are k and 9 unequal?
False
Let k = -266 + 1874/7. Suppose -3 = 3*y - 5*f + 19, 2*y = f - 3. Is k >= y?
True
Let i = 8.81 + 0.19. Suppose -4*n = -10*n + 18. Suppose w = 4*v + 3*w + 12, -n*v + 3*w + 9 = 0. Is v <= i?
True
Let u = 10 + 5. Let g = u + -5. Suppose -14*x = -9*x - g. Are 5/6 and x unequal?
True
Suppose -5 = 3*l - 2*o, 4*l - 5*o + 10 + 6 = 0. Is 60 less than or equal to l?
False
Suppose 1047 = 2*h - j, 2*h = 9*j - 13*j + 1032. Is 522 bigger than h?
False
Let i = 124 + -355. Let a = 231 + i. Let p = 26/21 + -2/3. Is a greater than or equal to p?
False
Let h = -15.52 - -13.918. Which is bigger: h or 0?
0
Let m = -19 + 22. Suppose -b + m + 3 = 0. Which is greater: b or 8?
8
Let d = -1.8 + 11.8. Let o = -0.34 + 0.51. Let s = 0.27 - o. Which is bigger: d or s?
d
Let n = 2701897/618 - 4372. Which is greater: 1 or n?
1
Let r = -69/680 - 2/85. Let p = -0.01 - -1.01. Let a = 0 - p. Which is smaller: a or r?
a
Suppose r - 8*r = -7. Is r bigger than -15/62?
True
Let n = -14 + 16. Suppose x = -2*f + 97 + 39, -n*x = -4*f - 288. Let q = 1675/12 - x. Is 1 at most as big as q?
False
Let t be -2 - (1 - 2 - -2 - -3). Let u(o) = -3*o**2 - 4*o + 5. Let d be u(t). Is -79 less than d?
False
Let j = -4562/3 - -1513. Is j greater than or equal to -0.8?
False
Let u be 2/(-3)*(1 - (-76)/8). Is u > -47/6?
True
Suppose t + 40 = 2*u, -21 = -11*u + 10*u + t. Is u <= 19?
True
Let c(l) = l**3 + 78*l**2 - 84*l - 2. Let x be c(-79). Is x at most as big as 393?
True
Let v be 2/1*(-4)/(-196). Let a be 6 + (-20 - -24)*15/(-12). Does v = a?
False
Let l be (-315)/(-28)*(-16)/(-6). Suppose l = -12*u + 7*u. Let n be (7/(-49))/(u/(-7)). Is n at most as big as -1?
False
Let h = -2310 + 2655. Which is greater: 1 or h?
h
Let z = 50 + -44. Let 