 s = 1706 + 4502. Is 6207 less than or equal to s?
True
Suppose 0 = -2*g - 2*c + 4*c + 2, 11 = 5*g + c. Suppose -5*u - 2*w - 489 = 0, -8*w + 3*w = g*u + 183. Do -99 and u have the same value?
True
Suppose -5*k + 4*v = -23, -5*k + 5 = 5*v - 0. Let y = 886/13 - 64. Is k less than y?
True
Let k = -287 - -3870/13. Is k <= 11?
True
Let f(r) = -9*r + 22. Let d be f(3). Let i be (-5)/25 - 16/d. Suppose 0 = i*u + a - 31, 3*u - 31 = 2*a - 12. Which is bigger: u or 1?
u
Let v = 0.71682 - -0.02818. Is 3 not equal to v?
True
Let o be 6/21 + 25/((-162225)/846). Is 0 less than or equal to o?
True
Suppose -1576 = 3*u - 11*u. Let z = -148 + u. Suppose 5*g = -5*q - 111 + 16, 5*g = 3*q + z. Is q bigger than -19?
True
Let m = 1.055 + -0.035. Let p = 0.368 + 0.552. Let i = p - m. Is i bigger than 1?
False
Let z(r) = 4*r**2 - 19*r - 2. Let n(y) = -3*y**2 + 20*y + 3. Let o(a) = -6*n(a) - 5*z(a). Let w be o(-12). Let j = -9 - w. Is j less than or equal to -13?
True
Let k = -6606 - -6607. Are -232/3 and k equal?
False
Suppose 0*r + 16 = 4*r. Suppose 2*f - 12 + 4 = -3*p, 0 = 2*p - r*f. Suppose 5*m = -4*t - 0*m + 91, -2*t + p*m = -68. Which is smaller: t or 30?
t
Suppose 450 = -17*u - u. Let y be 19/45 - (-6 + (-130)/u). Is 1 >= y?
False
Let d(q) = -15*q - 175. Let b be d(2). Is -200 equal to b?
False
Let a be (-2)/8 - 237/(-1020). Suppose 0 = 15*c - 3305 + 3320. Which is greater: a or c?
a
Let i = 228 - 228.1. Suppose 0 = -0*f - 2*f - 36. Let q be 10 + f - (1 + 0). Is q <= i?
True
Suppose 4*g = -5*r + 113, g - 5*g = -4*r - 104. Let d = g + -49. Suppose -9*f + 5*v - 63 = -5*f, -4*f - 5*v - 113 = 0. Is f not equal to d?
False
Let d = 115 + -112. Suppose 0 = 3*x - 2*h - 12, -2*x + d*x - 4*h - 14 = 0. Suppose 3*t + 2*t - 2*j = 118, -2*j = -x. Are t and 2/3 equal?
False
Let t = -7885 - -7955. Suppose m - 13 = -l + 53, m - 60 = -3*l. Which is smaller: m or t?
m
Let s = -8 + 17. Let v be 1 - (13 - 7)/(24/(-60)). Is s bigger than v?
False
Suppose -15*s - 10239 = 9141. Which is smaller: s or -1288?
s
Let m = -18153 - -18153. Is 876/11 > m?
True
Suppose s = -4*m - 11, 71*m = 5*s + 66*m - 20. Let a = 134/13769 - -3/281. Is a greater than s?
False
Let j = 3 + -2.6. Let a be (-2)/8 - ((-3258)/24)/3. Let z be (-4)/(-5)*a/78. Which is smaller: z or j?
j
Suppose -12 = 3*x, -33*s + 7*x = -28*s - 28. Which is smaller: 7/456 or s?
s
Suppose 5*x = 2*y + 7546, -51*x + 4*y + 1520 = -50*x. Is x at most as big as 2?
False
Let r = -5 + 8. Suppose r*v + 6*v - 18 = 0. Let o be 1*-2 - (v + 20 - -2). Does o = -26?
True
Let n be (2 - 5/3)/(((-345)/15)/69). Is 3/3857 greater than n?
True
Let j be (-1200)/4200 - (30/(-7) - 1). Let a = 271/2 + -5153/38. Do j and a have the same value?
False
Let x be ((-24)/2)/2*(-10 + 2). Let r = 53 - x. Suppose -r*g + 1 = 6. Are g and -2/161 unequal?
True
Let y = 646/45 + -348551/24120. Which is bigger: -1 or y?
y
Let w = 661.8 + -652.3. Which is greater: w or -0.31?
w
Suppose 21*n = -33*n - 116964. Let y = n + 314071/145. Is 1 not equal to y?
True
Let x = 0.2924 - -132.7076. Which is smaller: x or -40?
-40
Let w be (15/(-10) - -4)/(4/(-8)). Let g be ((-10)/(-15))/(w - (-2566)/522). Which is bigger: -9 or g?
g
Let r = 6832 - 6831.8. Which is greater: -2149 or r?
r
Suppose -2*z = -v - 2324, 623*v - 4*z + 9320 = 619*v. Are -2336 and v unequal?
False
Suppose -5*p - 2422 = -4*h, 1734 = -5*p + 2*h - 692. Let i = p + 492. Is i >= 71/12?
True
Let d be -7 - (-12 + (-59670)/(-11808)). Which is smaller: 0 or d?
d
Suppose 0 = -7*v + 21*v + 336. Let k = -32 - v. Which is greater: -22/3 or k?
-22/3
Suppose 2*d + 2*i - 24 = 6*i, 0 = -2*d - 5*i - 21. Suppose s - d*s = -2*s. Which is greater: 1/28 or s?
1/28
Let v = 57.3 + -74. Let r = v + 16.67. Is r at most -15?
False
Suppose 4*s = -2*a - 26594, -21353 + 87898 = -5*a + 2*s. Does a = -13307?
True
Let w = -314 - -335. Suppose -w - 21 = -3*g. Let f(d) = 3*d**2 + 5*d + 2. Let y be f(-3). Is g < y?
False
Suppose 0 = 4*b + 4, -3*b = 5*k - 2*k - 3. Let q be 24/(-22)*-2 - k. Let v = q - 32/55. Which is bigger: v or 0.2?
0.2
Let g = -2.7 + 2.671. Suppose 196 = 10*q + 46. Suppose -3*j + q = -4*u - 6*j, 3*u + 5 = -j. Are u and g non-equal?
True
Let t(n) be the third derivative of -479*n**4/24 + n**3/3 + 10*n**2. Let k be t(2). Let d = 5761/6 + k. Which is smaller: 5 or d?
d
Let o be (-14)/(-4)*(-24)/(-504) + 5/6. Which is smaller: o or -1/7745?
-1/7745
Let w be (-6)/(-10) - (-168978)/5520. Let c = 249/8 - w. Let s = 14 - 13. Which is smaller: c or s?
c
Let m = -74 + 61. Let k = 5 - m. Suppose k = -3*b + 45. Which is bigger: b or 7?
b
Suppose -g = -4*c - 34 + 45, 0 = g + 2*c - 13. Suppose 3*o + 11 = 5*d - 10*d, -g*d + 2*o = 1. Is d at least as big as 2/21?
False
Suppose 0 = a - 3*l - 509, -4*a - l + 0*l + 1971 = 0. Let o = -3587/7 + a. Which is bigger: -18 or o?
-18
Suppose -h = -38 + 26. Let u be (-48)/20*((-4)/h - 3). Which is bigger: u or 10?
10
Let h be (2/(-3))/(4/(-6)). Let m be (-5)/((-10)/12) + (-41)/(8610/1080). Which is smaller: m or h?
m
Let h = 41 + -11. Suppose 13900 - 525 = 715*q - 12276 + 3486. Is h at most q?
True
Suppose 3*z - 2*o - 9 = 2*z, 4*z + 2*o - 36 = 0. Let r(p) = 36*p - 87. Let h be r(3). Is h bigger than z?
True
Let w(b) = -4*b + 36. Let a be w(11). Let l be ((-312)/(-21))/a + 2. Are l and 0 equal?
False
Suppose 12560 = 5*g + a - 6*a, -3*g + 7552 = 5*a. Is 2515 greater than g?
True
Let j = -11830 + 11830. Which is greater: 1/1126 or j?
1/1126
Let x = -20572 + 20572. Is 100/413 < x?
False
Let o be 4/(-14) + (3 - (-15)/(-21)). Let b be ((-2725)/75)/(o/(-6)). Is b equal to 109?
True
Let k = 1840 - 1848. Which is smaller: 202 or k?
k
Let b = -1855 - -1892. Does b = 57?
False
Suppose 97 + 183 = -35*w. Let l(s) = s**3 + 9*s**2 + 13*s - 20. Let o be l(w). Which is smaller: o or -59?
o
Let w = -7 - -6.9. Let c(p) = 3*p**3 - 8*p - 2. Let y be c(3). Let m be (-4)/(-22) - y/968. Do w and m have different values?
True
Let y = 7241/348612 + -17/836. Which is bigger: 0 or y?
y
Let w(m) = -43*m**3 + m**2 + 3*m - 5. Let i be w(2). Let d = i - -340. Is d <= 1/65?
False
Let q = -11573 - -10507. Does -1 = q?
False
Let i(y) = -14*y + 237. Let f be i(17). Let s(a) = -11*a + 2. Let j be s(-2). Let h be 16/j*f/2. Is 0 at least h?
True
Let s = 0.6 + 93.4. Let i = 51 - s. Let b = -45 - i. Which is smaller: b or -1/9?
b
Let k be -11263 - ((-44)/(-352) - (-33)/(-8)). Which is smaller: -11258 or k?
k
Let x = 2 - 3. Suppose -4*q - 4 = -16*y + 12*y, 0 = -2*q - 2*y + 18. Let d = x + q. Which is smaller: d or 4?
d
Let g(d) = -d**3 - 8*d**2 + 11*d - 10. Let u be g(-9). Let q = 25 + u. Let h be q/(-5) - 17/(-5). Is h < 14/3?
True
Suppose 6 = 3*b - 3*w, 8 = 5*w + 18. Let o = 2/7153 - -2486/7153. Is b less than o?
True
Suppose -15*m - 4 = -16*m. Let g be (-285)/(-2)*1 + 6/m. Is 143 at most g?
True
Suppose -2255 = 13*y - 10059 - 1582. Are 724 and y nonequal?
True
Let f(a) be the third derivative of -a**5/60 + 7*a**4/8 - 3*a**3 - 2*a**2 + 8*a. Let t be f(17). Are t and 52 nonequal?
True
Let h = 1578 - 23. Which is smaller: h or 1554?
1554
Suppose -51*m + 1459 - 12004 = 5265. Which is smaller: m or -317?
-317
Let p = -2086 - -2049. Which is greater: p or -32?
-32
Suppose 43*o + 80 = -5*k + 39*o, k + 37 = -5*o. Are -15 and k equal?
False
Let o be 12/64*4 + (-2)/4. Suppose -4*z = -u, 3*u - 3*z + 5*z = 14. Let y = 4 - u. Is y <= o?
True
Suppose -3*d - k - 4 = 0, -3*d - 3*k - 748 + 736 = 0. Is d < 34/615?
True
Let q(v) = 3*v + 8. Let y(s) = 4*s + 7. Let b(c) = -5*q(c) + 4*y(c). Let z be b(9). Let f be 2 - 2 - (40 - 40). Which is bigger: z or f?
f
Let z be (7 - (-8)/(-2))/(-3)*-1. Let b be -1 - -76*(-2)/(-28) - 3. Is z <= b?
True
Let k = -11999 + 20984. Which is smaller: 0 or k?
0
Let l = 2/449095 + -35479513/226343880. Let k = 2/63 + l. Which is smaller: k or -1?
-1
Let f = -17.364 + 17.39709. Which is smaller: -0.1 or f?
-0.1
Let v(g) = -370*g + 3600. Let h be v(16). Is h greater than -11604/5?
True
Let w(g) = -5*g**2 + 9*g - 27. Let v be w(3). Let k be 1/(-12)*v/10. Let i = 0 - -1. Is i not equal to k?
True
Let a(h) = 9*h**2 - 16*h - 2. Let u be a(2). Suppose 11 = -2*j + 7*j - x, 3*j + u*x - 17 = 0. Which is smaller: 4 or j?
j
Let y = 21903 - 21929. Let v = -3 - -3. Is y not equal to v?
True
Suppose 0 = -42*v + 366 - 408. Which is greater: v or 2/153