2*g**2 - 12. Let x be i(-3). Let t be (-99)/(-390) - (-2)/x*-6. Which is greater: p or t?
t
Let o(a) = -23*a + 26. Let p(w) = -35*w + 40. Let z(u) = -8*o(u) + 5*p(u). Let h be z(0). Is h at least -8?
True
Suppose 6*r - 20 = 2*r, 2*c + 5*r = 71. Let h = 30 - c. Suppose 0*b = -h*b. Which is smaller: -3/10 or b?
-3/10
Let f = -2 - -10. Let t be 77/79 - f/8. Does 0.1 = t?
False
Let v be 1*(-2)/(-6)*3 - 4. Let n be ((3/v)/(1/(-79)))/(-1). Let h = n - -83. Is h at least 30/7?
False
Let y = 13 + -9. Let s be (-12)/(-603)*9/(-6). Is s not equal to y?
True
Let f(t) = -t**3 + 6*t**2 - 4*t - 8. Let n be f(4). Is 3 at least n?
False
Let c(z) = -z**2 + 22*z + 47. Let p(a) = a**2 - 16*a - 56. Let d be p(20). Let m be c(d). Is -1/26 > m?
True
Let n be 1 + 720/(-3000)*(-10)/(-4). Is n not equal to 130.2?
True
Let v be (-12)/16 + 196/(-16). Let x be 2/((-2)/v) - 165/55. Is x greater than 8?
True
Suppose 55*k = -46*k + 15678 + 6340. Which is smaller: 14 or k?
14
Let t = 381 + -620. Let x = 213 + t. Do -31 and x have the same value?
False
Let x(k) = 28*k - 248 + 228 + 38*k. Let l be x(-4). Let r be 2/9 + 3/(-540)*l. Which is greater: 1 or r?
r
Let v be 2/((-33012)/(-85245)) - 4. Let t = v - -2/917. Let h = -2/3 + t. Which is smaller: 1 or h?
h
Let o be (2 - 136/6)/((-850)/7395). Is o >= -12?
True
Let m be (((-16 + 16)/(-15))/(-1))/(1 - 0). Are m and -13/183 unequal?
True
Suppose 109*l - 64 = 173*l. Which is smaller: l or 7296?
l
Let h(i) = i**3 - 2*i**2 - i - 118. Let n = -95 + 95. Let l be h(n). Is l at least as big as -118?
True
Let r = -16731426/400867 - 18/17429. Is r less than -42?
False
Let d be (1 - (1/2 + 0)) + (-2445)/1630. Are -2/2431 and d nonequal?
True
Let q = 0.0506 - 29.0506. Is q bigger than 5?
False
Let j = 83 + -73. Suppose 20 = 5*a, 12 = 5*p - 4*a - 27. Which is smaller: j or p?
j
Let z = 230 + -245. Let w = 2 + -21. Let l = 19 + w. Is z greater than or equal to l?
False
Suppose -3*r = -4*z - 239, -9 + 167 = 2*r - 3*z. Suppose r = 29*m - 89. Suppose 4*v = -3*y + 2*v + 17, 14 = 2*y + 4*v. Which is smaller: m or y?
y
Suppose 4*l = 8*j - 3*j - 69, -51 = -4*j - l. Which is smaller: -15 or j?
-15
Suppose -54*z - 60*z - 140 = 88. Which is greater: 394 or z?
394
Let i = -118 + 83. Let v be ((-18796)/(-10))/((-189)/i). Let x = 348 - v. Are x and 0 nonequal?
True
Let a be (-168 + 170)*59/2. Are 34 and a non-equal?
True
Suppose -327*g + 297*g = 41190. Which is greater: g or -6862/5?
-6862/5
Let l = 1009/8 - 126. Let r be (-1)/(1 - (-1 - -1)). Let v be (-1)/(2 + r + 0). Which is smaller: v or l?
v
Let m = 253 - 142. Let x = m - 122. Is x greater than -12?
True
Let z = 94.36 + -1.36. Let l = 30 + z. Is 0.1 < l?
True
Let t = 16381 - 16196. Is t > 178?
True
Let g be (-430)/(-55) - (7 - -1). Let t = -21 + 21.2. Which is smaller: g or t?
g
Suppose 77*m + 51182 = -19581. Is m < 7?
True
Let p = 40.255 + 0.245. Let i = -40.47 + p. Is i at most as big as 1/33?
True
Suppose -4*y - 6*y + 170 = 0. Let j be (8 - (-8)/(-2)) + 0. Suppose 60 = 3*a - j*n, 0 = -a + 2*a + n - 13. Which is bigger: y or a?
y
Let k be -5 + (1053 - -4) + (-7 - -12) + -14. Which is smaller: 1034 or k?
1034
Let v(n) = n**2 + 7*n - 1. Let r be v(-7). Let z be 8/6 + (-2 - r). Suppose 11968 = 175*y - 329*y - 390*y. Is y smaller than z?
True
Suppose -2*n + 4*h = 0, n - 515*h = -520*h. Which is bigger: n or -8/291?
n
Let h = -3881.5 + 4427.548. Let y = h + -546. Do -7 and y have different values?
True
Suppose -p + 69 = 4*c - 20, 4*c - 2*p = 74. Suppose c + 15 = 2*k. Let t be 312/(-54) + 4/k*-1. Which is smaller: t or -19/3?
-19/3
Let b be 2/(2191*(-14)/(-392) + 1/4). Which is bigger: 1 or b?
1
Let j = 94/7 + -6/7. Let o = -140 + 152. Which is smaller: o or j?
o
Let o be (-68799)/72 + 13/(-104). Let q = 968 + o. Suppose -5*l = -4*i + 6 - 55, 4*l + i - 56 = 0. Which is smaller: l or q?
q
Let t = -11506 - -11508. Is t less than or equal to 209?
True
Let x = -51.92 + -0.08. Let k = 53 + x. Let s = -638 + 611. Is k <= s?
False
Let d = -3048 - -3045. Is d bigger than -2/539?
False
Let f = -3035 - -3054. Which is smaller: f or 48?
f
Suppose -88 = c + r - 295, -5*c - r = -1055. Is 212 > c?
False
Suppose 0 = -18*j + 1455 + 406 - 349. Which is smaller: j or 1.5?
1.5
Let y = 117.23 + -1.23. Let s = y + -116. Let b = -5 + 13. Is s less than or equal to b?
True
Let x be (-1)/2 + 111/246. Suppose -76 + 668 = 4*k. Let p = k - 149. Which is bigger: p or x?
x
Let t(o) = 38*o**2 + o + 1. Let c be t(-1). Suppose 0*q + 4*x = -3*q - c, 0 = 5*q + x + 52. Let j = 51422/5 - 10284. Which is smaller: j or q?
q
Let n = -738 + 737. Let x be n - 2 - ((-1644)/(-72) - 10). Are -17 and x non-equal?
True
Let a = -12 - -40. Suppose -3*m = -7*m + a. Suppose 0 = n - i + m, 7 = 5*n - 2*n + 4*i. Is n != -3?
False
Let y(l) = -262*l + 776. Let p be y(-5). Is 2088 greater than p?
True
Let r be (24/(-1218))/((-8880)/56). Is r greater than or equal to 1?
False
Suppose 3*v - 4*z + 14 = 0, 4*v + 28 = 4*z + 12. Let b be ((-81)/(-84))/((-6)/(-16)*-1). Is v > b?
True
Suppose -k = 2*s + 1540, s - 4*k + 7*k + 775 = 0. Which is smaller: -768 or s?
s
Suppose -28*q - 48 + 10 = -9*q. Is -4/1943 <= q?
False
Let n = 5274623/255 - 20685. Which is greater: 1 or n?
1
Let u = 176/7859 + 50/271. Is u not equal to -0.41?
True
Suppose -3*g = -4*r - 329, 12*r = -363*g + 361*g - 998. Which is greater: r or -63?
-63
Let x = -194.6 - -91.5. Let a = x - -103. Let s = 1.89 - 2.1. Which is smaller: s or a?
s
Let g(w) = -w**3 + 3*w**2 + 168*w + 2324. Let b be g(0). Which is smaller: b or 2330?
b
Suppose 8*k - 69 = 11. Let g be k/(-3) - (-2)/6. Let u = 21381/8 - 2676. Is u greater than or equal to g?
False
Suppose 40*t + 198 = 46*t. Suppose -t*s - 1 = -34*s. Is s at most -2/111?
False
Let y = -17 - -13. Let x(j) be the third derivative of j**4/6 + 2*j**3 - 8*j**2. Let u be x(y). Is u at least as big as -2?
False
Let g(f) = -6*f**2 + 3*f + 4. Let v(m) = m**2 - 2. Let r(k) = g(k) + 4*v(k). Let h be r(2). Is h <= -10?
False
Suppose -c + 52 + 129 = 5*j, -4 = -4*c. Let u be (333/j - 9)*(-8)/(-18). Is 0 >= u?
False
Let n = -0.038 - -28.638. Let t = -40 + n. Let c = 0.4 + t. Does -0.1 = c?
False
Let v = -0.86 + 6.16. Let y = -1245.4 - -1253. Let d = y - v. Which is bigger: 2/7 or d?
d
Let t(f) = f**2 + 3*f - 2. Let c(b) = -2*b + 72. Let x be c(37). Let y be t(x). Are y and 3 nonequal?
True
Let n(q) = 11 - 6*q**2 - 163*q**3 - 1 + 81*q**3 + q**2 + 83*q**3 + 2*q. Let y = 7 - 3. Let l be n(y). Is l at most 7/4?
False
Let n be 4*(-1)/((-12)/9). Let x(y) = 0*y - 18*y**n + 19*y**3 + 2 + 0*y. Let c be x(-2). Which is greater: -13/2 or c?
c
Suppose -5*h = -2*g - 5310, 2*g + 286 = h - 784. Let w be (-16)/40 + (-4)/(h/(-101)). Is w < 1/2?
True
Let v(z) = -z**3 + 11*z**2 + 1021*z - 134. Let n be v(-27). Let s = -5592 - -973003/174. Which is greater: n or s?
n
Let n = -33296 + 33254. Which is bigger: n or 98?
98
Let d(w) = 4*w**3 - 5*w**2 + 2*w + 1. Let o(m) = -5*m**3 + 5*m**2 - m - 2. Let h(r) = 4*d(r) + 3*o(r). Let v be h(4). Suppose -3*y - 1 = v. Does 2/41 = y?
False
Let x = 2243 + -210837/94. Are x and 1 equal?
False
Suppose -5*k - 2074 = n, -5*n = -3*k + 1418 + 8924. Let h = n - -10176/5. Which is smaller: h or -33?
h
Let n = 23740.9 - 23734. Let o = 0.9 + -0.5. Is n equal to o?
False
Suppose 6*i + x = i + 32, 5*i + 5*x - 40 = 0. Suppose i*y = 11*y. Let c = -163 - -5215/32. Is c <= y?
True
Let i = -36086024880707070704673989/8617172025 + 62815314773828722/15. Let o = i + -2/1184491. Let g = o + 2/679. Is 0 < g?
True
Let b = -10759 - -36358. Is 25600 equal to b?
False
Let q = -4.2809 + 4.3509. Let v = 1/7 - 3/7. Which is greater: v or q?
q
Suppose 0 = -2*d - 10 + 20. Let v be (-1632)/(-15) - (-1)/d. Let p = v - 142. Is -33 greater than p?
False
Suppose -5*a - 15 = 6*v - v, 5*v = 4*a - 33. Let d(w) = -44*w**2 + 7 + 43*w**2 - w - 10. Let z be d(a). Is -10 less than or equal to z?
True
Let b(u) be the second derivative of u**5/10 + u**4/6 + 5*u**3/6 + 2*u**2 - 84*u. Let n be b(-1). Which is smaller: -113 or n?
-113
Let t be 800/(-45) - (-4)/(-18). Let i = 22 + t. Let o be (2/(-3))/(i*6/36). Is o smaller than 2/19?
True
Suppose -393 + 280 = 39*n + 1759. Which is smaller: n or -986/21?
n
Let b = 543 + -947. Let w = -406 - b. Which is smaller: -0.2 or w?
w
Let h be -3 - 639/(-6)*2. Suppo