6 = 3*t, -g - 2*t + 3*t - 103 = 0. Let a be 8/12*(g/38 - -3). Is y bigger than a?
False
Let d(b) = -15*b - 7. Let x be d(-7). Suppose -3*u - 35 + x = 0. Is 21 >= u?
True
Let b(q) = -2*q - 1. Let a be b(-3). Is a < 5?
False
Let v be (-11 + (-90)/(-9))/1. Is 3/251 at most as big as v?
False
Let x = 5.92 - 6.52. Which is smaller: -7.1 or x?
-7.1
Let f be ((-208)/(-364))/(2/(-1)) + (-78)/(-224). Let y = -3 + 4. Is f not equal to y?
True
Let z be 11*-2*(-1)/2. Let x = 6/71 + -243/355. Which is greater: z or x?
z
Let t = -2026 - -2026. Which is bigger: t or -14/11?
t
Let y = -0.656 - -0.256. Let z(r) = r**3 + 6*r**2 + 6*r. Let j = 0 - 5. Let f be z(j). Is y at most as big as f?
False
Suppose 3*t + 0*i = 2*i - 9, 5*i = 5*t + 20. Let k = 8 + -3. Is t less than or equal to k?
True
Let l = 621 - 1271. Let h = -12355/19 - l. Which is smaller: h or -1?
-1
Let s(d) = d**2 - 15*d - 14. Let b be s(15). Let r = b - -41. Let x = r - 32. Is x greater than or equal to -0.3?
False
Let v = -104 + 103. Which is bigger: v or 1/128?
1/128
Let f be (3 - 6) + 1 + (-164)/(-86). Let q be (-6)/30 + (-3)/(-15). Which is smaller: q or f?
f
Let v = -7 + 13. Let u be 75/v - (-6)/(-4). Suppose -3*c = -8*c + a + u, 8 = 5*c + 2*a. Is c less than 3/2?
False
Let i = 410.2 - 270.2. Which is bigger: -3/4 or i?
i
Let n(a) = -4*a + 24. Let g be n(-15). Let q be (1/3)/(14/g) - 3. Is -3/34 at most as big as q?
False
Let p = -162 + 27. Are -136 and p nonequal?
True
Let j = -1460 + 1460. Is j at most 2/1029?
True
Let z be 50*-1*171/38. Is z smaller than -225?
False
Let o = 1/64 - -43/1344. Suppose 0 = -y - 6 + 7. Do y and o have the same value?
False
Let s be ((-9)/15)/((-8)/(-10)). Let c(r) = -6*r - 102. Let x be c(-17). Which is smaller: s or x?
s
Suppose -2*j + 3*o = -3, 7 = 3*j - 2*o + 5. Which is smaller: 1/573 or j?
j
Let a = 113 - 45. Let h = a - 46. Which is greater: h or 23?
23
Suppose -144 = 2*a - 3*i, 0*i = 5*a + 5*i + 410. Let q = a - -83. Which is bigger: q or 31/5?
31/5
Suppose 0 = 36*y - 39*y + n - 5, -5*y + 3*n - 15 = 0. Let c be 0 + (50/(-31) - -2). Is y < c?
True
Let r(q) = 7*q - 14. Let s be r(8). Let x = s + -93. Let a be (-1)/x*(-1 + -1). Do a and 0 have the same value?
False
Suppose -2*w - 3*r - 502 = 0, -3*w - r = -5*r + 753. Is -253 bigger than w?
False
Let n(c) = 4*c**3 + c**2. Let o(d) = -4*d**3 - d**2. Let g(w) = -6*n(w) - 5*o(w). Let b be g(-1). Does 4 = b?
False
Let c be 9*4/(-12) - (-17)/6. Is -40 at least c?
False
Let l(f) = -3*f + 2 + 2*f + 4. Let w be l(5). Let j = 17 + -17. Is w bigger than j?
True
Let o be ((-444)/54 + 8)*-9. Which is greater: o or -87?
o
Let d = -142 - -151. Which is smaller: 7 or d?
7
Let n be (-65)/(0 + (-4)/(-4)). Which is smaller: -64 or n?
n
Suppose -o + 3*l = l - 6, -14 = -3*o + 5*l. Let f be o/(-48) - 2/3. Let t(n) = -n**2 + 26*n + 155. Let u be t(-5). Which is greater: u or f?
u
Let y be 61/244 - 1/(-44). Are -1 and y equal?
False
Let f = -34 + 38. Suppose 9*d - f = 5*d. Is 6 greater than d?
True
Suppose -4*m - 702 = -3*l, 2*l + m - 10 - 469 = 0. Which is smaller: l or 473/2?
473/2
Let l = 0.14 + -1.04. Let f = l + -2.1. Let c be (-4)/(-6) - 35/30. Is f less than c?
True
Suppose -5*l + 4*t + 2 = 0, -8 = -6*t + 2*t. Let f(c) = 4*c - 8. Let x be f(l). Let p be (1/5*-2)/(-3). Is p at least as big as x?
True
Let f be (-13)/(-11) - (-18)/(-99). Suppose -12 = -2*q + 2*n, -5*q + 6*n + 29 = 2*n. Let z = q - 4. Do z and f have the same value?
True
Let x = -95 - -54. Let u = x + 18. Which is bigger: u or -2/5?
-2/5
Let k(z) = z - 2. Let d be k(7). Let j be d - 7 - 1*-235. Let r = j - 2095/9. Which is greater: r or -1?
r
Let i(l) = l**3 - 6*l**2 - 2*l + 12. Let d be i(6). Suppose d = -a - 0*a + 3. Which is greater: 4 or a?
4
Let a = -13199775671/398 + 33165288. Let o = a - -1/199. Which is greater: o or 22?
o
Let a = -41/26 + 5095/3198. Let y be (-11)/(-9) - 4/18. Which is smaller: a or y?
a
Let o = 1929 - 13505/7. Let f = 16 - 4. Is o >= f?
False
Suppose -4*o = -2*j + 1918, -19*j + 24*j = -5*o - 2435. Which is greater: -1450/3 or o?
o
Let l = -12.09 - -0.09. Let g = 7 + l. Suppose -c = c + 2, -c - 1 = d. Which is smaller: g or d?
g
Suppose -15*d + 13*d = 3*p + 39, 5*p + 2*d = -69. Is p less than -14?
True
Suppose k = -3*y + 72, -2*k - k - y = -184. Let g be 10/(-4)*k/(-50). Suppose g*m - 30 = 5*m. Is -16 > m?
False
Let r(f) = 2*f**3 - 2*f**2 + 5*f - 7. Suppose h + 15 - 12 = 4*k, -3*k + h = -1. Let a be r(k). Is a <= 8?
False
Suppose -d - 5*l + 12 = -16, -4*l + 16 = 0. Suppose -d*o + 4 = -10*o. Is 7 > o?
True
Let m = 11.07 + -0.07. Let x = m - 17. Let i(l) = 2*l + 27. Let s be i(-14). Is x less than or equal to s?
True
Let p(i) = i**3 - 11*i**2 - 4. Let v be p(11). Let s be 10/(-15)*(-6)/v. Is -2/23 != s?
True
Let p = -69 + 61. Let b be 10/p + (-1)/(-4). Is 1/2 < b?
False
Let n = -1.192 - -0.792. Is n not equal to 0.05?
True
Let r = -0.4 - 9.6. Let l = 252 + -262. Let i = r - l. Which is bigger: 2/11 or i?
2/11
Let d = -34 + 62. Let g = -7.5 - -35.5. Let s = g - d. Which is smaller: 14 or s?
s
Suppose -3*t + 294 = m, 13 - 28 = 5*m. Is 100 equal to t?
False
Let u = -51 - -44.6. Let z = u - -5.9. Which is smaller: z or 4?
z
Let a = -1826 - -94. Which is smaller: -1731 or a?
a
Let a(z) = 6*z - 51. Let y be a(15). Is 39 bigger than y?
False
Let l be (0 - -1)/(-4 + -1 - 15). Let p(z) be the second derivative of -z**5/20 - z**3/6 - z**2/2 + 2*z. Let h be p(0). Is h equal to l?
False
Let j be 4/(-24) + 22/(-12). Let h be (-5)/(-15) - j/(-6). Suppose h = -5*d + 6*g - 2*g - 3, 0 = -5*d + 2*g + 1. Which is smaller: d or -1?
-1
Suppose 0 = 11*b - 37 - 216. Which is smaller: 26 or b?
b
Let c be (1 + 2)/((-3)/(-15)). Let l = -33 + c. Let a = 37/2 + l. Is 2 smaller than a?
False
Let r = 11 + -9.6. Let h = 17.2 - 16. Let u = h - r. Which is bigger: u or 0?
0
Let u be (-25)/5*(-124)/10. Let v = 71 - u. Which is greater: v or 10?
10
Suppose 0 = -2*o - 0*o. Let d(c) = -c**2 + 8*c + 23. Let x be d(10). Suppose o = -6*q + 3*q + x. Which is bigger: q or 2/7?
q
Let c = -42 - -41.82. Let b = c + 0.17. Which is greater: b or 3?
3
Let t(o) be the second derivative of -o**3/6 - o**2 - 8*o. Let i be t(-6). Suppose -i*k + 6*k = 2. Is k < 4?
True
Suppose 3*y + 64 = -y. Let d be y/40 - 7/(-5). Which is greater: d or 0?
d
Let d(s) = -s**3 - 10*s**2 - 3*s - 17. Let z be d(-10). Let b be 2/3 + z/39. Which is smaller: b or -4/31?
-4/31
Let z(g) = -g**2 - 5 - 4 + 4 + g. Let v be z(0). Let a be 36/5 + 1/v. Which is greater: 1/4 or a?
a
Suppose -3*j = 3*l - 33, -49 = -4*j + 2*l - l. Suppose 2*w + 3*d = j, 7 + 9 = 2*w + 5*d. Let k(i) = -i**2 - 7*i + 4. Let c be k(-7). Is w >= c?
False
Let r(g) = -4*g + 135. Let j be r(34). Do -1/2274 and j have the same value?
False
Suppose 2*h - 5*z = 3, -3*h - 5*z = 7 + 1. Which is smaller: 15/173 or h?
h
Suppose -2*o + p + 10 = 5, 3*o - 12 = 3*p. Which is greater: -4/417 or o?
o
Suppose 3 = 4*d + 5*o, -3*d + 3*o - 7 = -8*d. Suppose -3*h = y - 0*y, 5*y + 26 = -d*h. Let z = 1 + -9. Which is bigger: z or y?
y
Let n = 518 - 539. Is -4 at least as big as n?
True
Let o be 2/(1 - -1) + 7. Let g(r) = -3*r + 48. Let w be g(12). Let n = w - 5. Which is greater: n or o?
o
Let x = 34 - 108. Let n(h) = 9*h - 345. Let w be n(30). Which is bigger: x or w?
x
Let m = -60543/1748 + 1305/38. Which is smaller: m or -1?
-1
Let y = -7/47 - -39/893. Let o = 4 - -1. Suppose -t = n - 6, o*n - n - 16 = 4*t. Are t and y equal?
False
Let k = 0.23 - -21.77. Let v = k + -16. Let x = -5 + v. Is 1/2 >= x?
False
Let q = 274 - 216. Which is bigger: q or 59?
59
Let i = 54.9677 - -0.0323. Which is smaller: i or 0.06?
0.06
Let c(s) = -s**2 + 2*s + 95. Let x be c(0). Which is smaller: x or -0.1?
-0.1
Suppose -2*l + 79 + 27 = 0. Does l = 51?
False
Let y = 5/16 + -47/176. Are y and -0.3 equal?
False
Let k = -1250 - -6251/5. Which is smaller: 47.5 or k?
k
Suppose -3*q + 4*q = 3*p - 233, 5*q + 4*p + 1070 = 0. Does q = -217?
False
Suppose 5*v + 88 = -3*b, -b + 46*v - 26 = 51*v. Which is smaller: 20 or b?
b
Let s be (3/2)/(27/(-180)). Let a = -19 - s. Is a not equal to -7?
True
Let y = -21 + 5. Let k = y + 20. Suppose 3*g - 10 = g, -2*g = k*q - 14. Is q <= 4?
True
Let l = 2473/4 + -612. Let q = l - 91/4. Let g = 17 + q. Are -2 and g equal?
False
Suppose -3*n - 2*n - 22 = -2*r, 2