*i + i - 1 - i. Let x be w(0). Let a be (-16)/12*(1*x)/(-2). Which is smaller: -1.9 or a?
-1.9
Let y be 18/8*-4 - (3 + (-2598)/21). Which is bigger: y or -1?
y
Let u = -34 - -8. Let d = u - -26.23. Let v = d + -0.13. Which is smaller: 6/5 or v?
v
Suppose 16*l = -30*l + 3377 - 12669. Which is greater: -223 or l?
l
Let k(s) = 19*s - 29. Let y be k(2). Let c be 2/(-8) + (-1953)/(-196). Is c less than y?
False
Let z(b) = -b**3 + b + 7. Let f be z(0). Suppose -4*g = 2*u + 50, f*g + 32 = 4*g + 4*u. Suppose 17 = -3*i + 4*v, 5*v + 42 = -2*i - 0*i. Is g greater than i?
False
Let w be (2/(-6))/((-92)/(-12)). Suppose -4*t + 11*t - 28 = 0. Let j be 0/2*(t + (-55)/15). Are w and j equal?
False
Let w(l) = l**3 + l + 1. Let u be w(0). Let j = -20 - -23. Suppose 2*c = u - j. Is -1/40 != c?
True
Let n be (-1)/(0 + (-14)/(-108)). Let p be -11 + (11 - 1 - 5) - -5. Let x be 202/22*p - (-18)/99. Which is smaller: x or n?
x
Let u(p) = 14*p**3 + 3*p + 2 - 31*p**2 - 25*p**2 + 55*p**2. Let i be u(-2). Is -121 <= i?
True
Let g be (-16276)/(-19560) - 15*(-17)/(-306). Is g < 1?
True
Let u = 289 - 268.8. Let t = 19.9 - u. Which is bigger: 4 or t?
4
Let n = -5810 + 5816. Are n and 82/15 equal?
False
Suppose 35 = -2*v + 123. Suppose -9*f = -5*f - v. Suppose 77 = f*y - 297. Do y and 35 have different values?
True
Let o = -4.52 + 5.71. Let c = o - 0.69. Let h = -0.3 + 0.32. Which is smaller: c or h?
h
Suppose -s - 2*u + 166 = 0, -2*s - 12*u = -9*u - 326. Let k = -122/7 - -120/7. Is k at least as big as s?
False
Let n = 13/2 + -7. Let h = 22 - 16. Suppose -5*m - 11 = -3*o + h, 24 = -4*m + 5*o. Which is smaller: m or n?
m
Suppose -16 = -3*t + 2*l, -l - 9 = -t - t. Let x be (t - 1)/(-1) + 12. Let n = -11 + x. Is 9 at least n?
True
Suppose 5*n - 8 = -4*b + 3*b, -2*b + 11 = 5*n. Which is smaller: 72/175 or n?
72/175
Let w = 1.82 + 113.18. Let d = w + -63. Which is smaller: d or 2?
2
Suppose 70351 = 250*c + 30*c - 80289. Which is smaller: 528 or c?
528
Let t be 99/(-23) + 6 + -3. Let n = t - -12/115. Is n greater than 0.06?
False
Suppose 2*q = -159 + 861. Let a be (13/q)/(3/18*2). Do 1 and a have different values?
True
Let u = -91 - -222. Suppose -6204 = -29*o - 82*o + 64*o. Which is bigger: u or o?
o
Let d be (-12514)/21 - 132/1386. Which is bigger: -598 or d?
d
Suppose -f - 1 = 5*x + 5, -3*f = -4*x - 20. Suppose -3*l + 2*r = -3, 2*l - 2*r - 4 = -2*l. Suppose -a + 5 = 2*k, 3*k + l + 2 = 0. Is a < f?
False
Let i(t) = 2*t**2 - 6*t - 577. Let w be i(0). Let s = w + 5195/9. Is s bigger than -2.6?
True
Let y = 3844 + -4602. Which is bigger: -763 or y?
y
Let v(n) = -n - 8. Let x(q) = -q + 1. Let s be x(1). Let m be v(s). Suppose 470*l + 1307 + 2923 = 0. Is m greater than l?
True
Let t = 15 - -12. Let h = 196 + -105. Let d = h - 66. Is d less than t?
True
Let n be (-22022)/958 + 181 + -168 + 10. Which is greater: -1 or n?
n
Suppose 2*r = 4*v - 578, 524*r = 4*v + 521*r - 583. Is 96 < v?
True
Let q = -2 - -10. Let g = -8 + q. Suppose 5*u - 4*d + 26 = 0, -5*d + 12 = -2*d. Does u = g?
False
Suppose 4*s = 51*s + 65*s. Do s and -7/122 have the same value?
False
Suppose 13*u - 17*u = 512. Let o = u + 203. Suppose 9*x = 6*x - o. Is -24 equal to x?
False
Let u(q) = 4*q + 40. Let t be u(-10). Let l be (-1)/3*((-18)/(-15) - t). Is l != -0.1?
True
Suppose 0 = 5*k - 51 + 176. Let t be 2 - k - (-3 + 5). Let m(u) = 2*u + 1. Let a be m(12). Is a greater than t?
False
Suppose 1312*v - 1290*v - 27 = 17. Is 64/85 at most v?
True
Let q = 213/26 - -1485/52. Let c = q + -37. Which is smaller: c or -1?
-1
Let p be (2 + 0)/((-10)/55). Suppose 23*n - 32*n + 18 = 0. Let g be -42*(-54)/36*n/(-12). Is g less than or equal to p?
False
Let y be 2 + (-3 - -1) - 54. Let k be 6/(-10) + (y/(-15) - -1). Suppose -12 = l - k*l. Is l bigger than -4/5?
True
Suppose 191*c = -0*c + 447895. Is 2348 equal to c?
False
Let q = 770 + -592. Let z = 179 - q. Is z < -152/9?
False
Let l = -205 + -12. Which is smaller: -216 or l?
l
Let m = -15981 + 15593. Is -395 less than m?
True
Let c = -2.679 + -295.121. Let j = -298 - c. Is j at most as big as -3/2?
False
Let b = 7 + -19. Let d be (2/b - 2/6)*-2. Let l(n) = 6*n**3 - 1. Let p be l(d). Does 5 = p?
True
Suppose -37 - 85 = -2*o. Let y = o + -22. Let t be 3/348 + (-10017111)/(-263668). Is y > t?
True
Let v(b) = b**3 + 7*b**2 + 5*b. Let t be v(-5). Let l be (20/7)/(235/1974). Which is smaller: t or l?
l
Let i be (-17090)/117 - (-10 + 88/9). Which is smaller: -146 or i?
-146
Suppose 3*g + 2 = -2*w, -3*g - 4 + 0 = 4*w. Which is smaller: g or -5/3373?
-5/3373
Let d = 6/7259 - 1081/10090010. Does d = -1?
False
Let y be ((-54715)/20)/(1805/(-16)). Let i = 54/361 + y. Which is bigger: 24 or i?
i
Let k = -698 - -403. Let x = k + 295. Which is greater: 194 or x?
194
Let p = 28 - 26. Suppose p*g - g = 7. Let y(u) = u - 6. Let s be y(g). Which is smaller: -3/11 or s?
-3/11
Let y = 1384 - -157. Which is smaller: 1543 or y?
y
Let w be 1 + 4/((-100)/37). Let j = 7514 - 7515. Which is greater: w or j?
w
Let q be (-6)/((-9)/(-3)) + 31. Suppose -3*v - 3 = -5*a + 8*a, 10 = -4*v - 2*a. Let d = v + 33. Is q less than d?
False
Let k = -187.657 + 189. Let x = k + -0.343. Are 85 and x equal?
False
Let s = -179 - -208. Suppose 4 = -x + s. Which is greater: x or 26?
26
Suppose -4*c + 20 = -2*c. Suppose -f + 3*u - c = 0, 3*f + 5*u = -f + 11. Let h = 1187/3 - 396. Which is smaller: f or h?
f
Let o be 21/(-9) - -3 - (-26)/6. Let j be 6*(-1)/(-15)*o. Suppose 2*z - f = -0*f - 5, -5*z - j*f = -10. Is z at least 76?
False
Let c be (-1)/(-34)*2394/2223. Which is smaller: c or -1?
-1
Let f be (1 + 3/15)/(9/60). Let l be (-5)/(-2)*-1*(-2)/f. Let a be 6/(-8) - 18/(-24). Which is smaller: l or a?
a
Let r be 1/((6*6)/(-4))*(-17 - -19). Which is greater: 2595 or r?
2595
Let y(z) = 2*z**2 - z - 6. Let b be y(3). Suppose -b*x + 1151 = 305. Suppose -6*j = x + 122. Is -1 bigger than j?
True
Let d(a) = -a**3 - 16*a**2 - 7*a + 39. Let c be d(-15). Let o = c - -727/9. Are 0.1 and o equal?
False
Let u = 13247 + -13248. Which is bigger: u or 3/5945?
3/5945
Let p = -14 + 22. Suppose 5*a - a = -p. Suppose 4*i = -9 + 13. Which is bigger: i or a?
i
Let b(z) = -z**3 - 10*z**2 - 6*z + 22. Let c be b(-9). Let t be -2*c/(-2 + 12). Is t greater than or equal to -3/289?
True
Let z(n) = 12*n - 32*n + 19*n - 3 - 5. Let b be z(-13). Suppose -b*s = -1 + 26, 4*f + 3*s = -19. Is f greater than or equal to -3/23?
False
Suppose 12 = 4*h + l - 0, h - 2*l = 12. Let u be 0 + (-5)/(-4) + h/(-16). Is u less than or equal to 8/23?
False
Let u = -6 - -5.9. Suppose 2*x + 2*x = -4*w + 4, 2*x - 5*w = 30. Suppose -x*h + 29 = 129. Is u at most h?
False
Let i be (7 + 4264/40)/((-6)/(-15)). Let m = -36 + 319. Is i at least as big as m?
True
Let q(y) = -y**3 + 20*y**2 + 5*y - 37. Let m be q(18). Let r = -551 + m. Do 151 and r have the same value?
False
Let n = -53 + 49. Let b = n - -49. Let i be (9/b)/(14/20). Is -7/3 greater than or equal to i?
False
Let o(h) = 15*h + 31. Let x be o(-2). Is 3/2750 greater than x?
False
Let z = -2.497 - -2.507. Is 14 at least as big as z?
True
Let d = -3338 - -3339. Which is bigger: 5/112 or d?
d
Let y = 10091 + -10092. Is -19.09 at least y?
False
Let h(o) = o**2 - 8*o - 6. Let l be h(13). Suppose 12 = 4*f, w + 4*f - l = 2*f. Suppose 12*x - 43 = w. Which is smaller: x or 12?
x
Let q = -52 - -91. Suppose -11*a - 2*a = -q. Does 16/5 = a?
False
Let g be (192/9)/(36/54). Which is smaller: 74 or g?
g
Let m(f) = -32*f + 167. Let q be m(13). Let a be q*12/(-126) - 4/(-14). Which is smaller: a or 25?
a
Let v be (0 - (-3 + -2))*19/(760/(-464)). Which is smaller: -258 or v?
-258
Suppose -56*a = -58*a + 20. Suppose -a*r = 6*r - 2304. Is r less than 145?
True
Let c(s) = -2*s + 3. Let r be c(0). Suppose -4*j = b, -6*b = r*j - 4*b. Suppose 6*l - 99 + 3 = j. Which is smaller: l or 17?
l
Let g be (-41822)/(-30) + (-28)/42. Let j be (-20304)/180*(-25)/2. Let c = j - g. Is c equal to 16?
False
Suppose 95*m + 76*m = -18*m + 47*m. Is 2/43769 <= m?
False
Let z = 0.195 + -82.195. Let b = z + 82.1. Which is smaller: b or 0.18?
b
Let b be 67/105 + 13*3/(-585). Let w = 13.4 - 10. Let h = -3 + w. Which is smaller: h or b?
h
Let b be -2160 + (-48)/(-14) + 184/322. Is -8629/4 > b?
False
Let y(p) = -p - 4*p + p**2 + 3*p**2 - 6*p**2 + 7. Let g be y(-3). Is g 