- 2 = 3*q, j + 2 = 2*q. Which is greater: -4/481 or q?
q
Suppose 3*y + 21 = 4*c, -2*c + 2*y = -c + 1. Let u be ((-1)/(-2))/(c/108). Let k(v) = v**2 - 6*v + 6. Let m be k(u). Do 8 and m have the same value?
False
Let z = -11 - -18. Let c = 7 - z. Let w = c + 0.05. Which is bigger: 0 or w?
w
Let b = 0.0079 + 4.6621. Let n = 0.93 + -0.6. Let u = n + b. Is u equal to -2/5?
False
Let w = 1/12 - 11/60. Let t = w + 3/5. Let o(y) = y - 3. Let n be o(4). Which is smaller: n or t?
t
Let l = 101 - 102. Is 2/45 greater than l?
True
Let t = 1517 + -7634/5. Is t less than 0.03?
True
Let n(x) = x**3 - 9*x**2 - 9*x - 9. Let p be 9/(-2)*(-38)/57. Suppose -5*d = 3*a - 38, p*a + 36 = 4*d + 4*a. Let y be n(d). Which is smaller: y or 11/6?
y
Let c = -26/33 + 16/11. Let t(n) = n**2 + 9*n - 8. Suppose r - 1 = -11. Let w be t(r). Is c bigger than w?
False
Suppose -3*g + 2*h - 2 = 0, -4*h + 3*h + 14 = 5*g. Let t be 2 - (g - (-4)/54). Let f be (-2)/(-1)*21/42. Which is greater: t or f?
f
Let n be 15 + (-12)/(-4) + -1. Suppose 17*x - n = 16*x. Suppose 14*c = x*c + 36. Which is greater: -11 or c?
-11
Suppose 0 = 2*j + 8, 2*j - 4*j + 214 = 3*m. Suppose -m*b - 72 = -78*b. Is 18 smaller than b?
False
Let y(g) = -g**3 - 6*g**2 + 6*g - 8. Let t be y(-7). Let w = -6829/6138 - -1/682. Let b = -308/261 - w. Which is greater: t or b?
b
Let a be ((-2)/(-4))/(3/3336). Suppose l = -3*l - a. Let n = -697/5 - l. Which is bigger: -3 or n?
n
Let k(d) = -5 - 2*d**2 + d**2 + 1 - 4*d - 6*d. Let v be k(-10). Let p = -6 - v. Do 0 and p have different values?
True
Let l = -3 + 10/3. Let x = 135.27 + -135. Let t = x - 0.27. Is l <= t?
False
Let s(k) = 67*k - 338. Let f be s(4). Are f and -73 equal?
False
Let s = -0.24 + -0.08. Let v = -1.22 - s. Let g = 0.2 + 0. Is g at least v?
True
Let u(r) = -r. Let x be u(-2). Suppose -136 = -x*s - 48. Let g = 40 - s. Which is smaller: g or -8/3?
g
Suppose 3*s - 6 = 0, z + 2*s - 32 = -3*z. Suppose 3 = -r + z. Suppose -r*l = -l. Which is bigger: l or -1?
l
Suppose 10*w - 33 + 3 = 0. Suppose 0 = -3*m + w. Which is bigger: m or 6/29?
m
Let r = -0.138 + -0.192. Which is smaller: -0.2 or r?
r
Let d be (372/1280)/(42/868) - 6. Suppose 0 = 3*i + 3 - 0. Is d >= i?
True
Let t(d) = d**3 + 23*d**2 - 24*d + 30. Let b be t(-24). Suppose -5*y + 65 = -b. Which is greater: y or 35/2?
y
Let b be (-13)/(1/1)*(-6)/(-4). Which is bigger: -1 or b?
-1
Suppose -5*o + 55 = 5*s, -5*o + s = -2*s - 95. Suppose 136 = 11*g - 29. Is g < o?
True
Suppose -4*s = -14 - 2. Suppose -3*f - 9 = -0*h - s*h, 2*h - 10 = -4*f. Suppose -z - h + 2 = 0. Which is smaller: -4/5 or z?
z
Let t be -4 + 2 + (-2 - -6). Which is greater: -6/5 or t?
t
Let n = 1.7 + -2. Let o = -0.916 - -0.106. Let v = o + 0.51. Does n = v?
True
Suppose 31*g - 125 - 187 = -8*g. Let b(o) = -2*o + 1. Let x be b(-4). Is x >= g?
True
Let v = 11.736 - 14.736. Let s = 0.01 + 1.99. Does s = v?
False
Let z be 189/504 - 1454/80. Which is greater: -17 or z?
-17
Let h = 12 - 12. Let a be 1/((-1)/(-10) + 0). Suppose -a = -5*i + 2*c, 4*c + 20 = -i - 0*i. Is h at least i?
True
Let x be 2/299*(-1)/4. Let g be (48/9)/(-8)*(-10815)/20332. Let p = g + x. Which is greater: p or 0?
p
Let w = 0.9 + -1.2. Let u be 4/12 - 2/(-12). Which is smaller: u or w?
w
Let q = 233 + -239. Which is greater: q or -0.28?
-0.28
Let p = -667.1 - -667. Which is smaller: 0.021 or p?
p
Suppose -92 + 20 = 2*n + 4*d, 75 = -2*n - d. Let v = n - -70. Is 2/3 bigger than v?
False
Let h(m) = m**3 + 4*m**2 - 12*m + 3. Let l be h(-6). Suppose 4*y = 3*z + 22, -4*z = -0*y - 2*y + 6. Do l and y have the same value?
False
Let m(b) = -b**2 + 5*b + 4. Let l be m(5). Let v be ((-3)/15)/((-4)/20). Suppose 0 = -5*h - 20, l*h - v = 3*z - 14. Is z smaller than -0.3?
True
Let w(m) be the first derivative of m**6/45 + m**5/120 - 2*m**3/3 - 7. Let x(q) be the third derivative of w(q). Let n be x(1). Which is smaller: 10 or n?
n
Let d be (-2 - -3) + -3 + -4. Let n be (-4)/d*(-3)/(-4). Suppose 0 = -3*a - 2 + 5. Which is smaller: a or n?
n
Suppose 11 = n + 2*q - 0, -21 = -n - 4*q. Suppose 5*g - 42 = 2*o - 0*g, -4*o + 5*g = 74. Let r be (n - 1)/(-14 - o). Are 2 and r nonequal?
True
Suppose 137 + 7 = -4*n. Let q = -32 - n. Suppose 8*h - 3*h = -q*i + 74, -5*h = 3*i - 58. Is 15 < i?
True
Let f = -1.34 - -1.1. Let a = 0 + 0.04. Let c = a + f. Which is bigger: 0 or c?
0
Suppose 12*r - 815 = 1249. Are 172 and r equal?
True
Let d = -0.74 - -0.04. Let l = 2.1 + d. Let a = l + -2.4. Is -0.5 greater than a?
True
Suppose 3*l - 9 = 3. Let o be 6/l + 7112/(-4720). Which is greater: o or -1?
o
Suppose 0 = 7*d + 7 - 28. Suppose 0 = -3*y - 3*w - 84, d*y + 1 + 59 = 3*w. Which is greater: -22 or y?
-22
Suppose 2*b + 4*q - 14 = q, -3*b + q - 1 = 0. Let o be (b/(-14))/((-4)/16*1). Which is bigger: o or 3?
3
Suppose -2*s = -3*x - 24, -2*s - 4 + 16 = 3*x. Let r be s/(27/12) - 40/(-4). Is 15 less than or equal to r?
False
Let o = -453.89 + 454. Which is greater: 0.09 or o?
o
Suppose 5 - 7 = -2*z. Let g = 13 + -375/29. Which is bigger: z or g?
z
Let k = -740.4 + 701.59. Let b = 39 + k. Let p be (-32)/30 + (-6)/(-15). Is p greater than or equal to b?
False
Let d(y) = -15*y + 1. Let b = 56 + -60. Let f be d(b). Which is greater: f or 60?
f
Let y(q) = -8*q - 24. Let h be y(2). Is -163/4 bigger than h?
False
Let l(m) = -3*m**2 + 11*m + 3. Let u(y) = y - 5. Let f be u(9). Let r be l(f). Is r greater than or equal to 2/77?
False
Suppose -o + 335 = f, -2*o + 999 = 3*f - 5*o. Which is bigger: 336 or f?
336
Let m be (-2)/8 + 13/(-70). Let n = m + 1/28. Is 5/3 > n?
True
Suppose -4*c - 36 = 2*v, -2*c + 7 + 3 = -v. Let i be (-4)/(-6) - (545/(-3))/5. Suppose -6*d - i = 41. Is d <= v?
False
Let c = -1 - 1. Let y = -27 - -7. Let z = y - -20. Which is greater: c or z?
z
Let j = 167/135 + -1/27. Let h = 4 + -4. Suppose l + l - 2 = h. Which is greater: l or j?
j
Let r be (9/(-2))/(5/18). Is r at least -16?
False
Let t = -220 + 1537/7. Let v = -9 - -6. Which is greater: v or t?
t
Suppose 78*h - 83*h - 415 = 0. Which is bigger: h or -0.1?
-0.1
Let o = 249.8 + -250. Are -29/4 and o equal?
False
Let n(t) = -t**2 - t + 1. Let v be n(-1). Suppose -2*m - 3*f = -5, -m - 5*f = 1 + 7. Which is smaller: v or m?
v
Let z(n) = -n**3 + n**2. Let g(c) = 3*c**3 - 15*c**2 - 18*c - 14. Let t(k) = g(k) + 4*z(k). Let v be t(-9). Is v smaller than -14?
False
Suppose -k + 4*o + 0 = 4, 0 = 2*k - 3*o + 8. Suppose 5*w - 2*w = -12. Is w bigger than k?
False
Let c be 4*(50/8 + -2). Suppose 0*u + 14 = -2*u - n, -u = -5*n - 15. Let h = c + u. Which is greater: 11 or h?
h
Let w(v) = 22 - 17 + v - 3*v. Let c be w(6). Which is smaller: -10 or c?
-10
Suppose -2*u - 2*n = -3*n - 5, u - 3*n - 10 = 0. Let y be (0 - u) + (-1709)/(-2373). Let m = -2/339 + y. Which is smaller: m or 2/19?
m
Let q be ((-24)/(-39))/4 - (-9650)/(-26). Which is greater: q or 1?
1
Let n = 242/5 - 806/15. Let h = 3202 + -3207. Is h < n?
False
Let a = 351 + -350.995. Is 3 equal to a?
False
Let v = -8 + 4. Let t = v + 4. Suppose 4*r + 9 + 3 = t. Do r and -4 have different values?
True
Let x be (256/(-12) - 0)*6. Is -129 less than or equal to x?
True
Let x be -19 - (-2 - 0/4). Suppose 5*p = -57 - 18. Which is smaller: x or p?
x
Let g = 9.0012 + -0.0012. Are g and -40 nonequal?
True
Let r = 5.51 + -5. Let k = r - 0.61. Let w = 0.7 - 1.7. Is k >= w?
True
Let k be (-974)/243 + 3*(-12)/(-9). Is k at most 1?
True
Let a be 6/(0 + (-3)/(-4)). Let f = -6383 + 6392. Are f and a unequal?
True
Let c = -48 - -36. Let v be 5 + (-4)/(c/(-99)). Which is smaller: -25 or v?
v
Let f be ((-12)/(-14))/((-129)/(-602)). Is f >= 36/11?
True
Let o = -272 - -273. Let z be (4/8*4/(-134))/(-1). Is z less than or equal to o?
True
Let f be (-7 + 8)*-3*-2. Suppose -19 = -2*i - 5. Which is greater: f or i?
i
Let j = 14 + -5. Let g be 4 + (-6)/j - (2 + 0). Which is bigger: 1 or g?
g
Let q be (-10944)/(-1408) - (-1)/6 - 7. Which is smaller: 0 or q?
0
Let i = 13 - 8. Let m be ((i + -4)*0)/(-1). Is 2/23 at least m?
True
Let j = -262 - -261. Which is bigger: 18/17 or j?
18/17
Let v be ((-56)/(-42))/(8/126). Which is smaller: 12 or v?
12
Let d = -6 + 338. Does d = 332?
True
Let y be 205893/120*(0 + 10/(-2985)). Let s = y - 2/995. Is s at least -1?
False
Let k = 139/6363 + -2/63. Is 1 at most k?
False
Suppose 71 = 3*b - 4*r + 6*r, -2