ter: w or 6?
w
Suppose t - 3*t = 14. Let c be 12/8 + -2 + t/(-6). Is -78 greater than c?
False
Let p = 963 + -95338/99. Which is smaller: 1 or p?
p
Let w(d) = d**2 - 9*d + 12. Let j be w(8). Suppose 3*r - 3*y + 12 = -6, 0 = -j*r + 2*y - 20. Let t = -1 - 2. Are t and r unequal?
True
Suppose 68 = 3*z - 34. Let u be -4*(z/(-8) + 3). Which is greater: 2 or u?
u
Let c(d) be the first derivative of -d**2/2 + 15*d + 3. Let m be c(15). Let g(r) = -r**3 + 3*r**2 + 1. Let h be g(2). Is h >= m?
True
Let l(o) = 2*o - 5. Let y = 21 - 17. Let g be l(y). Suppose -4*c + 3*i - 21 = 0, -g*c = 4*i - 3*i + 19. Which is greater: -5 or c?
-5
Let r = 923 - 919.904. Let o = r + 0.004. Let x = o + -0.1. Which is smaller: 2/5 or x?
2/5
Suppose 5*s - 10 = -5*x, 0 = 4*x + x. Let b(y) = 7*y**3 - y**2 - 3*y + 5. Let c be b(s). Suppose 3 + 49 = 3*n - 5*l, 3*l + c = 4*n. Is n at most 8?
False
Let c = -4.5 - 3.5. Let u = c + 39. Let h = -32 + u. Which is smaller: h or 0.06?
h
Suppose 3*u - 6*o + 27 = -9*o, 13 = -5*u + 3*o. Let p be -109 - (1 - u - 2). Are p and -113 non-equal?
False
Let x be 4/48*3*(-3)/(-9). Let l = -184 - -176. Which is greater: l or x?
x
Suppose 5*x - 23 = 3*c, -5*c - 2 = 3. Suppose 5*g - 3*v + 0 = -12, 0 = x*g + 5*v - 20. Is 1 less than or equal to g?
False
Suppose -2*u + 5 = 3*m, 4*m - 2 = 2*u - 0*m. Which is bigger: u or 1/296?
u
Let d = 228 - 227. Which is smaller: d or 3/56?
3/56
Let k(b) = -2*b + 7*b - 6*b - b**2 + 2*b**2 - 7. Let i be k(0). Suppose -2*z - 3 = t, -3*t + 5*z - 19 - 12 = 0. Is t bigger than i?
False
Let d = 7477 + -7470.901. Let b = d + -0.099. Is 9 less than b?
False
Let j = -7.8 + 4.8. Let u = j - -3.7. Let b = -17 - -117/7. Is b at most as big as u?
True
Let g = -20102/7 - -2880. Let r = -1123/133 + g. Does 1 = r?
False
Let j = -5.4 - -5.4. Let t(z) = z**3 - 11*z**2 - 9*z - 12. Let u be t(12). Suppose 3*k + u = 7*k. Which is bigger: j or k?
k
Let t = 236 - 237. Are -1.7 and t equal?
False
Let j = 181.858 + -180.9. Are j and -1 unequal?
True
Let o(k) = -5*k + 166. Let d be o(23). Is 47 < d?
True
Let p = 322 - 4188/13. Let q = -2.7 - -3. Is q at most as big as p?
False
Let f = -15 + 24. Suppose 6*n + f = -3*n. Is n != -0.021?
True
Let m = 1854 - 2043. Which is smaller: -946/5 or m?
-946/5
Let s be (188/(-174))/(126/378). Which is smaller: s or -2?
s
Let b = -60 + 117. Do b and 292/5 have the same value?
False
Let l = -3 + 9. Suppose -5*p + l = -3*p. Suppose 0 = -3*x + 18 - p. Which is smaller: x or 15/4?
15/4
Let i = 1.2 - 0.67. Let d = i + -0.31. Is d > 1/3?
False
Suppose 4*i - 5*a + 6 = 0, 4 + 5 = i + 4*a. Which is bigger: -1/983 or i?
i
Let a(f) = 2*f - 11. Let y be a(9). Let m be (-30)/(-3*(-2)/(-3)). Suppose 6*w = 3*w + m. Is y less than w?
False
Suppose -4*h = -33 + 21, 4*o - 2*h + 14 = 0. Which is greater: -18/7 or o?
o
Let o(n) = -n + 17. Let h be o(9). Let z = h - 17. Is -9 at most as big as z?
True
Let m = 23 + -53. Let n be (-26)/m - 1/5. Let v be 2 + 0 + 5/(-2). Is v >= n?
False
Let o = -1064 + 1064. Which is greater: -11/19 or o?
o
Suppose 2*q + 12 = 3*q. Let x be (2/q)/(5/45). Let n = 7/6 - x. Is -1 greater than or equal to n?
False
Let z = 198 - 197.895. Which is greater: 2 or z?
2
Let n = -72 + 77. Let t be ((-1)/(-4))/(3/(-24)*n). Do t and -0.08 have different values?
True
Let m = 120.9266 - -0.0734. Which is smaller: 0.2 or m?
0.2
Suppose -5*f = 419 - 579. Is f >= 0.35?
True
Suppose 0 = -2*p + 2*f + 28, -5*f + 29 - 89 = -4*p. Suppose h + r + p - 3 = 0, -3*h = -4*r - 7. Is h < -6?
False
Let f = -367/3 + 119. Let z(d) be the first derivative of d**4/4 - 8*d**3/3 - 4*d**2 - 11*d + 6. Let y be z(9). Are y and f non-equal?
True
Let n be (2/(-8))/(146/24). Which is bigger: 3 or n?
3
Let f = -0.005 - -21.005. Let k = 21 - f. Let i = -4 + k. Do i and -1 have the same value?
False
Suppose 2*p = -5*a + 2182, -3*a - 3*p + 1303 = -8*p. Let y = 18750/43 - a. Suppose x + x = -2*m - 8, 4*x - 4*m - 8 = 0. Which is bigger: y or x?
y
Suppose 3*r - 16 = 2*w - 17, -3*r = 3*w - 24. Let f = 0.6 + 8.4. Is r bigger than f?
False
Let y = 15 - 15. Suppose 2*v + 6 = 4*w, -4*w + 0*v + 5*v = -9. Let h = y + w. Which is smaller: -1/9 or h?
-1/9
Let v(x) = 8*x + 216. Let d be v(11). Which is bigger: d or 303?
d
Let n be ((-1 - 1)*372)/((-1289148)/336). Let p = -26/149 + n. Is p at least 0?
True
Let n be -2 + (-1054)/40 - (-116)/(-290). Which is bigger: 0.1 or n?
0.1
Let q(i) = 2*i**2 + 7*i + 5. Let t be q(-3). Do t and 0 have the same value?
False
Let n = 83 + -25. Let p(d) = -d**3 - 10*d**2 - 11*d - 10. Let b be p(-9). Suppose b = 2*i + n. Is -25 less than i?
False
Let z be 0 + 0 - (54 + -53). Is 5/24 smaller than z?
False
Let r(w) = -w**3 + w**2 - 6*w + 1. Let l be r(-6). Let v = 7881/28 - l. Let x = v - -29/4. Which is bigger: x or -1?
x
Let k = 9986527/744097 - -2/39163. Which is bigger: 14 or k?
14
Suppose -o + 6 = 3*s, -10*o + 5*o - 8 = -4*s. Let g be 233/(-77) - -3 - 0. Which is bigger: o or g?
o
Let d = 9.6 - 9.547. Let y = d - 0.453. Is 13 equal to y?
False
Let r = 5.47 + -5.47. Which is greater: 214 or r?
214
Suppose 25 = 5*b - 5*y, 4*b = -10*y + 9*y. Which is smaller: -2/299 or b?
-2/299
Let i be 5/30 - 68/192. Let q = 2 + -2. Which is bigger: q or i?
q
Suppose -4*z + 2*l - 24 = 0, 2*l - 5*l = 3*z. Let i be 4/30*(-12)/z. Let x(o) = 12*o + 36. Let w be x(-3). Is i != w?
True
Let c be 46/(-6) - 1/(-3). Let k be (-53)/8 + 135/(-360). Which is greater: c or k?
k
Let b(d) = 9*d - 44. Let c be b(5). Let s be 9/(-4)*(-16)/20. Which is smaller: c or s?
c
Let x = 567 - 2283/4. Is -3 bigger than x?
True
Let t = -633 + 633.12. Which is smaller: t or 32?
t
Let d = 3875093/25595 - 2/5119. Let x = d + -152. Is x >= -6?
True
Let t be ((-104)/(-26) - (-172)/(-42))*9. Suppose 7*k = 3*k - 8. Which is smaller: k or t?
k
Suppose 395 + 103 = -140*d + 638*d. Suppose -r + z = -0*r - 6, 3*r + 2*z - 3 = 0. Let t(j) = -j. Let u be t(r). Is u greater than or equal to d?
False
Let y = -163594/5313 - 13/483. Which is smaller: -30 or y?
y
Let s(i) = i**3 + 2*i**2 - 4*i - 3. Let h be s(-3). Let l(y) = 4*y**2. Let p be l(-1). Suppose -2*f - 7 = 2*f + 3*t, -5*f - p*t = 10. Is h bigger than f?
False
Let w = 21 - 15. Suppose -m = w*m. Which is smaller: m or -0.4?
-0.4
Let r = -41 + 41.038. Is r at least as big as 2/9?
False
Let x = 10 + -32. Let k = -727/6 - -243/2. Which is smaller: x or k?
x
Suppose c - 3*c - 88 = 0. Which is smaller: -38 or c?
c
Suppose -277 = c - 3*h, -4*c - 470 = 5*h + 587. Is c < -269?
False
Let q = -0.19 + 0.04. Let j = -4477 + 85065/19. Which is smaller: q or j?
q
Suppose -7*v = 31 + 46. Which is smaller: v or -106/9?
-106/9
Suppose -3*f - 11 = -4*f + 5*r, 0 = 2*f - 2*r - 14. Let o be f/21 + (-176)/28. Let c be ((-4)/8)/(o/39). Which is smaller: 2 or c?
2
Suppose 6*w - 5*u - 15 = w, -5*w = -2*u - 9. Let q(y) = -27*y**3 + y**2 - y. Let n be q(w). Let i be 9/n + (-49)/(-165). Is i less than or equal to 1?
True
Suppose 0 = 130*t - 131*t - 128. Let u be -8 - -8 - 2308/(-18). Let q = t + u. Do -7 and q have the same value?
False
Let a(x) = 2*x**3 - 3*x**2 + 3*x + 3. Let m be a(2). Suppose 12*g = m*g + 2. Which is smaller: 0 or g?
g
Let z = -36.7 - -42. Let a = z - 27.3. Let k = 21.9 + a. Is 1 greater than or equal to k?
True
Suppose 3*d - 12 = 0, 0*d + 4*d - 23 = -l. Suppose -4*q = -l*q + i + 7, -2*i = 5*q + 3. Is q smaller than 1/15?
False
Suppose -5*m - 8 = -m + 2*t, 3*m - 3*t = -24. Let l(s) = -6*s + 1. Let w be l(m). Which is greater: 23 or w?
w
Let c be -2 + (-4)/2 + 1 + -2. Let n = -19/3 - c. Suppose 5*a - 2*f = -14, 4*a - 2*f + 6 = 3*a. Which is greater: n or a?
n
Let c(i) = -i**3 - 9*i**2 + i + 11. Let d be c(-9). Let j(n) = -n - 9. Let m(b) = 1. Let x(g) = -j(g) + m(g). Let l be x(-9). Is l at least d?
False
Let b = 451 - 524. Is b >= -78?
True
Suppose -2*t - 66 = -u, 99 = -3*t + 4*u - u. Suppose 61*n + 1612 = 9*n. Which is smaller: n or t?
t
Let m(b) = 11 - 7 - b + 7. Let k be m(9). Suppose 0 = 3*g + 4*v - 26, 2*g = 7*v - k*v + 2. Are 6 and g unequal?
False
Suppose 5*h = 5*q - 140, 3*q - 79 = -3*h + h. Let s be 6/(1 + -2 - (-30)/q). Is s > 55?
False
Let d = 0.7 + 0.3. Suppose 43*z - 171 = 40*z - a, -z = -4*a - 31. Which is smaller: z or d?
d
Let p be -6*6*1/(-14). Let s = p + -79/28. Is s not equal to 2?
True
Let p be 2/(-7)*-7 - (-4 - 