Let j = 2210 - 2215. Is -153 smaller than j?
True
Suppose -5*f + 2*f = -15. Suppose 0 = 2*i + 5*r - 6, -4*r = 4*i + f - 17. Let d = -2.2 - -2.3. Which is greater: d or i?
i
Let f be -1065 + ((-60)/(5 - -1))/2. Which is smaller: f or -1069?
f
Let l = 46 + -418/9. Let h be 12/360*10 - 2/(-3). Is l < h?
True
Suppose 0 = -5*l - 11 - 259. Let y be (-3)/9 - 15/l. Let a(p) = -p**3 - 2*p**2 + 1. Let k be a(-1). Which is smaller: k or y?
y
Let c = -92 + 94. Suppose -2 = 2*o - m, -3*o + m - 3 = c*m. Is o at least 1/106?
False
Let b(k) be the second derivative of k**4/12 - k**3/3 - k**2 - 15*k. Let d be b(3). Which is bigger: d or 2/103?
d
Let a(l) = 4*l**2 - 2*l - 3. Let v be a(-1). Suppose 4*h = -f + 2, -3*f + 0*h + v*h = -21. Does 8 = f?
False
Suppose -3*f + 48 = -3*j, 4*f - 3*f - 2*j = 18. Do f and 5 have different values?
True
Let y(a) = 4*a**3 - 4*a**2 + 7*a - 3. Let b(j) = -3*j**3 + 3*j**2 - 6*j + 3. Let c(v) = 6*b(v) + 5*y(v). Let s be c(2). Is s at most as big as 13?
True
Suppose 16*c - 9 = 13*c. Suppose -5*o = -0*k + 2*k - 10, 8 = -c*k + 4*o. Which is bigger: -1/5 or k?
k
Suppose -47 = -6*g + 25. Which is bigger: g or 13?
13
Let c = -110 + 107. Which is greater: 2.8 or c?
2.8
Let i be 1 + (-2)/(-2) + 0. Let t be 30 + 2 + (-1)/(-3)*0. Let r = 33 - t. Which is bigger: r or i?
i
Let k = 2/406009 + -24768139/322777155. Let y = k - 3/53. Is y bigger than 0?
False
Let y = 62 + -60.3. Let c = y - -29.3. Which is greater: c or 0.1?
c
Let q(h) = h**3 + 6*h**2 + 8*h + 12. Let f be q(-5). Let w = f - -4. Are 1/6 and w unequal?
True
Let w = -16.31 + 15. Let g = 1.11 + w. Is -4.4 <= g?
True
Suppose 26*w - 282 = 31*w + 4*s, -4*w = 2*s + 228. Which is smaller: w or -60?
-60
Let t = -9/1624 - -151447/1624. Which is smaller: t or 94?
t
Let q = -0.102 - -40.102. Let t = 36.8 - q. Which is smaller: t or -2/3?
t
Let w be 5/(-2)*((-6)/5)/1. Let k be 0/(1*(-3)/w). Let r = -41/39 - -18/13. Is r smaller than k?
False
Let w = -964408 + 622866. Let n = -7850128/23 - w. Let l = 232 - n. Which is bigger: -1 or l?
l
Suppose -4*m + m + 4*c = -28, -2*m = -2*c - 16. Suppose -m*g = 20, 6 = 2*i + 3*g + 21. Let v be (-1 - (-21)/18)*-1. Is i equal to v?
False
Suppose -2*v + 52 = -5*v - 5*o, 4*o - 4 = 0. Let x be 5/(-4) + (-18 - v). Which is smaller: x or -20?
-20
Suppose 38 - 440 = -3*s. Is -2 > s?
False
Let g = -2/33 - 71/462. Let p = -400 - -401. Which is smaller: p or g?
g
Let y = -287 - -288. Is -1/171 < y?
True
Let i = -100 - -146. Let h = 139/3 - i. Let y = -50 + 47. Which is bigger: h or y?
h
Let h(y) = -y + 3. Let c be h(9). Let q be ((-3)/(c/4))/(-7). Which is bigger: -4/37 or q?
-4/37
Let t(r) = -6*r**2 + 6*r - 14. Let c(p) = 7*p**2 - 6*p + 15. Let v(a) = 5*c(a) + 6*t(a). Let i be v(7). Let o be (2/i)/((-3)/18). Is o > 1?
False
Let z = 170743/220410 - -1/44082. Let j be (2/3)/(79/(-3)). Let y = z - j. Is y bigger than 0?
True
Let i be -2 - (184/2)/(-4). Let c = 29 - i. Let h = -12 + 19. Which is bigger: c or h?
c
Let n = 2438.93 + -2426. Let z = n + -0.93. Is 1 less than z?
True
Let q(g) = 4*g**2 - 3*g - 2. Let i be q(-2). Suppose -x = -3*t + 4, 4*t - 2*t - 5*x - i = 0. Is -2 greater than t?
False
Let f = 657 - 752. Is 1 >= f?
True
Let l = 114 - 105. Let b = -25 - l. Are b and -1 nonequal?
True
Let g be 28846/(-38) - 16/(-152). Let b be 3/(-2)*(-44)/g. Suppose -4*x - 5 + 1 = 0. Which is smaller: x or b?
x
Let o = -14 + 18. Suppose -5*h - 10 = -4*y + 30, -o*y = -3*h - 32. Which is greater: -19/4 or h?
h
Let j be (-36)/2 - -2*1. Suppose 0 = -53*m - 10*m - 437 - 445. Is m < j?
False
Let f = 1.2 + -1. Let z = -0.3514 + 1.6514. Do z and f have the same value?
False
Let i = -15.9655 - 0.0345. Which is bigger: -1/5 or i?
-1/5
Suppose 2*n = -5*v + 63 - 16, 3*n - 13 = 4*v. Let t = n - 12. Let a = 753/7 - 108. Is a at most as big as t?
False
Let c = -30.991 - -31. Let z = 1.991 + c. Let g = 57/2 - 231/8. Which is greater: g or z?
z
Let j be (8415/(-243))/(-5) + -7. Let y = -2/325 + -636/2275. Is y smaller than j?
True
Let b be (-4 - -1)*((-1065)/(-351) + -3). Let a = -122/429 - b. Which is greater: 1 or a?
1
Let m = -255 + 264. Do m and -5/2 have different values?
True
Let d be 17/(306/(-174)) + 20/2. Suppose -a - 4 = 3*a. Which is smaller: d or a?
a
Let n = 157.1 + -153. Let c = 1064 + -1059.73. Let z = n - c. Is z at most -1?
False
Suppose -42 = 3*w - 282. Let c be 1/(-3) + w/60. Which is greater: 4 or c?
4
Let z(f) = -9*f + 62. Let u be z(7). Suppose -2*r + 10 = -4*v, 1 = r - v - 2*v. Is r greater than or equal to u?
True
Let u = -8637/469 + 114/67. Let p = -17 - u. Let f = -2.9 + 1.8. Which is smaller: p or f?
f
Let t = 10 - 2. Suppose t = -b - b. Is b not equal to 1?
True
Suppose 5*r - 29 = 11. Let c be 128/(-336)*2/r. Which is smaller: c or 0.2?
c
Let g = -88 + 31. Let c be g/(-4) - 5/20. Is 13 equal to c?
False
Let p = -90 - -48. Let l = 25 + p. Is -2/5 at most as big as l?
False
Let o = 11.2 - 11. Let s = 2.78 - 0.48. Let c = s + -2.4. Which is bigger: c or o?
o
Let j = -7.81 - -8. Let z = 0.09 - j. Let g = 0.158 - 0.178. Which is smaller: g or z?
z
Suppose -7*f + 21*f = 126. Which is greater: 11 or f?
11
Let b be (45/20)/(-9) + (-10719)/(-42588). Which is bigger: b or 1?
1
Let z be (-3*(-2)/9)/((-4)/66). Let v be z/3 + 9 + -5. Is v at most as big as -36?
False
Suppose 0*a + 3*a = 0. Suppose 4*c + 0*y = y - 156, 3*y = -12. Let n be ((-2)/(-3))/(c/54). Are n and a nonequal?
True
Suppose -12*f - 33*f = 19980. Which is smaller: f or 1/4?
f
Suppose 16 = -0*h - 4*h. Let v(c) = 2*c**2 + 15*c + 7. Let d be v(-7). Suppose -3*i - 50 = 2*i - 3*j, i + 3*j - 8 = d. Which is bigger: i or h?
h
Let v be (-3 - -3)/(10 + -13). Which is smaller: v or 243/7?
v
Suppose -75*o + 69*o + 78 = 0. Are o and 13 non-equal?
False
Suppose l = 2*l. Suppose z - 3*z = 3*a - 114, l = 5*z + 15. Let o be a/3 + 1/(-3). Is 13 > o?
False
Let x = -34.362 + 0.362. Which is bigger: 2 or x?
2
Let g = -0.27 + 1.77. Let i = g + -0.2. Which is greater: 1 or i?
i
Suppose 3*c + 500 = -l + 3*l, 5*c = -5*l - 850. Is c at most as big as -167?
True
Let g(a) = a**3 - 6*a**2 - 5*a - 8. Let h be g(7). Let s be 64/h*(-12)/(-56). Let f = 34/21 - s. Which is smaller: f or 0.3?
f
Let w = -200 + 202.34. Let f = -0.66 - w. Is 3/4 greater than or equal to f?
True
Suppose -5*c - 2 - 3 = 0. Suppose n = -2*a + 91, 95 = 4*a + 4*n - 77. Let f be 5/((-275)/(-10)) - a/22. Is f smaller than c?
True
Suppose -3*r - 531 = -3*c, -2*c - 3*r = 2*c - 687. Which is bigger: c or 175?
175
Let z(s) = 12*s + 25. Let x be z(-4). Let b = -45 - x. Suppose 0 = 2*v + 40 + 2. Is b at least v?
False
Let h be (-2)/(-4) + 3/(-6). Let s be -1*1*h/(-2). Let t = -16851/11 - -1533. Is s > t?
False
Let a = 1.281 + 1.719. Which is smaller: a or 9?
a
Let o = 1075 - 585. Let m be (-78)/8*o/(-21). Let p = m + -220. Which is smaller: 9 or p?
p
Suppose -4*t + 2 = -3*t - 2*m, t = 4*m + 4. Suppose -13*j + 9*j + 68 = t. Which is smaller: j or 15?
15
Let d be ((-2)/6 + 1)/(10/45). Let f(a) be the first derivative of -a**3/3 - 4*a - 5. Let y be f(d). Which is greater: y or -12?
-12
Let y = 3 - 2. Let x = 23 + -12. Let l = -8 + x. Do y and l have the same value?
False
Suppose -4*g + 117 = -d - 0*d, 0 = g + 4*d - 42. Let a = g - 44. Is a greater than or equal to -2?
False
Let r = 9 - 6. Suppose -28 = -r*l - 10. Let m(c) = c**3 - 5*c**2 - 7*c + 8. Let v be m(l). Which is smaller: v or 4?
v
Let a(k) = k**3 + 5*k**2 - 7*k - 1. Let s be a(-6). Suppose -5*y - 85 = 5*o, 0 = -2*y + s*o - 0 + 1. Which is bigger: y or -14?
y
Let k be -5*((-105)/25 + 4). Let v = -531 + 4261/8. Which is smaller: v or k?
k
Suppose 0 = 7*c - c - 30. Let i be ((-10)/(-8))/((-1)/(-4)). Suppose -c*w - 15 = -i*b, -2*b - 6*w = -w - 13. Is 2 at least as big as b?
False
Let u = -31/6 - -11/2. Let i = 35.9 - -9.1. Which is smaller: i or u?
u
Suppose 11*l + 106 = -3524. Let p be (-2)/(-16) + l/(-176). Which is smaller: p or 1.9?
1.9
Let d be ((-1358)/6)/((-5)/135). Let a be d/72 - 1/(-8). Are a and 85 equal?
True
Let r(k) = 11*k + 283. Let q be r(-26). Is -85 < q?
True
Let c be ((-1353)/88)/(1/(-2)*2). Is 14 < c?
True
Suppose 58 = 49*n - 20*n. Is n greater than 5/8?
True
Suppose -5*j + 14 = -0*o - o, 0 = -3*o + 3. Let z = j - 3. Suppose -n + 1 + 9 = z. Which is greater: n or 9?
n
Let p(n) = n**2 - n + 3. Let g(z