s bigger: u or -1?
u
Let a be (84/6)/(-32 - (-2 + 1)). Which is bigger: a or -1?
a
Suppose t - 40 = 6*t. Let m = 6 + t. Let b be (0*(-3 - -2))/m. Do b and -2 have different values?
True
Let v be (-51)/108 - (-5)/20. Let t = 43 - 43. Which is greater: t or v?
t
Let x = -77225/24938202 + 1/57594. Does x = 0?
False
Let b = 3.015 + 1341.985. Is 0.1 bigger than b?
False
Let t = 1189 - 1269. Does t = 1?
False
Let k = 73.642 + -0.142. Let f = k + -71. Are -3 and f equal?
False
Let f = 3 + -1. Suppose 0 = -f*o - l + 38, 0*l + l - 74 = -4*o. Suppose -346*n = -213*n - 183*n + 900. Is n >= o?
True
Suppose 0 = -8*y + 4*y + 4. Which is smaller: y or -8/69?
-8/69
Let j be -6 + 3 + 3*-1. Let w be 4 - (-69)/j - -3. Are w and 3 equal?
False
Let l = 3.6 + -0.6. Let w = -2 - l. Let o = 4 + w. Which is greater: -5 or o?
o
Let c = 106 - 114. Is c less than or equal to -94/11?
False
Let s be 134/(-105) + (-5)/(-35). Let z = -3/10 - s. Let c = z - 1. Is 0 less than c?
False
Suppose 3*v - 10 = 128. Which is greater: v or 45?
v
Let d = 0 + -1. Suppose 1 - 1 = -25*p. Let r = p + d. Do -5/8 and r have different values?
True
Let p = -43 - -48. Let l = 4 - p. Which is smaller: l or -17?
-17
Let h(w) = -7*w**3 + w**2 + w + 1. Let u be h(-1). Suppose 4*d + 72 = 2*g, -g - 59 = -0*d + 3*d. Let i be d/(-35) - 1/7. Does u = i?
False
Let d be (27/12 - 2) + (-6)/(-8). Let k(j) = -69*j**3 - 2*j**2 - j + 2. Let t be k(d). Do -71 and t have different values?
True
Suppose 11 = i + 2. Let r = -1829 - -1837. Are i and r equal?
False
Suppose 0 = 2*w - p - 3*p - 22, -4*p - 7 = 3*w. Let o = 7 - w. Suppose -5*r - 3*r + 40 = 0. Is r not equal to o?
True
Let x be (-1 + 0 - 0) + 0. Let q = 6764 - 60874/9. Which is bigger: x or q?
q
Let h(v) = -v**2 + 18*v + 287. Let i be h(29). Which is greater: i or -29?
-29
Let t be 6/15 + (-14)/(-10). Let m = -29 + 32. Is m != t?
True
Suppose -16 = g - 4*f, -2*g + 7*g = 4*f - 16. Suppose 2*w + 272 = w. Let b = 2990/11 + w. Are b and g non-equal?
True
Let l = 2 - 1.8. Let n = 1305 - 74383/57. Which is smaller: n or l?
n
Suppose 58*a + 280 = 38*a. Do -5 and a have the same value?
False
Let p(y) = -2*y + 2. Let f = 6 - 9. Let s be p(f). Let h(w) = -w - 8. Let r be h(-17). Which is bigger: r or s?
r
Let y be 373382/(-746780) + 5/10. Let a = -7092412/186508305 - y. Let x = -4/111 + a. Are x and 1 non-equal?
True
Let s be (-8)/196*(9 + -1). Which is bigger: s or 0?
0
Let u be ((0 + -2 + 2)*-1)/1. Are -26 and u unequal?
True
Let j(k) be the third derivative of 0 + 1/3*k**4 + 0*k**3 + 1/60*k**5 + 0*k + 6*k**2. Let r be j(-8). Is r at least 3?
False
Let a be (-7 - -5)*3/(-6). Let n be 4/(-10) - (-74)/10. Let b = -6 + n. Is a at least b?
True
Suppose g = 2*g - 177. Suppose 0 = -y + 4*y + 4*l + 97, 5*y = l - g. Let v be (y/33 - 3) + 4. Is v less than 0?
True
Let n be (6 - -1) + 9 + 30 + 0. Is 40 greater than or equal to n?
False
Let f = -7 + 6.4. Let n = -0.6 - f. Let s = 1.0862 + -0.0862. Which is bigger: n or s?
s
Let h be -18*2/(-4) + 6 + -3. Let l be 10/(-2)*(-4 - -1). Is h equal to l?
False
Let v be 1/3 + 329410/(-7200). Let h = v + 705/16. Let f = 14/9 + h. Which is smaller: f or -1?
-1
Suppose -4*m + 126 = 3*j - 2*j, 504 = 4*j - 2*m. Let x = j + -73. Which is smaller: x or 54?
x
Let v be (-35)/(-7) + 45/(-10). Which is greater: v or -2/11?
v
Suppose -2*o + 6 = -2*r, -2*o - o + 9 = 3*r. Suppose -6 = 2*h - 2*d - 2, -5*h + d - 2 = 0. Let p be -2 + h/3 + 4. Which is smaller: p or o?
p
Let l = -741 - -6599/9. Does 0.05 = l?
False
Suppose -3*j = -v - 4 + 3, 4*v - 4*j - 4 = 0. Suppose -2*a + 53 = v*s + 3*s, 5*s = 25. Do 15 and a have the same value?
False
Let t(s) = s**2 - 19*s + 89. Let y be t(10). Is y bigger than -2/5913?
False
Suppose 0 = -2*w + 5*p + 15, 5*p = -4*w + w - 40. Let m be (1 + -2 + 6)*(-13)/w. Is 25/2 bigger than m?
False
Let b(c) be the first derivative of -c**4/4 + 4*c**3/3 + 5*c**2/2 - 2*c - 1. Suppose 0 = -7*r + 45 - 10. Let p be b(r). Which is greater: -3 or p?
p
Let w(s) = s**3 + 24*s**2 + 65*s + 47. Let r be w(-21). Which is smaller: r or 88/23?
88/23
Suppose -4*h + 5940 = 4*l - 3*h, -4*h = 0. Let k be (-4)/10 + 1001574/l. Let g = k - 674. Is g not equal to 0?
True
Let v = -823 - -1679/2. Which is bigger: v or 16?
v
Let p = 2 - 3. Let k = -0.38 + -6.42. Let h = k + 6.1. Which is greater: h or p?
h
Let u = 7947 + -198716/25. Which is smaller: u or -2?
-2
Suppose -3*b + b - 50 = -4*p, -2*p + 30 = -2*b. Let g(x) = x**2 - 15. Let w = -34 - -29. Let u be g(w). Is p less than u?
False
Let m be (-4)/32*-4*14. Suppose -5340 = m*i - i. Let s = i + 24917/28. Which is greater: 0 or s?
0
Let a(j) = 49*j + 63. Let y be a(-9). Which is greater: y or -1?
-1
Let l = -117 - -125. Is 6 bigger than l?
False
Let b be (3 - -33) + (-17 - -19). Is b <= 43?
True
Let m(c) = -17*c - 105. Let l be m(-10). Which is greater: 62 or l?
l
Let t(z) = -3*z**3 - 2*z**2 - z**3 + 5*z**3 + 3*z**2. Let g be t(0). Which is smaller: g or -2/199?
-2/199
Let a be (-498)/(-472) + (-9)/(-48)*-4. Is a > 0?
True
Let v = 760.83 + -756. Let u = v + -4.7. Is u equal to 1/2?
False
Suppose 0 = -0*p - 3*p + 15. Suppose -p = -32*t + 33*t. Which is greater: t or -4?
-4
Let g(p) = 2*p**2 - 4*p + 2. Let y be g(2). Let l be (-41)/(-36) + (-2)/8. Is l greater than or equal to y?
False
Let a be 2*(-2)/12*2. Let b be 2/((-4)/4 + -10). Which is greater: a or b?
b
Suppose -4*p = -577 - 1023. Suppose 0*z + p = 10*z. Are z and 41 non-equal?
True
Suppose -2*l = 3*l + 30. Let n = l - 2. Let v(j) = -j**2 + 17*j - 30. Let c be v(15). Is c not equal to n?
True
Let v = 0.0098 - 26.3098. Let s = v + 3. Let a = s + 23. Which is smaller: -2/7 or a?
a
Let c = 18 - 116. Let j be (0 + -1)/((-21)/c). Which is smaller: j or -0.1?
j
Let g be 32592/8820 - 2/(-5). Which is smaller: 3 or g?
3
Let a be ((-640)/(-70) + -6)*(-30)/(-8). Which is smaller: 12 or a?
a
Let p(s) = -43*s**2 - 2*s + 1. Suppose 0*d + 2*d - 2 = 0. Let x be p(d). Let w be 4/(-10)*(-20)/x. Does w = 1?
False
Let l(g) be the third derivative of -g**6/120 + 11*g**5/60 - 5*g**4/12 + 4*g**3/3 - 3*g**2. Let k be l(10). Let n be 6/k + (-42)/24. Which is greater: n or -4?
n
Let q(p) = -p**2 + 11*p - 11. Suppose 4*g - 30 = g. Let r be q(g). Let v be 3 - ((1 - r) + 2). Which is bigger: v or 3/13?
3/13
Let v be (-12)/(-54)*-75*12. Is v at most as big as -200?
True
Let w(u) = u**3 + 7*u**2 - 10*u - 10. Let b be w(-8). Let a be (-2)/b*(-24)/8. Which is greater: a or 12/7?
12/7
Suppose 7 - 11 = 2*c, 2*l - 3*c = -534. Which is smaller: l or -269?
l
Suppose -3*u - s + 121 = -5*u, -88 = u + 5*s. Let r be (-36)/u*21/(-6). Let m be (-4 + 8 + r)*-1. Which is greater: m or -3/2?
-3/2
Let f = 2.5 - -37.5. Is -1 at most as big as f?
True
Let o be -4*4/(-184) + (-125)/115. Which is bigger: -2/869 or o?
-2/869
Let c = -428 - -438. Is c smaller than -8/9?
False
Suppose 0 = -o + 3*x + 11 + 27, 4*o = 3*x + 107. Is -10 <= o?
True
Let l = 34 + -37. Which is bigger: -2 or l?
-2
Let y be 31/3 - 4/(-6). Let w = 2081 + -2070. Is y != w?
False
Let w = -24 + 16. Let d(b) = b**3 + 8*b**2 + b + 7. Let x be d(w). Which is smaller: x or 2/5?
x
Let c = -62 - -72. Suppose -2*d = -5*d + 33. Which is smaller: c or d?
c
Let b = -1420 - -1420.6. Which is greater: -20 or b?
b
Let x = 0.01 - -0.05. Let t = x + 0. Let m = 552/5 - 110. Which is smaller: m or t?
t
Suppose 0 = 5*k - 3*l - 5 - 7, -5*k + 5*l = -20. Let o = 1072949/8 - 134288. Let m = o - -169. Which is greater: k or m?
k
Suppose -3*t - 4 = -2*t. Let n(w) = -w**3 - 4*w**2 + 2*w + 4. Let k be n(t). Let f be (3 + -2)*k/4. Do f and 1/6 have the same value?
False
Let w = -0.5 + -5. Let z = w - 2.5. Let y = 2 - 1.9. Is y less than z?
False
Suppose 16 + 12 = -5*j + z, -16 = 5*j + 3*z. Suppose 3*t - 25 = -2*t. Suppose 5*b + 13 = -n - 3, t*n = b - 28. Are n and j equal?
False
Let n be 3*4/36*-307. Let p = 104 + n. Is 3 greater than or equal to p?
True
Let k be (2/110)/((-240)/(-800)). Let g = -2 - -2. Which is bigger: k or g?
k
Suppose -2 = s, 3*s + 421 = h + 4*h. Let y = -72 + h. Is 11 greater than y?
False
Let m(p) = 24*p**3 - p**2 - 1. Let r be m(-2). Is r less than or equal to -198?
False
Let c = 100.99 - 100. Let u = 0.69 - c. Is -3/11 at least u?
True
Let y = -63 + -3. Suppose -9*b = -10*b + 4. Let m be (3 - 4)/(y/b). Which is bigger: 1 or 