)/130). Is s >= -4?
True
Let n = 972 + -1024. Which is bigger: n or -0.2?
-0.2
Let c be 1 + -2 + 4 + 246/(-10). Let m = c - -21. Is 1/4 greater than m?
True
Suppose -10*u = 5*f - 7*u + 119, -4*u = 4*f + 100. Is -4 at most f?
False
Suppose -k = d + 18, 5*k - 28 - 17 = 4*d. Let f be d/(-2)*(-4)/(-36). Let r = 3 - 3. Is f at most r?
False
Let m(z) = 6*z - 4. Let v be m(-3). Let i = v - -22. Which is smaller: -2 or i?
-2
Let j(a) = a. Let d be j(3). Let q(m) = -13 - 4*m**2 - 5*m + m**d + 10 + 9. Let v be q(5). Do 0 and v have the same value?
False
Let z be ((-4)/28*-7)/(1 + 0). Which is smaller: z or 8/27?
8/27
Let s be -6*((-1)/(-3) - 1). Let f be 4/(-15)*(2 + (-48)/s). Is 3 greater than or equal to f?
True
Suppose -9*f = -6*f. Suppose -18*l + 16*l - 10 = f. Let b = l + 27. Which is bigger: b or 21?
b
Suppose 69 - 139 = 5*r. Let t be (-6)/(0 - (-2)/5). Is r less than or equal to t?
False
Let u be (58/(-374))/(121/(-33)). Let k = u + -1/17. Is 0 less than k?
False
Let s be -104*((-2)/3 + 123/36). Let j = -2293/8 - s. Which is smaller: j or -0.1?
j
Let j = 0 - 0.17. Let c = 62 + -61.53. Let t = j + c. Are -4/5 and t equal?
False
Let b = -4/25 - -33/50. Suppose 5*v = -73 + 113. Suppose 5*a - 2 = -5*x + 8, 2*a - v = -4*x. Which is greater: a or b?
b
Let b be -58*(-4 + 8)/8. Let c = 24 + b. Let h be -1*c/(-15)*0. Which is smaller: 1/11 or h?
h
Let l = 1.2 - 1. Let g = -226 + 225.2. Let m = l + g. Is 2 != m?
True
Let j(n) = n + 5. Let h be j(-7). Let r be (6/(-4) - -2)*h. Let p be (-8)/4 - 5/(-5). Do r and p have the same value?
True
Suppose -7*r + 43 + 20 = 0. Suppose 95 = -r*h - 40. Is -14 at most h?
False
Let v = -37 + 36. Let z be (5 - (0 - v)) + -6. Is z at least -1/2?
False
Let z = -153.2 + 153. Is 0.79 at most z?
False
Let a = -2.2 - -2. Let r = -5.8 + 2. Let y = r - -3.6. Is a equal to y?
True
Let t = -92 - -151. Suppose -t + 237 = 2*o. Is o <= 90?
True
Suppose 3*m = -3*y + 36, 2*y - 2 - 19 = m. Suppose j = g - y, 2*g - 6*g = j - 59. Suppose -4*h + 45 = -h. Which is smaller: g or h?
g
Let l be (10/(-12))/5 + 1771/9114. Which is greater: 1 or l?
1
Suppose 0 = -2*j + 8, -l - 2*j - 2 = -3. Let d be 1/(-3) + l + 8. Let v be (-35)/(-42) - (-2)/12. Is d equal to v?
False
Let t = 687008301/628 + -1093962. Let j = t - 2/157. Let p be 1 - 2/(4/(-6)). Are j and p equal?
False
Let r(u) = -u**2 + 14*u - 15. Let d be r(13). Let m be (d/(-27))/((-6)/9). Suppose 2*o + 2*o = -4. Is o >= m?
False
Suppose 34 = -12*u - 194. Let h(b) = -3*b - 56. Let l be h(u). Is -60 > l?
False
Let u = 19 + -33. Let z be ((-7902)/1778 - -4) + (-6)/u. Which is bigger: z or 0?
0
Let j(m) be the first derivative of -m**2/2 + 5*m + 8. Let h be j(2). Let q be -8 + 5 - (-14)/h. Are 2 and q unequal?
True
Suppose 4*c - 39 = t, -2*t - 88 - 20 = 2*c. Is -53 >= t?
False
Let b(n) be the second derivative of n**5/20 - 5*n**4/12 - 4*n**3/3 - 5*n**2/2 - n. Let c be b(7). Let g = 334/9 - c. Which is greater: -1 or g?
g
Let z = -933 - -933. Which is greater: z or 3/25?
3/25
Let u be (-91)/(-77) - (2 + (-3 - 0)). Which is smaller: u or 2?
2
Let x(s) = -2*s**3 + 17*s**2 + 6*s - 2. Let q be x(9). Let t = -11 - q. Do t and 2 have the same value?
False
Suppose 2*b + h = 655, -h - 188 = -3*b + 792. Let v be 12/30 + (-6554)/20. Let i = b + v. Are i and -1 unequal?
True
Let w = -3 + 2. Let t = -0.92 - -0.22. Let m = t - -0.8. Is w equal to m?
False
Let n be ((-36153)/78)/(-1*1/(-2)). Which is bigger: n or -926?
-926
Let x(h) = -2*h**2 + 10*h + 15. Let t be x(6). Let m be 0 + 0/4 + -8. Let y be (m/(-16))/(14/60). Is y at most t?
True
Suppose -4*d + 10 = 34. Let w be -1 - ((-27)/33 + d/33). Is w at most as big as 8/13?
True
Suppose -2*i - 10 = 6. Let t be (-3)/((-2)/(-4) - (9 + -7)). Suppose t*p + 20 = 4. Is p < i?
False
Let s = -62 - -35. Let h = -27 - s. Let m = 428/3 - 144. Is m != h?
True
Suppose 2*h + 2*h - 24 = 0. Suppose -a + 18 = -2*v + 47, 5*a + v = -101. Let s be (-5)/7 + h/a. Which is greater: 1/8 or s?
1/8
Suppose w + 0*w = 13. Let u(s) = s**2 + 61*s - 73*s + 0*s**2 - 13. Let a be u(w). Do a and -1/8 have the same value?
False
Suppose 5*j + 2*a = 12, -3*j + a - 4 = 5*a. Suppose -7*k = -11*k + j. Which is greater: 1/53 or k?
k
Suppose -i + 0 = 12. Let w = 15 + i. Suppose -w = p - 4. Which is bigger: -2/15 or p?
p
Let o = -1208 - -1278. Which is bigger: o or 0.2?
o
Let d = -3.91 + 4.07. Is d greater than -29?
True
Let d be -1 - (-1 + -1) - -19. Suppose 8*v = 4*v + d. Are v and 5 equal?
True
Let t(s) = -s**2 + 7*s + 9. Let j be t(8). Let d be 9/3 + 7/((-308)/128). Which is smaller: j or d?
d
Let d be (-5 + 7 + -2)*(-1)/2. Let o(k) = -k**2 + 3*k - 1. Let t be o(d). Let b be -16*6/28 + 2. Are b and t nonequal?
True
Let f = -11.41 - -11.31. Which is greater: f or 1/347?
1/347
Suppose 3*c - 7 = 4*v + 4*c, 3*c = -9. Let a = 10/469 + -2057/30485. Is v at least as big as a?
False
Let y(i) = 2*i**2 - 34*i + 26. Let s be y(16). Let n be 1 + (-203)/105 + s/(-10). Is -0.124 not equal to n?
True
Suppose -25 = 4*a - 5*g, -110*a - 15 = -109*a - 3*g. Which is bigger: a or -1/181?
a
Suppose 6 = 5*i + 5*p - 14, -4*i = -2*p - 10. Let a be 1/((-1)/(-6) - 0). Suppose 2*y + 4*l + 10 = 0, l - 4*l - a = i*y. Is -1/13 >= y?
False
Let t = -19 + -6. Let p = t - -33. Let f = 8 + 1. Is f > p?
True
Suppose 4*f - 6*t - 8 = -2*t, -5*t - 16 = f. Let p be (-106)/26 + 2*2. Which is smaller: f or p?
f
Let i = -0.057 - -0.177. Which is smaller: -0.5 or i?
-0.5
Let t = -224 + 184. Is t greater than or equal to -40?
True
Let u = 974/9 - 108. Let y = 1.94 - -0.06. Which is bigger: u or y?
y
Suppose 4*p + 740 = o - 968, -3*p + 4*o = 1281. Is -425 > p?
True
Let r = 1 - 0.974. Let u = r + 0.374. Is 5 equal to u?
False
Let c be (0 - 1) + (5 - 0). Suppose -2*z = 8 - 54. Suppose -z*q - 8 = -25*q. Is c at least q?
True
Let k(s) be the second derivative of -s**5/60 - s**4/24 + s**3/3 - 5*s**2 - 13*s. Let q(c) be the first derivative of k(c). Let o be q(-2). Is o smaller than 8?
True
Let t(h) = -h**2 + 22*h - 45. Let q be t(17). Is q less than or equal to 38?
False
Let s be 2*(-2 + 14)*-1. Let i = -17 - s. Suppose 3 = 4*b + i. Is b >= -4/15?
False
Let h be (-17 - -25) + 3/(-1) + -1. Let a = 0.08 + -0.38. Let c = 0.3 + a. Which is smaller: h or c?
c
Suppose 0 = 26*z - 27*z - 1. Let d(o) = o**2 - 2*o + 2. Let i be d(3). Suppose 10*b - 5 = i*b. Is b < z?
False
Let q be 2 + 1 + -3 + (-5 - -4). Let o be 466/6 + q/(9/(-12)). Which is smaller: 78 or o?
78
Let k be (7044/534 - 13)*3. Which is smaller: 0 or k?
0
Suppose 4*j = -2*t + 102, -3*j - 155 = -8*j + 3*t. Let q be (-56)/(-12)*24/j. Is -13 >= q?
False
Suppose 4*f - 7 = 9. Suppose 0*m - f*m + 4*x - 12 = 0, -x + 1 = 0. Is m less than -3/2?
True
Let q = 18 + 42. Let g = -46 + q. Does g = 13?
False
Let s(h) = h**3 - 2*h**2 + h. Let d be s(1). Let w = -5 - -9. Suppose 0 = -7*m + 3*m + w. Is m != d?
True
Let m = -1.1 - -0.9. Let g = 0.2 + m. Let z = -0.1 + g. Is z less than -7?
False
Let v = 4.011 + -0.011. Which is greater: v or -4/17?
v
Let o = 14 - 6. Let d be (5 - o)/(6/(-20)). Suppose -d = -3*t - 1. Does 3 = t?
True
Let o = 37 + -29. Let i be (-2)/3 + o/(-6). Is i at most -5?
False
Let c = -16.019 - -16. Let s = c + 11.019. Is s greater than or equal to 2?
True
Suppose v + 897 = 891. Which is bigger: -7 or v?
v
Let y = 81718/1507 - 596/11. Is 1 less than y?
False
Let c be (70/28)/(2/(-36)). Which is bigger: c or -43?
-43
Let t = 41/171 + -7/38. Let r = -2977 + 107179/36. Let u = t + r. Which is greater: 0 or u?
u
Suppose 30 = -17*c - 4. Is c at least -13/19?
False
Let n = -3 + 5. Let u(j) = -j**2 - 2*j + 1. Let k(q) = -4*q**2 - 10*q + 4. Let i(b) = 3*k(b) - 14*u(b). Let z be i(n). Which is smaller: z or -1/8?
-1/8
Let w = -261 + 262.51. Let s = -0.03 + -1.47. Let q = w + s. Which is smaller: q or 1?
q
Let y = -2742 + 30182/11. Is 3 greater than or equal to y?
True
Let b = 0.095 - -30.905. Is 2/3 != b?
True
Let q = 11 + -5. Let i = -2 - q. Let g be 2/i - 143/260. Is g < -2?
False
Let i(f) = 2*f - 935. Let d be i(-8). Are d and -950 equal?
False
Suppose 0 = 565*q - 560*q - 55. Let g = 1.9 - 2. Is g bigger than q?
False
Let t be 1*(-2)/(-7) + (-15)/(-21). Is t greater than or equal to -30/11?
True
Let c(u) = -u**3 + 4*u**2 - 2*u - 2. Let i be c(2). Let s be 3/((-47)/2 - i). Let r = 8 + -9. Is s >