et z be (-82264)/(-339) - (-1)/3. Which is greater: z or 247?
247
Suppose 12*c = 18*c - 66. Let v(d) = -d**2 + 9*d - 8. Let l be v(8). Suppose 5*k - c = -3*b, 2*k + 0*b - b = l. Which is smaller: k or 1/27?
1/27
Let c = -118 + 244. Let u = c + -74. Let x be -18*6/(-195) - 8/u. Which is smaller: x or 4?
x
Let v = 6703 + -5023. Are 0.1 and v non-equal?
True
Let o(y) = -6*y - 26. Let f be o(-5). Suppose 5*a = -10, -2*n + f*n - 38 = a. Let z be (-5 + -1)/(n/(-12)). Which is bigger: z or 3?
z
Suppose 2*q + 13 - 1635 = n, 3*q - 8131 = 5*n. Is -1628 not equal to n?
False
Let h = 116 - 103. Suppose 12*x = h*x + 29. Which is greater: x or -30?
x
Suppose 80*f - 86*f + 12 = 0. Let v(r) = 2*r - 12. Let l be v(7). Suppose 4*o + b + 4 + l = 0, 2*b - 4 = 0. Which is smaller: f or o?
o
Let a = 43 + -186. Let v = a - -438. Which is bigger: -1 or v?
v
Let r(z) = 0*z**3 - 4*z**2 - 7*z + 5*z - 18*z + z**3 - 9. Let p be r(7). Is -10/13 at least p?
True
Let w = -70.6 + 70.6. Is -215.5 >= w?
False
Let t = -2167.062 + 2166. Is t >= -1?
False
Let w be 8/10 + (-253)/310*1. Let t = -173/3038 - w. Does 1 = t?
False
Let r be -1 - 2/(-52)*2. Let s be (-120)/20 - ((-13 - -10) + -1). Which is greater: s or r?
r
Suppose 2*g + 10 = 18. Suppose u + 28 = 3*u + 4*m, -g*u = 2*m - 62. Suppose 83 - u = -h. Which is smaller: -68 or h?
-68
Let o(k) = -k**2 + 13*k - 11. Let i be o(12). Let w(q) = q**3 + 10*q**2 + 30*q + 9. Let v be w(-5). Which is smaller: v or i?
v
Let p = -0.5357 - -0.4941. Does p = -2?
False
Let d(y) = 2*y**3 + 3*y**2 - y - 6. Let i be d(-5). Let g = -296 - i. Is -121 equal to g?
False
Let m = 1700786/123 + -13828. Is 0 not equal to m?
True
Let a = 82 - 77. Suppose -i = -a*i + 20. Let y be 26/(-4) + i - 2. Which is bigger: y or -3?
-3
Let x = 6052/9 + -830. Is -157 less than or equal to x?
False
Let y be (-185)/37 - 35622/(-7124). Which is smaller: -1 or y?
-1
Let u be ((-49)/5 - -1*48/60) + 56. Let w(z) = -25*z - 3. Let l be w(-2). Is u equal to l?
True
Let b(f) = f**2 + 46. Let o(k) = -k**2 - 2*k - 1. Let a(w) = b(w) + 2*o(w). Let v be a(5). Let i = -177/5 - -2296/65. Which is smaller: v or i?
v
Let f = 12.8 - -10.4. Let w = -22.9 + f. Which is greater: w or -4/27?
w
Let t(m) = -m**2 - 19*m - 29. Let i be t(-17). Suppose 10*q = i*q + 20. Let r = q - -33. Is 37 greater than or equal to r?
True
Let x(d) = 6*d**3 - 7*d**2 - 3*d + 3. Let z be x(6). Let y = -68945/67 + z. Suppose 986 = -448*s + 538. Is s not equal to y?
True
Suppose 5*a = 3*u - 6*u + 311, -5*a - 438 = -4*u. Is 952/9 at most as big as u?
True
Let y be (-11)/44 + (0 + 1 - (-6876)/(-9296)). Which is greater: 0 or y?
y
Let t be ((-18)/(-1112))/((-33)/330*(-15)/(-6)). Is 1 > t?
True
Let s(l) = 18*l - 762. Let n be s(53). Is n at most as big as 192?
True
Suppose 10*i + 11 - 201 = 0. Let a be 23/3*i/(-57). Is -4 smaller than a?
True
Suppose 4*g - 228 = 2*s, -4*g - 573 = 5*s - 31. Let y be (-2)/(-9) + s/(-1530). Let j = 11/153 - y. Which is bigger: j or -4/3?
j
Let d = -3309 + 3945. Are d and 640 non-equal?
True
Let c be (3 - -33)*(16 + -15). Which is bigger: 31 or c?
c
Suppose 4*c + h - 83 = -4*h, 5*c + 3*h = 120. Let t be (-1)/(4*(-2)/232). Do c and t have the same value?
False
Let y be -10*9/360*-4. Let i be (-270)/86 + 4 + (2 - 3). Is i != y?
True
Let n = 59131 - 59156. Let f = -1127 + 3304/3. Which is greater: f or n?
n
Let r = 17872 - 18081. Let m(s) = 103*s - 1. Let u be m(-2). Is r < u?
True
Suppose -2*l - 2 = -34. Let d(t) = t**3 + 5*t**2 - 9*t - 18. Let n be d(-6). Suppose 3*a + 5*o - 36 = 0, 5*o = -2*a - n*a + 19. Is a != l?
True
Let m = 333215 + -333154.7349. Let l = -0.0651 + m. Let h = -60 + l. Which is bigger: -20 or h?
h
Suppose 0*c = -5*c - 3*m + 47, 3*c - 2*m = 13. Suppose 6*a = c*a. Let w = a + -1. Are -10/13 and w equal?
False
Suppose 144*w = 145*w + 4, -5*u = 5*w - 1265. Which is greater: 255 or u?
u
Suppose -89*y = -28*y - 22*y + 13338. Which is smaller: y or -3756/11?
y
Suppose -96*x = -255*x - 159318. Is -1001 at least x?
True
Let n = 0 - 0. Suppose n*p - 4*p = 0. Let d = -16379 + 311196/19. Which is smaller: d or p?
d
Let u be 3*(3 + -53 + -1). Let n = -778 - -625. Is n bigger than u?
False
Let v(z) = -104*z**2 + 60*z - 142. Let r be v(4). Which is smaller: r or -1?
r
Suppose -6*g + 2303 = g. Which is smaller: g or 332?
g
Let d = 16 + -31. Let a be (10 + 0)*(1 - (-39)/d). Let m be (-17 - a)/(-1 - -3). Is m at least as big as 2/11?
False
Let x(z) = 313*z + 4630. Let j be x(-13). Which is smaller: j or 2799/5?
2799/5
Let n(c) = -c**3 + c**2 + 8*c - 1. Let i be n(4). Let w be 10/(-4) - (-9 - i). Is w <= 1?
True
Let b(g) = 2*g**2 + 11*g + 13. Let i be b(-4). Let s be 2/5*(-1)/(i + -3). Which is bigger: -2 or s?
s
Let l be 25/(-50) - 5/(-58). Let r be 2/8 + 4 + (-117)/36. Which is greater: l or r?
r
Let l = -859550262937609/94379414634810 - 3/6501302930. Let g = -6/1613 + l. Is -8 at least as big as g?
True
Let y = -18.7 + 3.7. Let m = -4287.9 + 4527. Let q = -239 + m. Is y not equal to q?
True
Let f = -399 + 389. Let j(b) = -2*b**3 + 4*b**2 - 3*b + 1. Let c be j(2). Is f greater than c?
False
Suppose t - 3*v - 12 = -3*t, 5*t = 3*v + 15. Suppose t*b + 6 = 6*b. Suppose b = 10*d - 12*d. Are -14 and d nonequal?
True
Suppose s + 2*o + 55 = 0, -5*s - 177 - 120 = -o. Let w = 19 + s. Let l be (2/(-5))/(w/(-580)). Is -7 >= l?
False
Let t = 275.87 + -276. Let v = 1088 + -1082.13. Let l = v - t. Which is smaller: l or -1/3?
-1/3
Suppose -w + 3 = -2. Suppose -4*f + 3*d + 5 = -9, 2*f + 6 = -w*d. Which is smaller: f or 14/15?
14/15
Let b be -1 - 25/(-4 + -1). Suppose 0*w + 591 = u + 5*w, b*u - 2449 = -3*w. Suppose 23*g - 1697 = -u. Which is greater: g or 46?
g
Let m be (-91 - 2)*2/(-6). Suppose -3*f = -3*t - 228, -5*f = -4*t - 516 + 135. Let l = f - 78. Which is smaller: l or m?
l
Let v be (135 - 150)/(-1*9/384). Are 636 and v non-equal?
True
Let u = -45 + 52. Let c = u - -61. Let w = -67 + c. Which is greater: -1/6 or w?
w
Let k(m) = -10*m**3 - 57*m**2 - 5*m + 10. Let z be k(-5). Which is bigger: z or -13?
-13
Suppose 0*l = 5*l - 25. Suppose i - 1 = o, -l*o - 4*i - 1 + 14 = 0. Suppose -11 - o = -2*t. Which is smaller: t or 3?
3
Let c = -349.2 + 348.6. Which is smaller: -10/7 or c?
-10/7
Let s = -27932 + 27979. Which is greater: s or 59?
59
Let f(n) = 20*n**3 - 4*n**2 - 13*n + 1. Let r be f(-4). Let m = r - -194942/151. Is 0 less than or equal to m?
True
Let z = -1057 + 972. Which is smaller: z or -1?
z
Suppose 55 = 21*u + 76. Let n = -299 + 617. Let r be u + -3 + n/81. Are 1 and r non-equal?
True
Let z be (1221/110)/(-37)*(-2068)/6. Suppose -3*n - 4*a + 300 = 0, 0 = -n - n - 3*a + 199. Let h = n - z. Is -1 at least h?
False
Suppose 8*u + 4180 + 2910 = -2214. Are -1163 and u nonequal?
False
Let i = -53911.9874 + 53906. Let g = i + -0.0126. Is g less than 0.16?
True
Let t = 335.5 - 145.5. Is -7 smaller than t?
True
Let m = -2015 - -7808. Are m and 5794 unequal?
True
Suppose -4*f + 5*i + 1079 = 0, -5*f = -6*f - i + 263. Suppose 3*m + 708 = 5*z, -2*z = -m - f - 18. Which is smaller: z or 0?
0
Let o be (-1 + 2)*(-16)/1. Let x(p) = -p - 11. Suppose 3*m + 21 = 6*m + u, -21 = -5*m + 3*u. Let r be x(m). Do r and o have different values?
True
Let q(m) = -m**3 + 10*m**2 - 23*m + 1. Let o be q(3). Let s be (-6)/o*(-440)/16. Which is smaller: -8 or s?
s
Let j be (-126)/(9 - 27) - (-2 + (-345)/(-39)). Do j and -3/1118 have the same value?
False
Let x(o) be the second derivative of o**4/4 - 6*o**3 + 4*o**2 + 221*o. Let f be x(17). Which is smaller: 264 or f?
f
Let v = 886 + -933. Suppose 3*p + 1 = -158. Let u = v - p. Are u and 8 nonequal?
True
Let r(k) = -2*k**2 + 10*k + 2. Let h be r(13). Let d = h + 289. Which is bigger: 1 or d?
d
Let h = 41538 + -39052. Which is greater: 2487 or h?
2487
Suppose 0 = 5*t + 3*b + 4402 - 23543, -b - 7652 = -2*t. Is 3825 greater than t?
False
Let v = -22 + 43. Let x = v - 12.9. Which is greater: 1 or x?
x
Let s(o) = 2*o - 3. Let q be s(4). Let b be ((-10)/(-4))/(q/((-20)/6)). Let r = -11 + 9. Are b and r non-equal?
True
Let p(a) = -8*a**2 + 145*a - 20. Suppose -3*t + 62 = 4*f, -6*t - f = -9*t + 52. Let u be p(t). Let j be (2/(-34))/(2/30). Which is greater: u or j?
j
Let r be (-73 + (-12383)/(-183))/(-4*7/54). Let b = 25 + -16. Which is smaller: r or b?
b
Let g = 18 + -17. Let h 