x?
True
Let y = -1052 + 534. Let o = y - -506. Is 5 greater than o?
True
Let w be 111/7 - (-1)/7. Let k(i) = -i + 17. Let v be k(w). Suppose 20*z = 19*z - v. Is -1 != z?
False
Let x be (-3 + 2395/(-15))*(-40)/(-672). Does x = -11?
False
Suppose 2*u + 2*u = -4*o + 7332, -o + 5511 = 3*u. Which is smaller: u or 1?
1
Suppose -5*w + 24 = -3*d, 16 = 2*w + 7*d - 5*d. Let l be (14 - (3 + -5)) + 0. Let x be (l/5)/(4/10). Is w bigger than x?
False
Suppose 0*j - 3 = -3*j. Let o be ((-3)/(-4))/((-1083)/38). Is o less than j?
True
Let p(z) = 3*z + 1. Let a be p(1). Suppose -4*u + 931 = 3*v, 956 = -v + a*v - u. Suppose -2*l - 3*l + 2*c = v, 0 = -5*l + 3*c - 313. Are -64 and l nonequal?
True
Suppose -8995 = -2*a + 3*f, 39*a + 8985 = 41*a - f. Which is greater: a or 13468/3?
a
Suppose 123*t = 132*t - 18. Suppose 0 = -5*r + 5, -t*q - 2*q = r - 1345. Is q less than 336?
False
Suppose 2*l + 42 = 54. Let a be 16 + (12/3 - l). Suppose 0 = a*b - 16*b - 2. Is -4/65 less than b?
False
Suppose 5*f + 84 = 9*f. Suppose 3 = -18*v + f*v. Let i be 28 - v - (-18 + 21). Is 24 at least i?
True
Let a = 29 - 117/4. Suppose 28*g + 4*g + 110 = 110. Which is greater: a or g?
g
Let n be (306/(-3) - -1) + (-4 + 11 - 9). Which is greater: -205/2 or n?
-205/2
Suppose -3564 = -293*z + 249*z. Is -11 >= z?
False
Let f = 93471241337/7788 - 12001957. Let t = f + -1/177. Suppose 4*z + 0 = 2*r - 14, 3*r = 2*z + 9. Is t at most as big as r?
True
Let r = 254 - 134. Let q = r - 122. Let j = -6.1 + 6. Is q bigger than j?
False
Let b = -1182 + 1181. Which is greater: -4/1471 or b?
-4/1471
Suppose -4*y + t = -2065, -560 - 471 = -2*y + t. Let j = 519 - y. Is j > 14?
False
Suppose -3*s = 5 - 185. Let c = 242 + -177. Which is smaller: s or c?
s
Let g = -130243/21103680 - -13/6080. Is 0 != g?
True
Suppose 0 = 187*y - 218*y - 374*y - 4325805. Is y > -10681?
False
Let o be 4 + (0 - 3)/(-3). Suppose 0 = 5*d + 4*v - 5*v - 25, o*v + 21 = -d. Let n(f) = -f - 8. Let z be n(-10). Which is smaller: z or d?
z
Suppose -2*z - 6*z + 56 = 0. Suppose z*v - 210 = 4*v. Suppose -4*r + 0*w - 53 = w, -5*r - 5*w = v. Is -25/2 at least r?
True
Suppose -q = 3, 2*h = -3*q - 486 - 503. Does h = -491?
False
Suppose 5*c + 125 = -2*z, 42*c - 128 = 2*z + 44*c. Is -98 > z?
False
Suppose 3 = -2*t - 5*m, 55*t + 3 = 54*t - 4*m. Are t and 13/445 non-equal?
True
Let s(n) = -3*n**2 - 9*n - 2. Let y be s(-4). Let m = y - -6. Let t be 5/m*-4*-14. Is t bigger than -36?
True
Let x(y) = 2 - 5 - 2*y**3 + y**2 + 2 - 1. Let d be x(0). Which is smaller: d or -40?
-40
Suppose 353138 + 233592 = -41*x - 5*x. Is -12754 >= x?
True
Let h be ((-12)/(-12))/(2/(-8)). Let j be (-2)/(-6) + (-21)/6. Is j != h?
True
Let l(r) = r**2 + 233*r + 11316. Let i be l(-164). Which is greater: -58/69 or i?
i
Let g be (686/(-21))/(230/15) - -11. Is 0.3 at most g?
True
Let t(k) = 69*k + 1589. Let x be t(-8). Is x not equal to 1035?
True
Let w = 0.3 - 0.1. Let p = w - 1.2. Let o = -45.63 + 43.63. Which is greater: o or p?
p
Let a(i) = i**3 - 11*i**2 + 25*i + 31. Let t be a(6). Let h be 90/(-5 - t)*55/(-15). Is h at most 276/5?
True
Let y = -12625 - -12773. Is y > 1033/7?
True
Let i = -0.1173 - -0.1173. Is -14.3 less than i?
True
Let o = 101 + -105. Let a be 3 + o + 632/648. Does 1 = a?
False
Let b be (126/(-36) - (-30)/12)*39/1. Which is smaller: 46 or b?
b
Let r = 0.12 + -27.52. Let d = 27.8 + r. Do d and -2/129 have the same value?
False
Let t = 3885.935 - 3886. Let h = -36 + 52. Let v = h - 17. Is t equal to v?
False
Let z = 44 + -60. Let s = -10.7 - z. Let j = s - 5.4. Is j >= 0?
False
Let w = 0.75 - 77.75. Let m = 181 - 72. Let v = m + w. Is 2 bigger than v?
False
Let f be (-2)/(-7) + 4/(-14). Let v(o) = o**2 - 32. Let g be v(f). Let z = 2.4445 - 4.4445. Is g < z?
True
Let v(r) = 43*r + 310. Let c be v(-24). Let o = c - -695. Which is greater: -20 or o?
-20
Let d(m) be the second derivative of 11*m**4/12 - m**3/6 + m**2/2 - 35*m. Let g be d(-1). Suppose -16*k - g = 3. Is 9 at most k?
False
Let w = 41.74 + -2.74. Let v = -2 - -7/4. Which is smaller: v or w?
v
Let m(n) = -n**2 + 9*n - 16. Let b be m(5). Let i = b + 49. Let h = -15 - i. Is h less than 0?
True
Let j be (4292/261)/(3 + (-25)/9). Is j not equal to 87?
True
Suppose -4*j + 28 + 57 = -5*y, 0 = -y - 2*j - 3. Let r be (102 - 96)/(0 + 10/4)*(-32)/6. Is y at least r?
False
Let z be 22*243/5334 + -1. Let k = -0.28867 + 0.38867. Is k less than z?
False
Suppose -22*j - 21*j + 36*j + 24227 = 0. Which is bigger: j or 3462?
3462
Let w = 60358437391/297 + -203226635. Let u = w + -4696/11. Is -1 less than or equal to u?
True
Let n = -2760 - -2832. Do 66 and n have the same value?
False
Let x be (-4)/10 + (-26)/(-40). Let r = 9339.3 - 9958. Let q = 619 + r. Is x less than or equal to q?
True
Let u = -448 + -30.8. Let n = 506 + u. Do n and 1 have the same value?
False
Let i = 0.9935 + 0.0065. Is i at least as big as 0.528?
True
Let m = -43950 - -440493/10. Is m equal to 0.2?
False
Let j be (-3 + 20/5)*(-46 - 0). Is -74 bigger than j?
False
Suppose 4*q - 51 = 9. Let o = -0.033 + 0.061. Let l = o + 1.972. Which is bigger: q or l?
q
Let t be -11 + 3 + 4 + 4 + -4 + -12892. Does t = -12896?
True
Let o = -398.8 + 347. Let h = o + 48. Let t = h - -3.81. Which is smaller: t or -0.1?
-0.1
Let a(k) = -2*k**3 + 8*k**2 + 4*k - 12. Let u be a(-6). Suppose 3*w = p - 411, 0 = -8*w + 3*w + 2*p - u. Let n be 276/115*(-20)/w. Which is smaller: n or 1?
n
Let d = -0.1954 + 1.1954. Let m(i) = -i - 7. Let j be m(-11). Suppose 0*s - j*a = -s + 5, -36 = 3*s + 5*a. Is s equal to d?
False
Let p(t) = -7*t + 12. Let h be p(5). Let d = 27 + h. Suppose d*j = -4*w + 44, 2*w - 47 = -5*j - w. Which is bigger: 4 or j?
j
Let v(m) = -2*m**2 + 51*m + 158. Let c be v(25). Let t = 189 - c. Which is smaller: -2 or t?
-2
Let a(n) = 27*n + 168. Suppose -26*b - 85 = 71. Let u be a(b). Is 2/85 greater than u?
False
Let x = 2 - -6. Suppose 5*w - m = -x, 0 = -w + 5*m - 0 - 16. Let h be (-1)/(w/4) + 0. Which is smaller: h or 5?
h
Let n = 0.01973 - 0.01973. Which is smaller: n or 2/1475?
n
Let j = -395 - -394. Is 845 less than j?
False
Let k = 14399 - 14400. Is k greater than or equal to 13/470?
False
Let z = 3810 + -3810.3. Which is greater: 48.2 or z?
48.2
Let l = -206 + 81. Let r be (-248)/2*1 - (-28 - -29). Is l less than r?
False
Suppose 5*z - 607 = -2*q - 904, -2*q + 5*z - 287 = 0. Which is smaller: q or -133?
q
Let y = -5790.9 - 2935.1. Which is greater: y or -0.1?
-0.1
Let v = -2256 - -2256. Suppose 416 = 4*j - 2*m, 3*m + 192 - 690 = -5*j. Which is smaller: v or j?
v
Let j(c) be the second derivative of c**3/6 - 19*c**2/2 + 30*c. Let q be j(1). Which is smaller: -21 or q?
-21
Let a be 2/(-12) + ((-69)/18)/(-23). Suppose 2*j - 2 = a, 5*n + 67 = n - j. Is -11 smaller than n?
False
Let r be (12/(-328))/(33/12 + -2). Let g = 7188 + -7192. Is r greater than g?
True
Let t be (0 + -1)*(-1)/1. Let k be (-2)/t*-2 - -47. Let i be (-6)/k + 690/85. Which is smaller: 7 or i?
7
Suppose -23*r = -10*r - 16861. Is r > 1299?
False
Suppose 0 = -0*v + 5*v - 90. Let r = v + -17. Let g be (r - -2)*(-16)/(-72). Is g != 15?
True
Let a(l) = l**2 + 4*l - 165. Let t be a(11). Is -14/661 > t?
False
Let h = -1408 - -1406.7. Let y = -7.6 + 6. Let u = y - h. Which is smaller: 4/3 or u?
u
Let j = 26 + -50. Let k be -2 - (1 - (-3 + 55)). Let v = k - 73. Do v and j have different values?
False
Suppose -5*l + 4*l = q + 2, 0 = 5*l - 15. Let x = -514 - -509. Let d = q - x. Which is smaller: -0.7 or d?
-0.7
Let h = -6940 - -8149. Are h and 1208 unequal?
True
Let g = 71 - 137. Let o be 148/14 - g/154. Suppose -j + 2 = f, -6*f + o = j - 2*f. Which is smaller: j or 0?
j
Let j(t) = t**2 - t - 550. Let m be j(0). Let u = -97337 + 97338. Is u at least m?
True
Suppose 5*z + 5*v - 135 = 2*z, 2*v = 3*z - 114. Let h be 15/(-2) + 8 + (-21)/z. Are -2 and h non-equal?
True
Suppose 27*q - r = 24*q + 2079, 5*q = -4*r + 3465. Which is smaller: 697 or q?
q
Let w = 0.16 - -5.84. Let m = -618 - -172. Let q = m + 448. Is w smaller than q?
False
Suppose -2*l + 15 = l. Suppose 0 = 3*i - 5*i - 4, -5*o + l*i + 215 = 0. Let z = o - 42. Which is smaller: z or -13?
-13
Let o = 181 - -155. Let b = -335.5 + o. Is -14 <= b?
True
Let j be 6/(-30) - ((-5246)/55 + (-86)/(-473)). Let k be -19*3*10/(-6). Is j at most as big as 