110 + 12/11. Which is greater: d or 0.1?
0.1
Let n = 53 - 51. Suppose 3 = v + 2*k - 3, 4 = -3*v + 5*k. Is n != v?
False
Let g = 95 - 20. Which is smaller: g or 77?
g
Let m = -41 - -47.4. Let p = m + -6.5. Which is greater: p or 0.08?
0.08
Suppose 22*u + 72 = 18*u. Which is bigger: 0 or u?
0
Let w = 33 - 56. Suppose 9*g - 11*g - 26 = -5*c, 2*c = -8. Is g not equal to w?
False
Let n be (2 - -1)*1 + 880/(-296). Which is smaller: n or 0.4?
n
Let g = 9 + -5. Suppose -c - 3 = -b, 4*c = -3*b + g*b - 15. Let d be (-4)/3*(-6)/c. Which is smaller: -3 or d?
-3
Suppose w + 5*w = 60. Suppose 0 = -z - w + 32. Which is smaller: 23 or z?
z
Suppose t = 9*t - 304. Let v(u) = 3*u - 4 + 16*u**3 + 21*u**3 - t*u**3 - 3*u**2. Let f be v(-4). Which is smaller: f or 2/15?
f
Let q be (-204)/1344 + (-3)/(-21). Is q smaller than -1?
False
Let w be (-6)/42*(-14)/5. Which is smaller: 11 or w?
w
Let o = -0.9 + 0.5. Let f = -7.4 - o. Which is smaller: -1 or f?
f
Let m be ((-14)/2 + 3)/(-62). Let g = -40/697 + -22377/108035. Let i = g + m. Is i <= -1?
False
Suppose -10 = 5*k - 40. Is -2 smaller than k?
True
Suppose 4*v + 48 = s, 5*v - 4*s - 17 = -66. Which is bigger: -15 or v?
v
Let x = 319 - 338. Which is smaller: -26 or x?
-26
Let h = 0.17 + -0.06. Let n = h + -0.31. Let z be (4/(-24)*-8)/2. Which is greater: n or z?
z
Let z be (-66)/(-15)*(-1 + -4). Suppose -337 = -45*n - 1327. Is z bigger than n?
False
Let a(u) = -u**3 - 7*u**2 - 3*u + 2. Let d be 24/60 - 32/5. Let q be a(d). Is -18 > q?
False
Let s = -196 - -29. Let q = s + 1505/9. Suppose -5*v + 3*i - 9 = 0, 4*v - 4*i - 6 = -6*i. Is v <= q?
True
Suppose -2 = 2*r, 2*u - 4*r + 6 = -12. Let d(l) = 3*l**3 + 3*l**2 + l. Let b be d(-2). Let g = u - b. Which is greater: 0 or g?
g
Let h be ((-6)/40)/(9/6). Is -0.1 greater than h?
False
Suppose -15*b = -6 + 21. Which is smaller: -3/50 or b?
b
Let b(w) = -3*w**2 + 34*w - 11. Let d be b(11). Is 5/11 less than or equal to d?
False
Let j = 190 - 17. Do 0 and j have the same value?
False
Let r = -69/14 - -9/2. Suppose 18*y = 6*y + 12. Is r != y?
True
Let r be 4*(-4 - 34/(-8)). Let t = -33/4 - -431/52. Which is smaller: r or t?
t
Let c = -0.1 + 0.1. Let i = -62234/285 - -1092/5. Which is smaller: i or c?
c
Let t be (-56)/40 - 6/10. Let s be (t/4*0)/1. Is 1/31 bigger than s?
True
Let j be ((-4)/(-10))/((-24)/(-870)). Let i = 38 - 24. Let p = j - i. Are p and 2 equal?
False
Let i be 4154/(-8) - 4 - (-3)/(-4). Do -523 and i have the same value?
False
Let t = 6.45 - 6. Let r = 0.58 - t. Is 0.1 smaller than r?
True
Suppose 687 = r + 5340. Let s be (-553)/r + (-8)/72. Let a = s - 3170/8789. Which is smaller: a or 1?
a
Let h = 8 - 5. Let w = -38 - -42. Suppose w*b - 3 = -s + h, -2*s - 8 = -2*b. Which is bigger: b or 1/14?
b
Let z be (1 - -4) + 0 + -47. Let o be (-4)/(-6) + (-26)/(-6). Let c be o/z - 1/6. Are c and 0 unequal?
True
Suppose 0 = -4*h - 53 + 153. Let u = h - 20. Suppose 0 = -k - w - u, -k = 4*k - 4*w - 11. Is 6/23 > k?
True
Suppose -19*f = 22736 + 1812. Which is greater: f or -1293?
f
Suppose m = n + 8, -3*m + 4 = 5*n - 44. Let r(y) = 3*y - m + 0*y + 4*y - 6*y. Let c be r(11). Are 6/13 and c unequal?
True
Let s(q) = q**2 + 5*q + 8. Let m be s(-4). Let w(j) = -j - 10. Let u be w(0). Let t be ((-6)/(-10))/((-1)/u). Does m = t?
False
Let d = 721/30 - 267/10. Which is smaller: -32 or d?
-32
Let c(w) = w + 10. Let j be c(-21). Do j and -4 have the same value?
False
Let s(v) = v**2 - 5*v + 3. Let z be s(4). Let d be -2 - (z + 4710/13). Let q = 363 + d. Is -1 equal to q?
False
Let l = 29 - 15. Let x = -10 + l. Let b = -2.7 + x. Which is bigger: b or 2/7?
b
Let p(i) = i**2 + 2*i - 1. Let d be p(2). Let b be 17 + -14 + (1 - 0) + 4. Is d < b?
True
Let n(u) = -u**2 - u + 4. Let p be n(3). Let f be ((-4293)/(-60))/(-9) + (-3)/(-4). Is f less than or equal to p?
False
Let n = 212/9 + -839/36. Which is greater: n or 69?
69
Let z(u) = u**2 - 5*u + 6. Let c be z(5). Let b be (-28)/(-12) - c/(-9). Suppose -2*y + 3*i = -4, 0*i - b*i + 6 = 0. Is 11/3 at least as big as y?
False
Let p = -209/210 - -16/15. Suppose 2*s + 25 = j, -5*j - s + 55 = -26. Suppose 19*k = 2*k + j. Is k > p?
True
Suppose f + 4*p = 19, -3*f + 4*p + 0*p = -9. Let l(s) = -s**3 + 8*s**2 - 10*s + 21. Let t be l(f). Which is smaller: 5/6 or t?
t
Let t = 16003/58 + -276. Which is smaller: -1 or t?
-1
Let v be 6/4 - (-1)/(-2). Suppose 29*x - x = 4 - 4. Which is smaller: v or x?
x
Let s = -19.65 - -20.474. Do s and 0 have different values?
True
Let s(n) be the second derivative of n**3/6 - 7*n**2/2 - n. Suppose 14*m - 45 = 53. Let k be s(m). Is k at most 1/13?
True
Suppose 0*q = 3*q + 3. Let v be (0 - q) + (4 - -31). Suppose -2*a + 21 = -s, 0*a - 4*a - 4*s + v = 0. Is a less than 9?
False
Let s = -962 + 984. Which is greater: s or 7?
s
Let d = -956 + 959. Do d and 22/13 have the same value?
False
Let x = -90 - -989/11. Let d = -925 + 924. Which is bigger: x or d?
x
Suppose -768 + 144 = -8*p. Is 77 <= p?
True
Suppose 0 = -5*d + 3 + 7. Suppose 0 = -m + 3*t + 8, 0*m + 48 = d*m + 2*t. Let v be 32/(-6)*6/m. Do -3 and v have the same value?
False
Suppose -63*r - 130 = -76*r. Let p(z) = -14*z**2 - z - 12. Let q(i) = 5*i**2 + 4. Let f(a) = -6*p(a) - 17*q(a). Let g be f(5). Is g at least as big as r?
False
Let p = -0.0443 - 0.0557. Which is smaller: 0.49 or p?
p
Let m(i) = 25*i**3 - 4*i**2 + 4*i - 3. Let q be m(2). Let h = -599086/7 + 85394. Let c = q + h. Which is bigger: 0 or c?
0
Let i be (15/(-210)*0)/(-1 - -3). Is -2/325 not equal to i?
True
Let h(g) = -12*g**2 - 9*g - 10. Let c be h(7). Let k be -3 + -2 + c/(-133). Let s = -6/19 - k. Which is smaller: s or 0?
s
Let l = -7 - 4. Let g = -1307 - -1296.02. Let q = g - l. Which is greater: q or -1/4?
q
Let j = 52.2 - 66. Let d = j - -13.7. Does -58 = d?
False
Suppose -l = 4*l + 25. Let y = -1206.4 + 1206. Which is greater: l or y?
y
Suppose -4*w = u - 4*u - 4, -2*w = -3*u - 14. Suppose 0 = 4*s - 62 + 162. Let k = 17 + s. Is k at most u?
True
Let j = 2.59 + -2.7. Let w = j - -0.12. Let k = w + -2.01. Which is bigger: -3 or k?
k
Let l = -1.7 - 4.9. Let k = l + 0.6. Which is smaller: 0 or k?
k
Let a = -12/65 - 5477/260. Are a and -22 non-equal?
True
Suppose -l = -2*u + 16, 4*u - 4*l - 43 = -u. Suppose 25 - u = q. Is q equal to 14?
False
Let b be ((-30)/45)/((-2)/(-3)). Suppose 5*p - 10 + 0 = 0. Which is greater: b or p?
p
Suppose -80 = -6*t + 4*t. Let r = -359/9 + t. Is -1 less than r?
True
Let y be 5330/96*(-774)/(-225). Let p = 956/5 - y. Which is greater: p or 0?
p
Suppose 126 = -3*d - 4*d. Suppose -4*x = -0*b + 4*b + 72, 4*b - 3*x = -72. Is d > b?
False
Let c be 7/(3150/12)*5. Let t be 130/4 - 4/(-8). Let y be (-4)/18 - t/(-27). Which is smaller: c or y?
c
Let o be 591/(-179)*(-38)/(-24). Let w be (3/(-2) - (-4977)/3222)/2. Let y = w - o. Which is smaller: y or 5?
5
Let u = -28 - -47. Let r = -19.2 + u. Is -1/9 at most as big as r?
False
Let l be (2 - 268/130)*(-56)/48. Let s = 134/195 - l. Is 0.2 greater than s?
False
Let f(u) = u**3 + 12*u**2 - 6*u - 32. Let b be f(-13). Which is greater: -121 or b?
-121
Suppose -r + 4*m + 1 = -7, 2*r + 5*m + 10 = 0. Suppose 5*i + r*o - 3*o + 25 = 0, -3*o + 23 = -4*i. Which is smaller: 0.08 or i?
i
Let a = 74 - 43. Let q = 244.9 + -245. Which is bigger: a or q?
a
Suppose 3*w + 3 = 4*w. Let n(i) = 3*i + 14. Let v(f) = -2*f - 9. Let p(z) = -5*n(z) - 7*v(z). Let j be p(-11). Is w < j?
True
Let c = -24/11 - -20/11. Let p(o) = o**3 + o**2. Let j be p(1). Let w be (-3)/j + (-15)/(-6). Which is bigger: c or w?
w
Let d(c) = c**3 - 17*c**2 + 10*c + 19. Let i be d(15). Which is greater: i or -2/3?
-2/3
Let w be ((-7)/(-1554)*27)/((-6)/(-16)). Is -1 less than or equal to w?
True
Suppose -5*x = 5*f, 2*f - 9*x + 6*x = 5. Let p = -33 + -17. Let a = p + 701/14. Which is smaller: a or f?
a
Let d be ((11 - 4) + -4)*1. Suppose 4*k - 24 = -4*z, -5*z + 23 = k - d. Suppose x - u - 1 = u, -3*x = 4*u - 23. Is z greater than x?
False
Let c = 0.68 - -2.12. Let t = -4.8 + c. Is 2 < t?
False
Let y be (7/(-21))/((-2)/(-6)). Let m = y - 7. Let h be (-7)/((-42)/m)*3. Is -7/2 less than h?
False
Let g be 3/(-27)*240/140. Let h be 15/(-20)*(-2)/6. Is h bigger than g?
True
Let g(p) = -p**3 + 8*p**2 - 6*p - 6. Suppose 35 = 6*y - y. Let n be g(y). Let k = 5 - 4. Is k bigger than n?
False