 be 231/55 + (-1)/5. Suppose -3*i - s - 25 = 61, 76 = -3*i + m*s. Is -28 > i?
False
Let h be 93/(-124) + (-1)/4. Which is smaller: h or 4/83?
h
Suppose 5*z = 3*s - 6*s + 2, -3*s = -2*z + 5. Which is bigger: 330 or s?
330
Let b(g) = g - 13. Let l be (2 - 1)/(-5*3/(-180)). Let q be b(l). Which is greater: -3/43 or q?
-3/43
Suppose -4*k + 43 = 5*f - 170, 5*f + 210 = 5*k. Is k != 50?
True
Let v be ((-3)/9)/((-5)/45). Let f(c) = c**2 - 7*c + c**2 + 0*c**2 - v. Let t be f(4). Are 2/19 and t nonequal?
True
Let j(z) = 366*z + 2. Let n be j(-3). Let d be n/5*1 - -1. Let v = d - -222. Is v less than 3?
False
Suppose 3*l + 2*p + 0*p = 2, -5*l + 2*p = -14. Suppose 1 + 27 = 4*m. Suppose -6*i = -2*i + m*i. Is l equal to i?
False
Let a be (-11)/3 - 1/3. Let z be (a/130)/((-9)/(-81)). Let j = -776/455 - z. Which is smaller: j or -2?
-2
Suppose -5*d = -0 - 10. Suppose 0 = -4*w - d - 6. Let r be 39/60 + w/8. Which is smaller: r or -1?
-1
Let s(b) = -b**3 + 10*b**2 - 11*b + 22. Let c be 4*2/((-24)/(-27)). Let i be s(c). Let j = i + -5. Is -1/3 smaller than j?
False
Let u be 2/4 - (-27)/(-6). Let q(y) = -y**3 - 6*y**2 - 4*y + 13. Let k be q(u). Which is bigger: 2 or k?
2
Let q = 340 + -339. Which is bigger: q or -335?
q
Let k = 0 - 10. Suppose -9*t + 5*t = 5*f + 30, -2*f - 5*t = 29. Let w be (f/4)/((-5)/k). Which is smaller: w or -3?
-3
Let l be ((-5 + 4)*-1)/(-1). Let n be 2*l/4*-60. Let p = 23 - n. Is -7 smaller than p?
False
Let r = 149 + -163. Let f be (6/9)/(r/3 - -4). Which is greater: f or -2/203?
-2/203
Let z be ((-2)/255)/(3/(-30)). Let g = 1767 + -1768. Which is smaller: z or g?
g
Let i(u) = 2*u**2 + 35*u - 25. Suppose -9*z + 12*z + 51 = 0. Let a be i(z). Which is bigger: a or -41?
-41
Let c = -2203/7 - -315. Let d = 69 - 69.1. Are d and c equal?
False
Let i = -5 - -11. Let q(u) = u + 9. Let o be q(-5). Suppose -o = 2*y - 18. Does y = i?
False
Let m = -15013/3139 - -1452/365. Let l = 261656/215 - 1217. Let u = l + m. Which is smaller: -2 or u?
-2
Let u be (-496)/64 + 2/(-8). Let z = u + 9. Is z != 1/18?
True
Let j = -7831/5 + 1568. Which is greater: -10 or j?
j
Let b(h) = -h**3 + 17*h**2 + 15*h + 55. Let t be b(18). Which is bigger: -4/551 or t?
t
Suppose -32*d + 31*d = -u + 194, -2*d + 3*u - 391 = 0. Which is bigger: -192 or d?
d
Suppose 289*w = 284*w - 355. Which is smaller: w or -942/13?
-942/13
Let p be ((-62)/5 - -13)/(-1). Which is bigger: p or -70?
p
Suppose 6*j - 8 = 2*j. Let v = j - 3. Is -1 smaller than v?
False
Suppose -5*h + h - 192 = -4*t, 231 = 5*t - 2*h. Let b = t - 48. Which is bigger: -2 or b?
-2
Let x(d) = d**2 + 15. Let w be x(0). Suppose -4*k + 60 = 4*b, -5*k + 4*b - w = -90. Let z = k - 16. Are z and -4/3 non-equal?
True
Let j be (-130 - 11)*1*(2 + -3). Is 141 <= j?
True
Let k be 11/9*(-66)/330. Do k and -1 have the same value?
False
Let t = 1/57 + -13/19. Let b = -1178/3 - -393. Do t and b have the same value?
False
Let i = 353 + -354.6. Which is bigger: i or 1.3?
1.3
Let j = -609 - -609. Which is greater: -2/171 or j?
j
Let r = 95 + -481/5. Let x(h) = -h - 12. Let l = -33 - -23. Let b be x(l). Is r at least as big as b?
True
Suppose 15*r + 126 = 24*r. Let p be 14*(27/7 + -3). Are r and p equal?
False
Let d = -0.0141 + 0.0141. Which is greater: d or -2/11?
d
Suppose -3*d + 5*q - 76 = -d, 5*d = q - 190. Let w = 39 + d. Which is greater: 5/9 or w?
w
Let u = -16 - 104. Let z = u + 2762/23. Which is bigger: z or -0.2?
z
Suppose -442 = -2*t + 5*r, -29*t - 3*r = -34*t + 1067. Is 845/4 less than t?
False
Let r(c) = c + 3. Let d be r(0). Let u be 1 + 0 - 2/d. Let y = 8.7 - 8.8. Which is smaller: u or y?
y
Let u = -2 + 1. Let a = -123 + 122. Let i = u - a. Which is smaller: i or -0.04?
-0.04
Let l be (69/12)/(2/8). Let f = l - 22. Let j = 40 - 118/3. Is f at least j?
True
Let t = -46798/45 + 1040. Suppose 2*n = -2*h + 12, n + 0*n = 3. Suppose -2*c = c - h. Which is bigger: t or c?
c
Suppose 3*c + 174 + 162 = 0. Let o = 112 + c. Suppose -4*j = -3*j - 1. Which is smaller: o or j?
o
Let p = -8 + 35. Let n = 1.14 - 27.94. Let h = p + n. Is -0.9 bigger than h?
False
Let g = -926 + 4611/5. Let o(b) = -b**3 - 24*b**2 - 48*b - 92. Let j be o(-22). Is g smaller than j?
False
Let i = -90 + 92. Is i > 5?
False
Suppose 0 = a + 21 - 22. Is a not equal to 24?
True
Let u = 12 - -20. Let m = u - 19. Suppose -56 - 14 = -5*n. Are n and m unequal?
True
Let q = 4 - 2. Let s = q + 9. Let j = s + -10.9. Which is smaller: j or -8/5?
-8/5
Suppose 2*l = -4, 2*w = 6*w - 5*l - 30. Let o(h) = -3*h - 3. Let c be o(-5). Suppose 0 = -0*p + 4*p - c. Is w equal to p?
False
Let z be (51678/(-960))/(-9) - (0 - -6). Which is smaller: 1 or z?
z
Let f = -5 + 12. Suppose 0 = f*g - 8 - 13. Let m = 31/80 + 1/80. Is g > m?
True
Let t = -87 - -47. Let o be 4*(-4)/24 - t/63. Which is greater: 0 or o?
0
Let k be (-56)/(-5) + (-3)/15. Suppose -3*n - k = 7. Let f be (3/(-9))/((-2)/n). Is f >= 1?
False
Let l = -102 - -109. Which is bigger: 11 or l?
11
Let d(x) = -x**3 + x - 6. Let r be d(0). Let i = 14 + -11. Suppose 3*l = -3*s - 18, 4*s = -i*l - 0 - 22. Is r equal to l?
False
Let k = 563.43 + -563. Which is smaller: 0 or k?
0
Let w be (-9)/(7/((-42)/54)). Does w = 2/3425?
False
Let c(w) = 5*w**3 - 3*w + 4. Let y be c(2). Let k = 41 - y. Suppose 5*x = k*j - 42, -2*x = -6*j + 5*j + 16. Which is bigger: x or -2?
-2
Suppose 461 = 24*h - 3691. Which is greater: 169 or h?
h
Let o be 356/(-156) + 2 + 8/(-6). Suppose 0 = -r - 3*r - b - 11, 2*r + 11 = 5*b. Is r at most o?
True
Let w be (-46)/(-42) - ((-1 - 1) + 3). Is 1/2 less than w?
False
Suppose -2*o + o = z - 3, z - 4*o - 13 = 0. Let h(g) = -1 + 1 + z*g**2 - 1 + 0. Let m be h(-1). Which is smaller: m or 6?
m
Let u(x) = -x**3 + x**2 + 6*x - 8. Let b be u(6). Which is greater: -2 or b?
-2
Let s = -194 - 41. Which is smaller: 1/2 or s?
s
Suppose -4*a = -a. Let s be 2 + -2 - (2 + -4). Let i be ((-13)/26)/(s/4). Which is smaller: a or i?
i
Let g = -1399 - -1398. Are 5/61 and g non-equal?
True
Let b be (-17)/((-187)/497) + (-2)/11. Is -6 >= b?
False
Let y(a) = 2*a**3 + 8*a**2 + 5*a + 20. Let t be y(-5). Which is greater: t or -53?
-53
Let n = -10 + 34. Let i = -24.16 + -0.04. Let t = i + n. Which is greater: -0.9 or t?
t
Let r(w) = -w**3 - 5*w**2 - 5*w + 3. Let s be r(-3). Let d be s*(2 + 9/(-6)). Is d <= 1/4?
True
Suppose 3*i + f + 1 - 6 = 0, -5*i + 35 = -5*f. Let p(v) be the third derivative of -v**5/60 + v**4/12 - v**2. Let r be p(3). Which is smaller: i or r?
r
Let r(j) = -j**3 + 15*j**2 + 31*j - 3. Let k be r(17). Let z = k + 53. Is -3/50 bigger than z?
True
Let d be (-4)/(-6) - 86/48. Let x be -53*5/(-480)*4. Let l = d - x. Do -3 and l have the same value?
False
Suppose 5*j + 13 = -d, -4*d = -j - 13 + 2. Let u = -3 + 5. Is u less than or equal to d?
True
Let s be (-9 - (-5)/1)/(-2 - 12). Suppose -4*p + p - 3*z + 9 = 0, 0 = p + 5*z - 15. Which is smaller: s or p?
p
Let t(k) = -k**2 + 3*k + 113. Let v be t(10). Is v != 263/6?
True
Let f(j) = 90*j - 16. Let t be f(-3). Is t at most as big as -287?
False
Let u be 18*5/(-50) + -1. Suppose -5*g + 5*r - 10 = 0, -19 + 2 = 5*g + 2*r. Which is greater: g or u?
u
Let a be -2 - 5/((-20)/16). Suppose -a*z - 5*s + 4 = 0, -z - 5*s + 13 = -2*z. Let v be 14/z + 4/6. Do v and -6 have the same value?
False
Let u = 474 + -472.2. Which is bigger: u or 1.7?
u
Let p be (-50420)/(-7220) - (5 + 2). Which is smaller: 0 or p?
p
Suppose -5*t = t - 3*t. Which is smaller: -4/157 or t?
-4/157
Let g = -3 - -6. Let v = -156/23 + 601/92. Is v >= g?
False
Let d = -0.1 - 0.1. Let l = 771 - 770.6. Which is smaller: d or l?
d
Let y = -38.6 - 3.4. Let t = -36.7 - y. Let w = -0.3 + t. Is -1/8 smaller than w?
True
Let t = 302 + -4532/15. Let q(w) = w**3 - 3*w**2 + 3*w - 1. Let a be q(2). Which is greater: a or t?
a
Suppose -4*n = -67 + 475. Let d be 40/(-6) + -5 + n/(-18). Are d and -2 equal?
False
Let h = -1000 + 1008. Is -17 at least h?
False
Let o = -32.5 - -33.5. Is -18.7 > o?
False
Let t be -1*(3 + 2) - -4. Let s be -1 - t - ((-33)/15 + 2). Do s and -1 have the same value?
False
Let z = 31 + -31. Let h = z + -31. Are 0 and h nonequal?
True
Let d = 60 + -136. Which is smaller: -151/2 or d?
d
Suppose 39*q = 55*q - 16. Suppose i + 2*i - 2*l = 112, -4*i + 5*l = -161. Which is smaller: q or i?
q
Suppose w = -4*w - 15. Let k be