s smaller: w or x?
x
Suppose -5*k = -2*k. Suppose j + 0*j + 4 = k. Let s be ((-2)/(-3))/(j/(-12)). Which is smaller: 1 or s?
1
Let o = -0.59 + 0.89. Which is smaller: o or -0.05?
-0.05
Suppose -10 = 8*x - 3*x. Let i = 1 - 4. Is x bigger than i?
True
Suppose 3*u - 4*u - 1 = 0. Let v = -3 - -2. Let n be (-2)/v + 46/(-22). Is n > u?
True
Let t be 1/(1 - 2) - -1. Suppose t*m - 2*m + 4 = 0. Suppose 2*z - 7 = -2*z - o, z + 2*o = 7. Is z greater than m?
False
Suppose -3*b + 2*x + 14 = 2*b, -5*b = 3*x - 29. Let v be 2/(-4)*6 + b. Which is bigger: v or -3/10?
v
Suppose -2*u + 1 = -11. Let o = 5 - u. Let h be (-18)/(-14) + 4/(-14). Which is smaller: h or o?
o
Let d = -8 - -8.1. Let m = -3 + 7. Is d at most m?
True
Suppose 0*b + 2 = 2*b. Which is smaller: 3 or b?
b
Suppose b + 0 + 8 = 0. Let m be b/(-6)*(-15)/8. Are m and -3 unequal?
True
Suppose 4*m + 2 = -3*g - 2, -3*g - 22 = -5*m. Let t(j) = -j**2 + 2*j + 3. Let o be t(3). Let f = o - m. Is -3/2 less than f?
False
Let z = -29 + 20. Let f = 3 + z. Let d be (-4)/(-6)*f/4. Which is greater: d or -2/3?
-2/3
Let n(p) = -2*p**2 - 7*p - 4. Let b be n(-5). Let u be (0 + 1 - 13)*b. Let h = 2054/9 - u. Is h < 0?
False
Suppose b + 3*b + 11 = -3*q, 0 = q + b + 3. Which is greater: q or -1/17?
-1/17
Let s = -0.34 + 0.4. Let b = s - 0.16. Suppose 0 = i + 3*i. Is i smaller than b?
False
Let d = -5 - -7. Suppose d*x = 3*x - 1. Let p be (-2 - -1)*-1 + 0. Is p <= x?
True
Let n be 1/4 + 5083/52. Which is smaller: n or 100?
n
Let q(j) = 13*j**2 - 4. Let f be q(2). Let m be (-2)/9 + f/378. Are m and 0 equal?
False
Suppose 16 = 4*u - 0*u. Let h(c) = -2*c**2 - 8*c + 3. Let p be h(-6). Let i be (-3 + p)/(-3) + -3. Which is smaller: i or u?
u
Let d = 193 - -16. Let w = -5851/28 + d. Is 0 bigger than w?
False
Let i = 1.7 + 0.3. Is i at most as big as 3?
True
Suppose -2 = -4*y - 10. Let k be 0 - 1 - (y + -6). Let g(r) = r - 6. Let h be g(k). Is 2/3 < h?
True
Let g be (30/35)/(40/(-7) + 3). Is g <= 1?
True
Let m be 30/(-4) - 2/4. Let o be 15/6*m/10. Is -2 greater than or equal to o?
True
Let w be ((-3)/834)/(2/(-4)). Let y = 144/695 - w. Let g(z) = z**3 + z**2. Let b be g(-1). Is y at least b?
True
Suppose 2*n - 17 = -51. Are n and -17 non-equal?
False
Let r = 3/11 + -1/44. Let n = 1.2 + -8.2. Which is smaller: r or n?
n
Let q(h) = h + 2. Let t be q(-3). Is t equal to 1?
False
Let f be 48*(0 + 3/9). Let t = f + -12. Which is greater: t or -1?
t
Suppose l - 6 = -3. Let v be l*1 - (8 + -4). Which is bigger: -1/4 or v?
-1/4
Let k = -0.5 + 0.48. Let y = k + 1.02. Is -1 at least as big as y?
False
Let d be (12/30)/(2/5) - 0. Is d greater than or equal to 16?
False
Let u be (-10)/1*(-25)/10. Suppose u = -2*w + 5. Let a be (0 - 0)/(w/(-5)). Is a at least as big as -1/2?
True
Let q be 2/10*15/6. Which is greater: 2/3 or q?
2/3
Suppose 5*p - 3*y + 0*y = 45, -4*p + 36 = 4*y. Suppose 4*k = 3 + p, -2*k = 4*i - 6. Which is smaller: i or -4/7?
-4/7
Suppose -2*y + 3*y = 4*r - 29, 5*y - 3*r = -60. Which is smaller: -10 or y?
-10
Suppose 4*g - g = 33. Suppose 0 = -2*y + l + g, 3*l = -5*y + 8*l + 40. Suppose -4*s + y*s = 2. Is s < -4?
False
Let j = -6 - -3. Suppose 5*p - 4*h = 8, 0*p - 4 = 3*p + 2*h. Let x be 4 + -3 - (p - -3). Is j at least as big as x?
False
Let t(c) = -c**2 - 6*c + 7. Let n be t(-7). Which is bigger: n or -1/20?
n
Suppose -37 = -5*g - 12. Let j(x) = 3*x**2 + 5*x + 5*x**2 + g - 3*x**2 - x**3. Let s be j(6). Is s at least 0?
False
Let h be -3*2*1/(-6). Let d be (h/5)/((-3)/(-5)). Which is greater: 2 or d?
2
Let g(c) be the first derivative of c**2/2 + 4*c + 2. Let x be g(-4). Let b = x + 2. Is 2 equal to b?
True
Let b = 16 - 17. Which is bigger: b or -2/15?
-2/15
Let m = -41.2 + 41. Which is greater: 4 or m?
4
Let t be ((-10)/5)/(2/(-4)). Let d(l) = -2*l - l + t*l + 2. Let a be d(-8). Is -6 < a?
False
Let s(y) = -7*y - 3. Let x(l) = 20*l + 8. Let n(r) = 17*s(r) + 6*x(r). Let v be n(5). Do v and 5/6 have different values?
True
Suppose -2*i - 6 = v, 2*i - 14 - 4 = 5*v. Let q = -1 + 0.5. Let u = 0.3 + q. Which is smaller: i or u?
i
Let w be 1/(-7)*4 + 0. Is 2 > w?
True
Suppose 0 = 4*c + 62 + 10. Is c greater than -18?
False
Let b be (-1)/(-44)*2242/(-3). Let q = 103/6 + b. Suppose 2*s + 5 = 3*f, 0 = -f - 2*f - s - 7. Is q less than or equal to f?
False
Let u = -1 + 2. Let v = 13 + -12. Is u <= v?
True
Let t be 12/36 - (-157)/(-489). Let c = -147/1304 - t. Which is smaller: -2/3 or c?
-2/3
Let l(g) be the second derivative of -g**3/3 - g. Let p be l(-2). Which is bigger: 3 or p?
p
Let p = -23 + 24. Is p greater than -2/45?
True
Suppose 4*c = 5*c. Which is bigger: -1/4 or c?
c
Let t(z) = 3*z - 7. Let b be t(5). Suppose -5*o + 13 = 4*p, -3 = -4*p - 3*o + b. Let a be 0*(15/(-6) + p). Are a and -2/11 nonequal?
True
Suppose 7 = -3*c - 2. Which is greater: c or -9?
c
Let m be (-184)/840 + ((-8)/3 - -3). Which is smaller: m or 0?
0
Let j be -2 - -1 - (-22)/14. Suppose 2 = 4*d + a, 0 = -0*a + 2*a + 4. Is d bigger than j?
True
Let y be (6/(-70))/((-24)/16). Which is smaller: -1 or y?
-1
Let p be (-7226)/(-1386) - 2/11. Let r = 36/7 - p. Let h be -3 - (20/12 + -2)*3. Is h at most r?
True
Let r = -10 + 41/4. Is 0.52 less than or equal to r?
False
Let f = -28 + 52. Let u be (-6)/f - (-34)/(-56). Which is greater: -1 or u?
u
Let j = -228 - -465/2. Let m = -3 + 9. Is m not equal to j?
True
Suppose -3*p + 4*p - 5 = 0, -3*p = -i - 16. Let v(q) = 19*q**2 + 4*q + 3. Let u be v(-2). Let x = u + -427/6. Is i equal to x?
False
Let a be 1 - -43 - (6/6 + -2). Which is smaller: 46 or a?
a
Let r be (-3 + 0)*8/6. Suppose -5 = 5*h + 5. Which is smaller: h or r?
r
Let o be 11*-3*6/72. Which is bigger: o or -4?
o
Suppose 9 = -2*i + 3*g, 7*i - 4*i = -4*g + 29. Suppose 13 = 5*b - i*b - 5*c, c + 8 = b. Suppose -3*h = -b, -j - j - h = -7. Are j and 1 nonequal?
True
Let o = -4 - -2. Let d = o - -4. Let t be (-1 - (-9)/d) + -2. Do 0.1 and t have the same value?
False
Let l be 75/(-140) + (-1)/(-4). Suppose 5 - 1 = -s, -3*j + 4*s = -28. Which is smaller: l or j?
l
Let w(u) = -3*u**3. Let k be w(-1). Is k greater than 5?
False
Let v(i) = -i**3 + 20*i**2 + 5*i - 48. Let g be v(20). Is g bigger than 50?
True
Let j(l) = 5*l - 5. Let p be j(3). Suppose -4*u - p = 6. Is u greater than or equal to -4?
True
Suppose -4*k + 54 = 3*c, 3*c + 0*c + 36 = 2*k. Let a be 4*1/(-6)*k. Is a at most as big as -9?
True
Suppose -20 = -2*f - 2*f. Let k = 4 - f. Are 0 and k nonequal?
True
Let c be 19/(-54) + 4/8. Let x = -26/189 - c. Is -1 greater than x?
False
Let d be (76/(-16) + 1)/(-3). Which is smaller: -0.1 or d?
-0.1
Let r be (2 - 0)*(-4)/(-8). Suppose -4 - r = 5*c. Which is smaller: c or 0?
c
Suppose -j + 3*h - 13 = -0*j, 3*j - 13 = -4*h. Let p be j/(-2)*(-3 - -1). Let z = 0.4 - 0.3. Is p at most z?
True
Suppose y - 2*y + 3*b - 18 = 0, 5*y = 4*b - 46. Let v be (3/y*4)/(-2). Do 0 and v have different values?
True
Let r be 0/((-4)/(-6)*-3). Suppose r = -0*t - 5*t. Which is bigger: -3/5 or t?
t
Let y be -1 - (-5)/(5/3). Is 2 > y?
False
Let u = -7 + 5. Is u greater than -4/7?
False
Suppose -7*o = -2*o + 75. Is -15 less than or equal to o?
True
Let g = 81 - 30. Are g and 52 unequal?
True
Let x = -0.12 - -0.1. Let f = x - 1.98. Let w = 0.006 - -0.094. Is w less than f?
False
Suppose 5*f - 300 = 5*g, -2*g + 48 = f + g. Is f >= 57?
True
Let m = 7.9353 + 0.0047. Let h = 8 - m. Let u = h + 0.04. Is u smaller than -6?
False
Let k = -68 - -62. Which is bigger: k or -23/4?
-23/4
Let u(t) = -t - 3. Let x = -4 + 1. Let n be u(x). Is 0 smaller than n?
False
Let k be ((-4)/(-6))/((-2)/3). Let g = -2 + 2. Do g and k have the same value?
False
Let r = 16 + -16.1. Let w = 1 - 0.9. Which is bigger: r or w?
w
Let n = 3869 - 30999/8. Which is smaller: n or -5?
n
Let w(t) = -t - 4*t**3 - 6*t**2 + 5*t**3 + 7 - 2*t**2. Let h be w(8). Are -3/8 and h equal?
False
Let j be (-5)/(30/(-2)) - 15/(-9). Which is smaller: 6 or j?
j
Let b be -1 + -287 - (-3 - -3). Let g = b + 3746/13. Suppose -d = 2*d. Which is smaller: d or g?
d
Suppose 4*f + 5 = -7. Let a be f/(-9) + 16/6. Which is smaller: a or 4?
a
Let o = -2.87 - 0.13. Is o greater than -3?
False
Suppose 3*w - 5*w = 4*o - 20, 4 = 4*o - 2*w. Suppose -1 = o*v - 4. Is 3 != v?
True
Let c be (-6)/(-33) - (388/198 - 2). Is c less than 0?
False
Suppose 0 = -0*y - 4*y