22. Let o = 1 - 0.9. Are o and x equal?
False
Let x = 13 + -11. Suppose 3*p = 2*p + x. Suppose 2*w - 3*w + 11 = p*r, 4*w + r = 37. Does w = 9?
True
Suppose 0 = 6*p - 296 + 14. Which is smaller: p or -8?
-8
Let v = 8 - 17. Let s = v - -10.5. Let a = s + -1.1. Is a >= -0.1?
True
Let x be 32/(-20) - (-2)/(-5). Let u be (2*39 - x)*(-12)/(-30). Which is greater: 1/4 or u?
u
Suppose -l = 7*f - 9*f + 83, -4*f = 5*l + 359. Are l and -79 nonequal?
True
Let v(k) = -2 + k**2 - 3*k**2 + 4*k - k + k**3. Let m(r) = r**2 + 2*r - 2. Let y be m(-3). Let a be v(y). Which is bigger: a or 4/11?
4/11
Let m = 1.18 + -1.1. Let b = 3.22 + m. Let y = b + -0.3. Do 0.1 and y have the same value?
False
Let p be 2/5 + (-336)/(-35). Suppose -p = -g - 0. Suppose 11*j - 8*j = 30. Does j = g?
True
Suppose -15*z = -14*z - 33. Suppose -12*g - z = -9*g. Is -10 less than or equal to g?
False
Let g = -5.6 - 2.4. Suppose 25 = 6*z - z, -l + 2*z - 6 = 0. Which is greater: l or g?
l
Let s = -35 + 23. Let n = -160 + 171. Let c = s + n. Is c greater than or equal to -1?
True
Let y = 732 - 660. Which is smaller: 75 or y?
y
Let o = 117 - 193. Are o and 2/5 non-equal?
True
Let j = 98 - 98.1. Are j and -1/39 non-equal?
True
Let c = -32/39 + 158/13. Which is smaller: c or 11?
11
Suppose 0 = -5*c - g + 15 - 0, 0 = -2*g + 10. Suppose -3*d - 24 = v, 0 = 5*d - v + 2*v + 38. Is d >= c?
False
Suppose 4*a + 4*h = 16, 0 = -5*a - 0*h - 2*h + 20. Let n be (2 - 2)*(-4)/a. Which is smaller: n or 7?
n
Let j = 1901.1 + -1901. Let s = 10.6 - -38.4. Is s > j?
True
Suppose 280 = a + 3*a + 4*i, -a + 2*i + 61 = 0. Suppose 2*q + 37 = -d, 3*q + 66 + a = -4*d. Is -32 <= d?
True
Let m = 2 - 5. Suppose 0*z + 5*z - 10 = 0. Suppose z*a = 3*a + 2. Which is bigger: a or m?
a
Let y be (5 - (-99)/(-18))*4. Which is greater: -17/13 or y?
-17/13
Suppose -10 = -2*o, -5*v - o + 152 = 27. Let d(n) = n**3 - 13*n**2 + n - 6. Let l be d(13). Let z be v/l - (7 - 4). Is 0 at most z?
True
Let x be 405/(-2277) + 10/275*5. Is x <= 0?
False
Suppose 0 = -l - 4*l - 55. Suppose -3*n = 4*u - 10, -3*u = -n - 2*n - 18. Suppose u*a = -a - 60. Is a smaller than l?
True
Let j = -52 + 22. Let n = -29 - j. Which is smaller: -6/43 or n?
-6/43
Let m be (3*47)/(3 - 4). Let c be 2/(-9) + m/(-27). Suppose 0*y + 2*y = 12. Is c less than y?
True
Suppose 5*f = -15, -3*g = 3*f + 11 - 2. Suppose 2*d + g*d - 4 = 0. Let n be (d/(-5))/(52/(-20)). Which is bigger: n or 1?
1
Let g be (-490)/(-7)*(-2)/1. Let s be (-76)/g - (-1)/(-7). Is 1 <= s?
False
Let n = -5/221 + 2245/1547. Suppose -4*d = 5*z, -2*z = d - 4*z. Is n greater than or equal to d?
True
Suppose 0 = g + 2*j - 7, -4*j + 4 + 12 = 0. Let r be g + (-15)/(-6) + -2. Suppose 3*v - 11*v = 16. Is v less than r?
True
Let g = 19 + -107. Which is greater: 2/3 or g?
2/3
Let x = 0.069 + 4.131. Let b = x + -1.2. Let j = -3.7 + -0.3. Which is bigger: b or j?
b
Suppose -x = l - 12, -2*l - 25 = -2*x - 3*l. Let u = 80 - 79.5. Let f = u + -0.7. Is f less than x?
True
Let z = -1244 - -1254. Are 15 and z equal?
False
Suppose 0*v - 10*v + 400 = 0. Which is bigger: v or 35?
v
Let d(v) be the second derivative of -v**5/20 + 3*v**4/4 - 5*v**3/3 - v**2/2 + 6*v. Let g be d(7). Suppose 2*m + 3 = 59. Which is greater: m or g?
m
Let x = -1104 - -9914/9. Let b(l) = -l**3 + 49*l**2 + 100*l + 101. Let z be b(51). Is x equal to z?
False
Let b = -38 - -6. Let t be ((-12)/b)/(2 - 8). Let w = -4 + 5. Which is bigger: t or w?
w
Let c = -0.83 - 37.17. Let u = c - -26. Let g = u - -14. Which is smaller: g or 0.3?
0.3
Suppose -33*y + 13475 = 16*y. Do 275 and y have different values?
False
Let x = 1.8 - 1.6. Let m = 0.21 - x. Let f = 1.98 - -0.02. Which is bigger: f or m?
f
Let q = 767530/1869 - 1232/3. Is q at least 1?
False
Let j = -18.6 + 18.6. Which is bigger: j or 26?
26
Suppose 4 = -4*s - 3*c, -s + 5*c + 1 = -2*s. Let j be (s - -3)*4/(-36). Let b(t) = t**2 + 7*t - 7. Let m be b(-8). Is m less than or equal to j?
False
Let c = -3/1070 - 367/59920. Does 0 = c?
False
Let g = -0.93 - -1.13. Let r = 5 - 5.3. Let d = r - -0.35. Which is greater: d or g?
g
Let d = 8 - 7. Suppose 5*y - y = 20. Let r be (-2)/y - (-306)/315. Is d at most as big as r?
False
Let r = -0.2 - -0.38. Let s = -4.18 - -4. Let v = r + s. Is v at most 1/4?
True
Let c be 8/60 + (-160)/75 - -4. Let m be (c + 78/(-15))*(-2 - -1). Let v = -4 - -8. Which is bigger: m or v?
v
Let w = 32.1 + -37.1. Is -3 >= w?
True
Let w = 0.38 + 0.22. Let q = -0.36 + -2.94. Let r = q - -1.3. Which is smaller: w or r?
r
Let l(g) = -2*g - 10. Let r be l(-5). Let o be r - 3*-1 - (19 + -12). Does -7 = o?
False
Let d = 72 - 62. Suppose 21 = -3*h - 3*f, -2*h + 5*f = 2*h + d. Which is bigger: -10 or h?
h
Let w = 155 - 111. Let m = w - 50. Is -0.2 at most m?
False
Suppose -7 = -r - 3*g, -5*r + 5*g - 2 - 3 = 0. Suppose 20*p + r = 19*p. Is p at least as big as 1/5?
False
Let q = -214 + 225.3. Let a = q + -41.3. Is a greater than 2/3?
False
Suppose d - 21 = -m, -5*d + 5*m - 13 + 98 = 0. Let l = 1183 + -1166. Is l <= d?
True
Let q = 2.67 + -2.5. Let t = q + 0.03. Let v = -370/3 + 122. Is v at least t?
False
Suppose 5*o + 108 = -137. Let x = o + 49. Is 2 greater than or equal to x?
True
Let p = 1700.948 + -1706. Let d = -0.052 - p. Which is smaller: 9 or d?
d
Let d(p) = -p**3 + 8*p**2 + 45*p + 24. Let m be d(14). Which is greater: -521 or m?
-521
Let k = 70 + -68. Which is smaller: 11/5 or k?
k
Let i be (4 - 6)*(-14)/(-4). Let h(n) = -n**2 - 13*n - 8. Let x be h(-9). Let q = 22 - x. Is q < i?
False
Let u = -241/133 - -29/19. Is 93 at most as big as u?
False
Suppose -f + 13*r - 12*r = 126, 0 = -4*f + 3*r - 505. Is f at most as big as -124?
True
Let o = 124 - 134. Is -14 at most o?
True
Let b be (-126)/(-12)*(-48)/(-14). Let x = 109/3 - b. Are -1 and x equal?
False
Let f = -780 - -723. Which is greater: -5/2 or f?
-5/2
Let s = 14 - 5. Let g(h) = h**2 - 7*h - 1. Let c be g(s). Suppose -r - 26 = -41. Is r greater than c?
False
Suppose -6*g + 9 = -75. Suppose -g = -5*s + 1. Let n be -1 - -1 - (-9)/4. Is s less than or equal to n?
False
Let u = -68 + 70. Let f = -4 - -7. Which is smaller: u or f?
u
Let l(z) = -z**2 + 7*z - 6. Let t be l(6). Which is bigger: t or 4/91?
4/91
Let p(z) = z**3 + 17*z**2 + 16*z + 8. Let o be p(-16). Which is bigger: -2 or o?
o
Let f be (-59)/295 - (-4)/(-5). Let y be (-64)/345 - (-2)/10. Which is bigger: y or f?
y
Let g(i) = i**2 + 10*i - 10. Let n be g(-13). Suppose 11*l + 168 = 17*l. Which is smaller: l or n?
l
Let f be 2/8 - (-3 - 1428/(-16)). Let y = 87 + f. Which is smaller: 2/61 or y?
2/61
Suppose 4*k = -5*l + 23, 3*k - 4*l = -8*l + 18. Let x be k/6 - 2/(-3). Let f = -91097/13 + 7007. Does x = f?
False
Suppose -1 = y - 0. Let j be (-21)/(-14) - y/2. Suppose -5*a + 37 = j*k - 45, -3*a + 4*k + 70 = 0. Which is smaller: -0.1 or a?
-0.1
Let r = 68/287 + 2/41. Let t be 2/(-7) + 33/(-7). Let f be (-3)/(-15) - (-1)/t. Is r smaller than f?
False
Let q be (-4)/((-88)/(-5))*(-32)/(-40)*-1. Let i be (-2)/3 - 20/(-3). Are q and i unequal?
True
Let h(u) = u**3 - 7*u**2 + 11*u - 23. Let a be h(6). Suppose 4*q - 32 = -8. Is q <= a?
True
Let c be (-8)/(-20) + (-7596)/(-1160) + -7. Is 1 bigger than c?
True
Let f be 1*(380/6)/((-18)/27). Are -95 and f equal?
True
Let q = -40.8 + 36.8. Is -0.88 less than q?
False
Suppose -4 = -7*c + 3*c. Let u be ((-3)/(-2))/(c/8). Let m be u/(-96)*(-4)/3. Is 1/5 > m?
True
Suppose 2*v - 53 = -u + 28, -2*u = v - 39. Which is smaller: v or 35?
35
Let c be (-30)/20*8/3 - 91. Which is greater: c or -98?
c
Let m = 553/5 - 113. Is m less than -3?
False
Let w be 3 + 1 + 3 + -6. Let h(a) = 73*a**2 - 3*a + 3. Let o be h(w). Are o and 73 equal?
True
Suppose 0 = -2*k - 0*y + 3*y + 1, 3 = 3*k - 4*y. Let a(t) = 3*t - 1. Let q be a(3). Let d(l) = l**2 - 10*l + 21. Let u be d(q). Is k < u?
False
Suppose 2*p = -2*p. Suppose -18 = -f - 3*r + 8*r, p = 5*r + 15. Let s = -163 + 161. Which is bigger: s or f?
f
Let j = -339.63 - -0.63. Which is greater: j or 1?
1
Let n(s) = -69*s - 253. Let a be n(-4). Is 57 != a?
True
Let r(q) = 157*q - 294. Let z be r(0). Which is smaller: z or -1476/5?
-1476/5
Let i(y) = -y**3 + 3*y**2 - y - 3. Suppose -5*v = 4*h - 3*v - 6, 3*h - 8 = 2*v. Let k be i(h). Is k <= 3/17?
True
Let c = 19 + -21. Let o be c - (-20)/(4 - 9). Let n be (-10)/(-6)*(-18)/o