489 - 2457/5. Is g greater than i?
False
Suppose -2 = -2*v + 2*l, 0 = 7*v - 2*v + 5*l - 45. Suppose -4*f = v*f + 243. Is -28 >= f?
False
Let o = 4 - 5. Let s(t) = 8*t**2 - 1. Let k be s(o). Let j be k/14 + 1/(-4). Is 0 bigger than j?
False
Suppose 4*d + 3*q = -29 + 161, -d = 2*q - 28. Is 0.3 > d?
False
Suppose -4*a - 2*c + 76 = 0, -c = -a + 9 + 7. Let j = 320 - 303. Are j and a equal?
False
Let m = 7682/5 + -1536. Which is smaller: m or 1114?
m
Let t = 36.7 + -21.8. Let r = 14.8 - t. Do 30 and r have the same value?
False
Suppose 5*q - 3*n + 15833 = 0, 8*n - 3*n = 4*q + 12669. Let f = 1861 + q. Let t = -100487/77 - f. Which is smaller: t or -1?
-1
Let c be (-7)/(-14) - (-1205)/(-2470). Are c and 0 equal?
False
Let l = 2829677/187 - 15132. Which is smaller: l or 1?
l
Let i = 258 - 158. Let t be 3*(i/(-6))/5. Let v = t - -11. Which is smaller: v or 2?
v
Let q be 46/5 - (-8 + 3 - -3). Which is smaller: 10 or q?
10
Suppose 0 = -4*i + 2*i - 2. Suppose -16 = 5*r + 29. Let l = r - -10. Which is greater: l or i?
l
Let z(r) = -r**2 - 7*r + 6. Let l be z(-6). Suppose 9*k - l*k = -3. Let m be 2/(-18)*(-7 + 5). Which is bigger: k or m?
k
Let a = 996 - 1893. Is a bigger than -896?
False
Let i(s) = 8 + 3*s**2 + 0*s**2 - 4 - 3. Let j be i(1). Which is smaller: j or 3?
3
Suppose -5*n + 45 = 5*w - 20, -5*w - 2*n + 56 = 0. Let v be 2/w + 1 + 18/(-15). Which is bigger: -1/5 or v?
v
Let n = -2675261/169 - -15830. Which is smaller: n or 1?
n
Let r be (5020/(-22))/(-1 + -1). Suppose -2*m + 231 = -3*p, 3*m + 2*m + 2*p = 568. Let l = r - m. Is 1 greater than l?
True
Let c = -20 - -31. Let q = -84 - -97. Is c bigger than q?
False
Let w be (-2 - -22)*(-10)/25 + (3 - 2). Let x = -28 + 17. Is x >= w?
False
Let k(o) = o**2 + 4*o - 4. Let t be k(-5). Let z be t + (270/(-5) - 1). Which is smaller: -53 or z?
z
Let o = 561 - 573. Is 0.1 greater than or equal to o?
True
Suppose 26*s = 23*s + 21. Let b(f) = f**3 - 5*f**2 - 6*f + 5. Let c be b(6). Suppose 0 = c*q + s + 3. Is q equal to -2?
True
Let b be (2352/(-108))/(4/(-6))*-3. Which is smaller: b or -99?
-99
Let a = -12 - -12. Let x = -216 + 1081/5. Is x at least as big as a?
True
Let k = -304 + 315. Suppose -7 - 9 = -4*l. Suppose 0 = p - l*p + 39. Which is smaller: p or k?
k
Let j = 6445 - 96736/15. Is -4 != j?
True
Let h = -2426075317/1008 + 2406821. Let l = h - 3/112. Which is greater: 5/7 or l?
5/7
Let g = -4273/25 - -171. Let r = -12 + 12.06. Let t = r - 0.16. Is g >= t?
True
Let k = 45.105 + -0.105. Let a = k + -45.1. Is a != 1/7?
True
Suppose -p + 15 = -2*p. Let b = 20 + p. Does 2 = b?
False
Suppose 289 = -12*u + 205. Which is smaller: 23 or u?
u
Let u = 59 - 58. Which is greater: u or 228?
228
Let p = 1008 - 1014. Let f be 6/4*12/9. Which is smaller: p or f?
p
Let k(m) = -10*m**3. Let c be k(1). Let j be 0 - (11 - 9)/(12/c). Is j < 1?
False
Let t be -22*(2 - (-5)/(-2)). Let h(c) = 9*c - 4. Let i be h(1). Suppose -w = -i*g + 16, g + 0 = w + 4. Which is greater: w or t?
t
Suppose 4*g = -f - 19, -4*f - 21*g + 23*g = -14. Which is bigger: 9/160 or f?
f
Suppose -32 - 16 = -8*c. Is c greater than -23?
True
Let z be (2/(-5))/(2/(-150)). Let r = z + -44. Suppose -g - 5*m - 3 = 0, -6 = 4*g - 4*m + 54. Which is bigger: g or r?
g
Let v = 2.15 - 3.15. Which is smaller: v or 0.1?
v
Let a = 12.34 + -1.14. Let r = 0.2 - a. Let z = -11.2 - r. Which is smaller: z or -3?
-3
Let j = 24443.213 - 24453. Let m = -0.013 + j. Let y = m + 9. Which is bigger: y or 1?
1
Suppose -5*k + s + 185 = 0, 4*k - s - 159 = 2*s. Let g = -4462 + 4498. Is k equal to g?
True
Let r(i) = -i**3 + 16*i**2 - 40*i + 13. Let w be r(13). Which is bigger: -1/1754 or w?
w
Suppose -4*x - 11 = -4*w + 1, 0 = 4*w + 4*x + 4. Which is smaller: w or 0.001?
0.001
Let p be 40/(-272)*(-1)/(-65)*-4. Suppose 7*h = 10*h. Is h at least as big as p?
False
Let z be (-154)/(-4)*456/418. Which is bigger: z or 1/10?
z
Let h = 117 + -110. Are 0 and h equal?
False
Let m(f) = -4*f - 25. Let n be m(-9). Suppose n*l - 2*l = -9. Do l and 1/35 have different values?
True
Let a = -18 - -17. Let j be 1/(a - (-6)/9). Which is greater: -2 or j?
-2
Let z(w) = 3*w**2 - 6*w - 5. Let h be z(5). Let x be -4*(-5)/(h/6). Suppose 0 + x = -g. Is g at least 0?
False
Let t = -51 + 48.8. Let m = t + 2. Is -8 bigger than m?
False
Suppose 0*w - w = 5. Let x(o) = -o. Let i(h) = -h**2 - 9*h - 5. Let m(u) = -i(u) + 3*x(u). Let q be m(w). Do q and -1 have the same value?
False
Let f = 5 + -1. Suppose -4 = -k - s - s, -2*s = -f. Let i be -2*(k - 20/(-8)). Which is smaller: -6 or i?
-6
Let j be 2 - (2934/1170 - 1/5). Which is bigger: j or 0.1?
0.1
Let q be 95/76 + (1 + -3)/8. Which is smaller: q or -12/49?
-12/49
Let b(s) = -5*s - 37. Let f be b(-6). Is f not equal to -14?
True
Suppose 1 = 4*k - 3*i - 1, 0 = -4*i + 8. Suppose -8 = -k*o - 0. Let a(h) = h**2 - 14*h + 25. Let g be a(12). Is o greater than g?
True
Let i(r) = -r**2 + 40*r - 104. Let a be i(26). Does 259 = a?
False
Let g(z) = z**3 - 2*z**2 - 11*z. Let j = -45 + 50. Let q be g(j). Which is smaller: 21 or q?
q
Let x be -5*(-4)/60*(-362)/(-2). Let j = -20447/339 + x. Is 0 less than or equal to j?
True
Let g be (-1999)/63 - (4 + (-170)/45). Let p = 32 + g. Let r(o) = o**3 - 6*o**2 - o + 5. Let y be r(6). Is y > p?
False
Suppose -388 = 2*d - 0*v + 2*v, 0 = 3*d - 2*v + 592. Is -196 equal to d?
True
Let a = 155 + -86. Let f = 36 - a. Which is greater: -32 or f?
-32
Let d = -103/2 - -46. Suppose -3*n + 14 = 2. Suppose n*b - 2*i + 18 = -12, -3*i = 3*b. Which is smaller: d or b?
d
Let y = -158 - -238. Let u = y + -79. Let i be 0*(2/4 - 1). Which is bigger: i or u?
u
Suppose 4*y = 42 - 42. Suppose 2*p - p - 1 = s, y = 3*p + 2*s + 12. Which is bigger: 4 or p?
4
Let s = -1 - 0. Let k(c) = -2*c**3 + 5*c**2 - 10*c - 6. Let t be k(4). Let g = t + 1505/16. Which is smaller: g or s?
s
Let c(s) = -48 - 3*s + 101 - 47. Suppose 2*f - 2*o = 4, 3*f - 2 = 4*o + 4. Let x be c(f). Which is bigger: x or -1/41?
x
Suppose -3*o + 0*j + 2*j = -29, 4*o = -5*j + 54. Suppose -4*v + 21 = -o. Suppose -3*q + 5*q = v. Which is smaller: 2 or q?
2
Let m = 8 - -8. Let q be (m/(-10))/(4/(-10)). Let o be q*1*(0 - 3). Are -12 and o nonequal?
False
Let w = 1598.9 + -1599. Let t = 5/87 + 263/1479. Do t and w have different values?
True
Let u be ((-1)/11)/((-14)/(-84)). Let r = 4 + -6. Is r less than u?
True
Let k = -4.65 + 4.55. Suppose -5*z - t = t - 13, -4*t = 4. Suppose -2*c + 18 = -4*w, z*c - 4*c = 4*w + 15. Which is bigger: k or c?
c
Let f = 1.6 - 1. Let c = 2.4 + f. Let x = 2 - c. Is x != -2?
True
Let a(j) = j + 1. Let m(d) = 2*d**2 + 12*d + 12. Let v(s) = 4*a(s) - m(s). Let y be v(-4). Is y smaller than -10?
False
Let z = 262 - 258. Let a be (-4)/10 - (-48)/20. Which is smaller: a or z?
a
Let b = 1/30 - -11/1470. Is b < -1?
False
Suppose -4*h - u = -5*h + 29, -5*h + u + 165 = 0. Suppose -3*b + 49 = -8. Let m = h - b. Is 15 less than m?
False
Let x(h) = h**2 + 6*h - 5. Let s be x(-8). Suppose -12*y + 2 = -s*y. Which is greater: 1 or y?
y
Suppose 0 = -0*b - 2*b. Suppose b = 3*r + 6 - 12. Suppose 4*n - 3*s = -59, n = -r*s - 11 - 12. Is n at least -18?
True
Suppose 4*t + 5*c = 21, -2*t + 3 = -c - 18. Is t equal to -6?
False
Suppose -4*v = -3*i - 804, 812 = 4*v - 217*i + 212*i. Are 198 and v unequal?
False
Let t = -2.09 + 2.09. Let u = 2.36 + 0.54. Which is bigger: u or t?
u
Let i = 10203 - 10203. Let k = 0 + -1.4. Is i at least as big as k?
True
Suppose 5*l = -5*j - 125, 0*l - 68 = 2*l - 4*j. Let c be ((-32)/l)/((-40)/(-28)). Is -1/3 < c?
True
Let l = 194 + -197. Let x be (-36)/((-6)/(-3)) + 0. Let c be ((-16)/x)/(7/(-21)). Is l at most as big as c?
True
Let m(w) = -w - 19. Let x be m(-22). Let u be 23*((-1)/x + (-20)/30). Which is smaller: u or -26?
-26
Suppose -b + 2 = -4*h, -h + 62 = 4*b + 3. Suppose -6*x = -8*x - b. Is x greater than -13?
True
Let m be ((-35)/1)/((-13)/(-13)). Let f(y) = 3*y**2 - 7*y + 1. Let n be f(5). Let a = n + m. Is 7 greater than a?
True
Let j = 294/235 + -1/940. Which is greater: -12 or j?
j
Suppose -9 = -3*w + 6. Suppose t - 33 = x, 4*x - w*x - t - 37 = 0. Is -35 smaller than x?
False
Let k = 1/65364 - -1470617/4771572. Let f = -14005/438 + k. Let p = -32 - f. Is p < -4?
False
Suppose -3*q - 47 = -8*q + 18. Let s be ((-44)/6)/(2/(-3)). Which is smaller: q or s?
s
L