 -13. Let h = z - l. Are -0.02 and h equal?
False
Suppose 3*o = -3*z, -1 = -o - 4. Suppose 6*m - 44 = 4*m + 5*y, m + z*y - 22 = 0. Suppose -5*t + 13 + m = 0. Is 7 at most t?
True
Suppose -104 = 4*x - 20. Let y = -1 - x. Which is smaller: 19 or y?
19
Let v = -8563.95 - -8564. Let t = 0 - -0.2. Which is smaller: v or t?
v
Suppose 5*k - 16 = -3*t, -6*k + 13 = -t - 4*k. Are -60/19 and t nonequal?
True
Let i be (-1 - 4)/(75/(-90)). Let l be i/(-8) + 56/70. Which is smaller: -1 or l?
-1
Let c be (-36)/9 + 108 + 1. Suppose 8*q - 3*q = c. Suppose -4*y = -4*s + 16, 4*s - q = 5*y - 2. Which is greater: 1/9 or s?
s
Let n(j) = j**2 + 6*j - 3. Let h be n(-5). Let g(x) = -3*x - 71. Let i be g(-21). Do i and h have the same value?
True
Let w be (2 - 4)*(-4)/(-2). Let s = 6 + w. Suppose g + s = 3. Is 1 equal to g?
True
Let a be (-12)/((-3)/(-2) + 204/(-80)). Is a < 10?
False
Suppose -2*j + 13 + 11 = 0. Let x be j/2 - (-7 - -4). Let n = -3 + x. Which is bigger: n or 5?
n
Let r be (9/(-36))/(3/12). Is r equal to -74?
False
Let m = -110 - -548/5. Let t(y) = -2*y - 18. Let q(r) = -2*r - 19. Let d(p) = -3*q(p) + 4*t(p). Let w be d(-7). Which is bigger: m or w?
m
Let u(s) = -s**3 + 9*s**2. Let t be u(9). Suppose t*j = -4*j. Suppose -8*y + 11*y + 3 = j. Which is bigger: 1/7 or y?
1/7
Let b be 6/4 - 1/(-2). Suppose 0*x + 390 = b*x. Let k be 2/(-13) - (-108)/x. Is k smaller than 0?
False
Let h = 192 - 108. Let n = h - 144. Are -60 and n nonequal?
False
Let k = 811/88 + 73/44. Are 12 and k equal?
False
Suppose 2*z + 3*z = 40. Let v = 17 - 10. Suppose -2*x = -3*x + v. Which is bigger: z or x?
z
Let p be (-14 - 80)*(2 + 6/(-4)). Which is smaller: 3 or p?
p
Let z = 333.9 + -334. Let c = -10/3 + 14/3. Which is smaller: z or c?
z
Let t(w) = -w**3 + w**2 - w + 3. Let a be t(0). Let f = a - -6. Let o = 353 + -345. Which is smaller: o or f?
o
Let f = -10.4 - -11. Let u = -1.7 + f. Do 1/2 and u have different values?
True
Suppose -4*g - 2*h = 398, -3*g - g - 404 = -4*h. Let o = g + 55. Let t be (-16)/(-45) + 10/o. Which is smaller: t or 0?
0
Let d be 12 - ((-10)/2 + 3). Suppose d = -2*w - 5*m + 2, 0 = w - 5*m - 9. Let a be -3 + 5 - 16/7. Which is smaller: a or w?
w
Let h = 16521993071/110 - 150198563. Let s = -1374 + h. Are 1 and s non-equal?
True
Suppose n - 5 + 1 = 0. Suppose -s + 24 = -3*m, -n*m + 2*s = -7 + 39. Let y = 9 + m. Is y bigger than 0?
True
Let f(w) = 23*w + 139. Let l be f(-6). Is l not equal to 1/92?
True
Let x be 2/6 - 2/(-3). Let s be 165/35 - -5 - (-4)/14. Let c be (-25)/s + (2 - -2). Which is greater: x or c?
c
Let f be 423/(-6)*(-3)/81*3. Which is greater: f or 7?
f
Let y = -763.895 - -764. Is y at most 0?
False
Let s = 10 + -10.36. Let i = 1.16 + s. Which is bigger: 0.2 or i?
i
Let s = -43 - -48. Let k be 4/s*(-15)/6. Is -3 bigger than k?
False
Let p = -141 - -149. Is -1.4 < p?
True
Let g(t) = 4*t**3 - 41*t**2 + 5*t + 51. Let d be g(10). Which is greater: d or 1/287?
d
Let g(z) = -z**3 - 9*z**2 - 8*z + 8. Suppose 0 = -12*a + 13*a + 8. Let k be g(a). Suppose 5*l + k = -2. Which is greater: 0.04 or l?
0.04
Suppose -2*s - c = 2486, -10*c = 4*s - 7*c + 4976. Is -1240 at most s?
False
Let p = 1332 + -1333.27. Let d = 9/7 - 34/21. Which is greater: p or d?
d
Suppose -c - 5*t = 187, -2*c - 1085 = 3*c - 5*t. Let w be c/20 - 4/10. Is w less than -11?
False
Let l = 141/65 - 36/13. Let q(n) = 2*n - 23. Let r be q(14). Suppose -2*y - r*c = -18, -3*y + 7*y - 5*c = -24. Is y greater than or equal to l?
False
Let a = -51 - -107. Let x = -57 + a. Is -23/4 bigger than x?
False
Let n = -0.108 + 0.208. Is n less than or equal to -1?
False
Let j(t) = t**3 + 17*t**2 - 39*t - 7. Let g be j(-19). Is g >= 1?
True
Let s = 794 - 1236. Is -441 less than or equal to s?
False
Let t be -3*(3 + (-12)/3). Suppose 5*m - 2 = t*m. Which is greater: m or 8?
8
Let c = 37 + -49. Let b be -20 - -3*(-2 - -1). Let a = b - -10. Is a at most c?
True
Let k = -31 + 61/2. Let p = -2.9 - -1.8. Let x = 1.4 + p. Is x smaller than k?
False
Let f(n) = -12 - 10*n - 3 + 11 - n**2. Let c be f(-6). Which is greater: c or 0?
c
Let f(y) = -2*y**2 + 8*y + 8. Let h be f(7). Let d = 41 + h. Suppose -l - 4*p = -d, -2*l = -5*l + 5*p - 13. Which is smaller: 1/4 or l?
l
Let p be 8/(-12)*(-695)/20. Which is bigger: 24 or p?
24
Suppose -4*r + 69 = -3*r - n, -3*r - 3*n + 183 = 0. Let o be -8 - r - (-8)/2. Do -0.1 and o have different values?
True
Suppose -4*f + 6*a - 3*a = -56, -5*a = 0. Let l = f + -7. Let k = 7 - l. Is 3/4 <= k?
False
Let g = 13 - 15. Let m be 3*(3 - (-28)/(-12)). Suppose 4*p - m = -6. Are g and p equal?
False
Suppose 10*c - 10 = 5*c. Suppose 3*j - 4*j = -4. Suppose j*l = l. Is c >= l?
True
Let k = 31 - 23. Let j be 1 + (3 - (-26)/(-2)). Let p = k + j. Does p = -1?
True
Suppose -7*h = -h + 84. Let q be (-2)/h - (-78)/91. Let u = -110 + 881/8. Which is bigger: q or u?
q
Let n be 0 + ((-17)/(-4) - 4). Suppose -q - 3*q + 8 = 0. Suppose 0 = 4*s + 5*w - 10, 0 = -3*s + 5*w - 12 + q. Which is bigger: s or n?
n
Let f = -873 + 289. Let s be ((-606)/(-105))/(f/(-30)). Let g = s - 6/73. Which is smaller: g or 0?
0
Let n = 292 - 208. Is n at most as big as 83?
False
Let z = 52.6 + -37. Let i = z - 15.5. Are i and -107 unequal?
True
Suppose 15*u = 13*u - 12. Suppose -3*p - h + 32 = 0, 2*p + 7 = 2*h + 23. Let z be u/8 + p/40. Which is smaller: -1 or z?
-1
Let a = -59.135 - -0.135. Let z = -147.9 - -148. Is z greater than a?
True
Let t = -4 + 4. Let c be (4/6)/(6/(-18)). Let p be 4/(-22)*1/c. Is p at least as big as t?
True
Suppose 4*s - o + 17 = -2*o, 5*s + 4*o = -24. Suppose -i - 2*i = -a + 40, 2*i + 44 = 5*a. Which is bigger: i or s?
s
Let u = -21.38 - -0.38. Let z = 29 + u. Let g be (-6)/6 + (12/9)/4. Is z greater than g?
True
Let k(u) = u + 4. Let s be k(-4). Let b = -905178 + 41634851/46. Let q = b + 145/2. Which is bigger: q or s?
s
Let t be 5/4*(1 + 3). Suppose 0 = t*i - h - 9, 2*h + 0*h + 3 = -5*i. Which is greater: -6/29 or i?
i
Let b be (-8936)/56 + 8*(-2)/(-28). Let x = 325/2 + b. Which is smaller: 4 or x?
x
Suppose -60 = 2*t - 14. Let u = 18 + t. Which is greater: -3 or u?
-3
Let o be (2/5)/(-8 + 2196/270). Let i = 5 + -1. Are i and o equal?
False
Let g = 0.4 + -0.3. Let q be 1/(32/5 - 3). Let u = -41/34 - q. Which is smaller: g or u?
u
Let b(t) = t + 11. Let v be b(-9). Suppose -4*w = -2*w - v, a = w. Suppose -4*n - a - 3 = 0. Is n less than 2/5?
True
Suppose -2*c = 13 + 5. Let y be (-4)/12 + 6/c. Is y greater than -4/3?
True
Suppose -3663 = 26*n - 125*n. Are n and 184/5 equal?
False
Let b be (-24)/(-3) + (0 - 1). Suppose -8*n = -2*v - 12*n + 18, 0 = 3*n - 6. Is v at most as big as b?
True
Let b(y) = y - 31. Let i be b(34). Is -1 greater than i?
False
Let t = -13 + 9. Let k be (72/(-7))/t + -3. Suppose 409*z = 415*z. Which is bigger: z or k?
z
Suppose 0 = -5*j - y - 49, -j + y - 3*y = 17. Let r be (-82)/(-7) - (-20)/70. Suppose -r = n - 4. Which is smaller: n or j?
j
Suppose 5*r + 10 = -2*h, 3*r + 10 = -2*r. Suppose 2*d + 0*d = h. Suppose 4*c - 3*c = d. Which is greater: -4/11 or c?
c
Suppose 4 = p - 0*p. Let z be (4/(-3))/(p/(-18)). Which is greater: z or 1/8?
z
Let i be (4 - 0)*(-21)/(-84). Which is bigger: i or 4/9?
i
Suppose -5*k + 10 = -5*j, -k - 3*j - 2*j = 10. Which is bigger: k or -3/190?
k
Suppose 0 = -3*l + 5 - 2, g + 5*l = 2. Is g >= -5/2?
False
Let n(f) = -5*f**2 - 64*f - 94. Let k be n(-18). Is k greater than or equal to -561?
False
Let z = -61.7 - -60.7. Which is smaller: z or -0.012?
z
Suppose 2 = -2*d - 0. Let x be (-1*(2 - 3))/d. Let u be (-4 - 60/(-16))*x. Does u = 9?
False
Let z = -771 + 1507. Which is smaller: z or 2?
2
Let z = -0.1 + 0.1. Let j = -1.6 + -93.4. Let k = 105 + j. Is k less than or equal to z?
False
Let u be ((-872)/10 + 0)/((-34)/85). Let r = u + -4361/20. Which is smaller: -1 or r?
-1
Suppose 0 = p + 5 + 1. Let t be (3 - 0) + -137 + p. Let k be 285/t - 2*-1. Which is bigger: 1 or k?
1
Let a = -12354 - -74377/6. Is a greater than 41?
True
Suppose -4*i + 7 = -1. Suppose -19 - 21 = i*z. Let j be 6/z - (-3)/(-6). Is j smaller than -2?
False
Suppose 0 = -5*y + 2*t + 26, -5*t + 2 - 17 = 0. Suppose 42 = 5*d - 5*u + 12, y*u = 2*d - 22. Is 20/9 bigger than d?
True
Let i(y) = 2*y**2 + 4*y. Let l be i(-4). Let o = l - 28. Let n be 76/(-7) - (-11)/(-77). Is n greater than o?
