
True
Let v = -315 - -318. Let i = 3 - -12. Are v and i nonequal?
True
Let w = 1.994 + -0.114. Let i = -1.88 - -2. Let p = w + i. Which is greater: p or 0.2?
p
Suppose 0 = 3*j - q + 4, 19*j = 20*j + 4*q + 10. Is -755 not equal to j?
True
Let j be 3 - 3 - 81 - -7. Which is smaller: -1 or j?
j
Let b(c) = -12*c - 6. Let k be b(-5). Let s be 117/k + 2/(-12). Suppose s = -2*a - 2. Is -8/5 <= a?
False
Suppose -5*j = -2*h + 95, -h = h - j - 91. Let l be h/35 + 2/(-7). Which is bigger: 2/65 or l?
l
Let l = 3/22421 + 1165721/1277997. Which is bigger: 1 or l?
1
Suppose 12 - 3 = -s. Let l(f) = -f**3 + 9*f**2 - 26*f + 40. Let m be l(6). Is s less than m?
True
Let c(f) = f**3 + 54*f**2 + 103*f - 53. Let l be c(-52). Is l greater than 9/95?
False
Let u = 9 - 4. Let r = -3298 + 3296. Is u smaller than r?
False
Let x = 247/7535 + -2/137. Suppose 2*j = -2*j - 4, -4 = b + 5*j. Are x and b unequal?
True
Let c = -3 - 3. Suppose -24 = -155*a + 151*a. Let u = a + c. Is u at least as big as 13?
False
Let m = -0.47 + 0.5. Let n = 60 + -24. Let x = -254/7 + n. Is m at most as big as x?
False
Let s = -16527 - -82333/5. Let d = -60 - s. Is -16 bigger than d?
False
Let n be 74/14 - 1/(-6)*-30. Which is smaller: n or 58/5?
n
Let t be 1 - (-5 - 5)/(-10). Which is smaller: t or 3/175?
t
Let o(l) = -9*l**2 + 6*l - 6. Let k(g) = g**3 + 19*g**2 - 13*g + 13. Let w(d) = 2*k(d) + 5*o(d). Let s be w(3). Which is greater: s or 0?
0
Let p = 12.6 + -15.6. Is 0.15 smaller than p?
False
Let m be -1 - -3 - (-21)/(-6). Suppose 2*g - s - 26 = s, -5*s - 35 = -2*g. Which is smaller: g or m?
m
Suppose 0 = 21*y - 3*y + 2448. Let o = -141 - y. Is o at least as big as 20?
False
Suppose 5*t - 182 = -627. Are t and -88 unequal?
True
Let s(m) = -3*m - 28. Let x be s(-6). Let a(y) = -12*y**2 + y. Let t(n) = n**3 - 6*n**2 - n + 7. Let r be t(6). Let o be a(r). Is x >= o?
True
Suppose -3*f - 52 = f. Suppose 5*t = -10 - 10, -4*t = -4*k - 32. Let p(b) = b**3 + 12*b**2 - 12. Let q be p(k). Is q at least as big as f?
True
Let z = -251/3 - -20854/249. Which is greater: z or -1?
z
Let v be 33/10*-14 + 4/(-5). Is -6 < v?
False
Suppose -5*l = -15, -t - 4*l = l - 14. Let d be (0 - (3 - 3))/t. Let i be (15/6)/(-5) + 0. Which is greater: d or i?
d
Let u = -1358 - -1310. Which is smaller: u or 3?
u
Let h = 9 + -27. Let w = h + 19. Let d be (3*4/(-156))/w. Is -1 equal to d?
False
Let r = 15 + 18. Let u = -626 + 658. Which is smaller: r or u?
u
Let h be ((-5)/10*4 - -2)/(-1). Do -1/672 and h have the same value?
False
Let l be 3 - (-40)/45*-3. Let f = 24.961 + -25. Which is greater: l or f?
l
Let n(k) = -k**3 - k**2 + k + 31. Let o be n(0). Suppose a - 5*z = 14, -4*a + z = 6*z - o. Let f be (a/27)/(1/3). Which is smaller: 2/3 or f?
2/3
Let w = -30 - -4. Let z be ((-2)/w)/((-15)/(-4) + -4). Is z > 0?
False
Let t = -19 - -8. Let v = 20 + t. Suppose -131*j + 286 = 12*j. Which is smaller: v or j?
j
Let f = 1533 - 2245. Let s = f - -694.05. Let p = s + 18. Which is smaller: p or -1?
-1
Let d = 67 - 65.8. Let m(h) = -3 - 3*h + 6*h**2 - 7*h**2 + 1. Let n be m(-2). Is d >= n?
True
Let l = 14 + -9. Let k(z) = -z + 6. Let i be k(l). Suppose -i = 5*r + 4. Is -2/27 at least r?
True
Let f be 1148/(-105)*1 + 4 + -6. Which is bigger: f or -1/4?
-1/4
Suppose 5*g = -5*r - 30, 0 = -3*r - 2*r - 3*g - 34. Let o be r/(-52) - (-616)/52. Let j be (3/8)/(o/88). Which is smaller: j or 1/4?
1/4
Let t be ((-2)/6)/(2*(-2)/60). Suppose x - 3 = 2*d - t, -2*x - d + 1 = 0. Which is bigger: -1 or x?
x
Suppose 5*t + 5*p = 185, -5*t - p + 128 = -73. Let n = t + -40. Suppose 3*f = 6*f. Which is smaller: n or f?
f
Suppose c + 4*j = 4, -2*j - 3*j = 5*c - 50. Let r be c/(-1)*40/(-32). Suppose -4*d = -5*v + r, -3*d = v + 4*v + 20. Which is smaller: v or -0.14?
v
Let c = 196 - 42. Is c < 154?
False
Let d be (-19)/42 + (-2)/(-3). Let c be (-7 + 6 + 1)/(-2). Which is smaller: d or c?
c
Let q = 15.08 + -13.24. Which is smaller: -1 or q?
-1
Let o = 461/4 - 116. Let d = -0.071 - 0.009. Which is greater: o or d?
d
Let o = 246 + -252. Which is bigger: o or -7?
o
Let o = -1269/34 + 75/2. Is 1 <= o?
False
Let w(i) = 18*i + 60. Let d be w(-4). Which is smaller: d or -8?
d
Let o be -4*2/(-6) + (-4)/(-6). Suppose 0 = -3*v + o*b + 227, -2*v + 7*v + 3*b = 372. Which is smaller: v or 76?
v
Let g = 2790 - 2782. Let h(q) = -q**2 + 5*q - 3. Let v be h(5). Let n(x) = -x. Let o be n(v). Is g greater than or equal to o?
True
Let h be 182/(-2639) - 468/(-58). Is h not equal to -40?
True
Suppose -557*v - 56 = -559*v. Let z be ((-2*58)/2)/(-2). Which is smaller: v or z?
v
Suppose -4*u - 4*f - 27 = -7*u, -5*f = 0. Let h(g) = g**2 - 10*g - 9. Let x be h(u). Which is bigger: -17 or x?
-17
Suppose -8 = 2*c + 4. Let y be 8/6 - (-8)/c. Is 0 >= y?
True
Let c(d) = d**2 - d + 1. Let f(z) = -z**3 + 5*z**2 - 4*z + 5. Let x(k) = -5*c(k) + f(k). Let i(b) = b - 2. Let m be i(2). Let j be x(m). Is j >= -3/8?
True
Let b = 28 - 28.18. Let w = -0.28 - b. Is w greater than -1/13?
False
Let c be (-8)/12 - (-4)/18. Which is smaller: c or 0.5?
c
Let j(n) = 19*n**3 - 3*n**2 - 3*n + 2. Let z be j(2). Suppose 141 - z = 5*a. Let b be 0 + 1 - (0 - 0). Is a greater than b?
False
Let c = 11.23 + -11. Let g = -0.01 + c. Let r = -0.78 - g. Is -3/7 bigger than r?
True
Let d = -11.23 - -12. Do d and 0 have different values?
True
Suppose -2*q = -4*q - 2, -2*l + 61 = 5*q. Let s = 164/5 - l. Which is smaller: -2/9 or s?
-2/9
Let c = 145 + -139. Let l = -6.2 + 1.2. Let q = c + l. Which is smaller: q or -1/4?
-1/4
Suppose -44*m - 1248 = -40*m. Let r = m + 9674/31. Is -1 < r?
True
Let h = 9014/13 - 693. Is h less than 0?
False
Let j(t) = -t**2 - 11*t - 10. Let x be j(-8). Suppose u - 5 = 0, d - u = 2*u. Which is smaller: d or x?
x
Let y = -267 - -263.7. Let u = -0.2 + 3.6. Let t = u + y. Is t at most as big as 1.5?
True
Let v = 120 + -105.9. Let y = v - 15. Let a = y + 1.2. Is -1 equal to a?
False
Suppose 5 = 5*l - 3*w - 14, 0 = 4*w - 8. Suppose -2*y - 3*n + 8 = 0, y - l*y - n = -6. Which is smaller: y or 2?
y
Let y = 0.077 - 0.019. Is y at most as big as -2/5?
False
Suppose 0*n - 5*n = 3*q - 9, -5*q + 31 = 3*n. Let j(x) be the third derivative of -x**6/120 + 2*x**5/15 + x**3/6 + x**2. Let w be j(q). Is w less than 4?
True
Let l = 5 + -9. Let z = -3 - l. Let v = -0.1614 - -1.1614. Is v less than z?
False
Let p = 209.6 - 184. Let x = p - 11.8. Let q = -13 + x. Is -0.1 less than q?
True
Let k = -1.089 - -0.959. Is k less than -21?
False
Let n = -0.0599 - 0.4401. Which is smaller: n or -4/3?
-4/3
Let j = 264 - 263. Which is greater: j or -222?
j
Let i(v) = 6*v - 9. Let r be i(4). Let l be (-2)/r + (-1572)/(-990). Is l > 1?
True
Let y(z) = 2*z - 9. Let q be y(-15). Let f be (-123)/q + 10/(-65). Let k be -3 + (f - (3 + 0)). Is -5 bigger than k?
False
Let h = 2065 - 41321/20. Which is bigger: -1 or h?
-1
Let q(d) be the second derivative of d**5/20 + 11*d**4/12 + 5*d**3/3 + d**2/2 + d. Let v be q(-10). Is -1/11 >= v?
False
Let h = 88839/14 + -6342. Which is smaller: 5 or h?
h
Let u(v) = 3*v + 18. Suppose -5*f = 3*m + 13, 2*f + f - 3*m = -27. Let g be u(f). Do 1 and g have the same value?
False
Let j be (-48)/90 - 2/(-6). Let g = -21.45 - -0.75. Let o = 21 + g. Which is smaller: o or j?
j
Suppose -2*w + o + 21 = 0, o = 2*w - 2*o - 15. Are 3 and w equal?
False
Suppose -2 = 4*r - f, -9*f + 8*f = 2*r - 2. Suppose 20 = -5*y - 5. Which is greater: r or y?
r
Let m = -25894 - -17530232/677. Which is smaller: -1 or m?
-1
Let z(p) = -3*p + 1. Let y = -11 - -9. Let f be z(y). Suppose h - f = -4. Which is bigger: h or 4?
4
Let g(h) = -h**3 + 3*h**2 + 4*h + 32. Let j be g(5). Is j >= 9/7?
True
Let z(c) = -c**3 - 6*c**2 + 8*c + 8. Let t be z(-7). Let k = -1699 - -195383/115. Is t greater than or equal to k?
True
Let m(l) = 23*l**2 + 10*l + 9. Let k be m(-3). Let n = -933/5 + k. Do n and -19 have the same value?
False
Let w be 4 - (3 + (-1 - -8)). Let a = 2 - w. Does 7 = a?
False
Let n = 0.109 + 41.891. Does -7 = n?
False
Let v = 60.7 - 58. Let l = 2.4 - v. Are l and 13 non-equal?
True
Let w = -700 + 701. Is 1/32 greater than w?
False
Let n = 5 + -5.24. Let s = -215.24 + 228. Let y = s - n. Is y not equal to 1/2?
True
Suppose 3*r - t - 28 = -r, 5*r - 35 = 5*t. Let h = -36 + 44. Which is smaller: h or r?
r
Let h be ((-32)/20)/4*-15.