Let n be -4*(-1 - 6/(-4)). Suppose -9*c + 10*c - 1 = 0. Let p be n - (0/2)/c. Is p < -3?
False
Let z(h) = 4*h**3 + 50*h**2 + 26*h + 28. Let k be z(-12). Which is smaller: k or 2/229?
2/229
Let r(x) = -99*x - 7. Let b be r(1). Let j = b - -145. Is j equal to 39?
True
Let g = -479 - -713. Which is greater: 235 or g?
235
Let h = -1143 + 7978/7. Let q be (7 - (500/6)/10)/(2/6). Do q and h have different values?
True
Suppose 2*o - 9 = -4*b + 33, 4*b = 4*o - 36. Which is smaller: -2 or o?
-2
Suppose 4*b = -4*w - 7 - 1, -4*b + 3*w = -6. Which is smaller: 7/48 or b?
b
Let g(r) = 14*r**2 + 7*r - 3. Let y(x) = 5*x**2 + 2*x - 1. Let l(h) = 6*g(h) - 17*y(h). Let a be l(7). Do 7 and a have the same value?
False
Let r be (86 - -2)/(-2) + -4. Let h be (6/20)/((-4)/(r/(-9))). Which is smaller: 0.38 or h?
h
Let l(u) = -u**2 + 9*u - 3. Let y be l(6). Suppose 3*q = -2*q + y. Suppose -4*a - q*r = -139, 0 = -r + 4 - 3. Which is smaller: 33 or a?
33
Let s = -49 - -48. Let n be 0 + 3*(s + (-1)/(-3)). Which is bigger: -15/7 or n?
n
Let t be 8/(-10) - 187/85. Let a be 10/t*231/44. Are a and -18 nonequal?
True
Let b = -58 - -96. Let o = 37.9 - b. Let v be 4/(-1 - 2/2). Does v = o?
False
Suppose 0 = -19*n - 157 - 52. Let q(d) = -2*d - 10 + 2*d - d. Let r be q(0). Do n and r have different values?
True
Let u = 89/1995 - 3/266. Are 0 and u non-equal?
True
Let y = -177 + 406. Let h = -1613/7 + y. Which is smaller: -1 or h?
h
Let s be 1190/(-40) - (-2)/(-8). Let b be 36/(-10)*s/(-2). Let x be (2/b)/(6/(-36)). Is x < -3/4?
False
Let s = -30 + 13. Let z(q) = q**2 + 17*q. Let x be z(s). Which is smaller: -2/7 or x?
-2/7
Let d be (2/3)/((-3)/54*-3). Suppose 4 = -2*a + d. Which is smaller: a or 2/5?
a
Let g = -16.3 - 1. Let x = -16 - g. Let f = x - 1.4. Which is smaller: -1 or f?
-1
Suppose -2*k - 4*z = 2*k + 200, -k - 3*z = 54. Is k bigger than -48?
False
Let v = -1 + 8. Let j = v + 0. Let c be ((-6)/(-3))/(3/9). Is j smaller than c?
False
Let k = -0.053 - -1.853. Let z = k - 1.9. Let y = 10 - 3. Which is smaller: y or z?
z
Let i = -352 + 491. Is 0.6 at most i?
True
Let q be ((-3127)/(-212))/((-1)/8). Which is bigger: -117 or q?
-117
Let a(d) = -77*d + 454. Let h be a(6). Is h not equal to 43?
True
Let b = -0.02 + -14.98. Let g = b + 27. Let j = -12.12 + g. Which is smaller: j or -0.1?
j
Let l = -143.05 + 144. Let b = l - 1.05. Which is bigger: b or 0.25?
0.25
Let p = 2.51 + 0.39. Let u = p + -1.6. Let b = u + -2.3. Which is greater: b or 12?
12
Let d(h) = h - 2. Let l be d(4). Let o(q) = 7 - 3 - q**l + 2 - 8*q. Let b be o(-9). Which is smaller: -0.1 or b?
b
Suppose 2*g - 8 = 0, -68 = 3*b + b - 3*g. Which is bigger: b or -15?
b
Let r be (-838)/300 + 4/(-6). Let p = r + 7/2. Suppose -2*b = b + 2*b. Are p and b non-equal?
True
Let i = 137157/7 - 19648. Let c = i - -55. Let f = -22 + 23. Are f and c nonequal?
True
Let p = -2377/2015 + 77/65. Which is smaller: 1 or p?
p
Let f = -3 + 2. Let y = 13 - 11. Let c be -4 + ((-28)/(-6))/y. Is f != c?
True
Let h = 1.1 + -1. Let t be -2*(-4)/(-16)*-1. Which is smaller: h or t?
h
Suppose 2*m - 7*m - o = 4, 5*m + 3*o = -2. Which is greater: 4 or m?
4
Let m(f) = -f**3 + 2*f**2 + 34*f + 7. Let h be m(7). Which is bigger: h or -3/137?
h
Suppose -3*g - 20 = 94. Which is smaller: -42 or g?
-42
Suppose 4*g = -1277 + 1781. Is g at most as big as 123?
False
Let v(q) = 2*q**2 - 2*q + 1. Let o be v(1). Let s(h) = h**3 - 22*h**2 + 38*h + 16. Let l be s(20). Let t be (3/2)/((-207)/l) + 0. Which is bigger: o or t?
o
Let k be (8/12)/((-33)/(-207)). Let h = k - -205/22. Let t = 40/3 - h. Is t less than -1?
False
Let n be ((-1)/(-2))/((-8)/(-48)). Let q be (1/10)/(n - 78/24). Which is bigger: q or 2/97?
2/97
Let c = 335 - 352. Are c and -15 equal?
False
Let k = 0.45 - 1.45. Is k at least as big as 13.9?
False
Let t = 3302/145 + -150/29. Is t >= 17?
True
Suppose c + 4*o = 28, 3*c - o = 15 + 4. Suppose -4*h + c = 4*w, 5*h - 3*w - w = 1. Are 5/36 and h nonequal?
True
Let n = -61 + 64. Let u be (n/150)/((-2)/(16/(-12))). Do 1 and u have different values?
True
Suppose 3*d = -3*q - 18, -q - 3*d = 3 + 9. Suppose -4*y + 4*c = -c + 36, 4*y = -c - 36. Let g be 6/y - 23/q. Which is greater: g or 6?
g
Let f = 58 + -27. Let t = 30 - f. Which is smaller: t or 0.25?
t
Let g = 0.245 - 0.145. Let q = 4 + -7. Let n = q - -2. Which is bigger: g or n?
g
Let z be (152/90)/((-16)/(-40)). Let m(r) = -7*r + 122. Let c be m(17). Is c less than z?
True
Let m = 5/14 - 2/35. Let y(b) = -b**3 + 4*b**2 + 6*b - 4. Let r be y(5). Is m smaller than r?
True
Let i be (-3)/(-2)*(-2184)/(-36). Which is smaller: i or 0.2?
0.2
Suppose -f = -4*g + 7, 0 = -g - f + 2*f + 1. Let a(p) = -p**2 + 4*p - 3. Let o be a(g). Which is smaller: o or -1/15?
-1/15
Let z(m) = 6*m**3 + 4*m**2 + 2*m - 1. Let w be z(-2). Let o = 37 + w. Let x = -112 - -4814/43. Which is bigger: o or x?
o
Suppose -2*z + 5*w = 3*z, 2*z - 4*w = 0. Let m = -20/43 + 48/473. Is z not equal to m?
True
Let j be (3 + -2 - -4) + -3. Suppose 5*z = -4*s + 1 + 9, -z + j = 4*s. Do z and 7 have the same value?
False
Let w = 442 - 416. Do w and 3 have the same value?
False
Let d(j) = -2*j - 26. Let t be d(-11). Let f be ((-3)/6)/(t/(-8)). Let k be 0 + (1 - f - 4). Which is bigger: -3 or k?
k
Let v be (-5 + 5 + 388)/2. Which is bigger: v or 387/2?
v
Let v(u) = -3*u - 10. Let w be v(-5). Suppose -2*j + 2*t = -3*t - 37, w*t = -4*j - 1. Which is smaller: 5 or j?
5
Let b(w) = 58*w**3 - w + 2. Let z be b(2). Let l be 4/(-18) - z/(-1764). Let u be 0/(-3)*(-2)/4. Is l greater than or equal to u?
True
Let n = 310 + -302. Is n < 4/11?
False
Let i be (-2)/(-3) - ((-50)/(-15))/2. Let r(v) = -4*v - 1. Let f be r(4). Let h = f - -17. Is i less than h?
True
Suppose -30*d + 66 = -28*d. Let h = d - 37. Let y(b) = b**3 - 2*b**2 - 2*b + 1. Let f be y(2). Which is greater: h or f?
f
Let s be (-3 + (-2)/1)/1. Suppose -2*h = -5*w + 37, -45 = 3*h - 16*w + 12*w. Which is greater: h or s?
s
Let f = -3216 + 2578. Are -638 and f non-equal?
False
Let a be (-16)/(-6)*((-530)/(-8) - 13). Is a at least as big as 137?
True
Suppose 3*f + 5*g = 3519, -12 = -15*g + 11*g. Which is bigger: 1167 or f?
f
Let m = 0.1 - 0.2. Suppose -1 = -2*v - 5, -38 = -4*b + 3*v. Suppose u + b = -0*u. Which is greater: m or u?
m
Let z = 152138 - 1976505/13. Let g = -249 + 348. Let x = z - g. Which is greater: 1 or x?
1
Let w(k) = -k**3 - 5*k**2 - 5*k - 5. Let v be w(-4). Suppose 5*b + 41 = i - 24, 5*i = -b - 39. Let c be (1/(-2))/(-12 - b). Does v = c?
False
Suppose -5*s = -b - 11, -3*b - 2 = -5*b + 2*s. Which is smaller: 25 or b?
b
Let v(r) = -8 - 2 - r**3 + 12*r**2 - 20*r**2 - 7*r. Let w be v(-7). Let o(y) = y + 8. Let h be o(w). Is h less than or equal to -2?
True
Let s(y) = -3*y + 7. Let w be s(13). Let b be 42/28*w/(-3). Let z = 19 - 4. Is z bigger than b?
False
Suppose -2*b = 2*c + 22, 2*b + 26 = -3*c + 1. Let j be (0 - b/12)*6/(-4). Is 1/37 less than j?
False
Let w be (-178)/36 - (-5)/(2/2). Which is greater: 1 or w?
1
Let g be (1/(-5))/(9/(-5)). Let a(u) = 2*u - 14*u**2 - 15 - 7*u**3 + 8*u**3 - u. Let d be a(14). Is g smaller than d?
False
Suppose 0 = 3*a + 12, 0 = 8*y - 4*y + 5*a - 172. Suppose 0 = -b - b - y. Which is bigger: -25 or b?
b
Suppose -10*t + 4 = -8*t. Suppose 4*d - t = -6. Which is bigger: 1/4 or d?
1/4
Let d = -0.3 + 0.52. Let k = d + -0.34. Is -0.3 at most as big as k?
True
Let b = 0 - 0.2. Suppose -19*g + 42 - 4 = 0. Suppose 4*q - x = 19, -g*q = -0*q + x - 17. Is b > q?
False
Let y = 2.518 + -27.318. Which is smaller: -2 or y?
y
Suppose -2*a + 7*a + 20 = 4*f, 0 = -2*a - 3*f + 15. Suppose 18 + a = -3*z. Let m be 50/z + 1/3. Is m > -10?
True
Suppose -3*z + 5*f + 22 = 0, -z + 5*f = 4*z - 30. Suppose 4*l = z*c, c + 5 = -0*c - 4*l. Let w = -53 + 473/9. Is c at most as big as w?
True
Let n = 343 - 342.658. Let g = 0.042 - n. Do g and 0.1 have the same value?
False
Let l = 5 - 3. Suppose -3*y + 3*b = l*y + 174, -4*b - 8 = 0. Let m be (y/15)/6*-20. Is m less than or equal to 9?
True
Let p be (-8176)/(-24960) - (-2)/(-6). Which is smaller: 0 or p?
p
Suppose -2*q + 5*i - 43 = 0, -9*q + i = -4*q + 96. Let y be 2/(-3) + (-116)/6. Does y = q?
False
Let a(i) = 2*i - 14. Let j be (-50)/6 - 4/(-3). Let x = j - -14. Let b be a(x). Which is smaller: 0.8 or b?
b
Let y = 28 - 97. Let h = 69 + y