 Suppose -t*j = -12*j + 15. Let y be j/(23625/(-260)) - (-4)/18. Is y greater than or equal to -2?
True
Let r = -672 + 6049/9. Let a = -17.2 - -1.6. Let n = -16 - a. Which is bigger: n or r?
r
Let a be (246/(-3) - -3)/((-167)/334). Which is smaller: a or 15?
15
Let r(l) = 3*l + 18. Suppose 24 = -9*i + 5*i. Let t be r(i). Suppose t = -u + 7*u - 6. Is u greater than or equal to 1/7?
True
Let n be ((-2255)/77)/((-6)/7) - (28 - 26). Which is greater: -1/2 or n?
n
Let h(g) be the first derivative of g**5/60 + 13*g**3/3 - 12. Let q(j) be the third derivative of h(j). Let f be q(0). Which is smaller: 9/11 or f?
f
Suppose -59*u = -87*u + 23950 + 16734. Which is bigger: 1451 or u?
u
Let t = 609.1 + -609. Let n = 70/17 - 1004/153. Is n at most as big as t?
True
Let o = 283/328 + -1034545/1197528. Which is smaller: o or -1?
-1
Let b = 2588916/43339 - -1/2281. Is b > 61?
False
Let k be -7 - (8 - (-552)/(-72))/((-1)/18). Is k > 21/64?
False
Let o(d) be the first derivative of -3*d**2/2 - 63*d - 413. Let f = 16 - 37. Let i be o(f). Is 10 != i?
True
Let l = 283 + -185. Let p = -129 + l. Which is greater: p or -2/11?
-2/11
Let k = -2171 + 3178. Does k = 1009?
False
Let v = -1792 - -1263. Let m = v - -451. Is -74 at least m?
True
Let r = 28362 - 21299840/751. Is r less than 1?
True
Suppose 5*n = d + 26, 51 = 3*d + 5*n + 169. Let g = d + 42. Suppose 0*t + g = -6*t. Which is greater: 1.3 or t?
1.3
Suppose -109*i = 116*i - 14002 - 4898. Let n be ((-44)/(-2))/((-4)/(-14)). Which is greater: n or i?
i
Let a = -302 + 326.9. Let s = a + -24.8. Is s < 122?
True
Suppose 3*r = 57 - 12. Suppose r*s = 6*s + 72. Let t = -880 - -2662/3. Which is bigger: t or s?
s
Let h(n) = -n**3 - 46*n**2 + 117*n - 37. Let r be h(-49). Which is smaller: 1436 or r?
r
Let v be ((-7552)/444)/(-16) - 4/3. Which is smaller: -10 or v?
-10
Let r be 416439/21 + (-6)/14. Let j = r + -2161490/109. Let p = j + 1442/9047. Is -1 equal to p?
False
Let l = -71.973 - -72. Let j = l + 0.073. Let z = -0.092 - -0.132. Is j > z?
True
Let o = -8854 - -5431. Is -23964/7 < o?
True
Suppose f - 3*l = 14, 0 = f + 3*l - 259 + 281. Let d(z) = z**2 - z + 2. Let i be d(2). Is f < i?
True
Suppose 30*k + 207 = 39*k. Let t = 76 + -57. Which is smaller: t or k?
t
Let x = -306 + 1522/5. Let m = -10935/4394 + -25/2197. Is m at most as big as x?
True
Let g = -226.3 + 227.3. Let s = 11 - 36. Let w = s - -11. Is g at least as big as w?
True
Let o = -26379 - -7306974/277. Which is smaller: o or -1?
-1
Let w = -2/37967 - -54406801/1708515. Let t = -162/5 + w. Is t >= -2?
True
Let y be (-14)/(-18) - (-2)/45*5. Let t be ((1 + y)/(-4))/(12/24). Is 16 != t?
True
Suppose 46*y - 39*y + 490 = 0. Let m be y/40 + 18/8. Let k = 0.5 - 0.03. Are m and k nonequal?
True
Let s(w) = 3*w**3 + 4*w**2 - 4*w + 1. Let m be s(1). Suppose -120 = -8*j - m*j. Let q be (-26)/(-4) - (-13 + 10). Which is smaller: q or j?
q
Suppose 2*a + 134 = 5*g - 148, 3*a + 5*g + 373 = 0. Let t = a - -2097/16. Let u = 19 + -39/2. Which is smaller: t or u?
u
Let b = 183 - 177. Let m be b - (6 - (-372)/20). Which is smaller: m or -19?
-19
Suppose 113*c - 14494 = 13530. Which is bigger: 243 or c?
c
Suppose -97*b + 98*b = 54. Let x be 5 + (3 - 3)/1. Suppose j - 3*j + x*q + 93 = 0, 0 = 3*j + q - 165. Is b greater than j?
False
Let i = -954.3679 + 954. Let h = -0.0321 + i. Which is bigger: h or 0?
0
Let x = -8808 + 8752. Which is greater: x or -17?
-17
Let t = 9 + -10. Let l be 310/(-40) - (4 + t). Let d be 1*3/(-1)*4. Which is bigger: d or l?
l
Let o = -375497 - -375499. Let m = -162 + 48. Is o < m?
False
Let p(i) = 4*i**3 - 7*i**2 + 8*i + 6. Let c be p(5). Does 369 = c?
False
Let t be (4/2)/(10/4). Let c(r) = 2*r**2 - 17*r + 10. Let o be c(8). Suppose -2*d = -3*y + 4, 0 = o*y - 7*y + 5*d + 10. Is t bigger than y?
True
Let k(f) = 3*f**3 + 2. Let p be k(1). Suppose p*w + 156 + 154 = 0. Let d(u) = -u**3 - 11*u**2 + 3*u - 30. Let b be d(-11). Which is smaller: w or b?
b
Let x be (-70)/(-21)*33/166815. Which is smaller: x or -1/2?
-1/2
Suppose -4 = a - 5*a + 2*u, -17 = 5*a + 3*u. Let n be (-2 - a - -3) + -9. Let y be 8/(3 + 33/(-9)). Is n <= y?
False
Let g = -2/1737 - -12337/154593. Let n = g - 103/178. Is -2/225 less than n?
False
Let z(i) = 28*i**2 - 5*i - 17. Suppose -134*n + 136*n = -10. Let r be z(n). Let x = 24069/34 - r. Which is greater: x or -1?
x
Let b(d) be the third derivative of d**5/3 + 2*d**2. Let x be b(1). Suppose 4*h + 370*q - 80 = 374*q, -4 = -2*q. Which is smaller: x or h?
x
Let j = 66.37 + 0.63. Let t = j - 65. Are 69 and t non-equal?
True
Let m be 6*(-8)/(-42)*28. Suppose -k = 4*g - m, 3*g - 4 = -k + 25. Do 20 and k have different values?
False
Suppose 0 = l - 5*v - 201 + 20, -2*v = -9*l + 1801. Which is smaller: 202 or l?
l
Suppose 17*m = -69*m - 182578. Is -2128 <= m?
True
Let a = 4 + -4. Let h be ((-1)/(-1467))/((-8)/(-3924)) - (-1)/(-3). Which is bigger: a or h?
h
Let i be (120/25)/((-6)/(-200)). Let q be (5 - 7) + i/82. Let j(g) = -g**3 + 6*g**2 - 4*g - 5. Let l be j(5). Is q smaller than l?
True
Let w = -26 - -37. Let a = w - -2. Suppose -3*v - a = -1. Is -3/7 bigger than v?
True
Let w = 17126 + -1267491/74. Which is smaller: w or -2?
w
Let d(q) = -152*q**2 - q + 1. Let b be d(1). Suppose -246*i + 4*i = 16752 + 20516. Is b < i?
False
Suppose -p + 3*b = -3*p + 10, -4*b = -16. Let s = 495.5927 - 0.3927. Let a = 491 - s. Which is smaller: a or p?
a
Let o = -4426 - -4426.2. Is 4.099 less than o?
False
Let l(v) = 7*v - 6. Let o(r) = -r. Let z(a) = l(a) + 6*o(a). Let c be z(7). Let w = 10.1 - 7.1. Which is smaller: w or c?
c
Let v be ((350 - 2)/1)/(13 - 1010/78). Is 6785 < v?
True
Let x = -100331/39 + 2573. Let t = -1133654 + 88427735/78. Let a = x - t. Do a and -36 have the same value?
False
Let m(z) = -242*z**2 + 243*z - 1. Let f be m(1). Let x be -1*(-2 - 334/(-168)). Is x less than f?
False
Suppose 3*h - h = -20. Let u = 120567 + -120579. Is h less than u?
False
Let z be 26401/2*(63972/(-21322) - -3). Let c = 1/3046 + z. Are -5 and c unequal?
True
Suppose -15 = -5*k, 0 = -3*n - 0*k - 2*k + 78. Let u be 23/4 - (90/n + -3). Suppose d = 0, d - 9 = -3*w + u*d. Is w at least 3?
True
Let t = 7535 + -6544. Is t greater than 992?
False
Let v be (9/4)/(1/20). Suppose 0*i = 4*w + 3*i - 169, 2*w - 102 = 2*i. Which is bigger: w or v?
w
Let x = -604 - -630. Which is smaller: x or 0.05?
0.05
Let q = 205 - 206. Let o be (q/38)/((-38)/(-152)). Which is greater: o or 0?
0
Let c(b) = -3*b**3 - 19*b**2 + 20*b - 2. Let m be c(1). Let n = 151 - 2870/19. Are m and n non-equal?
True
Let q(t) = -103*t**2 + 51*t**2 + 53*t**2. Let c be q(-1). Suppose 0 = 3*u + s + 13 + 21, -2*s = 3*u + 32. Which is smaller: c or u?
u
Let y be (-10)/(-8)*(-1712)/535. Which is smaller: y or -728?
-728
Let c(q) = -q**2 + 6*q - 1. Let x be c(-2). Which is greater: x or -468/29?
-468/29
Let d = 105 + -104. Let f = 519 + 5792. Let m = -1811255/287 + f. Which is smaller: m or d?
m
Let t be -4 + -2 + (-781)/(-131). Let n = 67/5109 - t. Which is bigger: 0 or n?
n
Suppose -48*k - 52 + 4 = 0. Let r be (k/2)/((77/(-22))/7). Which is smaller: 40/29 or r?
r
Suppose -45*r + 34*r = 2618. Let x be r/(-40) + (3 - 9). Suppose 0*y + 5 = 5*y. Which is smaller: x or y?
x
Let v(a) = -a**2 + 18*a + 129. Let l be v(23). Suppose 2*o - 4*d + 48 = 26, -2*o = -2*d + l. Is 13 less than or equal to o?
False
Suppose 5 = -4*i - i. Let u be 2/(-8) + (-4190)/40. Let q be 2/5 + u/75. Is i greater than q?
False
Let u(t) = t**2 - 2*t - 1. Let w(h) = h**3 - 13*h**2 + 28*h. Let o(y) = 3*u(y) + w(y). Let q be o(5). Which is bigger: -22 or q?
q
Let s be (-5 - (3 + -5))/(10/30). Are -4/43 and s nonequal?
True
Suppose -91*r - 797 = -21*r + 4453. Which is smaller: r or -0.1?
r
Suppose j = 3*m - 153, 2*m - 3*m + 35 = 5*j. Suppose -5*q + 17 = -0*q - n, 2 = -q + 2*n. Suppose -q*y - m = -58. Which is greater: -3 or y?
y
Let f be -5 + -4 + 14 - 6. Let b(p) = p**2 + 11*p + 9. Let d be b(f). Is -2 greater than d?
False
Let s be (-6 + -1)*-1 + 2. Suppose 6*n + 7 = -3*h + 7*n, s = -3*h + 3*n. Is h bigger than -1.3?
False
Suppose 9*n + 407 - 254 = 0. Let x be (-414)/832 + n/(-2) + -8. Which is smaller: 0 or x?
0
Let i(m) = -46*m**2 + 589*m + 16. Let s be i(12). Is 446 greater than or equal to s?
False
Let j = 12.58 - 8.58. Is j >= -144?
True
Let 