= 5*p - 4*c + w. Let h = 2 - p. Is 1/5 smaller than h?
True
Let o = 0.07 - -13.93. Let j = 13 - o. Which is bigger: 4 or j?
4
Let z = 3/20 + -1/15. Let c = -12 + 12. Which is smaller: z or c?
c
Let i be (-1 + -1)*(-6 - -2). Suppose 5*h - 3*m + 0*m - i = 0, 0 = -3*h - 3*m. Which is bigger: h or 0?
h
Let m = 431 + -4738/11. Which is bigger: 0 or m?
m
Let t = -102 - -143. Is 41 >= t?
True
Let f = 86 - 86. Is 7/15 at least as big as f?
True
Suppose -4*r - r + 30 = 3*f, -2*f = 2*r - 12. Suppose n + 2*c - 13 = 0, -3*n + 2*c = r*c - 29. Suppose 0*t = n*b + 5*t + 20, -8 = 2*t. Are 2/11 and b equal?
False
Let z(c) = 7*c - 2. Let g(x) = 13*x - 4. Let p(k) = -4*g(k) + 9*z(k). Let f be p(-4). Let j be 96/f + 8/4. Is -1 != j?
True
Suppose 5*i - 33 = -l, i - 3*i + 4*l = 0. Which is smaller: 7 or i?
i
Let q = 3.6 + -1.6. Which is smaller: -0.1 or q?
-0.1
Let d = -0.7 - -0.69. Let f = d - -0.01. Which is smaller: -11 or f?
-11
Suppose -3*r = 2*g - 2, -r - 4*g = -5*r + 36. Let o = -47 + 48. Which is greater: o or r?
r
Suppose 6 = w + 4. Is 2 equal to w?
True
Let h = 7/8 - 65/56. Is 2 bigger than h?
True
Suppose -2*w - 81 = s - 2*s, -235 = -3*s - 2*w. Is s less than 80?
True
Let n = 93.1 - 87. Do n and 0 have the same value?
False
Suppose -3*j - j = 0. Suppose -w = -2*h - 1, -4*h = -7*w + 2*w + 5. Which is smaller: w or j?
j
Let n = -0.9 + 0.8. Let q = 0.2 + n. Which is bigger: 0.9 or q?
0.9
Suppose 4*f - 32 = -5*v, 2*f - 21 = -f - 3*v. Which is greater: 5 or f?
5
Let w = -78757/8 - -9861. Let u = w + -16. Is 1 at least u?
True
Let x(p) = -p**2 - 4*p + 1. Let f be x(-4). Let h be (2/(-260))/(2/4). Let k = -58/455 + h. Is f greater than k?
True
Suppose -4*r - 18 = -2*c, c + 3 = 3*c - r. Which is smaller: -1/19 or c?
c
Let l = -45494/21 + 2166. Is -1 != l?
True
Let l(v) = v**3 - 3*v**2 - 5*v + 4. Let q(c) = 4*c. Let o be q(1). Let h be l(o). Suppose 10 = 2*x + 3*x. Are x and h equal?
False
Let r = 12 - 11.8. Let z = -8 + 8. Which is bigger: r or z?
r
Let b = -49 - -243/5. Which is greater: 6/17 or b?
6/17
Let g be 2/(-8) + 27/(-4). Let w = g - -13. Is 6 smaller than w?
False
Let j = -1 - -1. Suppose -2*o - 2*v - 1 = -v, -3*o - 3*v - 9 = 0. Let k be o - (24/9)/4. Is j less than k?
True
Let t be 44/(-112) - (-2 + 3). Let q = t + 8/7. Suppose 9 = 3*w - 3*h, -4*w + 15 = -9*w - 5*h. Is q < w?
True
Let o = 2 - 1.8. Let j = 2128/15 + -4939/35. Let b = 3/35 - j. Is b less than o?
True
Let t be ((-6)/(-4))/(63/28) - -2. Is 2 less than or equal to t?
True
Let g be ((-22)/4)/(2/4). Is -8 less than g?
False
Let o = 9 + -8. Is 1/20 greater than o?
False
Let h(t) = t + 1. Let g be h(-2). Let u be (-3)/(6/(-4))*3. Let m(y) = y**3 - 6*y**2 - 1. Let s be m(u). Is s less than or equal to g?
True
Let q be 1715/91 - (-6)/39. Is 0 smaller than q?
True
Let l = -379/2 + 26153/138. Do l and 1 have different values?
True
Suppose 0 = -m - 4*m - 80. Let l be (8/m)/(1/4). Is -1 not equal to l?
True
Suppose -6 = -u - 0. Let z = u + -5. Let f = 4 + -4. Is f <= z?
True
Let d(x) = -x + 3 + 3 - 1. Suppose 6*o + 11 = 47. Let w be d(o). Is w greater than 1/3?
False
Let j be -4 - (-3 + (-10)/(-4)). Let i = j - -23/6. Suppose -p - p + 2*m - 2 = 0, 4*m = 2*p + 6. Is p != i?
True
Suppose -q - 5 + 0 = 0, 3*c - 4*q = 35. Suppose 2*w + c*f = -0*w - 11, -3*f - 19 = -5*w. Is w != 0.06?
True
Let a be (2*(-3)/(-24))/4. Which is smaller: a or 1?
a
Suppose 2*n - 1 - 7 = 0. Suppose n + 0 = -u. Suppose 2*v - 4 = -8. Is v at most u?
False
Let o(m) = 5*m - 20. Let r(s) = -3*s + 13. Let v(d) = 5*o(d) + 8*r(d). Let f be v(-5). Which is bigger: f or 1?
1
Let b = 16 + -8. Let d = -5 + b. Let g = -2/47 + 55/188. Which is smaller: g or d?
g
Let t be 340/(-2023) + (-2)/(-7). Is t > -0.1?
True
Let z = -35/76 + 4/19. Let u be 2/(-2) + (-4)/(-2). Are z and u equal?
False
Let a(m) = m**2 + m - 7. Let c(o) = -o. Let v(q) = a(q) + 4*c(q). Let f be v(5). Suppose -f*l - 25 = 2*l, -2*u + 2*l = -12. Which is smaller: 2/9 or u?
2/9
Let m = 1.83 + -0.13. Let y = m + -1.61. Let f = y + -0.49. Which is greater: f or -1?
f
Suppose -4*m + 24 = 8, 2*m - 8 = 4*o. Let q = o + -4. Which is smaller: -3 or q?
q
Let d be 250/(-6) + 6/9. Is -1 less than or equal to d?
False
Let t be (-4)/14 + 90/(-126). Is t at most -2/7?
True
Let v(x) = x**2 - 4*x + 3. Let y(d) = 2 - 2*d**2 - 9 + 0 + 9*d. Let a(i) = 5*v(i) + 2*y(i). Let h be a(1). Is 1/6 bigger than h?
True
Suppose -3*j - 2*j = 0. Suppose 5*b + 4 = -6. Let s be b - (3 + j) - -2. Which is smaller: 0.2 or s?
s
Suppose -4*p + 264 = 2*f, 188 = 6*p - 3*p + 4*f. Which is bigger: 69 or p?
69
Let c = 1 - 6. Let i = c - -8. Let n = -1 + i. Which is smaller: n or -1?
-1
Let m be (-5)/1 + 2 + 1. Is -8/9 smaller than m?
False
Let j be 0 + 2 - 1/((-25)/(-55)). Is j at least as big as 10?
False
Let l = 40 - 122/3. Are l and -11/3 equal?
False
Suppose -85*h + 84*h = 26. Is h > -27?
True
Let z = 0.001 + -4.401. Let t = -5 - z. Let w = -0.4 - t. Which is greater: -1 or w?
w
Let z be 5/((-20)/12) + (-51)/18. Is z smaller than -7?
False
Let t be ((-1)/(-121))/(1/(-2)). Which is bigger: t or -1?
t
Suppose 3*f = -0*r - r + 9, 0 = -2*r + 2*f + 26. Let d = -22 - -35. Is d != r?
True
Suppose -a - 1 = s, 2*s = 4*a + s + 19. Let t be (3 + -1 + -2)/a. Is t > 2/45?
False
Suppose -3*o = -o - 10. Suppose -10 = -p + o. Is p less than or equal to 15?
True
Suppose -4*z + 2 + 6 = 0. Let j be -3*7*(-2)/z. Let n be -2 + 2 + 3/j. Which is bigger: n or 0?
n
Let m = -679/4 - -169. Let n be (6/(-12))/((-3)/4). Which is bigger: m or n?
n
Let j = 12 - 12. Which is greater: j or -1/13?
j
Let t = 10 - 18. Let h be 32/18 - 12/(-54). Suppose 4*b - 31 = 5*g, -h*g - 19 = 2*b - 3. Which is smaller: t or g?
t
Let u = 25250/33 + -765. Let j = -360 + 11881/33. Let p = u + j. Are 1 and p unequal?
True
Suppose 6 = 3*j - 0*j. Suppose 0 = -o + 2 + 3, -5 = -j*n - o. Let y = -71/7 - -10. Is n less than y?
False
Let u = -161 + 158.94. Let v = 0.02 - -0.04. Let r = v + u. Which is smaller: r or 0?
r
Suppose f + 5*j + 9 = 0, f + 0*f + 3*j = -5. Let c = -591/8 + 74. Which is smaller: f or c?
c
Suppose -5*y - 3 = -28. Let v = y + 2. Let t be (-2)/v - (-6)/21. Is 1/3 not equal to t?
True
Let q = 8 - 9. Let y(t) = -t**3 + 9*t**2 + 9*t + 9. Let v be y(10). Let m be (-1 - -1)/(-3 - v). Which is bigger: q or m?
m
Suppose 5*t + 41 = -3*z, 0 = 3*z - 2*t + 8 + 5. Let a be -2 - z*(-4)/(-12). Is 14 at least a?
True
Suppose -2*j + 0*v = 4*v + 62, -4*j - 2*v = 94. Let d be 12/(7/(j/(-6))). Is 6 at most as big as d?
True
Suppose -4*k - 3*n = -63, 5*k - 79 = -0*k - 4*n. Is k smaller than 0?
False
Let p = -116 - -117. Suppose -3*x = -4*l + 2*x + 19, -2*x = 6. Is p <= l?
True
Let f = -16/5 + 68/15. Let s(h) = h + 6. Let i be s(-6). Do i and f have different values?
True
Suppose 0 = 3*r - 9. Let l = 2 - r. Let a = 7 + -6. Is a > l?
True
Let r(o) = 5 - 21 - 1 - o. Let p be r(-15). Which is bigger: -5 or p?
p
Let j(x) = -x**2 - 5*x + 6. Let z be j(-5). Let q be -2 - (z/(-3) + 3). Let v = q - -3. Is v greater than 2/11?
False
Suppose 0 = a + 4*a. Let w = 4 - 5. Which is smaller: a or w?
w
Let y = -0.4 + -28.6. Is 0.1 >= y?
True
Let s = -453 + 1301. Let v = s - 25447/30. Let g = -5/6 - v. Which is smaller: -1 or g?
-1
Suppose 2 - 5 = m. Let s be -1*m/(-111)*2. Which is smaller: s or 0?
s
Let d = 1.53 + 0.47. Does d = 1?
False
Let r(d) = -3*d**2 + 2*d + 5*d**3 - 3*d**3 - d**3 + 2. Let k be r(2). Which is smaller: k or 1/2?
1/2
Let x be 54/(-15) - (-12)/20. Let i be 0 - ((-222)/4 + 0). Let y = -57 + i. Does x = y?
False
Suppose 0 = 5*k - 13*k - 8. Is k at most -17/7?
False
Suppose 0 = 15*k - 34*k + 57. Suppose -5*c - b = -3 - 5, -3*b = 4*c - 2. Which is smaller: k or c?
c
Let u be (1/4*0)/(-1). Is 0 at least as big as u?
True
Let c = -58 + 55. Which is smaller: -15 or c?
-15
Suppose 8*p + 33 = -3*p. Which is bigger: p or -1?
-1
Let h(r) = -r**3 + 2*r - 1. Let b be h(-3). Let l be ((-2)/(-4))/((-5)/b). Let z = 1 + l. Is z bigger than -2?
True
Suppose 0 = -3*p + p - 12. Let u = p - -10. Let d be 1/u - 21/(-12). Is 2 greater than or equal to d?
True
Let v be ((-2)/(-3))/((-2)/(-9)). Suppose 0 = 3*r - 0 + 9. Let j = v - r. Is j at most as big as 6?
True
Let w = 67 - 66.94. Which is bigger: w or -3/8?
w
Suppose 5*d + 3*j + 5 - 50 = 0, 0 = -2*d + 2*j + 34. Let s be (d/16)/(-1*3)