 -437. Let t = 0.33 - k. Which is smaller: -3/2 or t?
-3/2
Suppose -3*o + 112 = 3*l + 43, -34 = -2*o + l. Which is smaller: o or 4?
4
Let t = 430 + -430. Is 2/223 less than t?
False
Let l(o) = o + 11670. Let a be l(0). Let c be (3/9)/((-22)/a). Let j = -177 - c. Which is bigger: 1 or j?
1
Let t = 2 - 1. Let s be (t/(-12))/((-1)/(-2)). Let j(z) = 20*z - 60. Let k be j(3). Is s less than k?
True
Let q be (-36)/(-18)*44/(-2). Which is greater: -36 or q?
-36
Let w be 2/(-6) + 2/4. Let d be 4/(-18) + 14/63. Is d at most w?
True
Let m be 777/(-14)*(-2)/3. Let q = -35 + m. Suppose -q*z = z - 3. Is 2 less than or equal to z?
False
Let z = -7.559 + -0.141. Let f = -4.6 - z. Let l = f + -6.1. Is l <= 0.3?
True
Let c = 3/15571 + 217703/1510387. Which is greater: c or 0?
c
Let p(n) = -n - 4. Let o(z) = -z**2 - 5*z - 4. Let f be o(-5). Let i be p(f). Which is bigger: i or -8/13?
i
Let y = 2 + -4. Let z = 5.4 - 4.8. Let t = -0.4 - z. Is y < t?
True
Let a(d) = -d**3 - 6*d**2 - 5*d + 3. Let s be a(-5). Let i be -3 - s/(1/(-1)). Let b be (i - 0) + (-18)/63. Are 0 and b equal?
False
Let w be (15/(-9))/(-5)*6/56. Suppose 0 = 2*z + 4 - 2. Is z greater than w?
False
Suppose -3*t = -10 + 13. Let x(g) = -455*g + 1. Let a be x(t). Let z be a/78 - (-4)/26. Which is smaller: z or -2?
-2
Let r(t) be the second derivative of 2*t**3/3 - 3*t**2/2 + t. Let d be r(1). Is d bigger than 7?
False
Let m = 7 - 75/7. Suppose -3*x - 4*o = 2*x + 37, 0 = x - 2*o - 1. Is x at least as big as m?
False
Let x = -59.04 - -1.04. Is x < -1/6?
True
Suppose -6*p - 5 = -35. Let q = -47 - -51. Which is greater: q or p?
p
Let j = -14 - -18. Suppose j*v - u = -63 + 18, 4*v - 3*u = -55. Let d = -16 - v. Which is smaller: -5 or d?
d
Let r be 9 + -1 + -16 + (-490 - -5). Is -493 at most as big as r?
True
Let t = -10 - -12. Let w(z) = z - 2. Let p be w(t). Suppose p = u + 3*g - 12, -20 = 2*u + 2*u - 5*g. Is 4/9 < u?
False
Let k be 110/15*3*75/(-6). Which is smaller: k or -274?
k
Let h = 1.2 + -2.9. Let s = 1.2 + h. Suppose -3*w = -7*w - 4*t + 16, 3*t = -2*w + 11. Is s smaller than w?
True
Let t = 11.16 + -3.16. Which is greater: t or 1?
t
Let g(b) = -b**2 + 691. Let k be g(0). Let n = k - 1447/2. Let o = -33 - n. Is o > -2?
True
Suppose 0 = -5*b - t + 638, -3*t - 576 = -5*b + 50. Which is smaller: 126 or b?
126
Suppose -a - 4*o = -2*a + 20, 0 = a - 2*o - 12. Suppose -8 = v - 2*j, -j - 17 = -v - a*j. Is 0.4 smaller than v?
True
Let h = 129 - 259/2. Suppose -2*g - 4 = w + 22, -26 = 2*g + 4*w. Which is bigger: g or h?
h
Suppose -10 = h - 5*n, -5*h + 9*h + 2*n = -150. Which is bigger: h or -31?
-31
Let h = -7.75 - -8. Let w = h + -0.41. Let l = w - 3.84. Which is smaller: l or 1?
l
Let w(n) = 11*n + 12. Let z(j) = -4*j - 4. Let c(l) = 3*w(l) + 8*z(l). Let u be c(-5). Which is greater: 1/24 or u?
1/24
Let z = -63 + 40. Let n = z + 24.4. Let i = n + -1.7. Which is smaller: i or -6?
-6
Let v be 3*(-1)/(234/42 + -6). Let g be (15/(-6))/((-1)/3). Is g greater than v?
True
Let j(x) = -x**2 + 38*x - 318. Let o be j(0). Is -316 smaller than o?
False
Suppose 6*r = 5*c + r - 40, 5*c = r + 20. Suppose -c*d = -18 + 3, 0 = t + 3*d - 5. Which is greater: t or -11?
t
Suppose 0*f - 5*f = 0. Suppose -6*p + 7*p + 12 = f. Which is smaller: p or -13?
-13
Let i be 14/(-4)*2/9. Let p(l) = 2*l**2 - 28*l + 25. Let x be p(13). Which is greater: i or x?
i
Let q(a) = a**3 - 5*a**2 - 11*a + 11. Let n be q(6). Let w(l) = l**2 - 2*l**2 - 6 + 8*l**2 - 5*l - l**3. Let o be w(6). Which is smaller: o or n?
n
Let s = 0.051 - 0.055. Let r = -0.366 + s. Do r and 0 have different values?
True
Let p(y) = -198*y + 442. Let o be p(3). Which is smaller: o or -148?
o
Let g = 11 + -15/2. Suppose -24*h = -21*h - 9. Which is smaller: g or h?
h
Suppose -4*l - 3*b - 5 = 0, -15 = -l - 2*l + 4*b. Let t be ((64/38 - -1) + -3)*1. Which is bigger: l or t?
l
Let t be 10020/(-60) + -1*(-2 - 3). Which is smaller: t or -163?
-163
Let y = 5045 - 116110/23. Which is smaller: -2 or y?
y
Let q(v) = -3*v**2 + 4*v + 7. Let j be q(3). Let g be 0*2/j*-2. Which is smaller: 3 or g?
g
Let k = -2.984 + -0.116. Let d = k + 3.7. Do -0.1 and d have the same value?
False
Let b = 1903 - 1940. Which is smaller: b or -40?
-40
Let f be 3352/(-11830) - (-1 + (-20)/(-28)). Let g = -3506/53235 + f. Is 0 greater than or equal to g?
True
Let p = -105.8 + 12.8. Let l = -92 - p. Let j = -3.1 - -3. Is l at least j?
True
Suppose 4*t = -3*t + 14. Suppose -t*p = 7*p - 216. Which is greater: 25 or p?
25
Let c be (-504)/2 - (30 + -26). Are -511/2 and c non-equal?
True
Let y(v) = v**3 + 5*v**2 - 28*v - 99. Let i be y(-7). Do i and 2/25 have different values?
True
Suppose 3*b - 3*o = -4*o + 5, -5*b = 4*o - 13. Let g be ((-9)/(-4))/(3/(-8)). Let n be g/20*(-16)/36. Which is smaller: b or n?
n
Suppose 10285 = -127*n - 510. Is 0 < n?
False
Let y = -22 - -38. Let r = 19 - y. Suppose 3*p - 4*g - 3 = 0, 3*p + r*g - 4 + 1 = 0. Do p and -1/6 have different values?
True
Suppose 0 = -4*r + 4, -2*u + u = 2*r - 10. Suppose 0 = -u*f + 12*f + 4. Which is smaller: f or -8/27?
f
Suppose -4 = 2*k - 4*k. Is k at most 8?
True
Suppose 23*s + 11580 = 53*s. Is s greater than or equal to 386?
True
Suppose 87*g - 20 = 83*g. Suppose 0*m + 2*m + 1 = -g*o, 0 = -3*o - 4*m - 9. Is o at most -1?
False
Let z = -83 - -214. Is z greater than or equal to 132?
False
Let r be (-20)/6*60/(-50). Let m be 21*2/(-12)*r. Is -15 < m?
True
Let m be (9*-3)/((-21)/(-2618)*17). Which is smaller: m or -196?
m
Let l(z) = -z**3 - 9*z**2 + 3*z + 16. Let m be l(-7). Is m >= -104?
True
Let c(j) = j**2 + 18*j - 17. Let q be c(-19). Suppose l + 33 = i, q*i + 3*i = -2*l - 80. Which is greater: -36 or l?
l
Let o(l) = l**3 + 2*l**2 - 10*l - 11. Let p be o(-1). Is -5/6 greater than or equal to p?
False
Let k = 873 - 863. Is k less than -13?
False
Let i = -45 + 45. Suppose -o + 0*o + 10 = i. Is o bigger than 10?
False
Suppose -h - 36 = k - 178, h = k - 132. Is k greater than or equal to 137?
True
Let c(b) = b + 3. Let r be c(0). Let f(q) = -11*q - 28. Let u be f(-3). Suppose 4 = 4*v - 3*a + 6*a, v + u*a + 16 = 0. Is r <= v?
True
Suppose -5*o + k = -76, -2*o + 3*k = 3*o - 68. Which is bigger: o or -0.1?
o
Let p be ((-3)/2)/(12/(-72)). Is p greater than or equal to 16?
False
Suppose 0 = 24*k - 19*k + 20. Let o(l) = l**2 + 3*l. Let q be o(k). Are -2/7 and q equal?
False
Suppose -4*s + s = -14*s. Is s at most 2/15?
True
Let x = -11.5 - -11. Let h = x + -0.5. Let f be 3/(((-84)/8)/7). Is f smaller than h?
True
Let v = -539856 - -100412377/186. Let s = v - -52/31. Is s bigger than -3?
True
Let q be 1 - 4 - 65/1. Let o = -48 - q. Do o and 37/2 have different values?
True
Let y = 28 - 28. Suppose y = -5*h - x - 177, h + 0*x = 2*x - 42. Is -37 greater than or equal to h?
False
Let f be (67653/(-7515) + 9)/((-1)/5). Which is smaller: f or -1?
-1
Let q be 2/3*3 + 476/(-40). Which is smaller: q or -10?
-10
Let l be (-21)/(-3) - (0 - -2). Let o(n) = 5*n - 1. Let q be o(l). Let x be (-46)/q - 4/(-16). Are -2 and x equal?
False
Let o be 10*1*(-1)/(-2). Suppose -3*i + 8 = w - 5, 3*i - 5*w = 7. Is i at most as big as o?
True
Let y(c) = -c**3 - 14*c**2 - 6*c - 12. Let d be y(-13). Suppose 528 = -13*x + 5*x. Let v = x - d. Which is bigger: v or 38?
38
Let q be (1 - 116)*4/5. Let y = 921/10 + q. Let g(m) = 5*m - 26. Let b be g(5). Which is bigger: b or y?
y
Suppose 0 = 8*d - 1290 - 406. Suppose i + 210 = d. Which is bigger: i or 13/5?
13/5
Let z = 15 + -14.94. Let u = z - 0.01. Let h = 6.05 - u. Which is smaller: 0 or h?
0
Suppose -5*k = 5*t - 30, 2*t + k = 18 - 2. Suppose -28 = -z + 3*y - t, -4*z + 4 = 5*y. Let i = -6 + z. Are 2/5 and i nonequal?
True
Let j = -6 + 13. Suppose -15 = 12*z - j*z. Is -27/10 at most z?
False
Let t be -71*(-5)/((-120)/6). Is -18 less than t?
True
Let y(k) = -9*k**3 + 4*k**2 + 13*k - 56. Let n be y(4). Is n > -517?
True
Suppose -5*o + 27 = 2*f + f, -5*f = 2*o - 7. Let i = o + -2. Let r be (-8)/56 + 36/7. Is r less than i?
False
Let i = -219 - -226. Is -23/3 less than or equal to i?
True
Let j be 137/(-15) - (42 - 51). Is j less than or equal to 0.13?
True
Let f = 1 - 0. Let u be 1*(-1 + 0) - 234/(-228). Is f greater than or equal to u?
True
Let i be (3 + 3/(-2))*-2. Let g(z) = -2*z - 6. Let a be g(-5). Suppose -4*m - 6 = h, -a*h = -2*m - 0*