*t - 3*m - 10 + 14 = 0. Which is smaller: t or -103?
-103
Let u(s) = 16*s - 337. Let n be u(21). Which is smaller: -24/31 or n?
n
Let g = 1379.62 + -1380. Is 0.2 bigger than g?
True
Let z(o) = -o**3 + 4*o**2 + o - 6. Let x be z(4). Let b(w) = -w**2 - 8*w + 10. Let r be b(-9). Let v be (r/x)/(5/14). Is v at most 0?
True
Suppose -3*r + w + 32 = 2*w, 5*r - 2*w = 46. Let m = -4 - r. Let x be ((-4)/(-5))/(m/(-455)). Is x > 27?
False
Suppose 0 = 46*w - 25*w - 987. Which is bigger: -7 or w?
w
Let c = -0.986 + 1. Let u = 19.986 + c. Let t = 14 - u. Which is smaller: -0.1 or t?
t
Suppose -3*u + 11 = 5*v + u, -5*u + 24 = -4*v. Let d = -82 - -1229/15. Is d at least v?
True
Let m be 30/(-4)*(-4)/6. Let j be -2 - (-5*2 + 2). Suppose x - j = -m. Is -2/41 <= x?
True
Let m = 100/3 + -33. Suppose 0 = x - 2*b - 11, -5 - 11 = 4*b. Suppose -4 + x = -5*q + 2*w, -3*q + 5*w + 12 = 0. Do m and q have the same value?
False
Suppose 0 = 8*r - 3*r - 50. Let i be r/(-5)*1*-1. Suppose 8 = k - i. Which is greater: 9 or k?
k
Let g be (0 - 26/(-28))/(3/2). Which is smaller: 0 or g?
0
Let x be (-1854)/(-14) - (-6)/(-14). Let r = x + -1331/10. Let t = r + 3/5. Is t > -1/3?
False
Let m be (15/10)/((-117)/24). Suppose 2*c = p - 4, -4*p + 2 = -4*c - 6. Is p at least as big as m?
True
Suppose 328*i = -4*y + 324*i - 360, 345 = -4*y + i. Which is smaller: -265/3 or y?
-265/3
Let p be (1 + 0/7)*31. Which is smaller: 33 or p?
p
Let q be (-10 - -4)*20/(-6). Let p = q + -9. Is 12 <= p?
False
Let w = -8.05 - -0.05. Let h = -8.2 - -8. Which is smaller: h or w?
w
Suppose 11 = 5*x + 6*x, -5*s + 2*x = 1497. Is -299 smaller than s?
False
Let y be (-24)/(-324) - (-472)/(-540). Which is bigger: 3.1 or y?
3.1
Suppose 0 + 4 = -4*f. Let j be ((-6)/(-28))/(f/6). Which is smaller: -1 or j?
j
Let o = 55 - 81. Let a = o + 25.8. Which is smaller: 2/3 or a?
a
Let s be (6 + 2)/((-4)/6). Let h(m) be the second derivative of -m**5/20 - m**4/4 + 2*m**3/3 + m**2/2 + 15*m. Let v be h(-3). Which is greater: s or v?
v
Suppose -2*y + 3 = -13. Suppose 4 = -4*g + y*g. Suppose 0 = -2*m + 6*m. Is g at least as big as m?
True
Let x = 1 - 19. Let d(u) = -13*u + 23. Let q be d(2). Let i = x - q. Is -14 not equal to i?
True
Let m = 173 + -173.2. Does 2/35 = m?
False
Let b = 255 - 255. Which is smaller: b or 1/4?
b
Suppose -2*c + 20 = 2*c, -5*q = c - 20. Let s be 5/(4 - 9)*(-1)/q. Which is bigger: s or 2.1?
2.1
Let q = 34 + -34. Suppose 2*f + 80 = 5*p - f, q = -f. Suppose -u + 1 = v + 3, -5*v - p = -u. Is u greater than 7/9?
True
Suppose 0 = 2*y + 1 + 13. Let n = -3 - y. Suppose 3*c = -5*l + 22, -3 - 3 = c - 5*l. Is c != n?
False
Suppose -7 = -5*s - 2*z + 12, 5 = -s + 4*z. Suppose -i = 2*i - s. Suppose -17*l + 15*l = 33*l. Which is greater: i or l?
i
Let i be 444/24 - (-6)/4. Let k = -15 + i. Suppose -k*w = -0 - 5. Which is greater: w or -1?
w
Let m(q) = -2*q**3 - 38*q**2 - 65*q + 46. Let k be m(-17). Which is greater: -50/9 or k?
k
Let p = 505 + -479. Is p < 22?
False
Let b be -1 - (0 - 2 - 0). Let t = 25831/9 + -2862. Let y = 8 - t. Are b and y equal?
False
Let q be (-48)/8 + (-18)/(-2). Are 17/4 and q non-equal?
True
Let h = -39.4 + 10.4. Which is greater: h or 2?
2
Let b = -353 - -354. Which is bigger: b or 3/286?
b
Let a = 564 - 9027/16. Which is bigger: a or 2?
2
Suppose 13*x + 286 = 24*x. Which is smaller: 16 or x?
16
Let f(z) be the second derivative of z**5/20 + 7*z**4/12 + z**3 + 5*z**2/2 + 6*z. Let u be f(-6). Suppose g + u - 7 = 0. Are -4 and g equal?
False
Let c be -1 + (1 + -1)*1. Let o(p) = 3*p + 52. Let r be o(-16). Suppose -r*b = -3*a + 37, 7*a - 2*a + b - 31 = 0. Is a smaller than c?
False
Suppose -30*o + 36*o = -6. Let w(g) = -g. Let y be w(-4). Let l be y/(-78)*9/(-6). Are o and l equal?
False
Suppose 2*q + 1 - 1 = 0. Suppose -3*b + 2 = 2*s, 1 = s - 4*b - q. Let l = 1/12 + 19/60. Is s at least l?
True
Let o = 2/177 - -112/531. Let q = 3/64 + 75/448. Which is smaller: q or o?
q
Suppose 3*g = 4*q + 24, -q - 18 = 2*g - 1. Let d = q - -17. Let m = -7 + d. Is 1 > m?
False
Let k = -0.04 + 0.14. Let f = -9 + 9.26. Let t = 3.26 - f. Is k at least as big as t?
False
Let x(r) = 2*r**2 + 23*r - 17. Let d be x(-12). Are d and 33 equal?
False
Suppose 30 = 2*h - 0*w - 4*w, -20 = -2*h + 2*w. Suppose h*i = 2*d, -2*i + 3*i = 4*d - 18. Suppose -5*s + 3 = j, -s = 3*j + 3*s - 9. Is i < j?
True
Suppose 2*n + 28 = 4*n. Let f = -12 + n. Is f bigger than -0.06?
True
Let a(r) = -3 + 2 + 8*r**2 + 6*r**2 + r**2. Let v be a(-1). Let n be 2 + (-7)/(v/4). Which is smaller: n or 3/22?
n
Let w(h) = 6*h + 28. Let p be w(-4). Are p and 11 non-equal?
True
Let d be (1/4)/(18/(-888)). Let q be ((-8)/35)/((-12)/670). Let h = d + q. Which is greater: h or 1?
1
Suppose 0*h = -5*h - 12522160. Let t = -5011368541/2001 - h. Let z = -1/69 + t. Which is smaller: z or 0?
z
Let g be (1 - 1)/(3 - 4). Let i be ((-138)/1260 - (-18)/60)/((-33)/(-77)). Is i greater than g?
True
Let g = 3860/11 - 351. Which is greater: g or 1?
1
Suppose -1505 = -90*q + 97*q. Do q and -216 have different values?
True
Let d(p) = -p**3 + 5*p**2 + 6*p - 4. Let w be d(6). Suppose -4*g - 12 = 4*u, 0 = 2*u + g - 5*g + 18. Let h be u*(-1)/3*-3. Which is bigger: h or w?
w
Let h = 0.112 + -1.112. Is h bigger than 88?
False
Let l = 19.4 - 19.6. Suppose 3*u - 32 = 2*q, q - 40 = 3*q - 5*u. Is q smaller than l?
True
Let j(x) = x**3 + 9*x**2 + 6*x - 13. Let d be j(-6). Let v = 55 - d. Which is greater: 0 or v?
0
Let c = 0.4 + -0.3. Let k = 0.164 - -0.036. Let x = c - k. Which is smaller: -6 or x?
-6
Let x = 5599 + -190341/34. Let d = x + -4/17. Let l be (-16)/(-20) + (-4)/5. Which is greater: l or d?
d
Let v be (-2)/(-10) - (-21)/45. Is -56/11 < v?
True
Let r(x) = -x + 15. Let q be r(0). Let y be 3/(-15) + 1123/q. Let s = 74 - y. Is -1 >= s?
False
Let m = 0.86 - -19.14. Let o = m - 19. Is o greater than -12/11?
True
Let r be 1/(-6 - (-102)/18). Which is bigger: -13/7 or r?
-13/7
Let s be ((-1)/(-5) + 5)*40. Suppose -101 - s = -3*z. Do -1/4 and z have different values?
True
Suppose -5*o - 64 = -4*i + 1033, 4*o + 266 = i. Which is greater: -3 or i?
i
Let t be (238/9)/(-7) + 16/4. Which is smaller: t or 1/3?
t
Let c(k) = -4*k**2 - 4*k + 1. Let d be c(-3). Suppose -4*g - 441 = -0*l + l, 2*g + 3*l = -223. Let s = 88 + g. Do d and s have the same value?
False
Let r(q) = 2*q**2 - 18*q - 39. Let v be r(11). Is 8 bigger than v?
True
Let i(h) = h**2 - 8*h + 7. Let o be i(5). Let y(a) = a**3 + 9*a**2 + 7*a - 2. Let u be y(o). Let n = -8 - u. Which is smaller: -15 or n?
-15
Let j be 27674/505 - 2/(-10). Which is greater: 223/4 or j?
223/4
Let u = -9 - -2. Let n(b) = -3 + 19 + 0*b - 5 + b. Let i be n(u). Do i and 4 have the same value?
True
Let f = -32 - -25. Which is greater: f or -4?
-4
Suppose -4*w - 2*k + 370 = 0, -4*k + 10 + 10 = 0. Does 271/3 = w?
False
Suppose 25*m + 180 = 30*m. Let y be 0 + (m/24)/((-3)/(-4)). Are 12/7 and y nonequal?
True
Let s = -223 - -224. Do s and 52/35 have the same value?
False
Let a = 117 + -141. Which is bigger: -124/5 or a?
a
Let y = 20066/33 - 608. Let h(l) = l**3 + 11*l**2 + 18*l + 1. Let b be h(-9). Which is smaller: y or b?
y
Let k be 4/(-2) + 2/(-2). Let f = 64.91 + -65. Let d = f - 2.91. Is k != d?
False
Let h = -7 + -11. Let g be (-10)/h*10/25. Let r = -18.9 - -20.9. Which is smaller: g or r?
g
Suppose -5*x + 3*x + 36 = 4*a, -3*a = 0. Let p = -117 - -135. Is p at most x?
True
Let n be (445/(-10))/(7 + (-13)/2). Is -351/4 bigger than n?
True
Let p(y) = -y**2 + 10*y + 3. Let x be p(9). Let l = 14 - x. Suppose 2*c + 0 = -l. Is 2/17 < c?
False
Suppose i + 21 = 3*m, 3*i + 112 = -i + 5*m. Suppose -6*b - 17 - 187 = 0. Which is bigger: i or b?
i
Let o = 8 - 6. Let a be (o - (-38)/(-3))*3/(-2). Let n be 1*15 - (-6)/6. Is a <= n?
True
Let q = 25.04 - 25. Let b = q + -3.04. Is 3/2 > b?
True
Let h = -0.854 - 2.856. Which is smaller: -2/3 or h?
h
Let v = -3890899/313 - -12431. Is 0 >= v?
False
Let m = 203 - 203.7. Is 2/9 greater than or equal to m?
True
Let o = -105 + -416. Which is smaller: -523 or o?
-523
Let a = -14 - -6. Suppose 0*v - 28 = 4*v + 2*y, -11 = 3*v + 4*y. Is v not equal to a?
True
Suppose 11 = 3*b - 2*g, -g + 0*g = 4. Let q be (2/(-3))/((-6)/99). Suppose -3*d + 4*d = q. Is d < b?
False
Let k be (-11)/((-55)/10) - (-80)/(-38). Is -1 smaller than k?
T