Do 0 and s have different values?
True
Let h = -9 + 29. Suppose -j = 4*v - 16 - 0, -2*j = 5*v - h. Is -2/5 greater than j?
False
Let u = 22/25 - 993/1100. Let b = u + 23/44. Which is smaller: b or 1?
b
Let x be 38/(-13) - (4 + 3 + -9). Which is smaller: -2 or x?
-2
Let o = -5 - -4.89. Let c = o + -4.89. Is 0.1 greater than c?
True
Suppose -2*x - 15 = 3*x. Which is bigger: -2 or x?
-2
Let c = 144 - 144. Is -115 at least as big as c?
False
Let y be 33/(-45) + 7/21. Let x be ((-8)/(-6))/(5/(-6)). Is y at least x?
True
Let b = -7530 + 30283/4. Let x(f) = -9*f + 4. Let d be x(5). Let h = d + b. Is h <= -1?
False
Let s = -2/5947 + 446039/41629. Which is smaller: 11 or s?
s
Let l(m) = 3*m - 3. Let h be l(3). Let i(f) = -f**2 + 6*f. Let x be i(h). Do -3/4 and x have the same value?
False
Suppose -3*a - 2*a = 25. Is -6 greater than or equal to a?
False
Let g = -5 - -15. Is g <= 9?
False
Let c be (-5988)/20 - (-6)/(-10). Let t be -1 - -3 - c/(-54). Let v = t + 229/72. Which is greater: v or 1?
1
Let z = -143/342 - 1/38. Which is bigger: 0 or z?
0
Let g be (-8)/14*28/30. Which is smaller: g or 0?
g
Let s be (2/3)/(2/9). Let x be s + (-1 - 1) + -2. Suppose 0 - 3 = 3*v. Is v < x?
False
Let o be -3 + 4 + -4 + 3. Suppose -2*h = -1 - 1. Let q be (3/21)/(h/(-2)). Which is smaller: q or o?
q
Suppose -31 + 11 = 5*b. Let t(k) = -k**3 - 7*k**2 - 7*k + 8. Let n be t(-6). Suppose 3*m = -1 - n. Which is bigger: m or b?
b
Let d be -2 - 1/(-1) - -1. Let f(b) = -b**3 + 2*b**2 - 3*b + 2. Let v be f(2). Let n be (-4)/8*v/7. Which is greater: n or d?
n
Let a be (15 - 7) + 2 + -1 + 2. Which is smaller: -1 or a?
-1
Let n(w) = -2*w. Let s be n(0). Suppose -5*m + a + 7 = -0*a, s = 5*m + 4*a + 3. Is m less than -2?
False
Let o be (-176)/110 + (-4)/10. Which is bigger: o or -56?
o
Suppose -5*g + 25 = 5*a, 15 = 3*g + 3. Which is smaller: a or 1/41?
1/41
Suppose 4 = 2*o, 5*i = -3*o + 3 - 2. Let b be -5 - (-30)/40*(-124)/(-18). Is i at most as big as b?
True
Let j = -37 - -37. Which is greater: j or -3/28?
j
Let a = 153/2 + -75. Suppose -y + 3*k = 7, 3*y + y = 3*k + 8. Suppose -4*l = 1 - y. Which is smaller: a or l?
l
Let w(v) = v - 6. Suppose -987 = -0*m - 3*m. Let g be m/63 + 4/(-18). Let z be w(g). Which is smaller: 1/8 or z?
z
Let z be (3 - 5)/(5/8). Is z > -2?
False
Let o(k) = -7*k + 1. Let s be o(-2). Suppose 0 = 3*g + 6, 3*y - 5 = -2*g - s. Let t = 1/6 - 2/3. Which is greater: y or t?
t
Let s = -18.8 + 19. Let q(y) = y**2 + 4*y + 2. Let c be q(-4). Suppose c*v + 12 - 2 = 0, -5*v = -f + 25. Is f smaller than s?
True
Let q(z) = z**2 - 7*z + 7. Let i be q(6). Let v be -3*(2 + 78/(-9)). Let h = v - 102/5. Which is greater: i or h?
i
Let q be -49*1/(-13) + (-48)/12. Let a = -1 + 0. Are q and a nonequal?
True
Let p = -1.4 + -5.6. Let a = 10 + -11. Let r be ((-3)/(-2 + 14))/a. Are p and r nonequal?
True
Let w = 3 - 3.4. Let h = -4 + 4. Which is greater: w or h?
h
Let w be -1 + 0 + 6/10. Let n be (-4)/((-1)/(1/(-2))). Let l be (-4)/((-8)/(-6)) - n. Which is greater: w or l?
w
Let p = 16 - 18. Let v = -7 - -3. Which is bigger: v or p?
p
Let q be 3 - (-1 - 36/(-8)). Let b = -6.1 + 1.1. Do q and b have different values?
True
Let g = 33 - 39. Which is greater: g or 0.5?
0.5
Suppose -4*m + 189 = -v, -5*m + v = 2*v - 234. Is 47 greater than or equal to m?
True
Let b = -4 + 5. Suppose -p + b = -2*p. Let j = p - 0. Is j less than or equal to -2?
False
Let b(h) = -h**3 + 2. Let o be b(0). Suppose p = -p - o. Which is smaller: -3 or p?
-3
Suppose -4*h - h = 0. Suppose h = -t - 4*g, 0 = t - 0*g + 5*g + 1. Suppose 0*o = -4*o - t. Is 0 >= o?
True
Suppose 13 - 4 = -3*m. Which is smaller: m or -4?
-4
Let c be (-4)/(-5)*5/(-7). Suppose 0 = 2*h - h. Is c > h?
False
Suppose 0 = -2*l - l. Which is smaller: -3/5 or l?
-3/5
Suppose 0 = -12*y - 20 - 16. Let z(v) = v**3 - 7*v**2 - 7*v - 7. Let c be z(8). Are y and c unequal?
True
Suppose -5*z - x - 3 + 32 = 0, 2*x - 3 = z. Suppose 3*c - 2 + z = 0. Which is smaller: -0.3 or c?
c
Let m(i) = i**2 - 7*i + 1. Let r be 5 + (-2 - (-3 - 1)). Let y be m(r). Let u be (1/6)/((-3)/(-4)). Are u and y nonequal?
True
Let b(y) = -2*y**3 + 2*y**2 - 1. Suppose 0 = 4*o - 3*o + 1. Let a be b(o). Suppose -5*q + i = 20, 0 = a*q + 2*q - 2*i + 25. Is q smaller than 1/2?
True
Suppose -k + 1 = -3. Suppose -4*y + 3*q = -33, 0 = 5*y - 3*q - k - 35. Is 9 >= y?
True
Let v = -35 - -104/3. Which is bigger: 3 or v?
3
Suppose -4*b - 24 = 4. Is b less than or equal to -7?
True
Suppose -j - 3*o = -6, 4*o = -2*j + 5*j - 5. Let t be (-12)/(-6) + (j - 0). Let p = 4 - t. Is -4/7 at most as big as p?
False
Let b be 0 - ((-2)/23 + 0). Let s = -6 - -10. Suppose -m - 3*x = -4*x + s, 5*x - 20 = -3*m. Which is greater: m or b?
b
Suppose 4*i - 16 = -2*w, 3*w - 5*i = -2*w - 20. Is w <= -1/18?
False
Let q = 3758/9 + -418. Is q less than or equal to 2/9?
True
Let z(y) = 3*y + 7. Let f be z(-6). Let t = f - -11. Which is greater: 1/3 or t?
1/3
Let l be 0 + 0*(-2)/6. Suppose -j - 5*w + 4 = -4*w, -j - 3*w + 14 = l. Is 0 less than j?
False
Let q = 7.81 + 0.19. Let o = q - 12. Which is smaller: -1 or o?
o
Let t(j) = 2*j**3 - 8*j**2 - 4*j - 3. Let x(b) = 3*b**3 - 9*b**2 - 5*b - 3. Let y(k) = -4*t(k) + 3*x(k). Let a be y(-5). Let p be 5 + 2 - (-1 - a). Is 6 != p?
False
Let i = 10 - 11. Are 4 and i non-equal?
True
Let d(g) = -g + 7. Let h = 11 + -6. Let a be d(h). Is a at least as big as 1?
True
Let y(g) = -g**2 + 7*g. Let i be y(7). Let z be i*(2 + 5/(-2)). Let t be 21/(-6) - (-30)/9. Which is greater: z or t?
z
Suppose 0 = -3*q - q. Let k = -2 - 0. Let h = k + 1.9. Is q at most h?
False
Suppose -d + 2*f + 5 = 4, 3*d = -5*f + 14. Which is bigger: 2 or d?
d
Let r(x) = x**3 - x**2 - 5*x - 2. Let y be r(-4). Let j = -309/5 - y. Is 0 less than j?
True
Let r = 1/55 - 113/165. Let p be 2/8*17/(-17). Is r < p?
True
Let i(w) = w**3 + 5*w**2 - 3*w - 5. Let j be i(-5). Let o = 9 - j. Is 1/5 smaller than o?
False
Let k be (-3)/2*(6 - 8). Suppose 0 = -5*o - d + 4, -4*o + 3*d + 4 + k = 0. Is 3/7 less than o?
True
Let w = -21 + 33. Let p = -12 + w. Is -3/10 greater than or equal to p?
False
Suppose 0 = -4*d + 24 - 20. Is d smaller than 0?
False
Let d = 1.3 + -0.3. Let o = 1.1 - d. Are o and 2 nonequal?
True
Suppose 4*i - 29 = b, -46 = -5*i - 3*b + b. Suppose -3*n + i*n = -50. Is n smaller than -9?
True
Suppose 4*r - 93 = x + 4*x, 2*x + 4*r + 26 = 0. Let p be 35/x - 4/(-2). Is p at most as big as 0?
True
Let k = 8 + -10. Let x = -2/1003 - 12022/7021. Is k < x?
True
Let y = -16 + 7. Let c be 1/y*2 - 0. Let j = -38/11 + 157/55. Which is smaller: j or c?
j
Let a be (-516)/(-720) - (-2)/(-8). Is 0 < a?
True
Suppose 0 = -0*g + g + 24. Let n be (-6)/21 + g/14. Let k = -19 + 16. Which is bigger: n or k?
n
Let g = -2.8 - 1.9. Let w = g + 0.7. Let o = w - -3. Is -5 <= o?
True
Let k = 0.9 + -0.92. Let y = 0.03 - k. Let v = -0.25 + y. Do v and -2 have the same value?
False
Let i = 7 + -14. Let g = i + 2. Which is greater: g or -4?
-4
Suppose -2*o + o = 2. Let i be 0*-1*(-1)/o. Is i smaller than -3/7?
False
Suppose -5 = -3*n - 2*n. Let l be 0/(2/2) - (1 + -2). Is l >= n?
True
Let y = 0.2 + -0.3. Let b = 10729337/98693 - -2/98693. Let p = b - 109. Which is smaller: p or y?
p
Let y be 14/(-7) - 152/(-46). Let q = -293/207 + y. Suppose -4*v + 7*v + 3 = 0. Which is bigger: q or v?
q
Suppose 6*h = 2*z + 2*h + 8, -4*z + 8 = 4*h. Is z at least -11/16?
True
Let b = 11 + -15. Suppose 0 = h + 3*p - 0 + 4, p - 8 = -5*h. Suppose 3*c = -h*c. Is c smaller than b?
False
Suppose 3*n + 3*h = -h + 20, -3*h = -5*n + 14. Suppose 4*x = n*f + 4, 2*x - f + 1 = -1. Let z be 0 + x - (-14)/6. Are 2/5 and z nonequal?
True
Let q(i) = -i**2 + 5*i - 3. Let x(m) = -2*m - 11. Let n be x(-8). Let c be q(n). Let r be 2/c*(-18)/4. Is -0.1 != r?
True
Suppose 0 = 4*h + 9 - 1. Let j = 247/2 - 129. Let u = j + 4. Is u at least as big as h?
True
Let i = -0.12 + 0.15. Which is greater: 1 or i?
1
Let u = 17 + -20. Is u greater than -3?
False
Let x(p) = -4*p. Let r be x(-1). Suppose -5*i = -r - 1. Which is smaller: i or 5/3?
i
Let f be 2/(-3) + (-2778)/45. Let n = f + 62. Suppose 2 = 5*t + 7. Which is bigger: n or t?
n
Let s be (-8)/(-14)*45/(-60). Let g(z) = -z**3 - 5*z**2 + 5*z - 6. Let y be g(-6). Let i = 0 - y. Which is smaller: i or s?
s
Let y be (-63)/14 - (-3)/1. Whic