 + 4*d - 3 = 0, t*d + 2*d = 2*n - 6. Is n != 11?
True
Suppose -40*m - 279984 = 23*m + 13*m. Which is greater: m or -3682?
-3682
Let r = -65 + 71. Let o be r/(-8) - 129/(-12). Let i be -2 - (15/o - 47/18). Is i less than 0?
True
Suppose -5*y - 182 = 4*m, 11*y = 6*y - m - 203. Which is smaller: 48 or y?
y
Suppose 0 = 2*d - 2*y + 6 - 20, d + 13 = -3*y. Suppose 5*b - i - 35 = 0, 2*b - 37 = -0*b + 5*i. Suppose d*c - b - 14 = 0. Is 9 less than c?
True
Suppose 0 = 35*j + 4563 - 4493. Suppose -2 = m - 3*r - 1, -3*m + 5*r - 3 = 0. Is m less than j?
False
Let v(i) = -i - 19. Let d be v(-21). Let u(w) = 18*w - w**3 + 7*w**2 - 15*w**d - 10 - 6. Let x be u(-10). Which is greater: 18/7 or x?
x
Suppose -2*v - a = -4879, -67*v - 4*a + 2464 = -66*v. Are v and 2442 unequal?
True
Let b(q) = q**3 + 5*q - 1. Let r be b(2). Let y(k) = k - 10. Let m be y(10). Suppose 5*x + 2 + 18 = m, 4*i = -4*x + 56. Is r not equal to i?
True
Let h be (17/(-4))/(2/(-8)). Let l be 1/4 + h/(-36). Let o(b) = b**2 + 59*b + 687. Let m be o(-43). Is m <= l?
True
Let t = 10727/6 + -5524447/3090. Let o = t - -145773/2060. Is o at most 70?
False
Let z be (-3 + (-28)/(-20))/((-34)/(-85)). Let s(c) = -10*c + 16. Let y be s(3). Which is greater: y or z?
z
Let z(j) = -84*j. Let o be z(1). Let r = 81 + o. Let p be r*(1/(-3) - -3). Is p at least -5?
False
Let b be 6/39 + (-3)/(39/(-2078)). Let l be 315/(-132)*b/(-60). Which is smaller: l or 7?
l
Let p = 5180 + -5293. Suppose -h - 118 = -5*m, -2*h + h - 114 = -m. Is p at least h?
True
Let f = 7077 + -16404. Is -9328 at least as big as f?
False
Let g = -2745 + 2909. Is g bigger than 154?
True
Let b(r) = 3*r + 45. Let d be b(-10). Let o be (-5708)/(-60) + (-2)/d. Let x = -78 + o. Is x at least as big as 16?
True
Suppose -4*j + 3*q = 49, -33*j + 35*j + 49 = 5*q. Which is greater: j or -97/16?
-97/16
Suppose -77829 + 79565 = 14*j. Is j < 108?
False
Let r(k) = k**2 + 50*k + 388. Let u be r(-12). Suppose -3*n = -5*h + 235, 0*h = 3*n + h + 205. Is u at least n?
True
Let l = 17182 + -17182.41. Which is smaller: 0.85 or l?
l
Let i(r) = -4*r + 9. Let y(o) = -8*o + 18. Let t(b) = 5*i(b) - 3*y(b). Let h be t(4). Let x(g) = -g**2 + 13*g - 8. Let c be x(12). Which is greater: h or c?
h
Suppose y + 21 = -5*b, 3*b + 27 = 3*y - 0*b. Suppose 2*o = v + 49, -2*v - y*o - 62 = 76. Let l = -73 - v. Which is smaller: -77/5 or l?
-77/5
Let c = -2089.0273 + 2089. Does c = -1?
False
Suppose 0 = -5*g - 2*j + 245, -86 = 4*g + 5*j - 265. Suppose 56*k = g*k + 20. Suppose y - k*z = -1, 3*z - 4 = 2*y + 2*y. Which is bigger: y or -1/58?
-1/58
Suppose 83*i - 90*i - 17101 = 0. Let n be (-312)/76 - -4 - i/19418. Which is smaller: 1 or n?
n
Suppose -52*w + 58*w = 1380. Suppose 2*f = 3*t - w, -4*f - 108 = -2*t + 48. Is 78 != t?
True
Let i = 343 + -500. Let c = -157.06 - i. Let l = -0.06 + 0.12. Which is smaller: l or c?
c
Let h = -113 + 134. Let o = -9851/5 - -1969. Which is bigger: o or h?
h
Suppose 7*g - 94 = 109. Suppose 11 = -g*v + 18*v. Let o be 3/27*(1 + -3). Which is greater: v or o?
o
Let o(d) = 45 - 3*d**2 - d**3 + 13*d - 42 + d**2. Let a be o(-5). Suppose -5*k - 27 = a. Which is greater: -9 or k?
k
Let g(s) be the second derivative of -s**5/20 + s**4/3 + 4*s**3/3 + 5*s**2 + 13*s. Let a be g(5). Suppose r + 4 = j, a = -0*r - 5*r. Is -7/15 greater than j?
True
Let l be (-102 + 1)*-12 - (14 - 80)/(-11). Which is smaller: 1207 or l?
l
Let k be 16512/7740 - 5/(75/2). Which is bigger: 9/11 or k?
k
Let l(u) = 2*u**2 - 33*u - 154. Let w be l(20). Which is bigger: w or -27?
w
Suppose -2 = -u, -586 = -5*l + 3*u - 132. Let i be 5*98/105*(-78)/(-4). Which is smaller: l or i?
i
Suppose 7*m - 11*m - 3*o = 52, m - 3*o - 2 = 0. Let c be ((128/(-2))/(-8))/m. Which is smaller: c or -1?
-1
Let o be (-3)/33 + (-1092)/(-33). Let f be (1 + -2)*(-1 - 7). Suppose -f - o = -p. Is 42 <= p?
False
Suppose 0 = -14*c + 18*c - 16. Let p be ((-6)/10)/(c/(-10)). Let t = -1923 - -1926. Is t at most p?
False
Let b(j) = j**2 + 8*j - 6. Let m be b(1). Suppose -3*d = 4*v - 302 - 137, 2*d - 287 = m*v. Is d equal to 143?
False
Let q = -2 + 2. Let k be 55 - -8 - (0 - -9). Let j be 12/9*3/k*-1. Which is bigger: q or j?
q
Let q(k) = k**2 - k - 3. Let p be q(3). Suppose 4*s - 2*a = p*s + 3, -s = 2*a + 1. Suppose 5*f + 6 = s. Is -13/8 >= f?
False
Suppose -3*t + 6*t = 15. Let z be ((-6)/(-5))/(-7*t/(-350)). Let p(c) = c**2 - 7*c + 7. Let v be p(7). Does v = z?
False
Let b = -2485 - 851. Does -3336 = b?
True
Let o be (1 - (-26)/(-1))*-1*(2647 - 2640). Is -15 > o?
False
Let i = 298019/5918260 + -76/1487. Is 0 < i?
False
Let f be 62/8 - (-11)/44. Suppose -f*p - p = p. Let r(i) = -i**2 - 2. Let y be r(p). Which is greater: -18/11 or y?
-18/11
Suppose -42*v + k + 38 = -40*v, 0 = -5*v + 4*k + 98. Let g be (-20)/2828*v/135. Which is greater: g or 0?
0
Suppose 86 - 82 = -q. Let c be ((-1)/q)/((-361)/76). Is 0.04 at least as big as c?
True
Let z be ((-281897)/42)/11 + 2/12. Let q = -604 - z. Let n be (10/(-8) + 0)*-4. Is q >= n?
True
Let c = -1147/2208 + 65/96. Does 0 = c?
False
Let z = -2345/36 - -24991/828. Which is bigger: -34 or z?
-34
Let c(q) = 15*q - 223. Let p be c(15). Let g be ((-84)/(-756))/(p + (-23)/6). Suppose 2*m = -2*j - 10 + 2, -4*m - 16 = 5*j. Are j and g unequal?
True
Suppose 2*c = -3*q + 5*q + 10, 3*q + 5*c - 17 = 0. Suppose 8*h - 84 = 9*h. Which is greater: h or q?
q
Let c(x) = x**3 - 14*x**2 - 121*x + 2. Let q be (-7 - 186/(-18))*6/1. Let s be c(q). Is s smaller than -24?
False
Let q = -4/27 - -245/1836. Let n be 20/12 + -1 - 35/66. Let k = n - -35/66. Is q > k?
False
Suppose 5*x = -2*t - 20, -x - 16 = -4*t + 3*x. Suppose -5*h - 113 + 668 = t. Is 113 less than h?
False
Suppose -474 = 57*m + 25*m + 920. Let c be (-2 + (-872)/(-426))*3. Let h = -2323/142 - c. Is m not equal to h?
True
Let b be (0 - 10/14)*1. Let x = 117 - 80. Suppose x*h = -80 + 6. Which is bigger: b or h?
b
Let y(v) = -12*v**3 + 3*v**2 - 1. Suppose -35 - 13 = -12*l. Let w be 1*(-3 - l*(1 - 2)). Let g be y(w). Is g greater than -11?
True
Let s = 0.142 - 0.136. Let k = s - -0.075. Let f = -3.319 - k. Which is smaller: 0.2 or f?
f
Let p = -1 - -3. Let j = -27649/2716625 + 9/12875. Which is bigger: j or p?
p
Suppose -i = 4*p - 9, -p - 3*p + 12 = 4*i. Suppose -4*u = -3*n - 0*u + 1, p*u = 2*n. Let v = -108741/1380274 + -6/36323. Which is smaller: n or v?
n
Suppose 0 = -4*b + 2*m + 326, -269*m + 266*m = 4*b - 331. Let y(w) = w**3 - w**2 + w + 79. Let l be y(0). Let n = b - l. Is n greater than or equal to 2?
True
Suppose -18*y + 7997 - 5529 = -9322. Is y < 657?
True
Suppose -1069*s = -1077*s. Which is smaller: s or 266?
s
Let u = -103 - -111. Suppose -4*q - q = -2*z - 74, 0 = q + 3*z - u. Suppose 0*y = -5*c + 2*y + 11, -5*c = 5*y - 25. Is c greater than q?
False
Let h(c) = -2*c**2 - 23*c + 51. Let s be h(-13). Which is greater: s or 110/9?
110/9
Suppose 51*u - 36*u + 60 = 0. Let b be (-3)/(11 - 5)*(6 - u). Which is greater: b or -132/23?
b
Let s = -4736 - -4693. Let g be (-6)/14 + 596/(-14). Is g greater than s?
False
Suppose -11*h - 41705 = 47*m - 52*m, 4*h = -2*m - 15154. Which is bigger: -3792 or h?
h
Let b(t) = -t**3 - 8*t**2 + 10*t + 13. Let i be b(-9). Suppose -46 + 18 = -i*f. Let k be (0 - -1)*0/f. Is k at most as big as -1?
False
Let r(q) = -2*q**3 + 56*q**2 + 40. Let x be r(28). Suppose 10*b - 8*b - 44 = 0. Suppose a - b = 17. Is a less than x?
True
Let d(t) = -129*t + 525. Let p be d(4). Let u = -9449/5 - -1899. Is p bigger than u?
False
Let q be (1/(-9))/((-2)/12). Let h = 4 - 0. Suppose 0 = -2*b + 10, 3*b = -h*g - b - 16. Is g greater than q?
False
Let q = 5599.51 - 5623. Is q bigger than 1?
False
Let l be 77025/9627 + -2 + -12 + 12/2. Which is bigger: 1 or l?
1
Let r be 433 + 15/(-6)*-2. Let u = r + -456. Is -194/11 > u?
True
Let o(f) = f**3 - 9*f**2 - 17*f + 26. Let l(g) = -2*g**2 - 50*g + 8. Let u be l(-25). Let w be o(u). Which is smaller: -176 or w?
-176
Let u be -3 + 12/(-22) + (-1599)/(-451). Does -13343 = u?
False
Let c = 125 - 93.5. Let b = c - 26. Let s = 5.63 - b. Is 0 >= s?
False
Suppose -2*i - 21*x - 5 = -22*x, 2*i + 3*x = 23. Which is bigger: i or 6/2167?
i
Let h(f) = -f**3 - 9*f**2 - 18*f + 35. Let i be h(-6). Which is smaller: i or 30?
30
Let w be 25 - (18 - -1) - 17. Which is bigger: w or -5?
-5
Let d(r) = -3 + 6*r 