l?
False
Let i be (-4)/(-8) - 47/38. Suppose 18*n + 32 = -4. Do n and i have the same value?
False
Suppose -4*m + 954 = -13*m. Which is smaller: -105 or m?
m
Let a = -33 + 11. Let h = a - -25. Suppose -4 = -4*q + h*q. Which is smaller: q or 3?
3
Let z be 135/(-315) + (-6)/(-14). Is z at most -11/70?
False
Let x = -28 - -2. Do x and -27 have different values?
True
Let c = -537 + 541. Let x(u) = 50*u**2 - u + 1. Let i be x(1). Suppose 0 = k + c*k - i. Which is bigger: k or 21/2?
21/2
Let i = 65 - 56. Suppose -12*t + i*t = 0. Which is smaller: 1/43 or t?
t
Let i = 0.9 + -1. Let y be 0/(-1) + ((-200)/(-6))/(-2). Let j = y - -16. Is i >= j?
True
Suppose -y + 0 = -20. Let x(m) = -2*m - 46. Let d be x(-24). Suppose h = d*l + 10, 2*h - y = -3*h + 4*l. Is h at most 1?
True
Let r = 0.91 - -0.19. Let o = 0.4 - r. Let t = -0.6 - o. Is t < -0.1?
False
Let q = 42 - 41. Let f = -1/100 - 6/25. Which is smaller: q or f?
f
Let l = 34 - 89. Let g be 171/(-33) + (-10)/l. Let f be 2/(-6)*g/5. Is 0.2 smaller than f?
True
Let t = -4.05 + 0.05. Let k = -4.8664 + -0.1336. Which is smaller: k or t?
k
Let a = 10.74 - 10. Let m = -0.32 + a. Let d = m - -17.58. Which is greater: d or -0.1?
d
Let n = -325/3 - -3731/33. Which is smaller: 5 or n?
n
Let w be ((-105)/10)/(-7)*12/(-66). Which is greater: w or 1?
1
Let o = 6 + -11. Let j(b) = b**3 + 5*b**2 + 4*b + 2. Let n be j(o). Let r be (-3)/(3/(-1)) + n. Which is smaller: -18 or r?
-18
Let a be 6/(-27) - (0 - (-6164)/126). Let r = a - -49. Which is smaller: -1.2 or r?
-1.2
Let o = -466.94 + 471. Let p = 4 - o. Is -2/7 at least p?
False
Let s = -719 - -720. Which is smaller: -0.213 or s?
-0.213
Let r = 2.3 + 1.7. Let w = r + 14. Let t = -0.4 + 0.3. Is w greater than or equal to t?
True
Let l(a) = 9*a**2 - 37*a - 178. Let u be l(-11). Which is smaller: u or 1319?
u
Let y(v) = v + 11. Let r be y(-17). Is -70/11 at least r?
False
Let u(n) = -n + 6. Let r be u(4). Suppose a - 5*a = r*p + 4, -2*a - 6 = 2*p. Let w = a + -5. Which is greater: w or -2?
-2
Let s be (12/(-9))/((-3)/(-81)). Let m(g) = g**3 + 4*g**2 + 3*g + 3. Let t be m(-4). Let v be 10/8 - t/s. Is v greater than -2/39?
True
Let w = 4 + -5. Let x(m) = m**3 + 5*m**2 - m - 4. Let f be x(-4). Let q = 5 - f. Is w less than or equal to q?
False
Suppose 0 = -4*u - 7 + 11. Let i(y) = -36*y + 0*y**2 - u + 36*y + 2*y**2. Let n be i(-2). Which is greater: n or 13/2?
n
Let y = -327 + 326.8. Which is greater: y or -13?
y
Let o = -728.57 - -729. Is 0.7 >= o?
True
Let f = 0.6 + -15.6. Let q = f - -16. Which is greater: 0.22 or q?
q
Suppose -2*g + 2*l + 4 = 3*l, 3*g + 1 = 2*l. Which is smaller: -1/60 or g?
-1/60
Let b = 6 - -14. Let m = -21.104 - -0.104. Let y = m + b. Which is smaller: y or 1/5?
y
Let o be ((-2)/(-12))/(66/(-11484)). Suppose 0 = -s - 3*s + 3*u - 119, 0 = 2*s - 3*u + 61. Is s bigger than o?
False
Let a(p) = p**3 + 2*p**2 - 10*p - 9. Let c be a(-4). Which is greater: c or 305?
305
Let k = -8.052 + 8. Let m = k - 0.048. Is -2/17 at least m?
False
Let m = -37.052 - -0.052. Let w = m - -40. Which is smaller: w or -0.4?
-0.4
Let r be 1 - (1 + -1 + 0). Let y = -228979/949 - 260/73. Let g = y - -245. Is g greater than or equal to r?
False
Suppose 0 = -5*t + 2*t + 15. Let h be -3 - (3 - 11*(-5)/(-5)). Let c be 5*(h + 885/(-175)). Which is greater: c or t?
t
Suppose -2*d - 3*l + 71 = 0, -l = 3*d - 4*l - 69. Suppose -27*i - 1 = -d*i. Let n be (37 + i)/(18/3). Is n >= 5?
True
Let k be 83/(-7) + 168/(-1176). Suppose 3*o = 21 - 57. Do o and k have the same value?
True
Let z = -0.2 - 33.8. Let n = z - -50. Let w = n - 18. Is 1 <= w?
False
Let x = -0.00811 - 22.01989. Let c = -0.028 - x. Let k = c - 23. Is 2/3 > k?
True
Let b = -32.4 - -37. Let o = -13.4 - b. Which is smaller: o or 2/3?
o
Let n = -1133 + 1775. Let q be n/(-54) - 2/18. Suppose -2*a - 28 = -0. Is a >= q?
False
Let z be 45 - 8*5/10. Let n = 43 - z. Is 2 smaller than n?
False
Let g(u) be the third derivative of u**6/120 + 13*u**5/60 + 13*u**4/24 - u**3 + 6*u**2. Let c be g(-10). Let o = -1146/7 + c. Is o at most 1?
True
Let j = -2/113 - 1009/452. Suppose -2*h = 2*p - 6, 4*h - 5*p + 27 = 3*h. Which is smaller: h or j?
j
Let o = 14 + -15. Suppose -t + 5*x = t + 743, 5*x = -5*t - 1805. Let d = t - -9826/27. Is o smaller than d?
True
Suppose 2*s + 3*f = -31, 4*f + 32 - 36 = 0. Suppose 4*u + 171 = 47. Let a = u - s. Which is smaller: a or -13?
a
Let q(w) = -7*w - 4. Let a be q(-5). Suppose -s - 4 = 0, -5*g + a = 4*s + 122. Let l be g/(-6) - (-3)/(-2). Are -2/19 and l unequal?
True
Suppose o = -2 - 1. Let p be (o/21*-1)/(-4). Let m = 302 + -301. Is m > p?
True
Let g be -5*2*(-3)/10. Suppose -2*n - g*n = -35. Which is smaller: n or 31/5?
31/5
Let y(s) = s**2 + 2*s - 8. Let p be y(2). Let r = -1657 - -329741/199. Which is smaller: r or p?
r
Let l be (1408/210)/2 - 2. Let p be 48/(-45) + 0 - 0. Let i = l + p. Is i not equal to -1?
True
Let b(j) = -2*j**2 + 5*j + 58. Let o be b(8). Which is smaller: o or -32?
-32
Let k = 311.2 + -310. Let q = 0 - 1. Which is bigger: k or q?
k
Let z(l) = l. Let h be z(2). Suppose -4*p + 2*a = 14, p + 3 = h*a - a. Let u(c) = -c**2 + 4. Let n be u(p). Which is bigger: -11 or n?
-11
Let g = 0.2228 - 0.2128. Which is smaller: 7.2 or g?
g
Let u(s) = s**2 + 4*s - 5. Let c be u(-5). Suppose c = 3*x - 8*x + 15. Which is greater: x or 7/3?
x
Let o be (-462)/70 - ((-12)/5)/(-6). Are o and -122 non-equal?
True
Let y(t) = -t**3 + 19*t**2 - 26*t + 18. Let a be y(9). Which is smaller: 596 or a?
a
Let j(a) = -70*a + 634. Let q be j(9). Which is greater: 8 or q?
8
Let z = 392 - 393. Are -2/137 and z unequal?
True
Let m be (-6953)/(-5726) + (1/(-1))/1. Suppose -t + 4*u - 16 = 4*t, -2*t = 2*u - 8. Is t at most m?
True
Let t be (-30 - (-20)/(-5))*-1. Let y be 3*22/t + -2. Is y > 0?
False
Let w = -5.99 - 0.11. Let i = w + 6. Is -5/9 smaller than i?
True
Let n be (-2718)/126 - -21 - (-17)/(-7). Let d be 1/2 + 15/2. Let f be (-52)/d - 2/4. Is f != n?
True
Let x = -15.3 + -3.6. Which is smaller: x or 1?
x
Let m(c) = -60*c - 18. Let j be m(-13). Let a = -28192/37 + j. Is 0 > a?
False
Let a(f) = -f**3 + 18*f**2 - 15*f - 33. Let d be (-1 + -16)*(-5 - (-8)/2). Let p be a(d). Do p and -3/14 have the same value?
False
Let m = -412 + 390.9. Let b = m - -21. Which is smaller: -3 or b?
-3
Let d = -54/17 + 520/153. Let b be (-34)/2 + (-4212)/(-234). Is b >= d?
True
Let m = 6/3077 - 9544/1738505. Is m bigger than 0?
False
Let a(k) = 4*k - 9. Let v be a(3). Let x = 7 + v. Is 1 smaller than x?
True
Let g(w) = -6*w - 9. Let y be g(6). Let b be y/57 - (-10 - -9). Let n be 3/(-6)*(-1 - 1). Which is greater: b or n?
n
Let u(i) = i**3 + 4*i**2 + 2*i + 6. Let s be u(-4). Let f be (-14)/(-7)*1/s. Is 2 < f?
False
Let o = -8 + 12. Let u(c) = 2*c - 9. Let n be 2 - ((-1 - 3) + 0). Let k be u(n). Which is smaller: k or o?
k
Suppose -6*x + m + 5 = -4*x, -2 = -2*x + 2*m. Suppose -1 = -4*a - 9, -4*r + 344 = -x*a. Let y be r/(-45) - (0 - 2). Is y < 1?
True
Let z = -545 - -353. Let t be 8/2 + 408/z. Which is bigger: t or 3?
3
Let a be 2 + -2 + 2 + 1. Suppose -2*b - a*b - 5 = 0. Let s be b/6 + (-15)/(-36). Which is bigger: -3 or s?
s
Let l = -1156.5 - -1157. Which is smaller: -1.48 or l?
-1.48
Let y = -26 - -16. Let i(d) = d + 7. Let h be i(y). Which is smaller: -7 or h?
-7
Let o(d) = 6*d**2 - 14*d - 32. Let c be o(13). Which is smaller: c or 798?
798
Suppose 5*c + 311 + 559 = 0. Let j be 1/6 + c/828. Is -0.1 bigger than j?
False
Let h be 2/(-6) + 60/126. Suppose -s - 5*w = -62 + 36, 0 = -4*s - 4*w + 24. Which is smaller: h or s?
h
Let z = -1.385 - -0.385. Which is smaller: 92 or z?
z
Let y = 0 + -0.1. Let w = -0.08 - 0.14. Let m = w + -1.78. Which is smaller: m or y?
m
Let s be 416/140 - (-2 - -3). Let o be 18/14 + -1 - 38/(-133). Let h = s - o. Which is smaller: h or 2?
h
Suppose 0 = 5*z, -3 + 2 = a + 5*z. Let o be 3/(-4*4/(-32)*-2). Which is smaller: o or a?
o
Suppose 7*y + 300 = 2*y - 5*j, 0 = 4*y + j + 255. Let w be 2 + y/35 + 0. Which is smaller: w or 0?
0
Let q be (-960)/50*60/12. Is q not equal to -97?
True
Let z = 629/80 - 148963/560. Suppose 0 = -t + 4*t + 3, 5*t + 519 = -2*o. Let b = o - z. Which is smaller: b or 2?
b
Let l = 18 - 25. Let o be 4/(-6) + 66/18. Suppose -o*r + 6 = -4*r. Is r bigger than l?
True
Let u(a) be the first der