 or u?
u
Suppose 0 = -3*z - 0*z. Let h be -1 - -2*22/52. Is z != h?
True
Let l be 428/(-1584) + (-26)/(-8) + -3. Which is bigger: 1 or l?
1
Suppose 0 = -20*z + 27*z. Is z less than -3/109?
False
Let y = -9 - -8.9. Let m = -0.9 + y. Suppose s = 4*o - 5, -5*s = o - 2*o + 6. Is s at most as big as m?
True
Let q = 2981/30 - 296/3. Let f = -11/30 + q. Is -0.04 equal to f?
False
Suppose 2*z + 2 = -5*k, 0 = -24*z + 25*z + 3*k + 1. Let y = 545/3 - 7139/39. Which is bigger: z or y?
z
Let p = -179 + 178. Is -17/2 less than p?
True
Let p be 2 - ((2 - -2) + -1). Let j be p + (-11)/(-4) + (-1)/(-4). Let n be ((-1)/1 - 2)*1. Is n at most j?
True
Let u be 6 - ((-2015)/(-255) + -2). Is 0 less than or equal to u?
True
Suppose -5 = h - 38. Suppose 3*y - 7 = 5. Let n be h/(-220)*y/6. Is n at least 0?
False
Suppose -3*j + 6 = 27. Let w be 2/5 - 5*(-82)/(-50). Which is bigger: j or w?
j
Let n = -15.8953 - 0.1047. Which is smaller: 24 or n?
n
Let j = 0.28 + 0.1. Let o = 0.18 - j. Which is greater: 1.3 or o?
1.3
Let r = -2363/182 + 171/14. Is 0 smaller than r?
False
Suppose -2*a + 2*y + 2 = -8, -4*a - 5*y = -20. Let l be (a/35)/((-3)/(-21)). Which is bigger: l or 3/13?
l
Let r be 0/((-4)/(-4 - 0)). Let z = r - 18. Let n = -17 - z. Which is smaller: -2/13 or n?
-2/13
Let p be 2 - 1*2/(-2). Suppose 2*g = p*j - 6, 3*g = -5 - 4. Is j at least as big as 13/9?
False
Let u(z) = -z**3 + 21*z**2 + 73*z - 25. Let b be u(24). Which is greater: b or -8/33?
-8/33
Let r be (32/40)/(2/10). Suppose -5*o + 3*o + 28 = r*p, 3*p - 3*o - 39 = 0. Suppose -3*i + 1 = u + 3, u - 4*i = -p. Is -2 != u?
True
Suppose -5*s = 4*l - 77 + 4, -l + 2*s + 2 = 0. Which is smaller: 15 or l?
l
Suppose -2*q = -2*s + 54, -3*s - 2*q = 2*q - 53. Let t(a) = 6*a + 53. Let u be t(-5). Is s < u?
False
Suppose 3*q + 134 = 7*q - 2*s, -2*q + 4*s = -52. Let j be -22*(-3)/q*9. Is j smaller than 17?
True
Let m be 116 + (-1)/(3 + -2). Let g be 4/18 - m/(-9). Let j(s) = -s**3 - 2*s**2 + 3. Let i be j(-3). Which is bigger: i or g?
g
Let b = -19 + 36. Suppose -5*c + 8*c = 9. Suppose -c*n = -b - 10. Which is bigger: n or 7?
n
Suppose 3*s = 2*z + 61, -z - 4*s - 37 = -12. Is -25 at most as big as z?
False
Let r(q) = -5*q - 29. Let m be r(-7). Let t(h) = h**3 - 6*h**2 - 1. Let p be t(m). Which is smaller: p or -5/17?
p
Let k be (8/22)/((-1162)/(-1547)). Let j = k + -10/83. Is 0 != j?
True
Let u = -5102 - -26991/5. Let a = -299 + u. Which is smaller: -3 or a?
-3
Suppose 20 = -6*h + 68. Suppose -4*b + 4 = -h. Is 3 at least b?
True
Let w = 164 - 162. Let g = -0.4 - 0.4. Let s = g + 0.3. Which is smaller: s or w?
s
Suppose 0 = 4*r - 5*s - 1, -3*s - 25 = -4*r - 6*s. Let c be 2/12 - 322/(-84). Is c < r?
False
Suppose -c = 2*c - 2*k - 31, 4*c = 3*k + 43. Suppose 6 = -2*t + 4. Is t >= c?
False
Let j(h) = -h**3 - 5*h**2 + 6*h + 1. Let r be j(-6). Let g(i) = -1 + i**3 - 4*i - 3 + i**2 - 6*i**2 + r. Let o be g(6). Which is smaller: 8 or o?
8
Let c be -1 + (0 - (29 + 1)). Suppose 28 = 11*k + 369. Is k at most c?
True
Let j = 98 - 98.6. Which is smaller: j or 3?
j
Let v(g) = 2*g**2 - 22*g + 19. Let m be v(10). Let s be 1/(m - (1 - (-6)/(-4))). Is s greater than or equal to -7/5?
False
Let o = -403 - -402. Which is greater: 7/13 or o?
7/13
Let g = 101 + -100.62. Let m = g + -1.38. Let b be -6*1*(-2)/(-3). Which is smaller: m or b?
b
Let s be (2 - 4 - -5) + 1631/(-539). Let k(i) = i**3 - 2*i**2 - i + 2. Let a be 8/(-28) - 16/(-7). Let b be k(a). Which is smaller: b or s?
s
Let j = 126 - 237. Which is smaller: -112 or j?
-112
Let m be 2/56*24/(-9). Suppose -3*a = -4*g - 1, 4*a + 7 = -2*g - a. Is m less than g?
False
Let d = -164 - -166.1. Which is smaller: d or -0.1?
-0.1
Let d = 56 + -57. Let q be (d/3)/((-2)/(-46)). Is q equal to -9?
False
Let q = 5.7 - 5.6. Is -6/13 <= q?
True
Let l be ((-2)/(-40))/(48/(-6048)). Which is smaller: l or -6?
l
Let y = 31 - 29. Suppose y*w + 15 = -w + 2*t, -w + t = 6. Let s = -3 + 2. Which is bigger: s or w?
s
Let q = 8143913/3366 + -26616/11. Let v = q - -1/18. Which is smaller: v or 0?
v
Let r = -58 - -59. Let k be ((r - 1)/1)/(9 + -10). Let w = 496/153 + -26/9. Is k > w?
False
Suppose 4*s = -5*i + 25, 0 = -2*s + 5*i - 7 + 12. Which is smaller: s or 3?
3
Suppose -g - 3*l = 4*g - 15, 5*g - 2*l - 40 = 0. Is -0.1 less than g?
True
Let s be 2/8 - (-197)/(-528). Let d = -1211/23760 + s. Let j = d + 2/27. Are 0 and j nonequal?
True
Let z(k) = 2*k - 1. Let g be z(11). Suppose 5*p = -l - g, -3*l + 2*p + 6 = -4*l. Let y = 3 - l. Which is bigger: -6/13 or y?
-6/13
Let n(r) = r**3 + 10*r**2 + 11*r + 2. Let c be n(-9). Suppose 0 = 3*a - 0*a + 45. Is c less than or equal to a?
True
Let h = 3980/51 + -78. Let f = -116/357 + h. Which is smaller: f or 15/11?
f
Let g(b) = 5*b + 1. Let y be g(1). Suppose -y*j + 11*j = 10. Which is smaller: j or 0?
0
Suppose -83 - 1494 = -19*f. Let i be -1 + 0 + 2 + 83. Is i at most as big as f?
False
Let i = -6.87 - -0.87. Let l = 20 - 24. Which is smaller: i or l?
i
Let i(p) = p**2 - 9*p + 3. Let x be i(6). Suppose -h - 4*g - 18 = -5*g, -4*g + 27 = -h. Is h at most as big as x?
True
Let i(u) = u**3 + 12*u**2 - 9*u - 7. Let r(x) = 2*x**3 + 23*x**2 - 18*x - 15. Let a(o) = -7*i(o) + 4*r(o). Let t be a(-9). Is -2 smaller than t?
False
Let j be (3 + -1)/(1/4). Let y be (2/10)/((-7 + j)/1). Let r(c) = c**2 - 5*c - 1. Let i be r(5). Which is greater: y or i?
y
Let g = 17 - 14. Suppose 0 = 2*i - 3 - g. Which is smaller: i or 0?
0
Let z = -0.8 - -1. Let p = -0.91125 + 0.01125. Which is greater: z or p?
z
Let f(a) = -9*a - 87. Let v be f(-9). Do -19/3 and v have different values?
True
Let h = 1191 - 807. Is 384 < h?
False
Let y be (0/1)/(28 + -26). Which is smaller: y or -15/14?
-15/14
Suppose -6 = -w - w, 0 = 5*b - 3*w + 14. Let r(i) = -i - 1. Let q be r(b). Is q > 1/31?
False
Let p(a) = -a**3 - 8*a**2 - 5. Let t be p(-8). Let h(b) = 10*b**2 - 15*b + 2 - 7*b**2 - 6. Let g be h(5). Is g <= t?
False
Let w(b) = b**2 + 8*b. Let s be w(-8). Suppose 5*l + s*l + 3 = -2*d, 4*d = -5*l - 1. Is 1/6 bigger than l?
True
Suppose 0 = h - 3*u - 26, -h = -6*h + 5*u + 160. Let z = -5 + h. Is 31 smaller than z?
False
Suppose -3*q + 8 = -2*b - 9, 5*q = 5*b + 55. Let l be 1/29*b/8. Let g = 27/2 + -14. Does g = l?
False
Let y be 6*(2 - 25/10). Let q be y/(-4 + (4 - 1)). Suppose -p + 48 = q*x, 3*p + 111 - 17 = 5*x. Is 18 less than x?
False
Let d = 64 + -58. Suppose x + 1 - 10 = 0. Let p be 5/3 - d/x. Which is smaller: p or 2?
p
Let s = -7 - -10. Let l = s + -5. Let z(y) = y**2 - 8*y + 12. Let i be z(5). Which is bigger: l or i?
l
Let y(q) = -54*q + 65. Let g be y(2). Which is smaller: -45 or g?
-45
Let m = -98 - -97. Let v(k) = k - 14. Let x be v(11). Let c be 3 - (3 + 4 + x). Are c and m equal?
True
Let y(l) = 47*l - 325. Let g be y(6). Are g and -43 unequal?
False
Let j be 1/3 + 1 + -2. Suppose -83 = -3*k + 61. Suppose 5*w = 3*d + 28, 4*w + 0*w = -4*d + k. Is w at most as big as j?
False
Suppose 20*g = 32*g. Let d = -15.2 + 16. Is g < d?
True
Let a = 4.06 + -0.06. Which is bigger: a or -5/4?
a
Let j be 94/10 - (-6)/(-15). Let y = -3285 - -3293. Is j > y?
True
Suppose 5*b - 55 = 5*t, 3*b - b + 4*t - 52 = 0. Let l be b/(-24) + (-3)/9. Is l not equal to -1/57?
True
Let o(t) = -t**3 - 6*t**2 + 7*t + 1. Let b be o(-7). Suppose 11 - b = 2*w. Let v be (-85)/34*(36/(-15))/1. Which is bigger: v or w?
v
Let w be 5 - (215/80 + 1). Is w < 0?
False
Let z = -269 + 213. Is z at least as big as -3/2?
False
Let g = 2 - -1. Suppose 5*q - 3*o = 24 - 127, -g*q - 61 = -o. Let y be -3 - 52/q - 0. Is -2 at least as big as y?
False
Suppose 5*t = 6*t. Let f be -2 - (1415/25 + 6/15). Let p = f + 59. Are p and t nonequal?
False
Suppose a = -3*c + 4 + 13, a = 5*c - 23. Suppose 2*x + c = -1, s + 4*x + 18 = 0. Do s and 0 have the same value?
False
Let d(k) be the first derivative of -k**4/4 - k**3 + k**2/2 + 2*k + 1. Let p be d(-3). Let o be p*(1 - 0) - -3. Which is bigger: o or -3?
o
Suppose -n - 1407 = 2*n. Let l = -1759/4 - n. Let z = -29 + l. Which is bigger: z or 1?
1
Suppose -5*z = 43 + 32. Let j = 37 + z. Suppose 4*w + u = -9, -3*w + 8*u - 3*u + j = 0. Which is smaller: w or 4/7?
w
Let n be ((-40)/(-50))/((-2)/(-5)). Suppose 0 = -v - n - 1. Let i = v + 3. Which is smaller: i or -1/3?
-1/3
Let r be -1 + -1 + -1 + (-1293 - 0). Let k be r/2