2*w + 7. Let j be q(b). Which is greater: h or j?
h
Let d be -1*(-2 + 490/7). Which is smaller: d or -65?
d
Let f = 84.909 + 0.091. Do -0.1 and f have different values?
True
Let m(u) = -8*u - 27. Let a be m(-5). Let b(y) = -2*y + 26. Let h be b(a). Is 0 at least h?
True
Let p be (-2)/(-2) - 38232/210. Let o = -181 - p. Which is smaller: 1 or o?
o
Suppose 6 + 9 = -3*f. Let h = 426 + -2157/5. Is h less than or equal to f?
True
Let y be 7876/(-56) - 2/(-14). Which is smaller: y or -142?
-142
Let x = -1886/3 - -629. Which is bigger: x or -246?
x
Let n = 0.134 + -0.914. Which is greater: 2 or n?
2
Let l be 1 + (-6)/(-4) - (-9)/(-3). Do 43 and l have different values?
True
Let j(u) = -4*u - 29 + 686*u**2 + 3*u - u**3 - 706*u**2. Let r be j(-20). Is r less than or equal to -42/5?
True
Let t = 4003/4 - 1001. Which is smaller: 0.4 or t?
t
Let p(i) = -3*i + 56. Let b be p(18). Suppose 26 = -4*h + o, 2*h + b*o + 8 = -0*o. Which is bigger: -5 or h?
-5
Let n = -1271/7 - -181. Is -6/13 < n?
False
Suppose -s = 4*h - 1, -7*s + 10*s + h = 14. Which is smaller: s or 36?
s
Let d = 403 + -429.1. Let l = 26 + d. Do l and -7 have different values?
True
Suppose 15*c - 340 = 1145. Is c less than or equal to 99?
True
Suppose 4*v - 28 = -p + 5*p, 0 = 4*p + 8. Suppose v = -0*o + o. Suppose -7*q + 2*q + 5*g - 25 = 0, -21 = 4*q - o*g. Which is bigger: 0.1 or q?
0.1
Let y = -5/101 - -1580/1313. Which is smaller: y or 2?
y
Let w = 8052/35 - 230. Suppose -1925 = 7*v - 560. Let q be 221/v - 2/(-15). Is w smaller than q?
False
Let b(m) = 4*m - 12. Let k be b(3). Suppose -2*h + 0 - 82 = k. Is h bigger than -41?
False
Let q = 4.5 + -3.5. Suppose 0 = 3*n - 13*n + 180. Is n equal to q?
False
Suppose 0 = 2*o - 5 + 37. Which is greater: o or -21?
o
Let h be (-1)/(-1) + (-75)/(-5). Suppose -h = 8*y - 4*y + 4*t, -19 = 4*y + 5*t. Let c = 153/4 - 38. Which is smaller: c or y?
y
Let c(s) = s - 1. Let t(l) = -2*l - 20. Let u be t(-10). Let w = u - -2. Let p be c(w). Is -1/12 <= p?
True
Suppose 232 = -7*d - 244. Let f = d + 616/9. Suppose -4*p + 6 = 2*v - 2, -2*v = -3*p + 6. Is f bigger than v?
True
Let o be 17*(-589)/(-23188) + (-4)/22. Let i be 2/4 - 38/(-4). Suppose 2*s = 4*l + 6*s + 16, 5*l - 5*s = i. Which is smaller: l or o?
l
Let u(r) = 5*r**2 - 21*r + 6. Let o be u(3). Which is bigger: o or -10?
-10
Let l = -33 - -32.9. Let b = 4.1 + l. Let w = -4.2 - -4. Which is bigger: w or b?
b
Let i be 9/6*(-5)/(-6). Let z be (-6)/(-4) - 393/12*-2. Let c = z - 66. Which is bigger: c or i?
i
Let d = 995.4 + -995. Do -20 and d have the same value?
False
Suppose -3*k = c + 14, -47*c + 5*k + 27 = -45*c. Which is smaller: 12/133 or c?
12/133
Let f be ((9 - 3) + -5)*(-2)/(-6). Which is smaller: 66 or f?
f
Let o be 28*3*3/36. Suppose 2*s = o*s. Suppose 0*a + a = s. Which is smaller: a or -3/11?
-3/11
Let j = 183 + -160. Which is bigger: 18 or j?
j
Let v = 5.88 - -0.12. Let r = 6 - 15. Let q = v + r. Is q at least 0?
False
Let u = -977 + 1257. Which is smaller: u or 281?
u
Let v = -93 + 93.47. Let w = 0.5 - v. Is w greater than or equal to -1/3?
True
Let r = -703 - -35153/50. Which is bigger: 0 or r?
r
Let o(z) = -z + 11. Let k be o(-1). Is 9 bigger than k?
False
Let x be (-6)/(5 + -7)*(-120)/(-14). Let g = x - 26. Which is bigger: g or -69?
g
Let g be -3 + 2 - (-2 - 14). Let w be ((-2)/(-6))/((-350)/g). Which is bigger: w or -1?
w
Let o(q) = 2*q**2 + 21*q - 6. Let a be o(-9). Let w be -9*3/(a - 3). Which is smaller: w or 2?
w
Let d = -3 + 30. Let k be (2/6)/((-9)/d). Let t = 0 + 0. Is k smaller than t?
True
Let j be ((-4)/10)/(1356/(-30) - 3). Which is greater: j or -1?
j
Let u = -73 + 66. Let p = 9 + u. Which is greater: p or 0.07?
p
Let f = 5 - -4. Let q be (-76)/2 + 3/f. Let o = q + 1463/39. Which is smaller: -1 or o?
-1
Let f = -1.5 + 0.7. Let v = f + -0.2. Let z = 5029 + -5029.06. Is z > v?
True
Let m be 2/(-4) - 4121/26. Which is smaller: m or -2?
m
Let q = -1/20829 - 40745/19016877. Is 0 < q?
False
Suppose 0 = 9*p - p - 888. Suppose -2*q - 23 = -p. Which is bigger: 45 or q?
45
Let h = -11908/23 - -518. Is 0 < h?
True
Suppose 0 = -289*w + 301*w + 12. Suppose 3*d - 2 = d. Which is smaller: w or d?
w
Let n(g) = -g**3 - 4*g - 2. Let o be n(-3). Let k = o + -33. Let p be (-7 - -9) + 11/k. Which is smaller: 4 or p?
4
Suppose 4*t = t + 264. Let p be 2 + -2 - t/(-8). Let l be (1/p)/(3/9). Do l and 0 have different values?
True
Let c = -36 + 133. Let g = c + -97. Is 1/2 != g?
True
Suppose -3*p - 2*c = -21, -5*c = 3*p - p - 25. Suppose -3*n = -m + 1, 0*m = n - p*m + 19. Which is bigger: n or 6?
6
Let q(c) = c**3 + 36*c**2 + 2*c - 68. Let y be q(-36). Which is smaller: -137 or y?
y
Let o = -438 - -680. Which is greater: o or 243?
243
Let i be (-4)/(-1)*33/(-12). Let f(h) = h + 14. Let l be f(i). Suppose -1 = 2*j + l*j + b, 4*j - 4*b = 4. Is -8 < j?
True
Let l = -10 + 12. Let w(a) = 2*a**l + a + a**3 + 2 - 2*a**2 + 0*a - 3*a**2. Let t be w(2). Is -2/61 equal to t?
False
Let j be (6/(-18))/(2/(-108)). Suppose 4*x - 3*y = 71, 3*y + j = -5*x + 73. Suppose -5*u + 46 = 5*t - 9, -48 = -4*u - 3*t. Is u equal to x?
False
Let v(p) = -51*p - 260. Let a be v(0). Which is smaller: a or -258?
a
Let w be (59/(-4130))/((-2)/(-32)). Do w and 1 have the same value?
False
Let v(w) = -w**2 + 2*w + 4. Let z be v(3). Let g = 1 + z. Is g equal to 3?
False
Let t(f) = -4*f + 2*f + 6 - 13 + 3*f. Let j be t(13). Which is greater: 7 or j?
7
Suppose 0*w - 48 = -4*w + 4*p, 0 = 5*w - p - 48. Suppose 0 = -5*d - 5, -2*l - 2*d + 51 = d. Let m be -2 - w/(l/(-6)). Is -0.1 != m?
True
Let l be 223/37 - (-198)/(-33). Is l not equal to 1?
True
Let a(m) = 14*m + 445. Let r be a(-15). Are r and 237 equal?
False
Let j = 542 + -941. Let g = j + 3587/9. Which is greater: g or 0?
0
Let f = -25 - -30. Suppose -f*w - 5*b - 25 = 0, -5*w - 27 = -0*w + 3*b. Which is greater: w or -26/5?
-26/5
Let s = 193 + -113. Let f be 3*(s/(-75) + 1). Is f at least -1?
True
Let p = 734 - 626. Is 105 at most p?
True
Let y be 1/(4*(-1)/(-8)). Suppose 0 = y*k + k. Is 3/8 < k?
False
Let u = -2875/6 - -486. Let z = 8261 + -8254. Is z < u?
False
Let v = -34 + 10. Let w be 8/21 - (-20)/(-30). Is w bigger than v?
True
Let q = -365.3 + 326. Let j = -40 - q. Is j >= -0.3?
False
Let y(g) be the second derivative of g**5/20 - g**4/4 + g**3/2 + g**2 + 3*g. Let u be y(3). Suppose 2*l = -8*l + 100. Which is smaller: u or l?
l
Suppose 8*j = -969 + 1049. Which is smaller: j or -31?
-31
Let x be 5/(-10) + 86/4. Suppose 6*h + x = 9*h. Let n be h - (3 - (-1 + 1)). Is n smaller than 4?
False
Suppose i + z = 4*i + 2, 5*i = z. Is -11/26 >= i?
False
Suppose -2*r = 3*r + 15. Suppose -1 = 4*t + 15. Let v be 3/(18/(-11)) - (5 + t). Which is greater: v or r?
v
Let d(k) = -3*k**3 - 2*k**2 - 4*k - 6. Let y(t) = -t**3 - t**2 - 2*t - 3. Let i(r) = -2*d(r) + 5*y(r). Let w be i(3). Is w not equal to 9?
False
Let a be 41 - (14/(-35) - 54/15). Suppose 0 = -0*p + 5*p - 5*s - a, 0 = -2*p + 4*s + 28. Are p and 25/7 non-equal?
True
Let v be 1*((-20)/8 + (-9)/(-6)). Let m be ((-8)/2)/(12/18). Let l(w) = -w**2 - 5*w + 7. Let a be l(m). Is v greater than a?
False
Let b = -24 + 6. Which is smaller: b or -17?
b
Let f(y) = 3*y - 74. Let i be f(20). Let u(k) = -8*k - 63. Let w be u(i). Is 0.1 > w?
False
Let z be (6/(-18))/((-3)/(-36)). Let a be (-8)/z - (3 + -2). Let i be (1 - a)/(-6 + 4). Which is bigger: i or 1/11?
1/11
Let v = 3/230 - 127/920. Which is smaller: -0.028 or v?
v
Let c = 24 + -51. Let n = -27.12 - 0.08. Let u = c - n. Is -4 at least as big as u?
False
Let j = -52 + 31. Let v = j + 21. Is v bigger than -7?
True
Let u = -368.1 - -353. Let l = u - -0.1. Let s = -10 - l. Which is smaller: -1 or s?
-1
Suppose -290 = -36*z + 646. Let m(d) = 4*d**2 + 5*d + 4. Let a be m(-3). Is a > z?
False
Let r = 95 - 92. Let k be 3 + 18/4 - r/(-6). Are k and 84/11 equal?
False
Let c = 8.79005 - -0.07695. Let x = -0.033 - c. Let u = 9 + x. Which is smaller: -0.02 or u?
-0.02
Let z be 0/((-1 + 3)/1). Let m be -1 - (-256)/(-616) - (-2)/14. Is m at most z?
True
Let j(h) = -h + 3. Let z(s) = -s - 8. Suppose 2*c = 0, 0 = 4*a - 5*c + 20 + 20. Let p be z(a). Let m be j(p). Is 2/7 at most as big as m?
True
Let p be ((-76)/380)/((-464)/90). Which is greater: p or -1?
p
Let r(l) = -l**3 + 8*l**2 + 9*l. Suppose 3*f - 5*s - 47