 as q?
False
Suppose 0 = -39*p + 4505 + 13373 + 11606. Which is smaller: p or 758?
p
Suppose 3 + 13 = 2*o. Let x be o/2 - (-7)/((-28)/(-36)). Which is smaller: 86/7 or x?
86/7
Let t = 35 + -25. Let g = -3 + t. Let i(y) = -y + 3. Let z be i(g). Is -4 smaller than z?
False
Suppose 7*q + 26 - 222 = 0. Suppose 28 + q = 7*h. Are 8 and h unequal?
False
Suppose 2*y - 4*r = 50, 5*r - 2 = -y + 2. Suppose y*s = 1 - 286. Do s and 8 have different values?
True
Let m be 7/(98/57996) - 1017/(-2373). Which is smaller: -6 or m?
-6
Let u be (-98)/(-176) + (-177)/472 - 2/11. Which is smaller: 11/31 or u?
u
Let s = 159 + -149. Let f(o) = o**2 - 15*o + 40. Let c be f(s). Suppose 6*m - 1 + 19 = 0. Which is greater: m or c?
m
Let q = 0 - -1. Let z = 0.337 - -317.663. Let k = -317 + z. Is k less than or equal to q?
True
Suppose t - 5*m + 13772 = 0, 23*m - 27*m = -2*t - 27592. Are t and -13812 unequal?
False
Let a(c) = 13*c - 218. Let u be a(17). Suppose -3*p - u*x = 3, -5*p + 3*x = 5*x - 7. Is 12/5 at least as big as p?
False
Let t be (-1)/6*(-3 - 1). Let n = -2.87 - -411.87. Let v = n + -438. Are t and v non-equal?
True
Suppose -2*l + 4*c = -8, 5*c + 17 = 4*l - 14. Suppose 8 - l = -3*p. Which is smaller: p or 9?
p
Let o(j) = -3*j + 6. Let g be o(9). Let w = 115.0103 - 115. Let k = -0.2103 + w. Which is smaller: k or g?
g
Let p be 1/(15/(-5) - -4). Suppose 0 = 2*u, -2 - p = -3*w + 4*u. Is -1/33 != w?
True
Let k = 27/50 - 47/50. Suppose 3*l = -5*l + 288. Which is bigger: k or l?
l
Suppose -105 - 129 = 2*y. Let i = -114 - y. Which is greater: i or -4?
i
Suppose 361*s + 74 = 287*s. Is s at least -7/2155?
False
Let b = 37818 - 37826. Let s be (4/(-26))/((-2)/(-122)). Do b and s have the same value?
False
Let q(a) = -2*a**2 + 97*a + 47. Let l be q(49). Suppose y = -184 - 137. Let f = 2563/8 + y. Does f = l?
False
Suppose -55*o = -4268 - 1232. Which is bigger: 0.8 or o?
o
Let u = -67 - -66.5. Let s = 0.496 + u. Let r = -0.144 - s. Is r at most 2?
True
Let s be (-1300)/(-14) + 36/(-42). Is s greater than or equal to 95?
False
Suppose -3*n - 68*v = -73*v - 10715, -4*n + 5*v + 14280 = 0. Which is smaller: 1 or n?
1
Let m = -4.7 - -4.8. Let r = -1.1833 - -1.2179. Is r at most m?
True
Let w = 145 + -141. Let j be w/5 + (-1032)/(-160). Which is smaller: 7 or j?
7
Suppose 0 = -2*i + 7*i + 140. Let j = i + 32. Let h(x) = -14*x - 19. Let p be h(-2). Which is smaller: p or j?
j
Let z(v) be the second derivative of -5*v**4/12 - 5*v**3/6 + 19*v**2/2 - 2*v + 60. Let t be z(3). Is -43 greater than or equal to t?
False
Let t be ((-6)/(-4))/(9/96). Let k = -4312 - -4327. Is t < k?
False
Suppose 9 = 3*i, 155*x - 4*i + 10 = 157*x. Let o be ((-8)/14)/((-12)/1218*-7). Is o at least as big as x?
False
Suppose -8*g + 27*g - 1501 = 0. Suppose -5*p - g = -79. Is -7 bigger than p?
False
Let k(v) = -10*v - 20. Let m = -44 + 39. Let d be k(m). Let y = 207/7 - d. Is -1 greater than or equal to y?
False
Let o(w) = 2*w**3 + 119*w**2 + 181*w + 117. Let x be o(-58). Is x >= -285?
False
Let h = 11 + 8. Suppose 2*z - t - 3*t - 32 = 0, -z + 25 = t. Suppose 20*l + 34 = z*l. Is l smaller than h?
True
Let y be (-2)/((-917)/84 - -7). Suppose 10*p = 15*p. Is y at most as big as p?
False
Let q be 7 + 4/((-540)/531) + 1*-3. Which is smaller: 136 or q?
q
Suppose -15*l + 1190 = 4*v - 10*l, 0 = -5*v + l + 1502. Does 325 = v?
False
Let n = 136.4 + 29.6. Let z = 167 - n. Is -104 >= z?
False
Let a be (((-65)/(-4))/1)/(1/4). Let n = a - 48. Let g = -9.9 + 10. Is n greater than or equal to g?
True
Let m = 86 - -628. Let g = m + -699. Let x be -1 - (-16 + 2 + -1). Is g equal to x?
False
Suppose -9*h = 205 + 155. Let a be (-4)/h*-6 + (-1)/10. Are a and 0 non-equal?
True
Let r = 128 - 155. Let x = r + 26. Let o be (192/(-30))/(-8)*x/(-3). Are o and -1 nonequal?
True
Let m = -47 + 66. Let s(f) = -f**3 - 81*f**2 + 341*f + 58. Let v be s(-85). Let y = v + m. Is y less than or equal to -48/7?
True
Suppose -30930 = 166*p - 12721 + 86703. Do p and -638 have different values?
True
Suppose -r = 4*s + 100, -s + 31*r - 32 = 33*r. Is -5 bigger than s?
True
Suppose -5*t + 408 = -9*t. Which is smaller: t or -110?
-110
Suppose 0 = 3*w + 6, 3*v + 5*w = -2*v - 360. Let h = -362 + 155. Let t be 2/12*2*h. Which is bigger: v or t?
t
Let c be ((-30105)/(-95) - -6) + -5 - 3/(57/(-2)). Suppose 409 - 1685 = -4*w. Which is smaller: c or w?
c
Let h = -251 + 250.754. Let v = h + 2.246. Is v not equal to -5.6?
True
Let g be 18/96*(-10 + 8). Let c = 3 - 15. Let j be (-2)/(1/(c/(-56))). Which is greater: j or g?
g
Let f = 47944 + -47944. Which is bigger: -2309 or f?
f
Let k = -24 + 20. Let t be ((-234)/9)/(k/6*3). Let o = 2 + t. Is o greater than or equal to 16?
False
Let w be (84/14)/(2574/(-1496)). Is -4 less than w?
True
Let r = 10435.59 - 10436. Which is bigger: -5.6 or r?
r
Let j(w) be the first derivative of 130*w**3/3 + 2*w - 59. Let k be j(1). Is 133 <= k?
False
Let b = 1002 - 1448. Let a = b + 444. Is -3.3 greater than a?
False
Let i = 9542 - 5545. Is 3997 greater than i?
False
Let w = 15455 - 15460. Is w less than or equal to 448?
True
Let f = -362 + 4704/13. Let s = -60903 - -60900. Is s less than f?
True
Let n(u) = 4*u - 24. Let w be n(7). Let f(y) = -3*y**3 + 2*y**2 - 6*y - 2. Let q be f(w). Which is smaller: -185 or q?
q
Let h be (-15)/240*8 - 555/(-2). Which is greater: h or -2/29?
h
Let w(z) = z**3 + 10*z**2 - z - 10. Suppose -9*i - 60 = -3*i. Let o be w(i). Suppose o = -4*c + 2*f + 11 + 17, -4*c + 4*f + 36 = 0. Is c at most as big as 1?
False
Let i(w) = 14*w + 59. Let y be i(-4). Suppose 1 - 118 = y*v. Does -42 = v?
False
Let u be 2632/(-203) - 39/(-3). Are 1/59 and u unequal?
True
Let l(w) = 10 - 17*w + 22*w - 17*w - 19 + 15. Suppose -2 = -3*x + x. Let p be l(x). Is -3 > p?
True
Let g be 9*16/72 - (-3 + 1)*-1. Let v = -5 - -3.8. Let w = -7.2 - v. Is w at least g?
False
Let t(z) = -2*z**2 - 90*z - 947. Let o be t(-28). Is -104 >= o?
False
Let a(u) be the second derivative of 31*u**4/6 + u**3/6 + 24*u. Let y be a(-1). Let o = y - 67. Which is greater: -60/13 or o?
-60/13
Suppose -117 = -11*r - 315. Let x = -0.04 + -1.96. Is x greater than or equal to r?
True
Let o = -357.192 - -357. Let u = o - -5.192. Which is smaller: 9/2 or u?
9/2
Suppose -8*z - 6 - 10 = 0. Let q = 42.16 - 0.16. Let f = q - 34. Are f and z non-equal?
True
Let l = 12378 - 12343.13. Which is greater: l or -2?
l
Let z = 1220 + -499. Is 717 at least z?
False
Let r = 314 + -324. Let b be 361/(-38) + r/4. Is b equal to -13?
False
Let i = -1756 - -1645. Are i and -92 unequal?
True
Suppose -465 + 513 = 3*r + 2*x, 4*x = 2*r. Which is smaller: r or 3?
3
Let f = 0.6 + -0.66. Let m = -0.04 - f. Suppose -15*n = 1 + 59. Is n >= m?
False
Let v = -933.794 - 1.206. Is v bigger than 1?
False
Let c = 170 - 523/3. Let u = 9030 + -9028. Which is greater: c or u?
u
Let s(u) = -25*u - 877. Let g be s(-24). Which is bigger: g or -323?
g
Let n be 20 - (5187/147 + -15). Is -10 less than n?
True
Let p = -277/1734 - 2/289. Let t = 9.6 + -8.6. Is p less than t?
True
Let x = 420 - 152. Let k = -276.3 + x. Is k < 1/2?
True
Suppose 11*g - 17*g - 7308 = 0. Let j be (7 - 6) + g/1222. Are j and -1 equal?
False
Let j = 8/3335 - 15821/2424545. Which is greater: j or 1?
1
Let t = 0.4389 + -0.6389. Which is greater: t or -0.528?
t
Let p(t) = -1473*t**2 - 33*t + 19. Let b be p(-10). Let g = -1030987/7 - b. Let k = g + 350. Which is smaller: k or 16?
16
Let g be (4380/160)/((-5630)/1234) - 6/(-1). Is g greater than 1?
False
Suppose -6*c + 2*c = -5*x - 1722, 3*c - 340 = x. Which is greater: -341 or x?
-341
Let a(s) = -s + 12. Let n be a(9). Suppose 5*x = 5*z + 20, 4*z - n*x - 7 = -20. Let l be 6348/(-837) + 8 - (-8)/(-36). Which is bigger: z or l?
l
Let x(d) = d**3 + 39*d**2 - 76*d - 72. Let c be x(-30). Is 10307 >= c?
False
Let p = 3529 - 31763/9. Does -651 = p?
False
Let h = 0.0525 + 0.2475. Let y(z) = 4*z**2 - 49*z - 10. Let m be y(14). Is m equal to h?
False
Let v = 15.944 + -41.944. Do v and -95 have the same value?
False
Let i(k) = 8*k**2 - 14*k + 10. Let x(g) = -g**2 + g - 1. Let u(n) = -i(n) - 6*x(n). Let l be u(3). Suppose -41 = -l*c - 17. Is 14 <= c?
False
Let r = 195.33 + -3.33. Let v = -192 + r. Is v <= -102?
False
Suppose -9*w + 27*w - 23*w = -5. Let o be ((-5)/(-4))/1*28. Let f be o/(-172)