 - -1). Which is greater: 4 or d?
4
Suppose 7*x = -17 + 122. Does 16 = x?
False
Let l(m) = -3*m + 2. Let z be l(1). Which is smaller: -1/26 or z?
z
Suppose -3*t = -8*t. Is t != 2/47?
True
Let z = -35 + 37.8. Let n = 0.6 + -0.4. Let w = n + z. Is 1/3 at most w?
True
Let a = -0.4 - -0.2. Let r = a + 0.3. Let w = r - 0.2. Is w smaller than 1?
True
Let p = 11302 + -1028470/91. Let r = 3391/182 - p. Let a = r - 19. Is a smaller than -1?
False
Let r be ((1 - 0)*1)/(-6). Which is greater: r or -2/9?
r
Let j = 106 - 106. Let p = 119/3 - 39. Is j at most p?
True
Let z = 25 + -24.6. Does -0.04 = z?
False
Suppose -3*w + 10 = -2. Let x = 3 - w. Which is bigger: -4/5 or x?
-4/5
Suppose -4*s + 0*s + 12 = 0. Let l be -2*s/(-6) - -6. Let i = l + -9. Which is greater: 0.1 or i?
0.1
Let h(k) = k**2 - 9*k + 10. Let w be h(8). Suppose -3*m + w*m = -5. Suppose 0*p = -m*p + 25, 0 = -5*q - 5*p + 30. Are q and 0 equal?
False
Let p = 21 + -15. Let t be (-4)/15 + p/(-15). Which is smaller: t or -1?
-1
Let c = -17/3 + 9. Let w = 0 + 3. Which is greater: w or c?
c
Suppose 2*x + 136 = f - 5*f, -3*x + 4*f = 174. Is x at least -63?
True
Let l(x) = 7*x - 12. Let v(j) = -10*j + 18. Let q = 2 + -9. Let d(k) = q*l(k) - 5*v(k). Let t be d(6). Is t != 0?
False
Let v(h) = h**2 + h + 16. Let n be v(0). Let g be ((-8)/32)/(10/n). Let o = 6 - 5. Which is smaller: o or g?
g
Let l = -0.093 + 0.293. Is l bigger than 11/4?
False
Let g be 17/(-42) + (-7)/42. Suppose -5*l = -3 + 8. Is g less than l?
False
Suppose x - h - 26 = -0*x, -44 = -2*x + 4*h. Suppose y = 4*y - x. Which is smaller: 9 or y?
9
Suppose 0 = -22*f - 292 - 434. Which is bigger: -35 or f?
f
Let i be 12/(-72) + 1/6. Let n(z) = -2*z**3 - z**2 + 1. Let t be n(-1). Let v be 0 - (t - (-56)/(-30)). Which is smaller: i or v?
v
Let f = -1106/7725 + 12/103. Which is smaller: f or 1?
f
Let i = 2889/38 + -76. Which is smaller: -1 or i?
-1
Suppose 85 = 2*d + d - 5*x, 0 = 5*d - 5*x - 125. Is 21 >= d?
True
Let b = 112 + -114. Is -8/3 bigger than b?
False
Suppose 5*i = -5*u + 30, 3*u + 20 = 5*u + 4*i. Suppose u*r + 0 + 4 = 0. Which is smaller: -1 or r?
r
Let i = -59/5 + 403/35. Suppose 0 = 5*u - 10*u. Suppose u*y + 2*y = 6. Which is bigger: y or i?
y
Let n = -1.7 + -0.3. Let g = 0.81 + -0.7. Let v = g + -0.21. Do v and n have the same value?
False
Let l = -562/57 - -10/19. Is l != -9?
True
Let f be 4 + 9/1 - (-2)/(-2). Which is smaller: f or 16?
f
Let s = -7.4 + 1.4. Let y = s + 9. Which is greater: 1 or y?
y
Let m = -2 - -1.94. Is m smaller than -1?
False
Let n be 1/(-2) - 7/(-14). Is n smaller than 0?
False
Suppose 5*s - s - 20 = 0. Suppose 3*x = -4*b + 32, 0 = -3*b + 2*x - 0*x + 7. Are s and b nonequal?
False
Suppose 4*u + 2 = -70. Is u at least as big as -17?
False
Let h be 3/(-12) + 18/8. Let w be (1 + 1)*(h + -4). Is w at most as big as -2/3?
True
Suppose 0 = -2*j - 3*j + 125. Suppose -2*r + j + 19 = -4*u, 0 = 5*r - 20. Is -8 > u?
True
Let x(n) = -n**3 - 3*n**2 + 3*n - 3. Let b(d) = 2*d + 8. Let y be b(-6). Let w be x(y). Let f be w - 2/22*10. Is 1 bigger than f?
True
Let v be 3*((-1)/(-3) + 1). Suppose -1 - 3 = -3*y + v*r, r + 1 = 5*y. Let j = -10 - -7. Which is smaller: y or j?
j
Let g = -1/94 - -195/658. Let z = -45 + 45.2. Are g and z equal?
False
Let m(k) = k**3 + k**2 - 6*k + 5. Let o be m(2). Is o < -11?
False
Let s be 415/140 + (-3 - -2 - 2). Suppose t + 4 = -3*t. Is t bigger than s?
False
Let q = -70 + 78. Suppose -26 = -4*g + 2. Do q and g have the same value?
False
Suppose 0*r - 4*r = -16. Suppose -2*i + 4 = -a, -8 = -2*i + 4*i - r*a. Let p be 44/(-6) + i/(-6). Which is smaller: -7 or p?
p
Suppose -h + 5 = a + 6, 5*h - 2*a - 16 = 0. Which is greater: h or 3/2?
h
Let t(i) = -i - 3 + 4*i + 1 - 2*i. Suppose 0 = -2*q + c + 11, 5*q + 9 - 38 = 4*c. Let m be t(q). Is m not equal to 2?
True
Suppose 34 - 14 = -5*i. Let x be -2*(-1 + (-2)/i). Let d = 4 - 2. Which is smaller: d or x?
x
Suppose r - 4*r = -6. Is 0 at most as big as r?
True
Let h(m) = 2*m**2 - 3*m - 2. Let g = 7 - 8. Let q be h(g). Which is smaller: 0 or q?
0
Let s = -7 + 14. Suppose s*m - 4*m + 15 = 0. Which is smaller: -3 or m?
m
Let i be ((0 + 2)/(-2))/(-1). Let u = 3813/12350 - 1/950. Are i and u equal?
False
Let p = 0.3 + 0.5. Let j = p - 1. Let r = 0.1 - 0.1. Which is smaller: j or r?
j
Suppose 4*g + 9 = -3. Let h be (2/(-3))/((-1)/(-6)). Which is smaller: g or h?
h
Let b = -0.054 - -0.124. Is b at least 3?
False
Let n be (-2)/(-10) - 6/10. Let p = 0.3 + -1.3. Let f = p - -1.2. Is n at least as big as f?
False
Let g = -1/61 - 181/122. Suppose 5*a = z + 21, -a + 9 = -2*z - 3*z. Which is smaller: g or z?
g
Suppose -2*b = -4*s + 10, b + 0*s = -s + 1. Let h be (0 + 0/(-2))*b. Is h >= -2/21?
True
Let o(s) = -s**2 + 8*s + 12. Let g be o(9). Suppose 0 = -5*x + g*v + 1, -4*x = -5*v - 3 - 3. Is -3 less than or equal to x?
True
Let k = -39 + 38. Which is bigger: 4/11 or k?
4/11
Let u be (-2)/3 - (-22)/84. Let h = u - 2/21. Which is bigger: h or 0?
0
Let d be 0 + -3*(-6)/(-9). Let o = -25.8 + 26. Is o greater than or equal to d?
True
Let a = -120/11 + 993/88. Let m = a + -1/8. Let z = 3 - 2. Is m bigger than z?
False
Suppose 6*a - 35 = a. Let u be (-1)/(3/(-9) + 0). Suppose -3*x = -u, 5*p + a = 4*p + 2*x. Which is bigger: p or -6?
p
Let j(s) = -4*s - 13. Let p be j(-3). Is -3/13 at most p?
False
Let c = -222.73 + 232. Let q = c + -3.15. Let a = -0.12 + q. Is a not equal to 1?
True
Let z = 46 - 45. Let k be ((-4)/(-6))/(1/2). Which is smaller: z or k?
z
Suppose 0*q + 5*q = -65. Is -12 at most as big as q?
False
Let w(b) = -2*b - 3. Let d be w(-5). Let v = 14 - 9. Is v at most as big as d?
True
Suppose 3*y + i - 3 = 0, -2*y + 2 = -3*i + i. Suppose 6*f = 5*f - 5, 0 = -3*p + 3*f + 18. Is y < p?
False
Let s(h) = h**2 - 9*h + 11. Let m be s(9). Is 11 < m?
False
Let q be 4/(-10) - (-388)/20. Which is smaller: 20 or q?
q
Let c(p) = -p**2 - p + 2. Let d be c(0). Let l = -10 - -22. Suppose -4*s = -d*r + l, -7*r = s - 2*r - 8. Is -3 >= s?
False
Let j be (2/4)/((-1)/(-12)). Suppose -4*o + 2*u + j = 0, 0 = 2*o + 2*u + 5 + 7. Are o and 1/3 non-equal?
True
Suppose 0*h + 2*h - 4 = 0. Is h greater than or equal to 2?
True
Let l = 2.9 + -3. Let o = 0.6 - 0.9. Let u = o - l. Which is greater: u or 1?
1
Let j = -17.9 + 17. Let n = 4.9 + j. Which is bigger: n or -2/7?
n
Suppose -2*g - 228 = 4*g. Which is smaller: -1/2 or g?
g
Let b(r) = 6 - 3 + r**2 + 2*r - 2. Let m be b(-1). Let i be (-34)/(-72) - (-6)/(-27). Which is greater: m or i?
i
Let u(n) = -n**3 - 10*n**2 + 2*n + 17. Let o be u(-10). Which is greater: o or -10?
o
Let j(z) = -z**2 - 10*z - 15. Let c be j(-8). Is c greater than or equal to 1?
True
Let s be ((-6)/18)/((-14)/12). Which is greater: s or 2/9?
s
Let o be 150/105 + (-2 - 0). Suppose 0 = 4*n + 3*y + 2, -n + 8 = 5*y - 0*y. Is o less than n?
False
Let y be 8/6 + 10/(-5). Let t(g) = -g**2 + 6*g - 6. Let d be t(4). Does d = y?
False
Let j = 8 + -10. Let k(y) = 2*y**2 + 3*y + 2. Let g be k(j). Let d be 6/20 + (-2)/g. Is d equal to -1?
False
Let f = -1/92 - -6/23. Let j = 3 - -2. Let x = 4 - j. Is x less than f?
True
Let l = -1760 + 19342/11. Do l and 4 have different values?
True
Let g = -11.82 + 4.88. Let f = g + -0.06. Let a = 1.9 + -2. Which is smaller: a or f?
f
Let q = -3077/20 + 154. Suppose y - 1 = -0. Are q and y unequal?
True
Let v be (4/(-8))/(3/288). Let n = v + 1. Let r = -234/5 - n. Is -1 < r?
True
Let w(x) = 4*x + 8. Let v be w(-4). Is v greater than -8?
False
Let t = -38 - -38. Let s be 3/(-2)*(-3)/9. Which is smaller: s or t?
t
Suppose 0 = -0*h + 2*h. Suppose -11 = 5*k - 2*g - h*g, 4*g - 16 = 4*k. Let x = 2165/11 + -197. Which is smaller: x or k?
k
Let x(r) = r**3 - r**2 - r + 3. Suppose -4 = -y - 0. Suppose y*v = -0*v. Let u be x(v). Which is smaller: u or 2?
2
Suppose 3*w + 25 = -5. Which is smaller: w or -11?
-11
Let f = 0.07 - -0.03. Do f and -6 have the same value?
False
Suppose 3*b = -0*c + 3*c + 18, b + 54 = -5*c. Let v be (-2)/c + (-64)/(-30). Which is smaller: v or 2?
2
Let u be 8/(-28) - (-221)/(-84). Let o = u + 19/6. Which is greater: o or 0?
o
Let j be 20/(-8)*(-16)/35. Which is smaller: j or 1?
1
Let w(z) = z + 4. Let j be w(0). Is j < 11?
True
Let o(v) = 3*v**2 + v - 1. Let p be o(1). Let z = 27 - 24. Is z greater than p?
False
Let q be (-3)/2*(-4