-3 + 4 + 4/(-3))*-3. Let w be (-7 + 10)/(u - 0). Suppose 3*m = m + 4. Which is smaller: w or m?
m
Let s be (28 - 132)*1/(-2). Which is greater: s or 53?
53
Suppose 0*m + 2*m + 4 = 3*l, l - 7 = -5*m. Suppose 9 + 7 = l*s. Let h be 1*60/8 + -8. Is h not equal to s?
True
Suppose -2*f - 2*c = 6, 6 = 4*c - 2. Let t be (-9)/((-46)/(-8) + f). Which is smaller: -1/9 or t?
t
Let t(b) = 5 + 0*b + 0*b - 2*b + 4. Let h be t(10). Let q = 12 + h. Which is bigger: q or -1/6?
q
Let y be 2 + (1/(-1) - 10). Let v be 2 + -6 + (-33)/y. Which is bigger: -9 or v?
v
Let o(h) = -2*h - 13. Suppose -3*q = -0*k + k + 20, 10 = -k - q. Let c be o(k). Let l(j) = j**2 + 5*j + 6. Let x be l(c). Do x and -2/21 have different values?
True
Suppose -g - 16 = 4*d, g + 2*d = 3*g - 18. Let z be g + 2/(44/(-86)). Which is bigger: -0.1 or z?
z
Let z = -21 - -64. Let d = -64 + z. Let p be (-33)/d + 15/35. Which is greater: -7 or p?
p
Let s = 35.106 + -39.96. Let r = -0.206 + s. Let x = -5 - r. Which is bigger: 1 or x?
1
Let f(o) = -6*o**3 - 3*o**2 - 2*o. Let y be f(-2). Let v be y/(-16)*(-2)/5. Is v <= -25?
False
Let l be (-2)/(-4) - (-27)/18. Suppose 0 = l*y + 4*o - 14, 0*o - 2 = -5*y + o. Suppose i + 2*i + 4 = 5*s, 10 = 5*i. Which is smaller: s or y?
y
Let x(g) = 10*g + 14. Let o be x(-5). Let h = o - -39. Which is smaller: 6 or h?
h
Let y = -6 + 15. Suppose -n - q - 9 = -45, -4*n = 3*q - 142. Let t be (3 - (-28)/(-10)) + n/5. Are y and t equal?
False
Let s(f) = f**2 - 3*f - 4. Let g be s(4). Let z = 1631/4 + -397. Let b = -551/52 + z. Does g = b?
False
Let p be 9*(-5)/(-15) + -6. Let b be (0 + p)*(5 - -1). Let m = -20 - b. Which is bigger: 1 or m?
1
Let v be 3/(-18) - 50/60. Suppose 0 = -3*p - f - 1190, -2*f + 784 = -2*p + 2*f. Let t be p/187 + (1 - v). Is 0 != t?
True
Let g be 4 - (3/(-60)*-177 + -4). Let d = 5/4 + g. Is d <= -1?
False
Suppose 0 = -2*g + p + 5, 0*g = 4*g + 4*p - 4. Let c be (-4 + g + -13)*4/190. Is 1 at least c?
True
Let o be (-48)/5*40/(-16). Which is smaller: 22 or o?
22
Let s(x) = x**3 + 4*x**2 + 2*x - 4. Let u be s(-3). Is -45 smaller than u?
True
Let s = -199/140 + -33/28. Suppose 4*v + 2*t = t - 24, 0 = 5*v - t + 21. Let n be 4/v*(3/2 - -1). Which is smaller: n or s?
s
Let q be 1/(59/245) - (-52)/(-13). Is q > -1?
True
Let d = -257 - -257. Is d greater than 2.3?
False
Let y = -1 + 3. Let i = -0.081 - -5.081. Let v = i + -5.2. Is v >= y?
False
Suppose -4*n + 32 = -0*n - 3*b, 3*n - 5*b - 35 = 0. Suppose n*x - 234 = 3*l + 438, 5*l = 4*x - 548. Let j = -269/2 + x. Is j equal to -3?
False
Let b = 2.24 - -6.76. Is b greater than -16?
True
Let d = -72 + 84. Which is greater: d or 0?
d
Let s = 2 + -1.8. Let u = -2684 - -2669. Which is smaller: u or s?
u
Let z = -20584 + 576271/28. Let h = z + 13795/4788. Are -1 and h equal?
False
Let t = 45 - 17. Let a = 41 - t. Which is bigger: 0.2 or a?
a
Let o = -736 + 725. Let q(l) = l**3 - 9*l**2 + 7*l - 2. Let j be q(8). Which is bigger: j or o?
j
Let z = 632 + -646. Suppose 4*g + 9 = -47. Is g <= z?
True
Suppose 178 = 2*z + 3*k, -2*z + 11 = 2*k - 163. Let g = 66 - z. Which is greater: -13 or g?
-13
Let h be (-3)/(-4)*(-32)/(-2552). Which is greater: h or 0?
h
Let r be (-638)/957 - 1*4/(-6). Let q = -14044/1291 - -118692430/91661. Let k = 1284 - q. Is r at least as big as k?
True
Suppose 4*n + 2*b - 46 = 0, 0*b + 31 = 4*n - b. Suppose 3*w = n - 75. Is w less than or equal to -21?
True
Let x be (-105)/8 - (7 + (-285)/40). Which is bigger: -10 or x?
-10
Suppose 0 = o - 5*n + 14, -5*o - 2*n = n + 182. Is -34 equal to o?
True
Suppose 3*k + 1 + 1 = 5*i, -5*i = -k - 4. Suppose -b + i = 2. Let f be 4/(-14) + 20/(-35). Is f > b?
True
Let n be (-24)/(-20)*-5*2/(-12). Let h = 8/61 + -226/793. Which is smaller: n or h?
h
Let n = 13 + -10. Let v be (n/2)/(2/4). Suppose -4*m + 2*c = m + 6, -9 = 2*m - v*c. Does m = -2/25?
False
Let r = -0.16 - -0.26. Let n = -0.01 + 7.01. Let q = n - 7.1. Is r < q?
False
Let u = 1 - -5. Suppose -4*r = w - 16, 2*w + 9 + 19 = 4*r. Suppose 41 = r*t + 6. Is u less than or equal to t?
True
Let x be ((-91)/(-49))/((-264)/(-14)). Let z = x + 3/44. Is 2/11 at least z?
True
Let d be 338/10 + (-57)/(-19). Which is smaller: d or -2?
-2
Let u = -1240 + 1219. Which is smaller: u or 7/3?
u
Suppose -358 = -5*s - 113. Suppose -a - 4*g = 14 + 6, -5*g - s = 2*a. Let i = a + 94/3. Which is smaller: -3/5 or i?
i
Suppose 66*x = 60*x - 6. Is x less than -9/10?
True
Let x = 13 - 18. Let r = x - -8. Let q be -3 - 2 - 63*(-1)/13. Do r and q have different values?
True
Let f = 9.34 - 9.36. Is -34 at least f?
False
Let c be (-60)/(-166)*(-5)/(50/4). Which is smaller: c or 2/7?
c
Let c(y) = y**2 + 2*y + 51. Let n be c(0). Let z = -50 + n. Which is smaller: z or -3/19?
-3/19
Let i be (-36)/(12 - 10) + -3*1. Is -16 > i?
True
Let q(l) = l**3 - 8*l**2 - 10*l. Let f be q(9). Let d be f/6 + (-3)/(-2). Let j = -1339/1614 + -1/269. Is d not equal to j?
True
Let l be (27/(-20))/(12/(-10)). Suppose -51*f = -42*f. Is l smaller than f?
False
Let r = 4 + 51. Let g = r - 13. Is g greater than 43?
False
Let n(t) = 4*t + 13. Let o be n(-13). Let x = o + 47. Are x and 9 nonequal?
True
Let l = -34.15 - -0.15. Let g = l + 33.9. Are -8 and g nonequal?
True
Let y = -43.1 + 3.3. Let q = -40 - y. Is -1/9 < q?
False
Let o = 8 - 3. Suppose 3*k + 22 = -o*z, 0 = 2*k - z - 9 + 2. Let n be k + -2 - 10/(-8). Is -0.4 <= n?
True
Let q be (-2)/3*36/15. Suppose -83*j - 57 = -140*j. Which is bigger: j or q?
j
Let b be 3 + 13 + (-3 - -3). Let j = b - 16. Let m be (-106)/72 + (-6)/(-27). Which is smaller: j or m?
m
Suppose 6*x - 3 = 21. Suppose 0 = j + x*j - 120. Suppose 5*z - 1 = j. Does 4 = z?
False
Let f(p) = -p**3 - 14*p**2 - 12*p + 17. Let i be f(-13). Let j be 35/(i + 1) + -2. Which is greater: 15/4 or j?
j
Let f be (-348)/10680 - ((-9)/(-6))/(-3). Let v = 6/89 - f. Is v at least as big as 53?
False
Let x(r) = 2*r + 17. Let w(o) = 7*o**3 - 2*o**2 - o. Let z be w(-1). Let a be x(z). Suppose 3*u = -5*s + 13, a = -2*s - 0*s + 5*u. Is s bigger than 0.1?
True
Suppose 2*j = -2*b - 11 - 3, -b - 2*j = 5. Which is smaller: b or -14?
-14
Let w = 6.76 - -0.24. Let t = 7.03 - w. Let c = -0.02 + t. Is c <= -1?
False
Let r be 1166/55 + (-2)/10. Let s be 6/9 + r/(-18). Is s equal to 0?
False
Let o(q) = q**2 + 4*q + 4. Let i be 1/(-3)*-6*-2. Let v be o(i). Let t be (-6)/4*v/11. Is t < -2?
False
Suppose 845*v - 839*v + 6 = 0. Which is smaller: v or 1/837?
v
Let r be -1*1 + (-7 - (-84)/10). Is -1 < r?
True
Let d = 654 - 646. Which is bigger: d or 5/7?
d
Let i be -3 + 6518*(-5)/(-55). Let m = 590 - i. Which is bigger: m or -1?
m
Suppose -g - 3 = -10. Let z(f) = -2*f + 30. Suppose 55 = 110*w - 105*w. Let v be z(w). Which is bigger: v or g?
v
Let p = 133 + -349/3. Is p at least as big as 17?
False
Let u = -284 + 190. Let q = 90.9 + u. Is q <= 0?
True
Let w be 1*(3/2)/(-3)*-2. Is 2/45 <= w?
True
Suppose -19*p + 14*p - 626 = -2*d, 4*d - 1236 = 2*p. Is d at least as big as 1/2?
True
Let w = 0.042 + -26.042. Let g = -26.41 - w. Which is bigger: g or -1?
g
Let t be (-176)/28 + 2 - 2/(-7). Which is smaller: 30/7 or t?
t
Let x(c) = -c**2 + 6*c + 18. Let z be x(8). Suppose 0 = -2*u + 3*m, u = 3*u + z*m. Let q be 12/(-63)*(-1)/(-2). Which is smaller: q or u?
q
Let h = -98 + 100. Let s be (-39 - (6 - h))*1. Which is smaller: -44 or s?
-44
Let l(g) = -g**2 - g - 1. Let d be l(-1). Suppose 3*v = 5*q + 22, 2*q + 2*v + 135 - 139 = 0. Which is smaller: d or q?
q
Let c(b) = -b**2 + 10*b + 1. Suppose -p = p - 44. Let a be 40/6*33/p. Let q be c(a). Which is bigger: q or 4/7?
q
Let l be 15/(900/130) + (-4)/(-3). Is l greater than -0.3?
True
Let j = 0 + -0.03. Let q = j - 26.97. Let o = 35 + q. Is 0.1 at most o?
True
Let s(d) = 13*d + 200. Let h be s(-14). Which is smaller: h or 88/5?
88/5
Let z = 4 - -1. Suppose 0 = 5*j + 2*j - 490. Let n be 1 + -4 + j/21. Which is smaller: z or n?
n
Let n(r) be the second derivative of -r**3/6 + 7*r**2/2 - 24*r. Let i be n(6). Is 0 > i?
False
Suppose -l - 5*i - 86 = 0, 0 = 4*l + 5*i + 252 + 47. Is -71 != l?
False
Suppose 5*l + 2 = 27. Let q be (-1)/4 - (-13)/4. Suppose q*x + 0*p = -5*p + 18, -p - 2 = -l*x. Which is smaller: -11 or x?
-11
Let q = 3244/11 + -295. Is q greater than or equal to 0?
False
Let f = -99 - -157. Suppose -f = 9*s - 283. Is s at least as big as