*i + 13*i. Let q be i/(-5) - 84/510. Which is bigger: q or 1?
1
Let g(d) = -d**3 - 6*d**2 - 9*d - 9. Let u be g(-6). Let o = u - 49. Let q be o/16 - (-65)/100. Is q not equal to -12?
True
Suppose -15*k = 136*k + 55*k - 1091182. Does k = 5299?
False
Let o(q) = 421*q - 2062. Let k be o(6). Which is smaller: k or 470?
k
Let u = -73 + 70.43. Let g = -9.22 - u. Let v = 0.85 + g. Which is smaller: 0 or v?
v
Let c(z) = 203*z - 202. Let q be c(1). Is 1/4002 at least as big as q?
False
Let z(n) = 8*n**2 - 5*n - 15. Let s be z(-5). Let r = s - 1695/8. Which is bigger: -1 or r?
-1
Suppose -11*o = -0 - 11. Let p = 845/9 + -269564/2871. Are o and p non-equal?
True
Let j = 0.4564 - 1.3564. Is j smaller than 1.5?
True
Let x = -0.177 - 10.323. Let y = -10.4 - x. Which is smaller: y or -3/22?
-3/22
Let r be (-1)/(-2) - (-85)/18. Suppose -3*t + 22 = 5*j, -2*t + 139*j - 136*j = 17. Which is smaller: r or t?
t
Let y be (22 + (23 - 43))/((-4)/17958). Are y and -8979 equal?
True
Suppose -77 = 96*g + 19. Which is smaller: 1/1036 or g?
g
Suppose -10*h + 13*h - 9225 = -5*q, 0 = 5*h - q - 15375. Which is greater: 3077 or h?
3077
Let y = -559 - -63. Let z = y - -498. Do z and 24 have different values?
True
Let i = -0.19 + -4.63. Let s = 0.22 + i. Let n = -4.6 - s. Which is bigger: -4/17 or n?
n
Let h be (-68)/(-79) - (150 - 150). Which is smaller: 0 or h?
0
Let q = 5634 + -5633.8067. Is q greater than -2?
True
Let y = 1 - 1. Let g = 2 + y. Suppose 4*b + 5*n + 67 = 0, -b + g*b + 28 = -5*n. Is -13 at least b?
True
Let o be (-124307)/(-445137) - 6/(-126)*-6. Let x = -2/3157 + o. Is x smaller than 0?
True
Suppose -8 = 4*n, -5*q + 3*n - 2*n - 538 = 0. Let o be (22 - 8349/66) + (-5)/2. Which is smaller: q or o?
q
Let s(d) = 8*d + 63. Let n be s(-10). Let w = -359839/3420 + 11/684. Let o = -1207/10 - w. Which is smaller: o or n?
n
Suppose -32 = -2*l - 2*t + 14, 0 = -l + 3*t + 19. Let f(x) = 8*x - 12. Let a be f(3). Is l greater than a?
True
Let i = -75 + 84. Let n be i/(-12)*(-80)/(-190). Is 0 greater than n?
True
Let z = -3 + 3.076. Let l = 39.124 + z. Let i = l - 35. Which is bigger: -2/3 or i?
i
Let n(r) = -5*r**3 - 4*r**2 - 49*r - 91. Let s be n(-2). Do s and 27 have the same value?
False
Let r = 28/185 - -129/370. Which is smaller: 34 or r?
r
Let f be (210/1260)/(5/(-2)). Let g(t) = -t**2 + 3*t + 3. Let a be g(3). Let s = -4 + a. Is s smaller than f?
True
Let l = -13119 + 13120. Let c = -19.04 + 19. Which is bigger: l or c?
l
Let s be 3/((-4)/(-4))*(-14)/3. Let l be s - -3*(-2)/(-6)*3. Let n = -13 - l. Is 0 greater than or equal to n?
True
Let x(o) = -35*o + 578. Let a be x(-22). Is a <= 1348?
True
Suppose 2*m = 6, -2*m = r - 7*m + 216. Let s = -115 - r. Is s greater than or equal to 86?
True
Suppose -3*c + 4*z + 367 = 0, c + 4*z - 65 - 84 = 0. Let n be (240/(-36))/((-2)/c). Is n less than 429?
False
Let n be (-28)/2 + 920/69. Which is greater: n or 2/3563?
2/3563
Let h = 140 + -146. Let a = h + 7. Let y be (-16)/104 + a + (-30)/(-26). Is 9/7 < y?
True
Let f(z) = 7*z - 63. Let l(y) = -11*y + 95. Let m(s) = -7*f(s) - 5*l(s). Let j be m(8). Let n be (-6)/j - (-3275)/(-35). Is n < -95?
False
Let d be (1156 - -3) + (3/(-15)*0)/(-5). Which is greater: d or 1156?
d
Suppose -217977 - 190521 = 103*o. Which is bigger: -3964 or o?
-3964
Let b = 1.15 + 34.85. Let j = -40 + b. Let q be (2 - 2/(-4))*2. Which is smaller: j or q?
j
Let p = 0.09 + 1.41. Let v be -20 - (423/(-27) - 5). Does v = p?
False
Let w = -14261 - -4948571/347. Is 1 != w?
True
Let r be 9*((-376006)/(-188037) - 2). Is -1 bigger than r?
False
Let d = 4/3783 + 2518/3783. Which is smaller: d or 3.256?
d
Let t(o) = -15*o**2 - 22*o + 9. Let r(s) = 8*s**2 + 11*s - 5. Let b(y) = -7*r(y) - 4*t(y). Let p be b(-7). Let q = -118 + p. Which is smaller: 7 or q?
q
Let a(i) = -9*i - 4. Let o be a(-6). Suppose -8*t + 8459 = -3741. Let l = 1575 - t. Are o and l non-equal?
False
Let c be ((-2)/(-3))/(-7 - 1498/(-210)). Suppose -c*n + 4928 = 6*n. Are 449 and n non-equal?
True
Let j = 407.62 - 407. Let t be (1 + 1)*(-3)/9. Which is greater: t or j?
j
Let u be 2/(-6) + (-2)/21. Let o be (1*-2)/(((-4)/(-11))/(8/(-44))). Which is smaller: o or u?
u
Let y be -1*2 - 26/(-12). Let t = 156.47 - 145. Let n = t - 11.17. Which is smaller: n or y?
y
Suppose 3 + 6 = -3*h. Let g = 18.7 + -841.7. Let c = g - -823.1. Which is bigger: c or h?
c
Suppose -26 = 2*p + 10*i - 6*i, -p - i = 7. Is p not equal to 56/169?
True
Let i be (7341/9)/(16/12). Let k = i - 612. Let g = -136 + 309/2. Which is bigger: g or k?
g
Let y be 0 - (26 - 24) - 536/114. Which is smaller: y or -6?
y
Let p be -1 - -6*231303/90120. Let g = -1/3004 - p. Let m = g + 561/40. Which is smaller: m or -1?
-1
Let p = 4208 - 6649. Which is bigger: p or 1/5?
1/5
Let f = -10314 - -10313.0227. Let a = f + -0.0227. Is 76 >= a?
True
Let h = -17 - -71. Suppose 35*f = 29*f + h. Let i be 4 + (f/(-3))/(3/8). Which is bigger: -26/9 or i?
-26/9
Let n = -195 - -197. Let r(p) = -p**2 - 4*p + 3. Let t be r(-4). Suppose 0 = t*z - 6. Is n < z?
False
Let l = -49 - -48. Let h = -0.8 - l. Let t = 111.4 + -112. Which is greater: t or h?
h
Let c(x) be the third derivative of x**4/8 - 10*x**3/3 - 12*x**2 + x. Let w be c(-6). Which is smaller: -34 or w?
w
Let p be -3*(4/(-30))/(2/20). Suppose -i = 3*i + p. Let k be (-5 + (-284)/(-60))/(-50). Is i less than k?
True
Suppose -50*w = 15*w. Which is bigger: w or 1/3038?
1/3038
Suppose 2*v - 3*j - 1 = 41, -130 = -5*v - 5*j. Let g(u) be the first derivative of 2*u**3/3 - 37*u**2/2 - 35*u - 73. Let q be g(20). Which is smaller: v or q?
v
Let t be (-792)/110*(-5)/(-1) - (1 - 5). Which is greater: t or -46?
t
Suppose 66 = 3*v - 171. Let d = v - 7. Are d and 70 non-equal?
True
Let w = -311202/3595 - -147515279/1524280. Let y = -5/424 + w. Is y less than 10?
False
Suppose -348 = -7*s - 180. Let p(b) = b**2 - 20*b - 69. Let f be p(s). Which is greater: f or 28?
28
Let i(u) be the second derivative of u**5/20 + u**4/12 - 7*u**3/6 - 3*u**2/2 - 88*u. Let w be i(-3). Which is smaller: w or -1/104?
-1/104
Let n = -6 + 3.9. Let t = 3 + n. Let z = 1715 - 1710. Which is bigger: z or t?
z
Let c be (4*30/72)/(2*(-15)/18). Which is smaller: c or 5/1979?
c
Let l = 2 - 1.6. Let o = -250048/37 - -6758. Is l smaller than o?
False
Let g = 6435 + -6434. Do 1/3049 and g have the same value?
False
Suppose -h - h + n = -71, 2*h = -4*n + 46. Suppose 0 = -27*g + 24*g - h. Which is smaller: -59/5 or g?
-59/5
Let u = -225342/1205 + 187. Is u at least as big as 0?
False
Suppose 2*h + 10 = 0, 110*b - 13 = 113*b + 2*h. Let l be 27/102 + (-1 - -1). Which is bigger: l or b?
l
Let d = 916 + -1467. Which is bigger: d or -547?
-547
Let l be (1*-29 + 0)/(16/(-48)). Let w = l + -39. Let s = w + -99/2. Which is smaller: -2 or s?
-2
Let p = 197.3853 + -0.1853. Let d = 197 - p. Is 50 smaller than d?
False
Let m = 472.1 - 490. Let x = m + 18.234. Is x greater than 0.1?
True
Suppose -l + 876 = -3*r, 43*r - 2*l + 576 = 41*r. Is -306 at least as big as r?
False
Suppose 1939*z - 1951*z = 0. Which is greater: z or -9720?
z
Let n = -22.4 + 22.621. Let c = 0.201 - n. Which is bigger: 1/11 or c?
1/11
Let z(u) = -10*u**2 - 2. Let p be z(-2). Let r = -63501/5 - -12658. Which is smaller: r or p?
r
Let n = 2485 - 1490. Does 997 = n?
False
Let q = 19673 + -19716. Does q = -16?
False
Let r(b) = -517*b - 10 + 1032*b - 521*b. Let f be r(6). Which is smaller: -140/3 or f?
-140/3
Let r be ((-42)/56)/1*17/(-3). Let d = -3 + 8. Which is smaller: d or r?
r
Let f be (-575)/(-230) + (2 - 5394/1180). Is 0 at least f?
True
Let f(n) = -3*n**2 + 6*n + 12. Let x be f(-8). Let o be (2/6)/(x/18). Suppose -6*z = z. Is z > o?
True
Suppose -4*t - 492 = o, 3*o - 2*t + 1449 = -5*t. Let r = o + 1420/3. Does r = -8?
False
Let f be (-1 - 39)*(-9)/((-45)/(-2)). Let p = -15 - f. Let y = -31 - p. Is y greater than or equal to 3/5?
False
Let k(l) = l**2 - 46*l - 2174. Let x be k(75). Are 4 and x nonequal?
True
Let x be (-1720)/152 - (4/8)/(3/30). Are -17 and x equal?
False
Suppose -101766 = 99*f + 86136. Do -1899 and f have the same value?
False
Let a = 206/3 - 68. Let u = 0.0008 - 262.0008. Let v = -247 - u. Which is smaller: v or a?
a
Suppose 0 = -625*z + 621*z + 460. Is z > 121?
False
Suppose -y + 2*j = 14, 38*j = 36*j + 14. Which is smaller: 34/2