-598/5 + 2247/20. Let i = 23/4 + u. Is i bigger than -1?
False
Let v = -53/141 + 2/47. Which is bigger: v or 0.05?
0.05
Let a(c) = -c**2 + 2*c. Let u be a(2). Let l be 31/124*(0 + 8)/2. Which is smaller: u or l?
u
Let d = -51.9 + 51. Which is bigger: -4 or d?
d
Let s = -6/25 + -4/25. Suppose -v + 4*m + 0 = -2, 4 = -4*m. Let y be v/(-12) - (-5)/6. Which is greater: y or s?
y
Suppose -3*x = -3*t - 0*t + 6, 0 = -5*x + 10. Suppose 4*l - 8 = t*d, -4*d - 4 = -2*l + 10. Do l and 1 have the same value?
False
Let j = 3 - 4.5. Let z = -13 - -12.5. Let q = z + j. Does -2/3 = q?
False
Let l be 0 - -3 - 6/2. Let d be 0/(2 + l - 0). Which is smaller: 2 or d?
d
Let u = -22 - -23. Which is greater: u or 2/155?
u
Let r = 8 - 3. Let z = r + -4. Which is smaller: 2/7 or z?
2/7
Let m be (-3)/(-1) + (-11 - 0). Is -12 at least m?
False
Let o = 32 + -16. Let y(g) = -g**2 + 18*g + 15. Let r be y(18). Is o at most as big as r?
False
Let g = 1527941/7 + -218747. Let q = g + 460. Let k = -66/7 - q. Which is bigger: 2/9 or k?
k
Let v(w) = 25 - 15 - 2*w + 5*w - 11. Let q be v(1). Which is bigger: -3 or q?
q
Suppose 2*f + 18 = -4*f. Which is smaller: -26/9 or f?
f
Let y = 14/225 + 4/25. Let u(s) = -s**3 + 25*s**2 - 22*s - 48. Let w be u(24). Are w and y equal?
False
Let r = -103 - -104. Let n = -124 + 870/7. Are r and n equal?
False
Suppose 4 = 5*j - 16. Let d(r) = -3*r**3 + 8*r**2 + 5*r - 4. Let i be d(3). Do j and i have the same value?
False
Let q = 3 - 7. Is 0 bigger than q?
True
Let u = 13 + -12.2. Let n = u + -0.7. Is -6 >= n?
False
Let j = 2.97 - -0.03. Let x = -14 - -14. Let n = j + x. Which is bigger: n or 0.2?
n
Suppose -5*p - 116 = -6. Is p <= -21?
True
Let h = 214.024 + -214. Which is smaller: h or -1?
-1
Suppose -i - 233 + 88 = -4*f, 0 = -3*f + 3*i + 120. Let u be 3/(-4) - f/(-20). Suppose -5*z - u + 6 = 0. Which is smaller: z or 2?
z
Suppose -4*z - 3*d - 18 = 16, 5*z = 4*d - 58. Let j be 7*2/z + 1. Which is smaller: 0 or j?
j
Let v = 41.75 - 0.75. Which is smaller: v or -1?
-1
Suppose m + 0 - 3 = 0. Let a be (-3 + m)/3 - -4. Is a bigger than 4?
False
Let w be 413/(-5) + 8/(-20). Let l = 582/7 + w. Which is bigger: 1 or l?
1
Let f be 3/15 + (-289)/1710. Let x = 1/114 - f. Let w = 31/45 + x. Is 2/3 less than w?
False
Suppose -1 = -5*y + 6*y. Let j = -7686/17 + 452. Is y > j?
False
Let u = 13 - 9. Let d = 9 - u. Suppose k = d*z - 2*k + 9, -3 = -4*z - k. Is z greater than or equal to 1/6?
False
Let o = 0.3 - 0.2. Let b = -10 + 14. Do b and o have the same value?
False
Let q = -66 + 1121/17. Which is bigger: -1 or q?
q
Let g(c) = -c - 5. Let u be g(-6). Let z be 28/(-6)*(-144)/(-56). Let r be ((-2)/6)/(z/(-9)). Which is bigger: r or u?
u
Suppose -2*n = -4*d + 5 + 23, -5*d = -20. Let q(c) = 2*c + 3. Let f be q(n). Let u be (-2)/(-7) - f/(-7). Which is bigger: -2 or u?
u
Let y = -10.93 + 11. Let m = -0.26 - -0.03. Let a = y - m. Is a != -0.2?
True
Suppose q + 6 = 3*u - 6, 5 = -5*q + 4*u. Let v be (2/2 - q) + 3. Do -3/13 and v have the same value?
False
Suppose 7*r = -311 + 38. Is r smaller than -38?
True
Let l = -14.8 + 15. Let a = 0 + l. Do 1/6 and a have different values?
True
Let s be ((-4)/5)/((-6)/(-15)). Which is smaller: s or -14?
-14
Let u = 5 + -8. Let c = u + 3.02. Let g = -0.02 + c. Are -2/7 and g unequal?
True
Suppose -h - 22 = -5*b - 2*h, 4*h - 16 = -2*b. Let o be ((-6)/b)/((-21)/(-4)). Is 1/3 > o?
True
Suppose 3*w = -11 + 26. Suppose 3*c = -w*k + 32, 8 = -4*c + 2*k + 42. Which is smaller: 8 or c?
8
Let w = 2 - 4. Let k = 11.9 + -10. Let b = w + k. Which is bigger: b or 0.02?
0.02
Let s(a) = -a**3 + 2*a**2 + 4*a - 4. Let y be s(3). Is y > -2/135?
False
Suppose -2*d + 60 = 3*c - 34, -2*c + 4*d = -84. Which is bigger: c or 35?
35
Let b be (-6)/10 + 1 + (-32)/20. Suppose 4 = -u + y, -u = y + 2*y - 12. Which is smaller: u or b?
b
Suppose 28*l - 29*l - 14 = 0. Is l less than -14?
False
Suppose 3*l = g + 6, 3*l - 10 = -1. Suppose x + 0*x - g = 0. Let n be (23/8 - x) + 0. Which is smaller: n or -1?
-1
Suppose 5*g - 6 = v + 4, 0 = g - 2. Let h(f) = f**3 + 3*f**2 - 3*f + 5. Suppose -2*c - 12 = c. Let i be h(c). Which is smaller: i or v?
v
Let n be (8/(-6))/4*(1 + 2). Which is smaller: n or -18?
-18
Let c be -3 + (40/(-3))/(-5). Suppose -u - 4 = 2*k - 1, -3*k + 5*u + 15 = 0. Which is smaller: c or k?
c
Let u = -10 + 12. Which is smaller: -27 or u?
-27
Let i = 2 + 0. Let t(u) = -u + 3. Let n be t(i). Let c = -1 + 1. Which is bigger: c or n?
n
Let f = 107/12 - 101/4. Which is bigger: f or -16?
-16
Let j be (2/25)/(9/(-15)). Let n = j + 1/3. Which is smaller: -1 or n?
-1
Suppose 123 = -5*b - 7. Do b and -26 have the same value?
True
Suppose -5*t = -g + 142 - 2, 0 = -4*t + 3*g - 123. Are -28 and t equal?
False
Let h = -54 - -53. Is h > 1/78?
False
Let c be (1/(-10))/(4/(-25)). Let x = 3/8 - c. Which is greater: x or 0?
0
Let v be 2/3*36/8. Suppose 3*w = -5*q, -v*q - q - 8 = 4*w. Suppose q*i = -i - 4. Is -1 greater than i?
False
Let t be 30/9 + 16/(-4). Let h = 21 - 22. Is h >= t?
False
Let b = -602/3 - -203. Which is smaller: b or 3?
b
Let y be 462/117 + (-2 - 2). Which is greater: y or 1?
1
Let o(p) = -p**2 - 3*p + 1. Let a be o(0). Is 1/36 less than a?
True
Let i = -76 - -77. Which is bigger: i or -90?
i
Let n be 5*(-3 + 4) + -4. Which is smaller: n or 1/3?
1/3
Let p(s) = 0*s**2 + 0*s - s + s**2. Let o be p(1). Is -2 at least o?
False
Let i(v) = v**3 - v**2 - 2*v - 1. Let o be i(3). Suppose -3*d + 2*h = -7*d + 6, 3*h = 4*d - o. Let b be 4/4 + 0/d. Which is smaller: -0.5 or b?
-0.5
Let a(t) = -t**2 + 8*t - 8. Let o be a(7). Are -7/3 and o nonequal?
True
Suppose 4*k + 14 = 6*k. Let s = k - 27/4. Let q = 8 + -8. Which is smaller: q or s?
q
Let a = 4 - -6. Which is smaller: 11 or a?
a
Suppose -l + 4*l + 3 = 0. Do -2/3 and l have different values?
True
Let a(v) = v + 34. Let z be a(-15). Is z greater than 20?
False
Let i = 6 - 7. Is 2/21 at least i?
True
Let b = 59 + -51. Let h = -0.1 + -0.1. Let f = 0.2 + h. Is b bigger than f?
True
Let b = -7.3 - -7. Is 7 at most b?
False
Let l = -1 + 0. Let k = l - 2. Let z = 2 + k. Which is smaller: z or 1/2?
z
Let s = 0.1 - 4.1. Let r = s - -3.9. Let y = 14 - 14. Is y bigger than r?
True
Suppose 12 = -r + 4*r, 3*r - 12 = 2*q. Let v = 2 + -4. Is v bigger than q?
False
Suppose 12 = -5*i - 3*o - 12, 3*o = 4*i + 3. Let q be (12/9 + -1)*-21. Which is bigger: i or q?
i
Let d = -0.125 + 20.125. Is 4/3 equal to d?
False
Let c(j) = j**3 - 11*j**2 + 10*j + 4. Let m be c(10). Suppose -2*n + u = 4 - 2, 5*u = m*n + 10. Let l = 1 - 2. Is n < l?
False
Suppose 3*b + 15 = -2*p + 3*p, 18 = p - 4*b. Do 7 and p have the same value?
False
Let l be (-4 - 2)*(-4)/6. Let d be (-3)/(-9) - l/30. Is d at most -1?
False
Suppose -2*g = 9 + 25. Is -2 smaller than g?
False
Let w(g) = g**3 - 6*g**2 + 5. Let v be w(5). Let o be (-8)/v + 3/5. Is o at most -1/3?
False
Let h = -2357 + -1497. Let r = 88662/23 + h. Let f = r - 209/161. Do -1 and f have different values?
True
Suppose 0*o - 10 = 5*o. Let y be (o/(-44))/((-1)/(-4)). Let a(w) = -w - 2. Let c be a(-4). Is c != y?
True
Let q = 11.8 - 0.8. Which is smaller: q or -1?
-1
Let c = -89 + 447/5. Is -8/3 at least as big as c?
False
Let c(l) = -4*l - 3. Let o be c(-4). Suppose 3*u = 3*h + 24, 4*u - o = 2*h + 9. Let d = -16/3 - h. Is 1 at most d?
False
Let v = 14 - 14. Let y be (-458)/(-24) + (-1)/3. Let a = 19 - y. Which is smaller: a or v?
v
Let t = -126 - -119. Suppose 5*q + 2*p + 36 = 0, -5*p = -q - q + 3. Is q less than t?
False
Let l = -2.9 - -0.9. Is -0.4 >= l?
True
Suppose 0 = 4*q - 3*q + 1. Which is bigger: q or 7/23?
7/23
Suppose 0*v - 2*v - 2 = g, 2*g - v - 6 = 0. Which is smaller: 10 or g?
g
Suppose o + 4 = 23. Which is bigger: 18 or o?
o
Let n = 0 - -5. Is n at most as big as 3?
False
Let f = 218 - 319. Which is greater: -102 or f?
f
Let b be 2/6 - (-121)/(-165). Which is greater: -6/7 or b?
b
Let a(g) = 2*g**2 - 15. Let y be a(0). Is -14 at most y?
False
Suppose 0 = -4*c - 2*h + 5*h + 8, 2*h = 0. Let o = 3 + -1. Suppose 0 - o = -c*b. Is b at most as big as 4/7?
False
Let s be 2/(-7) - (-10)/(-14). Let p = -6 - -4. Let z be s/(p + (-9)/(-3)). Is 2/9 equal to z?
False
Suppose 5*o = g - 27, 2*g + 0*o + 11 = -3*o. Is g less than 2?
False
Let x(r) = r**2 - 6*r - 6. Let q be x(7). Let d = 2 + q. Let c = -