u(0). Which is smaller: l or c?
l
Suppose -3*t + 7*t - 2244 = 0. Let l = t - 1155/2. Which is smaller: l or -18?
-18
Let n be 10*(-4 + (-16)/20). Let y = n + 48. Are 2/31 and y equal?
False
Let l = 381 - 385. Is 2/11 >= l?
True
Let m be 2 + 4 + 3 + -4. Suppose -8*p = -11 - m. Which is greater: 0 or p?
p
Let o = -2807.8 - -2651. Are o and 1 equal?
False
Let c(r) = 3*r - 3. Let o be c(3). Let m be (o/(-8))/((-135)/40). Let l be (3 + -10)*4/(-42). Which is bigger: l or m?
l
Let u be ((-140)/6720)/(123/2). Is 0 at least as big as u?
True
Let q be ((-3071)/(-3))/(23/(-3) - -4). Let s = -279 - q. Let j(i) = i**3 - 3*i**2 - 4*i - 2. Let u be j(4). Which is greater: u or s?
s
Let b be ((-54)/(-24))/(4 + (-797)/200). Which is greater: b or 149?
b
Let q be (-31)/4 - (-46)/(-184). Suppose 5*p = -0*p - 30. Which is bigger: q or p?
p
Let p = -16/43 + 164/903. Suppose -2*z + 8 = 0, -5*c - 146 = -7*c - z. Let l = -70 + c. Which is bigger: p or l?
l
Suppose -11 = -12*p + 97. Which is bigger: p or -10/3?
p
Let q = -17 - -15. Let x be 108/9*q/19. Let y = x - 4/57. Is y equal to -1?
False
Suppose 0 = -4*g + g - 495. Let h be (18/g*-2)/(7/(-35)). Which is bigger: 1 or h?
1
Let q = 1342 + -1342.1. Let g(f) = f**2 + 3*f - 3. Let o be g(3). Let p be (1/(-2))/((-6)/o). Are p and q non-equal?
True
Let v = 17 + -10. Let o be 3 + 6/((-3)/(-1)). Suppose v = -4*r - o. Is r > -4?
True
Suppose -4*j + 77 + 223 = 0. Let n be 2/3*j/10. Suppose 0*r - 15 = -n*r. Is 1 greater than or equal to r?
False
Suppose -4*g = -3*n - 2401, -g + 2441 = 3*g + 5*n. Is 604 at least as big as g?
True
Suppose 0 = 2*l - g - 9, -6 = -5*l - 3*g. Let b be (-12)/(-3)*l/102. Which is smaller: 0.2 or b?
b
Let w be (-40)/(-5) + (1 - 0). Suppose 0*a - w = -3*a. Suppose 4*u - 4*q - 68 = 0, 3*u - a*q - 19 = 2*u. Is 15 != u?
True
Suppose -u = -4*a - 6, -u + 1 = -3*a - 2*u. Let y be ((a - 0) + 2)/((-3)/(-51)). Is 2 bigger than y?
False
Let j be (-16)/(-28) - (-324)/(-420). Let h be (-22)/6 + (-1)/3. Let c = 3 + h. Which is smaller: j or c?
c
Let f be (1*-1)/((-1)/(-1)). Let h(i) = -i**2 + 2*i - 2. Let t(v) = -2*v**2 + 4*v - 3. Let n(y) = -7*h(y) + 4*t(y). Let m be n(0). Which is bigger: f or m?
m
Let c = -96 + 151. Let d = 59 - c. Is 0.02 > d?
False
Let b(c) = -5*c**2 - 4*c - 2. Suppose -5*g - 2 = 8. Let u be b(g). Let w = -13 - u. Which is smaller: 4/13 or w?
4/13
Let v = -982 - -981. Which is bigger: v or -3/4?
-3/4
Suppose 19 = 2*u - 3*x, -x - 11 = -5*u + 2*u. Suppose -3*w + 4*c = c - 735, -2*w + c = -493. Let h be w/180 - 2/(-9). Does h = u?
False
Suppose -q = 4*f, 4*q + f - 36 = 3*f. Let w = -26 - -34. Are w and q equal?
True
Let t = -18 + 20. Suppose -t*a + 5 = -o, -20 = -2*o - a - a. Is 1 less than or equal to o?
True
Let h be 21/(-12)*18/(-15). Which is smaller: 3 or h?
h
Let t = 471/8 - -1483/8. Which is bigger: 245 or t?
245
Let y be -4 + (-3 - (-160)/5). Let o = 3 - y. Are -21 and o non-equal?
True
Let k(v) = -v + 6. Let t be k(-7). Let a = 48 - 37. Is t at least a?
True
Let u(g) = -5*g + 42. Let i be u(12). Is i greater than or equal to -12?
False
Suppose a + f = 4*a + 458, 0 = 2*a - 5*f + 301. Let p = a - -1682/11. Is 0 not equal to p?
True
Let w = -1.44108 + 32.48648. Let q = 0.0154 - w. Let t = q - -31. Which is smaller: t or 4?
t
Let z be 0 - (-5 - (-5 - -3)). Let h be (-1)/z + (-21)/(-36). Which is greater: h or 0?
h
Let h(y) = -y**3 - 14*y**2 + 17*y + 31. Let a be h(-15). Let x be -1 + a - (-8)/(-14). Suppose 0*l = l. Which is bigger: l or x?
l
Let x = -482251/118 + 4087. Is x greater than or equal to -1?
True
Let w be 105/8 - (-4)/(-32). Is 16 at most w?
False
Let d be 3/((-2)/(-2)) - 2. Let y be (4/14)/(d/1). Let x(f) = f**2 + 6*f + 1. Let b be x(-6). Is b >= y?
True
Let q be (32/36 - 2) + 1. Let b(a) = 3*a + 24. Let t be b(-10). Let s be (t - -2) + 2 + 1. Is q greater than s?
True
Suppose 723*i = 728*i. Is 2/575 less than or equal to i?
False
Suppose 4*u = 293 - 1433. Which is smaller: u or -286?
-286
Let g(o) = 3*o**2 - 4*o - 4. Let n be g(8). Let q be -3*8/n + 74/(-26). Is q at least -3?
True
Let r = 1.3 + -1. Let l = -16.05 - -0.05. Let p = l - -16. Which is smaller: p or r?
p
Suppose -4*h - 2*n = 4, 2*n = -2*h + 7*n - 2. Suppose 3*r - 4 + 1 = 0. Which is smaller: r or h?
h
Let c = -2.2 - -2. Suppose -4*b + 2*b = -5*k + 224, 2*k = -2*b + 98. Let d = -596/13 + k. Which is smaller: c or d?
c
Suppose r + 47*r - 12720 = 0. Does 265 = r?
True
Let p be 4 - (-2 - -4) - 3/1. Is -2/1415 at most p?
False
Let u = 1.91 - 0.11. Let r = 2 - u. Let o = 4.8 + r. Are o and 2 nonequal?
True
Let s be (((-70)/20)/7)/(2/12). Suppose -3*w = 7 - 25. Which is bigger: w or s?
w
Let n = 309 - 312. Which is greater: 4/15 or n?
4/15
Suppose 0 = -4*r, -4*s - 3*r = -6*s + 666. Are s and 333 non-equal?
False
Let x = 9 - 7. Let s(c) = 1 - 5*c**2 + c**3 - 9*c**x + c**2 - 14*c. Let d be s(14). Which is bigger: d or 3?
3
Suppose -42*o + 50*o + 808 = 0. Is -0.1 equal to o?
False
Suppose 3*q + 129 = -21. Let d be (q/8)/((-17)/68). Let l = 18 - d. Is l at most -5?
True
Let b(t) = t**3 - 10*t**2 + 4*t. Let o be b(10). Let a be (-20)/90 + o/342. Which is smaller: -1 or a?
-1
Let y = 2/75 + 23/75. Is y bigger than 10?
False
Let l = 1003 - 997.5. Is 0.8 smaller than l?
True
Let z(u) = u**2 - 7*u - 5. Let d be z(8). Suppose h + d*s - 2 = s, -4*s - 16 = 0. Suppose 0 = -5*i - 0*i - 25, -o + 25 = -3*i. Is o greater than h?
False
Let r = 363 - 1091/3. Let q = -21.6 - 5.4. Which is smaller: q or r?
q
Let i be (24/(-20))/((-3)/(-15)) + -1. Let s(h) = -1 + h - 5 - 2. Let q be s(i). Which is smaller: q or 1?
q
Let d = -9 + 6. Let k(m) = m - 6. Let l(w) = 2*w - 18. Let c(p) = -8*k(p) + 3*l(p). Let n be c(d). Is -6/13 at most n?
True
Let x(z) = -z**2 + 39*z - 15. Let j be x(39). Is j >= -41/3?
False
Let b be (-10 + (-1184)/(-120))/(9/60). Let g = 0.95 + 0.05. Which is smaller: b or g?
b
Let d(j) = -7*j**2 - j + 2. Let v be d(2). Let l = -30 + 1. Is l greater than or equal to v?
False
Let z = -7 + -1. Let p(i) = -i**3 - 9*i**2 - 9*i - 10. Let v be p(z). Let h = -294 + 293. Which is smaller: h or v?
v
Let f = 431 + -3451/8. Is f != 0.19?
True
Let w(l) = -l**2 - 12*l - 12. Let o be w(-11). Let t be o/(1/(1 - -1)). Let b be 12*t*(-3)/24. Is 1 smaller than b?
True
Suppose -2*k = -5*m + 479, 0 = -2*m + 2*k + k + 196. Let o be (-2*1/m)/(2/(-10)). Is o <= 0.1?
False
Suppose -13*o - 535 = -9*o - 5*y, 4*o + 541 = -y. Is o less than -134?
True
Suppose -42*m + 2*m - 40 = 0. Let k(d) = d**2 - 2*d + 1. Let b be k(2). Let f be 4/(-2)*b/25. Which is bigger: m or f?
f
Let g be 650/(-501) - 20/(-15). Is 0 != g?
True
Let d be ((-52)/6)/((-38)/399). Let g = d - 63. Which is greater: g or 27?
g
Let t = -3/233 - -517/3961. Let x(r) = r**3 + 4*r**2 + 4*r + 4. Let y be x(-3). Let g = 0 + y. Which is greater: g or t?
g
Let t = -45 + 31. Let q be -12 - t - 68/35. Are 1 and q nonequal?
True
Let w(q) = 98*q - 1067. Let f be w(12). Does f = 103?
False
Suppose 2*v + 16 = -4*l, v + l - 5*l - 22 = 0. Suppose -2*z + 57 = 5*o + 23, v*o = 3*z - 89. Which is smaller: 0.1 or z?
0.1
Let p = -22 - 26. Let a be (p/40)/(14/10). Is a at most as big as -2?
False
Let p(f) = f - f**2 - f - 3. Suppose -3*y = -44*q + 42*q + 15, -2*q - 5 = y. Let l be p(q). Which is bigger: l or -2?
-2
Let k = 66 + -69. Let l be 1/3 + 2 + (-20)/k. Is l at least as big as 7?
True
Let n = -4.25 + 4.25. Are n and 51 unequal?
True
Let a = 158 + -56. Let v = a + -99. Which is greater: -2 or v?
v
Let q be (-6)/(-44)*(-1284)/57. Let m be (-2*6/9)/((-95)/180). Let a = m + q. Which is smaller: 0 or a?
a
Let s = 155 + -155.2. Suppose -d + 32 = -4*k + d, 5*k = -5*d - 40. Which is bigger: k or s?
s
Let p = -10 - -14. Let o = 32 + -29. Let f be 2 + -3*(-2)/o. Is p >= f?
True
Let w = 20.505 - -0.195. Let s = w + -21. Do -7 and s have different values?
True
Suppose 4*y + 636 = -0*y. Let m = 2225/14 + y. Suppose -2 = 4*v + 2. Which is bigger: m or v?
m
Suppose 3*a - 3*b + 20 = -7*b, 0 = -a + b - 9. Let t be (-50)/a - (6 + -2). Let w(q) = -2*q + 1. Let o be w(-1). Do t and o have different values?
True
Let t(i) = i**2 + i + 1. Let l = 4 - 5. Let n be t(l). Let x = 16 + -22. Is n less than x?
False
Suppose 28*m - 80 = 116. Is m not equal to 2?
True
Let i(b) = -5*b + 11. Let x(h) = -2*h + 5. Let a(k) = 3*i(k) - 7*x