c?
True
Let s be ((-2)/4)/((-1)/6). Let a be (-2)/1 + 7 - s. Let u be a*2/10 - 0. Which is bigger: -1 or u?
u
Let a = -70 + 54. Which is bigger: a or -17?
a
Let s be 25/2*35/(-350) - 0. Suppose 5*j + 4 = -1. Let a be ((-2)/j - 0)/(-2). Is s > a?
False
Let r be (-21)/14*(-84)/2. Let l be r/12 - 2/8. Which is bigger: l or 4?
l
Suppose 2*k - 6*k = -48. Suppose -3*l - l - 5*w - k = 0, -l = 5*w + 18. Let j = l + -3. Is j less than -1?
False
Let r be (-4 + 19)*6/15. Which is greater: 14 or r?
14
Let y = -0.009 - 0.091. Are y and -3/32 nonequal?
True
Let b be 2*(63/6)/7. Suppose 0 = y - 3*n + 8, 12 = 5*y + n + 4. Which is greater: y or b?
b
Let g = -12 - -17. Suppose -12 = -g*s + s. Is 13/4 not equal to s?
True
Let d be 3/6*8/(-6). Suppose 0 = 5*l - 2*l - 15. Suppose -3*o + 14 = -2*o - l*j, -3*o - 26 = 2*j. Which is bigger: o or d?
d
Let a = 0.5 - 0.3. Let g = -1.7 + 2. Let m = g - a. Does 1 = m?
False
Suppose 18 = k + 2*k. Suppose q + 3*h + 7 = 0, 7*h + k = 2*q + 3*h. Let l be ((-5)/10)/(q/(-2)). Is -2 > l?
False
Suppose -2*v = 2*v + 8. Let l be 2 - 5/((-15)/(-18)). Let q = l - -2. Is v <= q?
True
Suppose -54*a + 6 = -51*a. Let o = -10 + 22. Suppose 5*j = -p - 5 + 19, 0 = 4*j - 5*p + o. Does j = a?
True
Suppose 0 = 2*s + 3*s + 2*w - 3, -5*s = -w - 6. Suppose -12 = -5*h - 4*j, -h + j - 3*j + 6 = 0. Is h less than s?
True
Let z be -8 + (1 - 2) + 2. Are -7 and z unequal?
False
Let f(h) = -2*h - 4. Let m be f(-3). Let x be 15/54 - m/(-9). Is x != 1?
True
Suppose 12 = d + 2*d. Let c be (12/(-8))/((-2)/d). Let p be 1/((2 + -1)/2). Which is smaller: c or p?
p
Let z = -2 + 20/9. Suppose 0 = s - 4*w - 1 - 0, s = -4*w - 7. Let r be (2 - 0/(-1)) + s. Which is smaller: r or z?
r
Suppose 5*r - 2*r = 5*f + 83, 2*r - 2*f - 54 = 0. Suppose 4*s - r = -4*z + 2*s, -5*z + 10 = -2*s. Suppose 0 = 5*a + 15, -z*u - a - a = -2. Is u != 2?
False
Let h = 2/1731 - 105631/34620. Let u = 14/5 + h. Is u at least as big as 1/5?
False
Let w = -640610 + 8322255/13. Let y = w - -437. Let f be (-12)/114 - (-21)/19. Is y greater than f?
False
Let o = -242/3 + 1921/24. Let f be (0 - -1) + 5/(-8). Let r = f + o. Which is bigger: r or -5/4?
r
Let q = -57 - -87. Which is bigger: q or 32?
32
Let f be (12/(-7))/(-4) + 1. Is f greater than 0?
True
Let f = 1/103 - 213/721. Which is bigger: f or 2.1?
2.1
Let m = -4 - -14. Let z be (7/35)/(2/m). Let n be 44/16 - 3/z. Which is smaller: n or 0?
n
Let o be 3/(-5)*1/(-3). Let q(g) = -g**3 + 4*g**2 + 5*g + 1. Let p be q(5). Which is bigger: p or o?
p
Let s = 12 - 10. Suppose -s*r + 4*r + 2*f + 6 = 0, 3*f + 13 = -r. Which is smaller: 3 or r?
r
Suppose 0 = -4*c + 38748 - 10936. Let z = 194871/28 - c. Let p = z + -52/7. Which is greater: -2 or p?
p
Let k = 3/139 - 329/2363. Is -1 != k?
True
Suppose 9*a - 10 = 14*a. Is -1/22 < a?
False
Let h be -4*(-9)/(-30)*5. Is h less than or equal to -6?
True
Let q = -71 + 64. Which is smaller: q or -3?
q
Suppose -4*n - 5*p + 12 + 9 = 0, -2*n + 4*p + 4 = 0. Suppose n*c - 7 - 13 = 0. Which is bigger: 4 or c?
c
Suppose 0 = -h + 2*n - 2, 2*h = -2*n + n + 1. Let s = -101/238 + -1/238. Do h and s have the same value?
False
Let c be (-4)/(-14) + 6/(-21). Is c less than -4?
False
Suppose -3*v - 9 = 0, 3*v = -h - 1 - 12. Which is bigger: h or -6?
h
Let v be (-7)/((-63)/(-12))*-9. Which is greater: 11 or v?
v
Suppose 4*j = 16, -5*v - j + 14 = -3*v. Is v at most as big as 4?
False
Let w = -17 - -18. Which is greater: -0.03 or w?
w
Let v(u) = 2*u**2 + 4. Let j be v(0). Suppose j = 7*h - 3*h. Is h <= 1/15?
False
Let l(f) = -f**3 - 8*f**2 - 6*f + 8. Let a be l(-7). Which is smaller: a or 2/59?
2/59
Let z be (-70)/(-180)*6/28. Which is greater: z or 0?
z
Let p = -37 + 41. Are p and 23/6 nonequal?
True
Suppose 2*k = k - 10. Let h = 11 + k. Is -0.1 less than or equal to h?
True
Let p = -8 - -10. Suppose 0 = w + 3*a + p, 8 = -3*w - w + 3*a. Is -2 at least as big as w?
True
Let g be 693818/66 - 5/(-5). Let b = -10512 + g. Let n = 8/11 - b. Which is bigger: -0.3 or n?
-0.3
Let c = -11 - -6. Let x = c + 9. Which is greater: x or -0.1?
x
Let u(g) = g**3 - 3*g**2 + 3*g - 1. Let t be u(2). Suppose 3*i = o + 3, 3*o - 4 + t = -3*i. Let n be (i - 3) + (-32)/(-18). Which is smaller: n or 1?
n
Let s(h) = -h**3 + 2*h**2 + 2. Let t = 3 + -1. Let i be s(t). Suppose -3*v + 4 = 13, i*a = -v + 1. Which is smaller: 3/4 or a?
3/4
Let q(v) = -v**2 - 2*v + 22. Let w be q(4). Does w = -9/17?
False
Suppose 0 = 5*j + 25, 0*u - 38 = 3*u + 4*j. Let d(i) = 57*i**2 + 2*i - 1. Let r be d(1). Let k be 4/u + r/6. Is -0.1 less than k?
True
Let n(l) = -4*l + 1. Let s(q) = 5*q - 1. Let y(i) = 4*n(i) + 3*s(i). Let a be y(5). Is -2 <= a?
False
Let u be (-3)/12 + (-54)/(-8). Let g be (-15 - -17)/((-3)/4 - -1). Which is bigger: g or u?
g
Let a be (4/3)/(8/12). Suppose -2*l - 2*q = -0*q + 18, 2*q = a*l - 2. Let t be 0 + (0 - 1/l). Which is greater: 1 or t?
1
Suppose 2*y = -4*a + 8, -2*y + 4*a = -6*y + 12. Is 0.4 bigger than y?
False
Suppose -5*k = -2*z - 3*z - 10, 3*k + 1 = -4*z. Which is smaller: z or -3/8?
z
Let k = -2/157 - -634/471. Which is smaller: k or 2?
k
Let u = -46.1 - -46. Is u != 8?
True
Let w(x) = -x**2 - 11*x - 12. Let i be w(-10). Is -7 equal to i?
False
Let w(m) = -m**3 + 7*m**2 + 10*m - 19. Let l be w(8). Is -3 at least as big as l?
True
Let o = -139 - -122. Which is bigger: o or -1?
-1
Let k(x) = 4*x**3 - x**2. Suppose 4*d - 14 = -5*j, 0 = d + 3*j - 7 - 0. Let t be k(d). Is 2 greater than or equal to t?
False
Let x be (-2)/(-6) - (-1040)/12. Let b = 781/9 - x. Is b > 0?
False
Let o = -18 - -23. Is 29/5 > o?
True
Let r be (-16)/40 + 14/10. Is r at most -1/33?
False
Let i = 3 - 0. Let v = i - 1. Do v and 3 have different values?
True
Suppose 0 = t - 3*c + 2 + 16, 0 = -5*t + c - 20. Let g(u) = u**2. Let q be g(t). Is 8 greater than q?
False
Suppose 3*i - 7 = 2. Let m be (4/(-8))/(3/(-24)). Which is smaller: m or i?
i
Let s(g) = -g**2 - g + 1. Let i be s(-2). Let a = 28.3 + -27. Let m = 1.5 - a. Which is bigger: i or m?
m
Let b be 6/21 + 61/7. Which is bigger: 17/2 or b?
b
Suppose 4*z + 12 = -4*t, -5*t + 8*t = 0. Is z greater than 4?
False
Let d = 7 - 6. Suppose w + h + d = 0, 5*h - 5 - 8 = w. Is w <= -5?
False
Let d = 10 + -5. Suppose -3*v + 3 = -d*l + 3*l, -1 = -5*l - v. Is l <= 2/15?
True
Suppose 0 = t + 2*t. Let q = 2.5 - 2.4. Are q and t non-equal?
True
Let d = -109879078/397891 - 4/30607. Let x = -276 - d. Is -1 bigger than x?
False
Let v = -0.58 + 0.49. Which is smaller: 4/7 or v?
v
Let t = -5.8 + 3.9. Are t and 0 nonequal?
True
Let t(f) = 6*f - 1. Let i be t(1). Let z = 4 - i. Is z greater than -4?
True
Let x = -2 + 1. Let c = 145/2 - 1301/18. Is x less than c?
True
Suppose 0*b - 4*d - 4 = -5*b, -4*b + 3*d = -4. Suppose -3*r + b = 19. Which is smaller: -1 or r?
r
Let z = -8 + 15. Let q = -6.8 + z. Which is bigger: -2/7 or q?
q
Suppose 0 = -2*c + 4*c - 2. Let w be (-56)/(-30) + (-2)/c. Is 0 greater than or equal to w?
True
Let h = 14120/6603 + -66/31. Is h equal to -1?
False
Let u = 17.71 - -0.29. Let y = 18 - u. Is y at most 2/25?
True
Let f(r) = -3*r. Let y be f(1). Let g be (-5)/(-2) - (-4)/8. Suppose -g*d + 4 = -4*d. Which is greater: d or y?
y
Let x(k) = 0*k + 2 + 0*k + k. Let h be x(-4). Let y = h + 3. Which is greater: y or 3?
3
Suppose -5*y = h - 36, -4*y - 15 = -9*y. Are h and 22 equal?
False
Suppose 2*x = -2*x. Let k(q) = 2*q - 19. Let p be k(9). Which is smaller: x or p?
p
Let y = 0.1 + 0.9. Let u be -1 + 3 - (-728)/(-366). Let l = u - 380/1281. Which is smaller: l or y?
l
Let v = 84 + -922/11. Which is smaller: 28 or v?
v
Let v = 0 - -4. Suppose n - 5*u - 3 = 0, -v*n = -3*n - 2*u. Is -3 not equal to n?
True
Let a = -1.58 - 0.02. Let v = a + 1.6. Which is greater: -1.2 or v?
v
Let v = -0.03 - -0.07. Let t = 0.96 + v. Let g = -2.15 - -0.15. Is g at least t?
False
Suppose -w + 6*w = 15. Let r be -1*(3 - (w + -3)). Let f be r/3 - (-14)/10. Is f not equal to 0?
True
Let o be (-2)/(0 - (2 - 3)). Let y(p) = -38*p**3 + p**2 - p + 1. Let m be y(1). Let a = -112/3 - m. Which is greater: a or o?
a
Suppose -2*g + 7*g = 0. Suppose -2*r = -g*r - 8. Let y = -4 + r. Which is smaller: y or 1?
y
Let q = 3 + -2.2. Let s = q - 1.8. Which is bigger: s or 1?
1
Suppose -11*w = -6*w - 20. Suppose -3*m = 2*o + 5 - 0, w*o = -5*m - 13. Is -7 greater than o?
Fa