 -13?
True
Let x(r) = r**2 + r + 1. Let i be x(0). Let y(a) = -a**2 + 11*a + 107. Let t be y(-6). Let k be t/(165/(-6)) - (-3600)/18348. Are k and i equal?
False
Let g = 6 + -7. Let i = -8/2387 + -2146/7161. Which is smaller: g or i?
g
Let x(g) = -g**2 + 15*g - 57. Let n be x(8). Which is smaller: n or -1/5924?
n
Let x = -194/103 - -17937/7828. Which is greater: x or 0?
x
Let n = -24.8 - -0.8. Let q = n - 17. Let p = -40 - q. Are -8 and p equal?
False
Let i = 5626862443441/18060 + -311564919. Let s = -1/903 - i. Suppose 0*v - 12 = 2*m - 4*v, m - v = -3. Which is smaller: m or s?
s
Let u = -174 + 86. Let f = u - -94. Suppose -f*a - 65 = 1. Is a less than -1?
True
Suppose 3*r + 5*r = 120. Let w = 236 + -234. Which is smaller: r or w?
w
Suppose 43*q + 4*a + 324 = 41*q, -4*a = 5*q + 846. Do q and -128 have the same value?
False
Suppose 0 = -4*x + 5*m - 1714, 73*m + 6 = 72*m. Is -438 at least as big as x?
False
Let c = 13608.64 - 13608. Which is smaller: c or 0.46?
0.46
Let a be 5 - 40/6 - (9 + (-2868)/198). Suppose 0 = 2*t - 4*s - 24, -5*t + 3*s + 0*s + 32 = 0. Which is greater: t or a?
t
Let w = -4322 + 4333. Are 61 and w equal?
False
Let u be ((-13)/(-3))/(13 - 1396/(-348) - 17). Is 377 <= u?
True
Suppose t - 4*f = 23, 0 = 5*t + 3*f + 8 + 15. Which is smaller: 5/316 or t?
t
Suppose -r + k = 5*k + 275, 4*r = 5*k - 1016. Let n = 3371/13 + r. Let t = 14 - 14. Is t equal to n?
False
Let i = 68335 - 68328. Let u = -67 - -265/4. Which is smaller: u or i?
u
Let m(z) = -2*z - 87. Let u be m(-41). Let r be 1/(1/(u + 6)). Which is smaller: r or 1/86?
1/86
Suppose -14116*f - 6443 = -14133*f. Is -0.5 greater than f?
False
Let a(i) = 102*i**2 + 2135*i - 109. Let z be a(-21). Which is smaller: 22.4 or z?
22.4
Let d be (-5 - -6) + (-4)/(-3). Let o be ((-63)/7 - 104/(-12)) + 1 + -1. Is o at most as big as d?
True
Suppose -5*m - 264 = 4*z, 0*z - 264 = 4*z + m. Is z less than or equal to -73?
False
Suppose 0 = 3*o - 428 + 26. Let z = 134 - o. Which is smaller: -3/14 or z?
-3/14
Suppose 2*c + c = t + 58, -2*t - 3*c = 143. Suppose -i - 131 = 2*j, -4*j - 7*i - 277 = -8*i. Is j > t?
False
Suppose -3*x = 3*w - 7653, 0 = -4*w - w - 3*x + 12765. Let q be 3 + (-8308)/w + 22/99. Is q at least 0?
False
Suppose 0 = -2*n - 4*v + 44, 2*v - 16 = -2*n + 18. Suppose -84 = -2*u - 28. Suppose n*g = 8*g + u. Which is bigger: g or -3?
g
Let a(z) = -z**2 + 16*z - 48. Let y be a(16). Let h = y - -257. Suppose -4*c + h = -107. Are c and 79 non-equal?
False
Let l(n) = n**3 + 9*n**2 + 29*n + 169. Let q be l(-8). Which is smaller: 175/79 or q?
q
Let z = -136.76 - 0.24. Let t = 138.18 + z. Let n = -0.18 + t. Which is greater: n or -0.4?
n
Suppose 4*k = -0*k + 320. Let b = k + -65. Suppose b = -2*v + 25. Which is smaller: v or 6?
v
Let w = 305082919/1458468 + -2571/5588. Let s = w - 1885/9. Is 0 equal to s?
False
Suppose 0 = 2*o - c + 5730, -49*o + 50*o - 3*c = -2850. Is o smaller than -2870?
False
Let g = 1757642/49 - 35873. Do -4 and g have the same value?
False
Let b be ((-4)/21*3)/(-14 - (-140)/(-25)). Which is smaller: 0 or b?
0
Let r(i) = -88*i + 81. Let t be r(5). Let v = -340 - t. Which is smaller: 15 or v?
15
Let y(i) = 3*i**2 + 1 - 7*i - i**2 - 2*i**2 - i**2. Let p be y(-3). Suppose -5*h - 11 - 27 = -3*q, -27 = -2*q + 5*h. Which is greater: p or q?
p
Let u(j) be the first derivative of -2*j**2 - 16*j + 86. Let y be u(-6). Do 41/5 and y have the same value?
False
Let g(i) = 5*i**2 + i + 1. Let y be g(-1). Suppose 4 - 2 = 4*a - 2*u, -4*u + 22 = y*a. Let w = 473 + -471. Is w <= a?
True
Suppose 4*i + 23 = 3*l, 2*l + 30 - 7 = -5*i. Let w be ((-6)/(-9))/((-1110)/(-405)). Which is bigger: w or l?
l
Suppose -229*f = 3*s - 232*f + 27, 2*f - 2 = -2*s. Is s at least as big as 14?
False
Let t = -2295 - -2291. Is 11/2 greater than or equal to t?
True
Let r be (1 + 2/2)/((-1)/13). Let n = r - -31. Suppose n*t = 4*t + 1. Do 10/7 and t have different values?
True
Suppose -w - 19 = 17. Let o = -319 + 284. Let t = o - w. Is t greater than or equal to 12/25?
True
Suppose -24*b - 8*b - 1248 = 0. Let o(m) = -m**3 + m**2 + 3. Let x be o(4). Let l = b - x. Which is greater: l or 7?
7
Let r be (-8 - 49)*587/27. Let j = r + 6167/5. Let v = j - -28/5. Does 1 = v?
False
Let o(s) = -s**3 + 8*s - 7. Let p be o(-4). Suppose -23*q - p = -2. Is q != 104?
True
Suppose 0 = 2*h + 4*z - 10, -5*h - 32*z = -36*z + 3. Is h greater than or equal to 0.05991?
True
Let o be -12 - (-23)/(6325/1617). Is -6 != o?
True
Let i be (9 + -10 - 7) + 6 - -6191. Is i > 6189?
False
Let d(y) = -y**2 - 97*y - 2171. Let g be d(-35). Is g >= 1/19?
False
Let b = 54299 - 68796829/1267. Is -1 equal to b?
False
Suppose -n + 22 = -1. Let r = n - 20. Let v be (-188)/(-492) + r/(-9). Is 0 at most as big as v?
True
Suppose 1364 = 5*k - 1631 + 745. Is k greater than 448?
True
Let p be 7 + -3 + (-4 - 3/(-1)). Suppose -g + 11 = -p. Let n be ((-6)/(-4) + 2)*4. Is g less than or equal to n?
True
Suppose -x + 4*q - 8 - 5 = 0, -4*q + 8 = 4*x. Let r be (4/(-7))/(x/((-21)/(-30))). Which is smaller: 32/7 or r?
r
Suppose 4*d - 784 = -4*k, 5*d - 682 = 2*k + 312. Let c = 593/3 - d. Is c smaller than 7?
True
Suppose -5476 = -9*v + 5*v - 4*h, 3*v = -2*h + 4103. Is 1368 greater than v?
True
Suppose -16*g = 4*b - 12*g + 12, b = -2*g - 5. Let n be ((-8)/(-10))/(50/8875) - b. Is 144 >= n?
True
Let d(f) = 249*f - 2002. Let h be d(8). Suppose -3*r = -r + 4. Let o be 2 - r/3*-9. Is o equal to h?
False
Let g = -226972/47 - -4829. Let j be (0/(-4))/(3 + -2). Is j <= g?
False
Suppose -10*u - 74704 = -189*u + 181087. Which is smaller: u or -0.2?
-0.2
Suppose -1413 + 68 = -5*o. Let z = o + -121. Suppose z*f - 146*f - 92 = 0. Is 0.1 less than f?
True
Let w(z) = -z**2 + 17*z - 9. Let s = 77 - 65. Let i be w(s). Let r = i + -81. Is r > -30?
False
Let c(z) = 234*z**3 - 3*z**2 - 2*z - 3. Let n be c(-2). Let m = 156291/83 + n. Which is greater: -2/9 or m?
m
Let d be (-14)/(-26)*(-24)/14. Let p = -187 + 192. Suppose -16*g - g = -p*g. Which is bigger: d or g?
g
Let t(q) = -5*q**2 - 44*q + 430. Let n be t(10). Which is smaller: -509 or n?
n
Let v = -0.14063 + 0.24063. Is -32907 greater than v?
False
Let l = -0.425 - -0.41. Let n = 28.985 - l. Let x = 22 - n. Do x and 0.1 have different values?
True
Let a = -165 - 105. Let s = a - -271. Are -2/607 and s equal?
False
Let w be -39 + 7*3/21. Let a be ((-1)/(-3))/(1/(-9)). Is a bigger than w?
True
Let w = -159.83 + 8.83. Which is bigger: w or -2?
-2
Let b be 5226/(-130) - 132/(-88)*2/15. Which is greater: b or 177?
177
Suppose 30*w + 21 = 27*w, -3*i + w = -13. Let n = -228 + 328. Which is bigger: n or i?
n
Let i = 1802 - 1802. Let z = 285 - 480. Which is bigger: z or i?
i
Let q = -799/14 - -221/7. Is -33 smaller than q?
True
Let s be 1/(-2)*(-1 + (8 - 11)). Suppose 2 - s = 3*g. Let m = 11 + -131/11. Which is smaller: m or g?
m
Suppose -20*p + 8*p + 12 = 0. Does p = 2/171?
False
Let y = -31 - -38. Let k = y - -11. Suppose -2*j - k = 4*j. Which is greater: -5 or j?
j
Let s = -14027 - -13911. Are s and 43 non-equal?
True
Let n = -7053 + 6874. Which is smaller: -174 or n?
n
Let n = 310 + -227. Let u be -3 + 7/(-7) + n/20. Which is smaller: u or -2/29?
-2/29
Let p be (-10)/4*26 + (-120)/20. Let h = -68 - p. Are h and 7 non-equal?
True
Let h = 1654/969 - 104/57. Is 21 != h?
True
Suppose -29 = 2*b - 2*o - 151, 3*b = 4*o + 181. Let j be 60/b + 1 - 2. Let u(m) = 8*m + 343. Let d be u(-43). Is j <= d?
False
Let z be 4*(72/32 - 1). Suppose -z*a - 18 = -308. Which is greater: a or 56?
a
Let f(x) = x**2 + 7*x - 9. Let r(u) = u**2 + 8*u - 8. Let m(g) = -6*f(g) + 5*r(g). Let w be m(3). Which is bigger: w or 2/93?
2/93
Suppose 10 + 15 = 5*v. Suppose 0 = 5*w + 4*k - 23, -2*w - v*k + 20 = 3*w. Suppose 0 = -w*c + c + 12. Which is bigger: -19 or c?
c
Let q = -1391 + 1403.18. Let u = q - -59.52. Let x = -71 + u. Which is smaller: 1 or x?
x
Suppose 4*f + 244 = 5*x, -5*x - f - 136 = -400. Let s be 1/7 + (-963)/(-21) + 5. Which is smaller: x or s?
s
Let u(p) = -p**2 + 8*p - 2. Let m(z) = -2*z**2 + 17*z - 7. Let r(y) = -4*m(y) + 9*u(y). Let h be r(-4). Is h equal to -103/5?
False
Suppose 114614 = 47*p + 31424. Is p at least 1770?
True
Suppose 0 = 1319*h - 1312*h. Is h <= -15/1046?
False
Suppose -4 = -5*g - 204. Let i be -13 - (8 + -41 - 2). Let s be g/i*(-1