as i?
True
Let t = 886 - 16826/19. Which is bigger: 1 or t?
1
Let a(t) = 4*t**2 + 10*t - 11. Suppose 4*w + z = -18 - 23, 29 = -w - 4*z. Let q be a(w). Let r = q - 459/2. Which is smaller: -0.1 or r?
r
Let n be (-9)/21 + 2936/7. Let t = -8797/21 + n. Which is greater: 0 or t?
t
Let a = -1588.99 - -1582. Which is greater: a or -0.1?
-0.1
Suppose -996 = 17*g - 10. Which is smaller: -54 or g?
g
Suppose 5*g + 3 = a + 8, -2*g = -3*a - 15. Suppose 2*j - 4*p + 36 = g, -2*p = 5*j - 4*p + 74. Let b be 6 + -7 + j/(-16). Which is bigger: 0 or b?
0
Let q = -1 - 8. Let l = -1 + q. Let p = 0.158 + -0.058. Which is smaller: l or p?
l
Let l = 19835/760746 + -17/614. Which is smaller: l or 0?
l
Let g = -6 - -3. Suppose 0 = 3*a - 5*a - 3*a. Suppose u = 4*k - 9*k + 27, a = -2*k - 4*u. Which is smaller: g or k?
g
Let u = 23.766 + 0.234. Which is smaller: u or 0.4?
0.4
Suppose -3766 = 18*z - 32*z. Is z <= 269?
True
Suppose 0 = -3*w + w + 6. Suppose 2 = 4*s + t + 13, w*s - 4*t = -13. Let h be s/9 + 64/(-6). Is h at least as big as -10?
False
Let h(n) = -7*n**2 + 17*n - 5. Let z be h(3). Let a = 7 + -4. Suppose -5*o + 4*t - 32 = -a*o, -16 = o - 5*t. Which is bigger: z or o?
o
Let p be -7 + (-1 - -8) + -1. Are p and 2/697 equal?
False
Let j be ((-3)/(-66))/(3 - (-545)/(-180)). Is -2/9 at most j?
False
Suppose -5*i = -10*i + 10. Suppose 4*s - 12 = 5*w, -i*s = -1 - 5. Are -2/11 and w nonequal?
True
Let h be (-10)/(-15) + (-32)/(-6). Suppose 0 = 3*z + h. Let j be ((-2)/3)/(12/9). Which is smaller: z or j?
z
Let z be (4/8)/((-3)/(-3651)). Let b = z + -400395/658. Let v = b - -4280/987. Is v smaller than 5?
True
Let s be 2/(-11) - (-2016)/77. Which is greater: s or 105/4?
105/4
Let r = -1326 - -1076. Is -250 != r?
False
Let f = -0.246 - -0.046. Suppose 8 = 4*w - 3*j + 33, -5*w - 26 = -2*j. Let y = w - -8. Is y greater than f?
True
Let n = -59 + 66. Which is greater: n or 37/6?
n
Let o(a) = -a**3 + a**2 + 417. Let q be o(0). Let z = -2094/5 + q. Which is greater: -1 or z?
-1
Let o(w) = -w**2 - 20*w - 80. Let f be o(-14). Is f < 31/12?
False
Let m = -44.27 + 44. Let i = m + -0.73. Which is smaller: i or 0.19?
i
Let o(u) be the third derivative of -u**5/60 + 5*u**4/24 + 5*u**3/3 - 14*u**2. Let n = 7 + 0. Let i be o(n). Does -5 = i?
False
Let w = -12.64 - -12.74. Is -833 < w?
True
Let j(l) = -l. Let s be j(16). Let f(n) = n**2 - 2. Let o be f(-5). Let t = s + o. Are 8 and t equal?
False
Let s(m) = -4*m**2 + 18*m + 4. Let b(v) = v**2 - 1. Let y(z) = -3*b(z) - s(z). Let q be y(18). Do -1/4 and q have the same value?
False
Let g be (18870/(-3760) - -5)/((-1)/4). Are 1 and g unequal?
True
Let u = 13683/2590 + 1/370. Which is smaller: u or 4?
4
Let k be (-5 - -1 - -5) + 56/2. Let x = k - 28. Let h = 31/35 - -5/7. Which is smaller: x or h?
x
Suppose 2*f = 4*f - 4*z + 26, -3*f - 54 = -z. Let u = 18 + f. Is u greater than -3/5?
False
Let u = -751 + 744. Is -86/15 greater than or equal to u?
True
Let u = -48 + 53. Suppose s = 3*q - 6, -s - u*q + 2*q - 12 = 0. Which is bigger: s or -8?
-8
Let d(x) = -x**3 - 25*x**2 - 12*x - 298. Let z be d(-25). Let i = 4 - 8. Let v = 6 + i. Is v less than z?
False
Let o(d) = 73*d + 9. Let x be o(-3). Which is smaller: x or -209?
x
Let k be 10/(-30)*6/2. Let l = -4/57 + 91/2109. Which is greater: k or l?
l
Let s be 48/21 + (4 - (-120)/(-28)). Suppose d - s*d = -6. Is 32/7 smaller than d?
True
Let h = -61.34 + 0.34. Are h and -2/7 nonequal?
True
Let v(j) = -2*j**2 - 118*j - 115. Let y be v(-58). Suppose 0 = -4*d - 0*d + 12. Let a be 2/6 - 2/d. Is a smaller than y?
True
Let r(q) = 2*q**2 + 2*q - 7. Let w be r(-3). Let l be 2 + ((-105)/12)/w. Let x be 0 + 2*2/(-4). Which is smaller: x or l?
x
Suppose 0 = -m - 3*m - 28. Suppose 0 = -l - 5*s - 12, -12*s - 32 = 5*l - 15*s. Are m and l unequal?
False
Suppose 0 = b + q + 7, 2*b + 63 = -2*b + 3*q. Suppose 2*m = -5*i - 24 - 42, 0 = -2*i + 2*m - 18. Is i != b?
False
Let q = -5119 - -26002/5. Is 82 greater than q?
True
Let v = -27 + 27. Suppose v = -i - i + 12. Is i less than 6?
False
Let h = -3/14 + 41/28. Are 14/15 and h unequal?
True
Let i = -1559 + 1565. Is 3 at most i?
True
Let v(y) = -y**3 - 25*y**2 - 2*y - 58. Let k be v(-25). Let i be ((-2)/k)/((-2)/18). Do i and -1 have the same value?
False
Suppose -10*q = 7938 + 2912. Are q and -1086 equal?
False
Suppose -4*j - 10 = -k, -j - 8 + 1 = -k. Is -4 at least as big as k?
False
Suppose 4*x = -5*x + 1080. Let q be (-1386)/x - (-1)/(-5). Are -11 and q equal?
False
Let h = -938 - -937. Which is smaller: h or 104/17?
h
Suppose 0 = o - 192 - 24. Let i = -95 + o. Which is greater: i or 122?
122
Let f be 18/(0 - (2 + -4)). Suppose 8*t - 3*t = 2*v - f, -v = -t. Let y be 160/28 + t - 3. Is -30 greater than y?
False
Let f(z) = 2*z**2 - 2*z + 1. Let v be f(4). Let m be (-20)/(-8)*10/v. Is 1 < m?
False
Let z = 118.2 - 121. Let b = -5 - -5. Which is smaller: z or b?
z
Let z(u) = 2*u**2 + u - 1. Let g be z(1). Suppose 0 = 5*v - x + 74, 2*x - 28 = v - 6. Which is bigger: v or g?
g
Let d = -410 - -348. Which is smaller: -60 or d?
d
Let f(g) = -3*g + 27. Let t be f(14). Let w be -13 + (-7)/(21/6). Is t at least as big as w?
True
Let r = 101/209 + 53/19. Let d(f) = f**3 + f**2 - 2*f + 3. Let j be d(-2). Which is greater: j or r?
r
Let c be ((-2)/(-10))/(1288/(-10)). Which is smaller: -1 or c?
-1
Let z = -0.84 - 1.86. Let b = -2.4 - z. Which is greater: -0.02 or b?
b
Let f = 1601455061/455 + -3519683. Let l = 19/13 + f. Which is smaller: -1 or l?
-1
Let h(i) = -2*i**3 - 14*i**2 + 18*i + 17. Let c be h(-8). Does 10.6 = c?
False
Suppose -2*r + 3 = 1. Let q = -34 + 33.54. Which is smaller: r or q?
q
Suppose 52 = s + 49. Is 117 <= s?
False
Let o = 10 + -2. Let w(s) = 25*s - 169. Let q be w(7). Which is smaller: q or o?
q
Let z = 60 - 257. Let i = -1377/7 - z. Suppose 7*p = -2*p + 2*p. Is i less than p?
False
Let g = 50641/1041 + 7/347. Which is smaller: g or 50?
g
Let n = -0.4 + 0.2. Let q(p) = -p**2 + 15*p - 44. Let m be q(4). Suppose -4*g - 3*h - 27 = 0, -5*h + 0*h - 25 = m. Is g > n?
False
Let p be (-14)/(-16) - (-4)/32. Suppose -2*a + 9 = a. Let w be (-1)/(-3)*a/27. Do p and w have different values?
True
Suppose -4*b - 20 = 0, -4*g + b + 57 + 20 = 0. Let m be 22/g + 6/(-27). Let w be 5/((-720)/66) + (-2)/(-4). Which is greater: m or w?
m
Let t = 16735 - 3932731/235. Is -1 bigger than t?
False
Let f be 4/10 + (-2460)/25. Let n be 1 + -1 + 4/f. Suppose -9 = -5*c - 4. Is n >= c?
False
Let u = -3/20 + 53/20. Let h(p) = -p**2 + 11*p + 2. Let d be h(11). Is d smaller than u?
True
Let v be 2 + 7/(7/(-38)). Let p be 0 - (v/(-80))/1. Let n = p + 1/20. Which is smaller: 0.2 or n?
n
Suppose -2*i + 7 = 3, 0 = 4*r + 3*i + 26. Let y = r - -3. Let c be 11 + -8 + (10 - 18). Is c greater than y?
False
Let a = -77 + 233. Is 155 equal to a?
False
Let u be (-171)/792 + 4/44. Let s be 0/(0 - (0 - -2)). Which is smaller: u or s?
u
Suppose -4*t = -u - 73, 5*t - u - 80 = -2*u. Is t less than 10?
False
Let g = -81/8 - -1037/104. Which is bigger: g or -50?
g
Let w be -2 + -1 + (-34)/(-12). Let o be -2 - (-7 - 3)*-1. Let l be 0*-3*2/o. Are w and l non-equal?
True
Let h(p) = -p + 1. Let u be h(-1). Suppose 3*c - 8 = -3*l + u*l, 2*l = 2*c. Suppose -x = -42*y + 43*y, 3*y - 32 = 5*x. Is c > y?
False
Let b(a) = -a**3 + 7*a**2 - 7. Let h be b(7). Let o(m) = m + 6. Let v be o(h). Let t(l) = l**3 + l**2 + l - 1. Let j be t(0). Are j and v unequal?
False
Suppose -3*l + 6*l = 48. Let z be l/(-42)*18/24. Let x = 181/4 - 45. Which is bigger: z or x?
x
Let q be (90/(-27) + 3)*1/3. Which is bigger: -14/11 or q?
q
Let v = 6 + -7.5. Let g = v + 1.5. Which is smaller: g or -4?
-4
Let m = -5 - 3. Let k(r) = r**2 + 7*r - 1. Let a be k(m). Let y be -6*(a/(-3))/(-1). Which is smaller: -2/7 or y?
y
Suppose 0 = 5*u - 135 + 30. Suppose -24*s = -u*s. Is 1/20 not equal to s?
True
Let q(x) = -8*x**3 + x**2 + x. Suppose -5*s = -10*s - 5. Let t be q(s). Suppose 3*m - 8 = 5*d, 3*m - t = d + 4*m. Is d != -1?
True
Let j(s) = -s**3 + 8*s**2 + 2*s + 5. Let l(h) = h**3 - 13*h**2 + 12*h + 8. Let t be l(12). Let g be j(t). Is 22 bigger than g?
True
Let a(d) = 32*d**2 - 32*d - 183. Let n be a(-7). Is 1609 != n?
False
Let g = -3 - 1. Let c = 15119.8 + -15120. Do g and c have the same value?
False
Suppose -2*m - 5*p + 694 = 0, -3*m - 9*p + 1