-2*z - 2*a = -j, 10*a = -z + 5*a - 10. Suppose -3*n + 7*b = 3*b + 15, -4*b = 2*n - z. Which is greater: 2 or n?
2
Let t(b) = -b**3 + 2*b**2 + 2*b - 2. Let g be t(2). Let c be (g/68)/(5/20). Let y = -39 - -38. Is y less than or equal to c?
True
Let n = -6/3349 + -36341/277967. Which is bigger: n or 1?
1
Suppose -1698 = 9*j - 15*j. Suppose r + 85 = 3*b + 2*b, b - j = 4*r. Which is bigger: r or -69?
-69
Suppose 2*i + 5 = -3*i. Which is smaller: i or -22/9?
-22/9
Let u be (8/2)/(-7 + 8). Suppose -4 = u*x - 52. Is 13 equal to x?
False
Let m = -94 + 94.97. Let d = -0.83 + m. Do d and 0 have the same value?
False
Let i be -5 + (-48)/(-9) + 67166/12330. Let w = 2/685 - i. Is w <= -5?
True
Let m = -2 - -1. Let d be (1/(-2)*2)/m. Let h(t) = t**3 - 12*t**2 + 28*t - 81. Let n be h(10). Which is smaller: d or n?
n
Suppose -22*l + 1 = -23*l. Which is smaller: l or -14/57?
l
Let c(f) = 3*f**2 - 20*f - 2. Let b be c(7). Let v = -7 + 10. Suppose -v*t + 11 = -7. Is b bigger than t?
False
Let s = -16 + 29. Suppose 0 = -3*b + 4*t + 7 + 13, -b = 2*t. Suppose -b*a + 33 = s. Which is smaller: a or 9/2?
9/2
Let z be (-24 + 32)/(1/4*2). Is 19 smaller than z?
False
Let m = -359 + 358. Which is bigger: m or 6/109?
6/109
Let g(w) = w**2 + 8*w + 16. Let a be g(-9). Let d = -151 - -152. Which is greater: d or a?
a
Let r = 21.8 - -92.2. Do r and 0.1 have different values?
True
Let n(k) = k**3 - 6*k**2 + 7*k - 4. Let c be n(5). Let g = 2035.98 + -2036. Do g and c have the same value?
False
Let g be -1*1*4/62. Suppose 26 = -5*v + 1. Let z be 1/(-2) - v/(-10). Which is bigger: g or z?
g
Let a(q) = -q**2 - 3*q + 4. Let v be a(-4). Suppose -5*i + 22 - 7 = v. Suppose -b + 2*k + 1 = 0, 0*k - 3 = i*k. Which is smaller: b or 0?
b
Let j = -2.16 - 98.84. Does -1 = j?
False
Let i = 560.999 + -561. Which is smaller: 2 or i?
i
Suppose 0 = 6*d + 3*i - 18, 0*d + 13 = 5*d + 3*i. Which is greater: d or 112/23?
d
Let o(x) = x**3 - x**2 + x + 3. Let q be o(0). Which is smaller: 18 or q?
q
Let j = -163 + 162.91. Are j and 0 equal?
False
Suppose -4*t - 80 = 5*a + 316, 5*t - a = -466. Is -94 at least t?
True
Let u = -200.1 - -212. Let k = 90.1 + u. Which is smaller: -2/3 or k?
-2/3
Let p = -0.24 + 0.84. Let x = -4.6 + p. Let o be 3/2*(-4)/12. Is o > x?
True
Let i be 5 + (-612)/14 + 5. Which is greater: i or -35?
i
Let m be -2 - -1 - ((-6)/2 - -1). Let j be -2*m/(-22)*(2 - 1). Is j smaller than 1?
True
Let j = 5119/3276 - 70/117. Which is bigger: j or 1?
1
Let n = 23/27 - 2545/3051. Is n at least -1/4?
True
Let s = -29.8 + 29.6. Which is greater: s or 9/7?
9/7
Suppose 8*x - 4*x - 4 = 4*p, 3*p = -4*x - 3. Are -6/7 and x unequal?
True
Let y(t) = 43*t - 1420. Let c be y(33). Which is bigger: c or -4/165?
-4/165
Let t be 430/70 - (-3)/(-21). Let j be 2 - -4 - t*1/(-2). Which is greater: j or 10?
10
Let i = -33557 + 368593/11. Which is smaller: i or 0.1?
i
Let z(f) = f**3 + 36*f**2 + 34*f. Let w be z(-35). Which is greater: 31 or w?
w
Suppose -5*k + 6*w - 2*w = 0, 0 = k - w + 1. Suppose k*d = 3*t - 6*t - 7, 5*d + 6 = -t. Is 4/23 bigger than t?
True
Suppose 3*u - 3*a = 33, -5*u + a + 58 = -9. Let m be 616/(-245) + (-4)/u. Are -4 and m equal?
False
Let g be 5907/(-3102) - ((0 - -2) + -4). Are g and -1 equal?
False
Let n = -21/97 + 1977/1067. Suppose p + 5*a - 23 = 0, -6*p = -p - 5*a + 5. Is p smaller than n?
False
Let m = -9.4 - -11.8. Let h = 1.2 - -1.2. Let z = h - m. Which is greater: -0.1 or z?
z
Let h = -16 + 21. Let g = 6 - h. Let q(u) = -u + 8. Let r be q(8). Is r <= g?
True
Suppose -5 - 11 = -4*x. Let j = 3 + -12. Let k be j*-1*x/(-6). Does k = -7?
False
Suppose 3*r = 5 - 17, -h = 3*r + 78. Let i be (2/h*1)/((-9)/81). Let v(g) = -g + 2. Let k be v(2). Which is greater: k or i?
i
Suppose -w - 120 = -5*f, 3*w - 114 = -5*f + 26. Let l = -24 + f. Let r be -1 + (0 - 34/(-28)). Is l at least as big as r?
True
Let v = 97 + -110. Suppose 0 = -4*y, -y - 14 = -4*r + 5*r. Is v > r?
True
Suppose 2*v + 28 = -3*l, 0 = -0*l + l - 2*v + 20. Is -18 not equal to l?
True
Suppose 0 = -4*o + 6*o + 60. Let j = o + 31. Let z be (-8)/16 + 0/j. Is z at least 0.16?
False
Suppose 0 = -52*v + 4548 - 17444. Which is smaller: v or -493/2?
v
Let b(g) = -1419*g**2 + 1417*g**2 - 13*g - 12*g - 11. Let h be b(-12). Which is smaller: h or -3/13?
-3/13
Suppose 525 = -5*p + 10*p. Suppose -3*u = 4*u - p. Is 29/2 less than u?
True
Let q be (6/(-4))/((-6)/(-4)). Which is greater: -10/29 or q?
-10/29
Suppose 0*r - 3*r - 15 = 0. Let i(m) = -2*m**3 + 3*m**2 + 3*m - 5. Let c be i(r). Let o = 3967/13 - c. Are o and 0 nonequal?
True
Suppose -1 + 5 = -2*w - 4*n, 3*n = -3*w - 12. Let s(h) = h**2 + 5*h - 1. Let g be (-9 - -4 - -3) + -2. Let q be s(g). Which is bigger: w or q?
q
Let j be (-4)/(3 - 5) + 5 + -168. Which is smaller: 1/3 or j?
j
Let x(r) = -r**2 - 40*r + 51. Let n be x(-30). Is n greater than 352?
False
Let u(y) = y**2 + y. Let o(n) = -4*n**2 + 3*n - 6. Let k(v) = o(v) + 2*u(v). Let i be k(5). Let g be -1 + 4 - i/(-10). Is g equal to -1?
False
Let y = 1331 - 1317. Which is greater: y or 16?
16
Let t = -182 - -181. Let c be (-6)/36 + (-447)/(-2898). Which is greater: t or c?
c
Let p(x) = 33*x + 9 - 1 - 29*x. Let b be p(-7). Let a = b + 17. Is -7/2 greater than a?
False
Let p(b) = b**3 - 39*b**2 + 108*b - 8. Let k be p(36). Which is greater: k or -2/29?
-2/29
Suppose -3*h = 5*t - 71, -h + 0*h = -2*t + 35. Let m = t - 25. Let y = 10 + m. Which is smaller: y or 3/7?
3/7
Suppose 3*q - 6*p - 956 = -p, 5*q - 2*p - 1606 = 0. Let o = q + -317. Let b = 0.3 + 0.7. Is b less than o?
True
Suppose 3*x = -3*y + 82 - 34, 0 = 2*y - 2. Let a be 1*3*(-158)/(-3). Let n be a/10 + (-1)/(-5). Is x < n?
True
Suppose -3*g = -t - 19, 5*g - 1 = 4*g - 5*t. Suppose -5*z + 7*z = g. Which is greater: 13/7 or z?
z
Let k = -3.7 + 3.728. Let p = -7.028 + k. Is -4/5 equal to p?
False
Let c = 537.01 - 543. Let y = c + -0.01. Let g = -5 - y. Which is smaller: -3 or g?
-3
Let n = -1374 + 102. Which is smaller: -1271 or n?
n
Let v(n) = 4*n**3 + 2*n**2 - n - 9. Let t(x) = x**3 - x**2 - 1. Let y be (-42)/(-30) - 4/10. Let g(u) = y*v(u) - 3*t(u). Let z be g(-5). Is z != 0?
True
Let w = -0.9 + 1.1. Let m be (-1)/(-1*(-5 - -4)). Which is smaller: w or m?
m
Let c = 370 + -387. Which is greater: -3 or c?
-3
Let j = 29031223/22 + -1319371. Let y = 230 - j. Which is greater: y or -1?
y
Let v = 95 + -92. Let k be (-1 + 6)/(-1 + 2). Let w(u) = u**3 - 4*u**2 - 4*u - 6. Let p be w(k). Are v and p nonequal?
True
Let d be 14/1098 + (70/63)/(-10). Which is smaller: d or 1?
d
Let n(u) = -u - 5. Let b be n(-13). Let f be (b/1)/(-3 - -5). Is -0.2 > f?
False
Let l = 0.899 - -0.101. Is l >= -707?
True
Let m = -466/11 + 453440/10703. Is 1 != m?
True
Let y = 8 - 3. Suppose w + 169 = -2*k, k - 345 = 5*k - y*w. Which is bigger: -86 or k?
k
Let h = 2/55 - -47/220. Let w = -123.4 - -42.5. Let o = w - -81. Is h less than or equal to o?
False
Suppose 4*k - 4*f = -780, -4*f - 76 = 4*k + 712. Which is smaller: -198 or k?
-198
Suppose 5*k + 70 = 5*p, -2*p - k - 24 = -4*p. Suppose -2*t + 10 = 0, -5*a + 26*t - 29*t = -50. Which is smaller: a or p?
a
Let a = -0.13 - -0.1. Let y = -7.1705 - -0.1405. Let q = y - a. Does 1 = q?
False
Let i = 43 - 67. Let m = -51/2 - i. Is -1 < m?
False
Suppose 0 = 4*a - 14*a + 50. Suppose 5*t = -u + 22, -t = -a*u + t + 137. Is u at least as big as 27?
True
Let x(f) = -5*f**2 + 4. Let p be x(2). Let d = -9 - p. Is d < 8?
True
Let i = -0.03 - 4.97. Let z = i - 0. Let w be -3 - ((-2)/(-4))/(6/(-28)). Is w != z?
True
Let q(l) be the first derivative of l**4/4 - 7*l**3/3 + 5*l**2/2 + 4*l + 6. Let c be q(6). Let g be 1*(0 + 2/(-4)). Is c >= g?
False
Suppose 4*q + 4 = -0*q, 3*b = 4*q + 7. Let z be -3 + b - 75/(-40). Which is greater: z or 2/7?
2/7
Let s = 2.55 + 13.45. Which is bigger: 2/7 or s?
s
Suppose -12 = 4*p - 84*x + 80*x, 5 = -3*p - x. Let t be ((-72)/39 - -1)*9. Let d = 537/91 + t. Is d <= p?
False
Let c(r) = -r**3 - 7*r**2 + 53. Let n be c(-5). Which is bigger: n or 160?
160
Let o be 48/(-5) - 4/10. Let z(b) be the third derivative of -b**4/24 - 7*b**3/6 - 102*b**2. Let m be z(o). Is 1 at most as big as m?
True
Let p be -18*((-15)/(-2))/(-5). Suppose 2 = 5*i + 3*k, -i = 4*k - 1 + 4. Let f be (-6)/p*-3*i. Which is smaller: -2 or f?
-2
Let l = 40 - 38. Let p = 4 - -7. I