reater: 165 or c?
165
Let j(y) = 2*y**2 + 21*y + 10. Let a be j(-9). Let q = -62 + 64. Suppose 12 = -5*o + q. Do o and a have the same value?
False
Let q = -46 + 118. Suppose 3*l + 122 = -370. Let z = 235 + l. Which is greater: q or z?
q
Let i be 6/(-15) + 34/(-90). Let k(a) = -8 + 9*a + 0*a**2 - 3*a**2 + 2*a**2 - 3*a. Let x be k(2). Is x at most i?
False
Suppose -109*w = -165*w - 4368. Which is smaller: -387/5 or w?
w
Let s = -91834/10185 - -379/42. Which is smaller: 0 or s?
0
Let z be -218 + (23 - 22)*(-1 + 1). Let q = -18 - 199. Is z <= q?
True
Let z be 1/(-2)*2/1. Let o = -240 - -542. Let n = 8155/27 - o. Is n greater than z?
True
Let h = 3642 + -3644. Is -0.204 smaller than h?
False
Suppose -4 = -18*n + 14*n. Let c(o) = -4*o - 16. Let u be c(-9). Let y be (84/u + -4)/((-114)/15). Which is greater: y or n?
n
Suppose 0 = -7*a - 38 - 18. Let u be 6/a*(-5 + 1) - 31. Which is greater: u or -29?
u
Let c be ((-4)/(-12))/(0 - 5197/6). Is 1 bigger than c?
True
Let a = -7.11 + 0.11. Let w = -433 + 431. Let c = w - a. Which is bigger: c or 2?
c
Suppose -2*u + 30 = 3*u. Let c be (-9)/u + 53/35. Let w = 353/210 - c. Which is smaller: w or 2?
w
Let t = 43527 - 43520. Let g be ((-1)/2)/(-1 + -1). Is t smaller than g?
False
Let s be (((-8)/(-20))/(-1))/(210/525). Which is greater: s or -2/1589?
-2/1589
Suppose -3*q + 13 = 7. Suppose -2 = k + q*g, 3*g = -4*k - 3 - 0. Suppose d = -k*d - 19. Are d and -18 non-equal?
True
Let z(o) = -o**2 - 6*o + 2. Let n be z(-6). Let f = -0.065 + 105.065. Let i = -104.7 + f. Is n > i?
True
Let n = -22.125 - 2.875. Let d = 147 - 149. Which is greater: d or n?
d
Let k be 6/(-7)*(-10)/20 - (-522)/203. Let b be -1 + 12/(0 - -2). Suppose -4*d = k*l + 19, b*d + l + 21 = -0*l. Are -4 and d nonequal?
False
Let u = 82996 - 746957/9. Suppose 4*i = 3*q + 11 + 23, 5*q - 30 = -2*i. Suppose i = -4*y + 2*y, 31 = 3*t - 5*y. Is t less than or equal to u?
False
Suppose 4*i = -v + 2*i + 25, 2*v + 2*i = 48. Suppose 2*q = 3*z - v, q + 8 = z - 1. Is 4 less than q?
False
Let w be -3 + (450/5)/5. Suppose -w*u + 8*u - 35 = 0. Is u bigger than -15?
True
Let c = -34432/133 - -259. Let s = c - 7146/66899. Which is smaller: 0 or s?
0
Let x = 140 + -139. Let f be (590/(-90) - (-3)/1)*x. Is -5 smaller than f?
True
Let g(k) be the second derivative of -k**2 + 0 - 1/6*k**4 - 12*k + 1/6*k**3. Let x be g(2). Which is greater: x or -1?
-1
Let j(q) = -3*q**2 + 37*q - 84. Let m be j(3). Which is smaller: m or 4/31?
m
Let g(m) = 490*m**3 + 1. Let b be g(1). Suppose 21508 = 30*i + 15*i - 542. Which is bigger: i or b?
b
Let y(g) = -g - 4. Let t be y(-6). Let m be (-415)/(-20) - (-2)/(t*4). Let b be m/14 - (3/(-2))/(-3). Which is smaller: -2/37 or b?
-2/37
Suppose -24 = 48*u - 120. Is u at most -31?
False
Let g(i) = -27*i**2 - 401*i - 11. Let r be g(-15). Which is greater: -70 or r?
-70
Let r(m) = m**3 - 6*m**2 - m + 16. Let h be r(6). Which is smaller: 12 or h?
h
Let b = -2.7 - 4.525. Let g = 5.2 + b. Let m = g + 0.025. Which is smaller: m or 2/21?
m
Let v = 1.9954 - 2. Let m = v - -15.4446. Let z = m + 0.56. Is 1 smaller than z?
True
Let u = 112904 + -113134.052. Let w = u + 229. Let z = w - 0.048. Which is smaller: z or -3?
-3
Let l = -13 + 20. Let p be -4 - ((-495)/(-10))/(-11) - -6. Is l greater than or equal to p?
True
Suppose 4*n + 40 = 6*s - 11*s, 0 = -2*s + 8. Let m(l) = 3*l**2 + 46*l + 17. Let d be m(n). Are 19/9 and d equal?
False
Let m be (12/(-1852))/((-6)/(-4)). Let n = -8005 + 8006. Do m and n have the same value?
False
Let g = 188 + -180. Suppose 0 = g*i - 6136 + 880. Is i equal to 658?
False
Let c = 11.0528 + -0.0528. Let g = -0.1 - -1.5. Let z = g + -0.4. Which is smaller: c or z?
z
Let q be (-1662)/(-60) + -28 - 54458/(-60). Which is smaller: 908 or q?
q
Let m = -0.4253 + -3.5747. Let q be 1 - (6/(-33) - -1). Which is greater: q or m?
q
Let g = -51.96 - -51.7444. Which is smaller: -2 or g?
-2
Let d(y) = -131*y**2 - 31*y - 3. Let c be d(-1). Is 0.4 < c?
False
Let t be (1 - -5) + (31 - -2747) - 2. Is 2785 at least as big as t?
True
Let p be (54/1544976)/((-46)/(-8) - (6 - 1)). Which is smaller: 0 or p?
0
Let g = 234 + -200. Suppose -32*q = -g*q. Which is smaller: 30 or q?
q
Let d = 41.4 - 209.4. Let t = d + 166. Is -20 less than or equal to t?
True
Suppose 3*g = 134 - 35. Let p be (-2)/11 + (-192)/g. Let w(z) = z - 3. Let l be w(-4). Is p >= l?
True
Let r(s) be the first derivative of -2*s**3/3 + 3*s**2 + 32*s + 10. Let q be r(8). Let n = q + 46. Is n != -2?
False
Suppose 0 = -15*a + 15 + 15. Let n be (-4 - -2) + 3 + -1. Suppose -4*m = -n*m - 8. Does a = m?
True
Let v be (-2960)/(-100) + -15 + 8. Suppose u - 3*i + 36 = 2*u, 0 = -5*u + 4*i + 104. Is u equal to v?
False
Suppose 3 = m + w + 3*w, 0 = 3*m + 3*w. Let x = -6 + 14. Suppose 4*o - u = u - x, -3*o - 7 = -u. Does m = o?
False
Let r = 364663/69 - 5287. Is -2 equal to r?
False
Let q be (-78)/(-8) + 4/16. Let l = q + 25. Let m be (-4 - -1) + 240/l. Which is bigger: 5 or m?
5
Let l be (149790/12125)/((-9)/30). Let u be 103*(-1 - 7/(-5)). Let x = u + l. Is x >= -1?
True
Let q(r) = -r + 76 - 83 - 5*r + 2*r. Suppose -3*x - 2*x - 2*u = 25, 0 = 3*x - 2*u - 1. Let m be q(x). Which is bigger: -0.07 or m?
m
Let m = 452 + -426. Suppose 3*g = -116 + m. Is g at most -27?
True
Let o(v) = -13*v - 76. Let s be o(-6). Let t be (-318)/(5/(80/(-36))*s). Is 71 <= t?
False
Suppose -37*m + 75*m = -39*m + 46739. Is m != 610?
True
Let p(w) = 6*w**2 - 12*w - 9. Let v(t) = t**2 + t - 1. Let j(f) = p(f) - 4*v(f). Let z be j(9). Which is bigger: z or 14?
14
Suppose -26*d = -24*d - 2. Let u be (2 + -10)/(-2) + (-4)/d. Which is smaller: u or 9?
u
Let z = -231 + 410. Let a = z + -71. Let g = a - 107. Does 1 = g?
True
Suppose -20 = -5*q, -c - 3*q = -14 - 3. Suppose 0*o + 5*k - 41 = -3*o, 20 = c*k. Suppose 0 = 12*m - o*m + 5. Is -6 at least m?
False
Let x = 6.043 + -0.043. Let f = 13 + x. Let d be (-52)/(-9) + -37 + 31. Which is bigger: f or d?
f
Let i(m) = -m**3 + 10*m**2 + 3*m + 1. Let d be i(10). Suppose 5*t = 20, 33*w - 38 = d*w - 2*t. Do 6 and w have the same value?
False
Let k = -37285 + 37534. Which is smaller: k or 230?
230
Let i(c) = -47*c**2 + c. Let u be i(-1). Let s = -892 - -844. Is s >= u?
True
Let i be (-12)/48 + 1/4. Suppose 19*a - 22*a + 9 = i. Is 5/2 smaller than a?
True
Let s be (6/(-9))/1*(-9 - (-126)/12). Which is greater: 16/455 or s?
16/455
Let s(g) = -g**2 + 8. Let o be s(-3). Let l be -8*(-19)/(-26)*752/(-64). Let h = -69 + l. Which is smaller: o or h?
o
Suppose n + 4*c = -28, 2*n = -c + 34 - 55. Is -220/31 less than or equal to n?
False
Let p = 4931 - -596. Is 5529 smaller than p?
False
Let a be 2/3*314/(-8)*-6. Let u = 157 - a. Let t be 27/18*2/3. Which is bigger: t or u?
t
Let w(z) = 36*z + 246. Let b be w(10). Suppose b*g - 80 = 601*g. Which is greater: g or -6?
g
Suppose 153 - 177 = -2*n. Suppose n*k + 157 = -311. Is -37 less than or equal to k?
False
Let u(a) be the third derivative of -a**4/3 - 7*a**3/3 - 3*a**2 + 11. Let b be u(7). Is b less than -71?
False
Let c = 4.156 - -80.644. Is 0 != c?
True
Let l = 397.14 + -397.01. Which is bigger: 1309 or l?
1309
Let n be ((-28410)/37816)/(-3) + (-3)/((-96)/(-8)). Which is greater: 1 or n?
1
Let w be -12*(-6)/(-27) - -3. Let b = -5.074 - -5.174. Which is bigger: b or w?
w
Let v be (-363)/390 + 1/5. Suppose -48*n + 2*l - 26 = -43*n, 2*n - 2*l = -20. Which is smaller: n or v?
n
Let y = 32 + -26. Let n be y/(-10) + 102/120. Which is smaller: 0 or n?
0
Let a = -3090 + 3507. Which is greater: a or 414?
a
Let p be 62/(-279) - (-17)/9. Let o = p + -161/93. Are 1 and o nonequal?
True
Let t be (30/(-28) + 1)*348. Let v = -23644 + 23619. Which is bigger: v or t?
t
Let f = 571.99 - 576. Let u = 3.01 + f. Which is bigger: -0.0248 or u?
-0.0248
Let f be -27 + 32 + (1 - -110). Let r = 233/2 - f. Let d = 157.08 + -157. Which is smaller: d or r?
d
Suppose 0 = -40*p - 556 - 604. Which is bigger: -486/17 or p?
-486/17
Let p = -61 + 61. Let j be (p + 7)*(185/35 - 5). Suppose -5*o = 4*h - 6, -6*o + o = -j*h + 18. Is h at most 0?
False
Let x = -72 + 73. Suppose 3*w - 1645 = 8*w. Let r = w + 4931/15. Which is greater: r or x?
x
Let w = -326/13 - -3781/143. Let m(v) = -2*v - 4. Suppose -2*b = -4*b - 6. Let t be m(b). Do t and w have the same value?
False
Let l(k) = 13*k