 Let z = b + 11. Let c be z/(-28)*(9 - 2). Do 0 and c have the same value?
False
Let v = 4 + -23. Let z = v + 31. Let c = z + 2. Which is smaller: c or 13?
13
Suppose -2*b = -0*b - 6. Let k = -8 - b. Let f = k - -6. Is -1 at least f?
True
Let x(g) be the third derivative of g**6/120 + 7*g**5/60 + g**4/3 + 2*g**3 + 24*g**2. Let o be x(-6). Is -3/10 at least o?
False
Let x be 27/(-351) - (-153)/(-39) - -4. Which is greater: x or 1/65?
1/65
Let h be (18/972)/((-2)/8). Let i = 2.02 - -0.08. Let w = i + -2. Is h at most as big as w?
True
Suppose 28932 = -22*j + 640. Is j at least as big as -1287?
True
Let n = 1196 + -1068. Which is greater: n or 126?
n
Let j(k) = 9*k - 55. Let w be j(6). Do w and 1/54 have different values?
True
Let g(l) = l**2 + 2*l. Let o be g(6). Let y = o + -49. Which is smaller: y or 21?
y
Let f(o) = 8*o**2 + 31*o - 165. Let r be f(5). Is r at least 191?
False
Let r = -2/123 - -256/10701. Which is smaller: -1 or r?
-1
Suppose 4*q - 5 = 39. Suppose 0 = 2*b - q*b - 63. Let j(y) = -9*y**3 + y**2. Let l be j(1). Which is smaller: l or b?
l
Suppose -9*x + 4*x + 15 = 0. Let g be 1 - x*37/117. Let c = g - 28/39. Which is smaller: -5/4 or c?
-5/4
Let w be (399/6)/((-2)/4). Let y be 58/(-112) + (-19)/w. Which is bigger: y or 0?
0
Let g = 6/7 + -1/2. Which is smaller: g or 1?
g
Suppose -2*b - 107 = 77. Which is smaller: b or -91?
b
Let k(x) = x + 3. Let r be k(0). Let a be r*-1 - 78/6. Let s be (-6)/10 + a/(-10). Is s greater than or equal to 2/7?
True
Suppose 8*b - 30 = -7*b. Is -82 less than b?
True
Let u = 0.09 - 0.12. Let k = -0.33 - u. Let j = 0 - k. Which is smaller: j or -1?
-1
Let g = 30143/9 - 3357. Is -7 > g?
True
Let w be (3 - 7) + 24642/(-93). Suppose 2*y + 2*y - 2*o = 1086, 5*y - 1365 = 4*o. Let i = w + y. Which is bigger: 0 or i?
i
Suppose -8*t - 10 = -3*t, t + 10 = y. Suppose -2*i + y = 2*i. Suppose -v + 4*v + i*c = -9, 5*c - 35 = 4*v. Is v at least as big as -24/5?
False
Let c be (-189392)/1764 + (-4)/(-18). Which is smaller: -106 or c?
c
Let z = 26 - 17. Let l(d) = -d**2 + 7*d + 13. Let i be l(z). Which is smaller: -0.9 or i?
i
Suppose -15*a = -490 + 115. Are 27 and a nonequal?
True
Let n be (-6 - 317/(-53))/(1/(-2)). Suppose -6*v + 12 = -3*v. Suppose 0 = 3*g - v*z - 5, 3*g + 5*z + 11 = 2*g. Which is bigger: g or n?
n
Let f(o) = -7*o**3 + 4*o**2 + 1. Let a be f(3). Let d be -4 + 2 + a/(-78). Is 0 at most as big as d?
False
Let y be (-5)/(-6) + (-61)/138. Does 0 = y?
False
Suppose -2*g + 16 = -4*f, -5*g - 16 = 3*f + f. Let v be (g*2/4)/(-1). Is v > 12/11?
False
Let n be (-704)/(-55) + 8/(-10). Are n and 11 equal?
False
Let l be 56/12*4*(-6)/42. Which is smaller: -3 or l?
-3
Let s be 63 + -62 - ((-2)/(-12) + 1). Does 74 = s?
False
Let i(q) = 5*q**2 + 85*q + 1. Let j be i(-17). Is j <= -241?
False
Suppose 0*y = -2*y - 2. Suppose -3*q = -347*m + 352*m - 27, 5 = -5*m + 5*q. Does y = m?
False
Let h = -3 - -4. Let l(u) = -u**3 - 8*u**2 - 6*u + 6. Let s be l(-5). Let j be (13/s)/(2/(-12)). Is j less than h?
False
Suppose -5*k = -k - 32. Let r = -6 + k. Suppose -3*j = 3, -r*j = v - 0*j - 5. Which is bigger: v or 6?
v
Let d(g) = -14 - 2*g + 2*g**2 - 13*g**2 + 12*g**2. Let b be d(4). Suppose 5*f + 41 = -3*a, 3*a - 3*f = -f - 13. Are a and b equal?
False
Suppose 3*n - 2 = -p, 4*n - 4 = -5*p - 5. Is n <= -1/273?
False
Let c be (2/(-5))/((-42)/(-10)). Let u = -34/63 - c. Is -1 smaller than u?
True
Let y = 451 - 865/2. Is 1/4 > y?
False
Let k = 3.24 - 19.24. Is 43 >= k?
True
Suppose -6*t + 2*t + 5 = -3*r, 5*t + 2*r - 35 = 0. Suppose -2*n - 2*n + 8 = 0. Let d be (1 - (3 + -16))/n. Which is bigger: d or t?
d
Let o = 27 + -61. Let t = o - -373/11. Is 1 smaller than t?
False
Let j(h) = h**2 - 3*h - 4. Suppose -4*l + 16 = 3*f, -5*f - 5*l + 0*l = -25. Suppose f*c - 11 - 5 = 0. Let k be j(c). Does k = -3/19?
False
Let l = -0.27 + -6.23. Let a = l - -8. Let h = 220 - 220. Which is greater: h or a?
a
Let x be 4 + -2*(-7)/(-2) + 5. Which is greater: x or -4?
x
Suppose 0 = 2*t - 4*p + 58, -t = -2*t - p - 23. Is t less than or equal to -27?
False
Suppose -d + 1704 = -4*d. Let m be (d/6)/(102/40). Let n = 332/9 + m. Is n <= 1?
True
Let r(w) = w**3 + w**2 + 4. Let h be r(0). Let x = -2 + 2. Let z be (0 - x) + 75/30. Which is bigger: z or h?
h
Let q = 309 + -1538/5. Let s(x) = 5*x - 3359*x**3 + 28 + 2*x - 10*x**2 - x + 3360*x**3. Let g be s(9). Is g at least q?
False
Suppose 0 = 2*s - 0*s - 36. Suppose -a + 7*a + s = 0. Is a smaller than -3?
False
Let d = 18 - 7. Suppose -d = -3*b + 7. Suppose -5*q = -3*y + 33, 2*q = y + 2*y - 24. Are y and b equal?
True
Let u be (100/5)/((-2)/(-2)). Suppose w = -4*w + u. Which is greater: w or 7/2?
w
Let r(u) = u + 1. Let v(h) = 4*h + 8. Let a(t) = 3*r(t) - v(t). Let c be a(0). Let p be 3/(-8) + c/(-10). Is p bigger than 1?
False
Let t be (-1638)/429 + (-2)/11. Let a(m) = -m**2 - 2. Let g be a(0). Which is greater: g or t?
g
Let o(h) = -h - 4. Let u be o(-5). Suppose s = q + 3, q + 3*s = -u + 2. Let i be (-6 - -3) + 0 + (0 - 1). Which is bigger: i or q?
q
Suppose -110 = 5*p + 5*k, p - 2*p = 2*k + 20. Which is smaller: p or -20?
p
Let x = 0.2898 - 4.2898. Is 2.07 greater than or equal to x?
True
Let u = -4.8 - 632.2. Is u > 0.1?
False
Let w = 50/11 + 9/44. Let x = -306.4 - -305.4. Which is smaller: x or w?
x
Let f(a) be the first derivative of -a**3/3 + a**2/2 - a - 2. Let u(o) = -o**3 + o**2 + o - 1. Let g be u(-1). Let q be f(g). Is -1 >= q?
True
Let i = -7 - -5. Let s(l) = 5*l**3 + 3*l - 3. Let q be s(2). Suppose -5*n - 18 = 3*g + 21, 5*n + q = -g. Is n at most as big as i?
True
Let m = 668 + -620. Suppose 5*x + 20 = 2*j, 0 = -3*j - x + 17 - 4. Suppose j*t - t = m. Which is bigger: 11 or t?
t
Let f = 0.7 - -9.3. Let a = f + -10.01. Let y = 0.123 + -0.123. Which is greater: a or y?
y
Let g = 0.345 - 68.345. Which is greater: g or -1/4?
-1/4
Let i(w) = -2*w + 2. Let s be i(-2). Let x = 3 - s. Let h(n) = -n**2 - 3*n + 14. Let f be h(-6). Which is bigger: x or f?
x
Let m = -3.142 + 0.142. Which is greater: m or 36?
36
Let y = 14 - 24. Suppose 0 = -2*k - 10 - 6. Which is greater: k or y?
k
Let y = -184 + 2395/13. Suppose 3*o - 8*o = 620. Let i = o - -125. Is i greater than y?
True
Let m(s) be the third derivative of s**5/60 - s**4/8 + s**3/3 - 14*s**2 + s. Let v be m(3). Is v less than or equal to -33?
False
Suppose -5*j + 229 = 3*r + 36, -j = -r - 37. Suppose 2*a = 4*u - u + 73, -5*u - 71 = -2*a. Is a at least as big as j?
True
Suppose -3*a - 265 - 128 = 0. Is a equal to -131?
True
Let v(b) = b**2 + 2*b - 4. Let r be v(2). Let q be 3/r - 153/(-36). Suppose -j - 4*c = -15, 35 = 3*j + q*c - 3. Is j at least 11?
True
Let r = 1/5998 + 1832387/11996. Let d = r + -148. Let v be (12/10)/(15/50). Is v smaller than d?
True
Let h = -407 - -418. Let f = 10 - 5. Suppose f*a + h = -9. Which is greater: -2 or a?
-2
Suppose 3*z - 12*i + 9*i - 78 = 0, -3*z - 2*i + 78 = 0. Suppose 46 + z = 12*n. Which is greater: n or 4?
n
Let i = -935861/262 + 3572. Let t = 8363/1834 + i. Is t at least as big as 5?
False
Suppose -2*m = -2*q - 454, 5*q - 46*m = -43*m - 1131. Which is bigger: -1122/5 or q?
-1122/5
Let x be (-2)/6 - (-287)/735. Let o = 94 - 95. Is o greater than or equal to x?
False
Let h = -134 + 187. Let a = h - 53. Is -1/37 != a?
True
Let t = 86 - 87. Which is smaller: t or 5/22?
t
Let l = 904 - 905. Which is smaller: -11/72 or l?
l
Suppose 0 = -5*a - n + 385, -146 = -3*a - 2*n + 92. Let q = a + -68. Is 8 bigger than q?
False
Let u = -0.0743 - -0.0743. Is u at most as big as 277?
True
Let v = 1716 - 1735. Let c(r) = r**2 + 13*r + 14. Let h be c(-10). Which is smaller: h or v?
v
Let q be 61050/8239 + -7 + (-6)/14. Which is greater: q or 1?
1
Let m = -118/77 + 9/11. Which is smaller: 0 or m?
m
Let k = -44 - -46. Suppose -l + 2 = -3*n - k*l, -8 = 5*n - 3*l. Are n and 1/29 nonequal?
True
Let w be 1*(7/2)/((-2)/4). Which is smaller: 4/15 or w?
w
Let j be (36/15 - 2)/((-8)/(-20)). Let n(f) = 5*f - 3. Let a be n(2). Let b be (-2)/a - 3/(-6). Which is greater: j or b?
j
Let m(f) = -f**3 - 6*f**2 - 3*f + 3. Let k be m(-5). Let x be (-1)/(2*(-3)/6)*-3. Let n = -4 + x. Do k and n have the same value?
True
Let y(m) = -m**2 + m + 1. Let b(c) = 4*c**2 + 5*c + 7. Let v(k) = b(k) + 3*y(k). Let t be v(-7). Let d be 0 + 3*4/6. Which is greater: 