 - 8 - 24, p = 3*q - 96. Suppose j - 9*j + q = 0. Let a be ((-1)/(-3))/(j/(-36)*-3). Which is bigger: a or 2/3?
a
Let p be (-12)/(-9) + 2/(-6). Let l = 5056 - 4892. Which is smaller: p or l?
p
Let g = 2375/119 + -279/14. Is -307 greater than g?
False
Let u = -1/5017 - 40091/225765. Suppose -3*x = -0*x + 3. Is u at least x?
True
Let x be -2 + 12/2 + -2. Let p be 1/x*2/49. Let k = 106953 - 106953. Is p at least k?
True
Let m = -360 + 556. Suppose m = i - 4*d, 4*i - 2*d - 194 = 3*i. Do i and 193 have different values?
True
Let o = -1002 - -923843/922. Let y = -797/115250 + o. Suppose 0 = 5*i + 5*d - 47 + 67, 0 = -5*d - 15. Which is bigger: i or y?
y
Let u = 8 - 7. Let h = 4163 + -478743/115. Is u greater than or equal to h?
True
Suppose 224*n = 259*n - 35. Which is smaller: 11/21 or n?
11/21
Let z = 225919/13 + -9324853/520. Let i = z + 2805/8. Let c = i - -202. Is c at most 0?
True
Let r(l) = -l**2 + 23*l - 39. Let f be r(21). Suppose -6*d - 3*m + 36 = -2*d, 0 = f*d - 5*m + 2. Let g be ((-18)/7)/(d/(-56)). Which is greater: -2/5 or g?
g
Let f = 150 - 150.0213. Let h = f + 187.0213. Which is smaller: h or 0.1?
0.1
Let m = -0.04518 + 6.04518. Do 92 and m have the same value?
False
Let a be (15/(-9))/(-8 + 526/66). Let s be (-2)/4 + (-9)/(-6). Let b be s/((-160)/a - -3). Which is smaller: b or 13?
b
Let s(f) = 15*f - 2. Let a(d) = -d**3 - 6*d**2 + 1. Let r be a(-6). Let v be s(r). Suppose 0 = -4*i - 5 + v. Which is smaller: -10 or i?
-10
Let l(m) be the second derivative of -26*m**3/3 + 30*m**2 - 3*m - 15. Let z be l(6). Is z less than or equal to -251?
True
Let c = 6144 + -6129. Which is bigger: c or 0.066?
c
Let f = 73495/59 + -1246. Is -1 greater than f?
False
Let g be -806 + ((-12)/(-42) - (-222)/(-42)). Let v = 827 + g. Which is smaller: v or 1.1?
1.1
Let z(m) = -m**3 - 12*m**2 + 13*m - 3. Let j be z(-13). Let f be 12/(-8) - j/6*1. Let w be (2 + -1)/f - (13 + -13). Which is smaller: w or 2/13?
w
Let t = 5 - 3.6. Let f = t + -2.7. Let n = 1.4 + f. Which is greater: n or 4?
4
Let n = 173.82 + -174. Which is smaller: -12/25 or n?
-12/25
Let k(h) = 268*h**3 - 3*h + 3. Let b be k(1). Let l = 287 - b. Are 21 and l nonequal?
True
Let g be (39/(-6))/(-1) - (-3)/6. Let s be 44/154*g*1. Suppose -46 = -s*d + 34. Which is greater: 41 or d?
41
Suppose 3 = o, 0 = 4*b + 2*o - 6*o - 32. Let a(i) = -i**3 - 17*i**2 + 59*i - 10. Let g(u) = u**3 + 23*u**2 - 20. Let f be g(-23). Let y be a(f). Is y != b?
True
Let k = -596 - -345. Let n = k - -251.1. Which is smaller: -110 or n?
-110
Let p = -15/8 - -269/152. Let f = 35 + 29. Let o = -65 + f. Which is bigger: p or o?
p
Let v = 533 + -919. Let p = v + 387. Is 8/29 equal to p?
False
Let p = 302 + -1311. Which is bigger: 0.01 or p?
0.01
Suppose -115*x + 421 = -141*x - 21. Suppose -y - 1 = 1. Let f = -18 - y. Are f and x equal?
False
Let h = -45.5 + 29.39. Let f = -16.4 - h. Let a = 2 - 4. Is f at most as big as a?
False
Let o = 71 - 38. Let v = 18 - o. Is v at most 2?
True
Let p = 66 - 64.88. Let b = 64.12 - p. Let u = b + -75. Are -2 and u unequal?
True
Let s = 246 + -206. Suppose 89 + s = -3*u. Are u and -44 non-equal?
True
Let g be (-22)/143 + (223/13 - 0). Suppose 2*s + 6 = 0, m + 5*s + g = -1. Which is smaller: m or 16?
m
Let q = 266647/8 + -33329. Suppose -5*s - 12 = -3*c - 34, 3*c = -4*s - 4. Which is smaller: q or s?
q
Let p = -0.43 + 2.33. Let r = -2 + p. Let h(v) = v**2 + 11*v. Let a be h(-11). Which is bigger: r or a?
a
Let f = 3279 - 3278. Which is smaller: 2/7009 or f?
2/7009
Let d = 382 - 388. Let x be 644/(-40) + -1 + d. Which is bigger: -23 or x?
-23
Let v be (-2)/(-4)*8/2. Suppose -v = -2*x - 0. Let i be (-1)/(-2 + (x - 0)). Is 26 greater than i?
True
Let w be (16 - (-512)/(-48)) + (1 - 4)*2. Is w > 0.0404?
False
Let a = -7647 - -4900. Let v = a - -41183/15. Which is smaller: 0 or v?
v
Let m(c) = -279*c**2 - 6*c. Let g be m(2). Let q = g + 2301/2. Which is bigger: q or -0.1?
q
Suppose 76*g - 2*s + 7 = 71*g, 5*g + 10 = 5*s. Is g > 303.5?
False
Let p(o) = -o**3 - 12*o**2 + 12*o + 5. Let k be p(4). Suppose -4*u - 183 = 637. Which is smaller: u or k?
u
Let x = 362.3 + -333. Let q = x - 29. Suppose -2*a - t = 24 - 17, 8 = -3*a - t. Do a and q have the same value?
False
Let i be ((-346)/8 - 2)/((-140)/2240). Is 725 not equal to i?
True
Let a be 432/8*(-3 + 4). Let q = 22 - 13. Suppose -3*o = q, -5*t + 64 = -5*o - 226. Is a >= t?
False
Let n(c) = -8*c**2 - 312*c - 1246. Let v be n(-4). Which is smaller: v or -2156/17?
-2156/17
Suppose 1 = i - 0. Let q be (14/(-2) - (12252/(-1224) - -3))/3. Is i at most q?
False
Suppose 3*z - z - 666 = 5*r, 0 = -5*r - 2*z - 654. Let a be r/(-4) + -5 - -6. Which is bigger: a or -1?
a
Suppose 339*x + 40 = 344*x. Suppose 12*b = x*b + 112. Which is bigger: 29 or b?
29
Let u = 4104 - 4058. Which is smaller: 11 or u?
11
Suppose -6554 = 2*m + 3*b, 616*m = 612*m + 5*b - 13152. Does m = -3283?
True
Let r(k) = k**2 - 2*k + 1. Let v be r(0). Suppose 0 = 200*a + 67*a + 1335. Which is bigger: a or v?
v
Suppose -26*k - 10143 = -1511. Let z = k - -128. Is -203 smaller than z?
False
Let w be ((-16)/160)/(550/(-440)). Let t be (-50)/(-4)*(-10)/(-15). Which is smaller: t or w?
w
Suppose 4*o = 2*q - 16, -4*o + 14 = -2*q - 6*o. Let z be q/(-6) + (-6686)/2040 + 3. Let r = 3/68 + z. Are -1/4 and r unequal?
True
Let z be (12/(-45))/((-26)/(-58461)). Is -601 at least z?
False
Let t be (117/130 - 2/5)*23418/(-45). Which is bigger: t or 1?
1
Let h be -1959 + (-10 - -10)/1. Which is smaller: h or -1960?
-1960
Let z be (-330)/(-117)*(-126)/(-35). Let u = -3017141/65 + 46412. Let r = u + z. Which is smaller: r or 4?
4
Let p = -535 + 199. Let t be p/77 + (5 - -1 - 2). Which is smaller: t or -20?
-20
Suppose 32 = -17*p + 15. Which is smaller: -41/110 or p?
p
Suppose 5*f + 4*p = 4*f, 2*f - 13 = 5*p. Let o(i) = -i**3 + 3*i**2 + 3*i + 4. Let t be o(f). Let m be (-2)/(-25) - t/6. Which is bigger: m or -1?
m
Suppose 3*b - 12 = -b. Suppose b*p + 82 - 91 = 0. Which is greater: p or 0?
p
Suppose 5*w - 3*o - 77 = 0, 0 = -w - 0*o + 4*o + 12. Suppose 4 = 3*s - 5, 0 = 4*u + 4*s - w. Let h be 6906/390 + -17 + 2/(-5). Which is bigger: h or u?
u
Let l = -1658.1064 + 0.1064. Is l < 0.2?
True
Suppose 2*h - 2*z + 562 = 0, -3*z + 436 = 3*h + 1267. Let v(q) = 4*q + 6. Let r be v(-4). Let i be ((-15)/r)/(h/12). Is -2/15 smaller than i?
True
Let k(j) = 8*j**2 + j - 26. Let h be k(-6). Let a = -164 + h. Let m = 107 - a. Which is greater: m or -0.2?
m
Let w(a) = 5*a + 79. Suppose -3*l + 4*b + 7 = 0, -l + 5*b = b + 11. Let s be w(l). Which is greater: 125 or s?
125
Suppose -4*g - g = -5. Let h be (-1)/((-570)/156185)*4. Let d = h + -1096. Is g at most d?
False
Let p = 0.8678 + -18.1698. Let l = p - -0.102. Let a = l + 0.2. Which is smaller: a or -1?
a
Let i be (5/(-45))/(1/6)*6/104. Which is greater: 0 or i?
0
Let v be (-75402)/155 - 7/(-70)*4. Let j = v - -486. Is -0.2 at most j?
True
Let b = -0.36 + 0.3. Let t = 38.23 - 38. Let g = t + b. Which is bigger: 1 or g?
1
Let x be ((-72)/(-2))/2 - 12. Is 140 < x?
False
Let r be -8*(1 + -4)/(-7 - (-3788)/540). Is 1620 less than or equal to r?
True
Let w = -32236 + 32235. Which is smaller: w or -4/25017?
w
Suppose -8*w + 154 + 238 = 0. Let s(r) = -w*r + 20 + 25 + 4 + 54*r. Let n be s(-10). Which is smaller: 0.065 or n?
n
Let y(m) = -10*m + 11. Let x = -48 - -55. Let l be y(x). Let s = l + 62. Is 4 equal to s?
False
Let o be ((-3)/(-28))/(96/256). Which is smaller: o or 405.5?
o
Let k be -2 + 9/6 - (4 - (-3473)/138). Is k != 24?
True
Suppose h + 94 = 39. Let m(o) = -o**3 + 19*o**2 + 2*o - 33. Let y be m(19). Let s be ((-16)/h)/(2/y). Is 2 != s?
True
Suppose -4*i + 134 = -2*k, 143 = i + 3*i + k. Let n = -1352 - -1378. Let h = i - n. Which is smaller: 2 or h?
2
Let u(d) = d**3 + 23*d**2 - 18. Let a be u(-23). Let s be (64/20)/(a/(-20)). Let b = 7/2 - s. Which is smaller: b or -4/5?
-4/5
Let s = 430 - 430. Are s and -18/269 non-equal?
True
Suppose -2*o = -3*n + o + 39, o + 37 = 3*n. Let m be ((-3)/(-6))/(6/n). Is 2/619 >= m?
False
Let l = -0.097 + -64.903. Let z = -98 + 180. Let y = z + l. Is y <= 0?
False
Let j = 59 - 108. Let b = j + 58. Suppose -5*d = -b*d + 8. Is 24/7 less than or equal to d?
False
Suppose 4*f + 20 = 4*d, -2*d = d + 4*f + 6. Suppose -4*n = 3*p + 410, -6*p + n = -d*p