y) = y**2 + 20*y + 42. Let h be n(-17). Let k(o) = -o - 17. Let x be k(h). Is 3 greater than x?
True
Let p be 1813/(-9) + -3 - 0. Let k = p + 204. Let r = -3 - -3. Which is greater: k or r?
r
Suppose 3*b = -8*b - 165. Let u = -38 - b. Do 1/2 and u have the same value?
False
Let i = 0.287 + -0.23. Is i < -5?
False
Let c be (-1 + -1)/((-6)/1104*-2). Let l be (-103)/(-8) - 23/c. Is 14 smaller than l?
False
Let g = -82 - -97.3. Let j = g + -18. Let l = 2 + j. Is 2 <= l?
False
Let m = -819 + 889. Which is greater: m or 141/2?
141/2
Let n be 12/28 + 1/((-28)/2196). Let y be (n/1)/(10/(-5)). Is y bigger than 39?
False
Let z = 17 - 19. Let f(p) = 5*p + 2. Let a be f(z). Let d be a/(-117) + (-14)/(-91). Is d > 0?
True
Suppose 2*h + 2*i = 164, -5*h = 6*i - 10*i - 428. Is h at least as big as 85?
False
Suppose 53*y + 5570 = 63*y. Is 557 < y?
False
Let a = 40 + -25.09. Let j = a - 15. Suppose -3*f + 2 = -5*f. Which is smaller: f or j?
f
Let t(j) = j**3 + 14*j**2 + 32*j - 11. Let b be t(-11). Let a = 3/7 - -1/14. Is a >= b?
True
Let l = 1.2 - 1.5. Let g = -0.9 + l. Let d = g - -2.2. Is -11 smaller than d?
True
Let l be 51/9 - (-2)/4. Let t be 4/32 + (-715)/(-104). Is t < l?
False
Let n be 45/66 + 1/(-2). Let v be (0 + 0)/(-6 + (7 - 2)). Is v at most as big as n?
True
Let t(o) = 17*o**3 - 16*o**2 - 6*o - 4. Let h be t(-3). Which is smaller: h or 1?
h
Let a = -8.1 - -8.4. Is a at most 1/2?
True
Suppose -31 = 4*i - 5*i. Suppose i + 13 = 3*q - 4*x, q - 16 = 2*x. Let u be 5/q + 1/(-4). Which is smaller: 0 or u?
0
Let j = -25/66 + 1/22. Let g(p) = -4*p + 55. Let f be g(11). Do f and j have different values?
True
Let i(l) = 12*l + 72. Let f be i(-6). Do f and -6/167 have the same value?
False
Let t = 0.093 - 0.323. Let l = t - -1.23. Which is greater: l or -6?
l
Let y = -1 + 5. Let o = -153 + 141. Let b be o/(-18) + y/(-6). Is b at least as big as 1?
False
Let o be 155/77 - (-26)/(-91). Which is greater: 3 or o?
3
Let z = -1122 + 904. Which is smaller: -215 or z?
z
Let f = 0.048 - 0.348. Is f bigger than -26?
True
Suppose 5*n + 3*t - t = -2091, -3*n + 5*t - 1267 = 0. Is n bigger than -419?
False
Let n be -5 + 365/440*6. Is -1 <= n?
True
Let v(u) = 33*u - 331. Let m be v(10). Are 4/519 and m equal?
False
Let z(m) = 2*m**3 - 22*m**2 - 30*m + 41. Let k be z(11). Do -291 and k have different values?
True
Let s = 137 + -80. Suppose 3*m - 9 = s. Let n be (-10)/(-45) + m/144. Which is smaller: 2/5 or n?
n
Let p = 2/485 - -948/5335. Which is smaller: p or 5/4?
p
Let j = 11.64 + 0.36. Let p = 9 - 3. Let a = p - j. Is a less than or equal to -1?
True
Suppose -8 = 4*x + 4*h, 0*x + 4*h = -x - 8. Is x bigger than -5/151?
True
Let s = 0.7 + -0.5. Let x(p) = p - 2. Let h be x(-15). Let m be h/36 + 20/90. Is m <= s?
True
Let i = 17 - -14. Let g = i - 30.9. Which is smaller: g or -25?
-25
Let o = 0.309 + -0.039. Let b = o + -0.4. Let m = -0.23 - b. Are m and 9/2 non-equal?
True
Let d be (-1 + 0)/(1 - 0). Let u(t) = -2*t**3 - t - 1. Let y be u(-2). Let w = y - 18. Is d at most w?
True
Let w be 0*(8/(-36)*-6 + -1). Suppose 7*x + 12 - 75 = w. Which is bigger: x or 7?
x
Let g be 0 + (1 + 0 - -1). Suppose -4*l = -c - 2*c - 12, 0 = l - c - 3. Suppose -3*x - 2 = 7, 3*x = l*h - 12. Is h <= g?
True
Suppose 0 = 3*z - 2*p - 20, 3*p - 2*p = -4. Suppose -5*a = -5*o - 10, -11 = -z*o + 9. Let v = -7 + a. Does 1/2 = v?
False
Let z(r) = -r**2 - 9*r + 27. Let g be z(5). Let i = g + 42. Which is greater: i or -3/11?
-3/11
Let n = 23 - 19. Let p be (-63)/(-70)*n/(-2). Is p <= -2/9?
True
Suppose -9 = 4*c - 5*l + 10*l, -c + 3*l = -2. Which is smaller: 2/347 or c?
c
Let o = 302/665 + -16/95. Let a = 47/172 + -1/43. Which is smaller: a or o?
a
Suppose 0*i + 2*i + 2 = 0. Let o = -23/7 - -559/168. Is o at most i?
False
Let l = 6 - 4.1. Let i = 2.2 - l. Which is greater: i or 0.1?
i
Let j(p) = p**3 + 5*p**2 + 5*p - 1. Let i be j(-2). Which is bigger: i or -1/309?
i
Let q = -2802/7 + 15018/35. Is 0.1 equal to q?
False
Let j = 6 + -1. Suppose 2*a + 5*l + 2 = -13, -l = j. Let d be (-25)/15*2/a. Which is smaller: 2 or d?
d
Let v = -38 + 452. Is v less than 1?
False
Suppose 4*x - 119 = 61. Let i be x*(36/(-15) - 0). Let s = 529/5 + i. Is -1 greater than s?
True
Let d = -65.1293 + 0.0293. Let u = d + 51. Let g = u - -14. Is g less than or equal to -1?
False
Let z = 59.7 - 60. Which is bigger: 0.14 or z?
0.14
Let o = -78 + 75. Let j be 0 + (0 - 84/27). Do j and o have different values?
True
Let z = 350 - 185. Let p = -2806/17 + z. Are p and -1 nonequal?
True
Suppose b + 23 = 6*b - 3*y, -4*b + 15 = y. Let q be (-80)/(-64) - 1/b. Which is greater: -3 or q?
q
Let b be 9/(-4) + 1/4. Let q = -328 + 1636/5. Is b smaller than q?
True
Let n = 116 + -118. Let x be 1/n - ((-9)/(-6) + -2). Which is bigger: x or 3/4?
3/4
Let p = 6855/2 - 63131/18. Let l = p + 80. Is 1 at most as big as l?
False
Let h be (-8)/24 + (85/(-3))/5. Which is bigger: 23 or h?
23
Let l = -1/4513 + 9215/852957. Which is greater: -1 or l?
l
Let n = 41 + -43. Which is greater: n or -11/9?
-11/9
Suppose 0*f = 4*i + 2*f + 28, 2*f + 10 = -2*i. Let j = 437 - 447. Which is smaller: j or i?
j
Suppose 2*j - 15 = -3*j. Suppose 22*l - 6 = 19*l. Let u be (l/j)/(4/6). Do 3/7 and u have the same value?
False
Let w(t) = -73*t + 366. Let g be w(5). Is g greater than or equal to 9/185?
True
Suppose -q - 22*r + 21*r + 110 = 0, 3*q = 3*r + 348. Are q and -6 non-equal?
True
Let k(q) = q**2 - 11*q + 14. Let l be k(9). Let z be l/1 + 5340/(-35). Let h = z + 157. Which is bigger: 0 or h?
h
Let v = -0.06 + -0.12. Let s = v + 0.11. Let p = s + -0.03. Which is bigger: p or 0.1?
0.1
Let b = -19/7 - -3. Let x = -21 - 5. Is x > b?
False
Let y(b) = -b**2 + 6*b. Let w be y(4). Suppose -w = t - 0*a - a, -4*t - 32 = 4*a. Let m = 10 + t. Which is smaller: 6/5 or m?
6/5
Suppose -8 = 2*h - 3*p, -5*h + 3*p - 14 = -3. Let r = 447.9 + -470. Let d = r + 22. Are d and h nonequal?
True
Let t = -1/269 - -4575/538. Suppose -4*y + 2*g + 35 - 13 = 0, 0 = y - 2*g + 2. Which is smaller: y or t?
y
Let j = 6.5 - 4. Let s = 1.3 - j. Let g = s + 0.2. Is g less than -1?
False
Let n be (-856)/12*(-1 - 40/(-25)). Which is smaller: n or -43?
-43
Suppose -l + 3*i = 16 - 13, 2*l + 2*i - 2 = 0. Is l less than or equal to 3/181?
True
Let o be (-5)/(-7)*24/(-140). Which is greater: -1 or o?
o
Suppose 12965 = -10*r + 40615. Let x be 6 - 15730/r - (-4)/(-14). Is 0 not equal to x?
True
Let f(w) = w**2 - 3*w + 4. Let d be f(3). Suppose m + 10 = 4*p + p, d*p + 13 = 5*m. Suppose -m*k - 33 = -4*u, 4*k = k - 15. Is 1 not equal to u?
True
Let o = 2908 - 2907. Let r = 5/162 + -749/13770. Which is greater: r or o?
o
Let o be -10 + 772/108 + (3 - 0). Is o bigger than 0.2?
False
Let r = -101 + 113. Let y = 0.2 + -0.4. Which is greater: r or y?
r
Let o(d) = -4*d - 5. Let p be o(-1). Which is bigger: 3/41 or p?
3/41
Let j be (6/25)/(28/35). Which is bigger: 1/5 or j?
j
Let d = 3 - 3.3. Let g = 21 + -36. Let w = g + 15.2. Which is greater: d or w?
w
Let s(b) = -b**3 - 5*b**2 + 2*b + 14. Let v be s(-6). Let t = -47 + v. Let j be -2*(-1 + 6)/1. Are t and j equal?
False
Suppose -2*a + 21 = -4*a - l, 2*a - 3*l + 1 = 0. Let x(h) be the third derivative of h**4/24 + h**3/6 - 8*h**2. Let d be x(-9). Does a = d?
True
Let n be (12/(-45)*3)/(1/135). Is -108 smaller than n?
False
Let s = -342 - -243. Which is bigger: -0.1 or s?
-0.1
Let f = -3 + 2. Let t = f - -2. Let a be 3 - (2 + 45/35). Are t and a nonequal?
True
Suppose 0*b - 17*b + 170 = 0. Which is smaller: 21 or b?
b
Let o = -34 + -10. Let s = 43.95 + o. Which is greater: 0 or s?
0
Let a(w) = 5*w**2 - 2*w + 1. Let z be (1/(-3))/(6/(-18)). Let s be a(z). Suppose 0*f + 40 = -s*f - 4*m, -2 = -f + 2*m. Which is smaller: -1 or f?
f
Let g be (-161)/1 - (10 - 88/8). Is g != -159?
True
Let z be 128/(7/(49/94)). Let v = -3/94 + z. Let u = 8 - v. Is u greater than or equal to -1?
False
Let l = -8 + 12. Suppose 0*a = l*a - 4*b - 80, -4*a + b + 68 = 0. Let m be (a/(-24))/(2/3). Is 8 greater than or equal to m?
True
Let o(j) = 3*j**3 - 12*j**2 - j + 12. Let t be o(4). Do t and 8 have different values?
False
Suppose p = -5*p + 420. Suppose -69*f + 4 = -p*f. Suppose -2*b - y + 7 = 2*y, 5*y = 5*b + 45. Is f not equal to b?
False
Let u be ((-39)/65)/(1/(-620)). Is 370 greater than or equal to