436. Let o = h + -11. Let y = -2.97 - o. Which is greater: 0.2 or y?
0.2
Let r = -12 + 11.4. Let l = 6.9 - 30. Let m = l + 23. Is m smaller than r?
False
Let m = -3090 - -355353/115. Which is bigger: m or -1?
m
Let j be ((-6)/(-300))/((-10)/24). Let u = -946/1125 + j. Suppose v - 23 + 8 = 5*d, -2*d = -5*v + 29. Which is greater: u or d?
u
Let m = 89/6 - 955/66. Let f = -5.7 - -1.3. Let d = f + 4.5. Which is smaller: d or m?
d
Let r(s) = s**2 - 3*s - 2. Let f be r(2). Let u = -257/50 - -87/50. Which is bigger: f or u?
u
Suppose -14*j - 151 + 165 = 0. Suppose 4*n = 5*r + 28, -3*r - 15 = -4*n + 5. Suppose 0 = 3*m + n - 8. Is m less than j?
False
Let u = 1285/3 - 16709/39. Is -1 > u?
False
Let f be 6/8*680/255. Let l(w) = -w**2 - 6*w + 4. Let c be l(-6). Suppose 2*r + 6 = -z, -c*r + 0*z - z - 8 = 0. Which is smaller: f or r?
r
Let b = 15041 - 195379/13. Which is bigger: b or 11?
b
Suppose -8 = 2*a - 20. Suppose -6*v = -8*v - a. Let h(z) = -z**2 - 4*z - 3. Let n be h(v). Is n greater than -5?
True
Let i(x) = -x**2 - 12*x + 9. Let n be i(-8). Let a = -42 + n. Is -3 at most a?
True
Let y = 96.5 - 88. Let k = -8.7 + y. Let t = -0.25 + 13.25. Are k and t unequal?
True
Let t be (-9)/27*6 - 10. Is -35 != t?
True
Let q = 496/22525 + 2/1325. Is -1 at least q?
False
Suppose 157*j = 180*j + 23. Which is smaller: j or -918?
-918
Suppose 21*j - 8*j - 273 = 0. Which is bigger: 13 or j?
j
Suppose 2*s = -21 + 11. Suppose -2*w - 3*w = 40. Which is bigger: s or w?
s
Let m = 23 + -10. Let u be (2 - 78/9)*-3. Suppose u = 4*q - 36. Is m less than q?
True
Suppose -579 - 909 = -12*j. Suppose -81*i + 85*i - j = 0. Is 31 < i?
False
Let j = 2/39 + 31/156. Let u = -88 + 59. Let s = -28.9 - u. Is s less than or equal to j?
True
Let l(o) be the third derivative of o**4/24 - 5*o**3/6 - 4*o**2. Let z be l(-9). Let f = -54 - -41. Is z at least f?
False
Suppose -60*l + 57*l - 12 = 0. Let x be (-6)/2 + 5/(-5). Are l and x nonequal?
False
Let j = 14 + 70. Suppose -4*m - 2*m + j = 0. Is m greater than or equal to 13?
True
Let r be 58/6 + (-50)/5. Is r at most as big as 12?
True
Let w be ((-4)/72 + 0)/(8/(-3)). Which is smaller: w or 1?
w
Let r = 5/183 + 341/915. Is 359 >= r?
True
Let v = -45 + 49. Let c be v*3*2/(-12). Let k = -13/2 + 5. Are c and k equal?
False
Let y = -99 - -111. Is y bigger than -1/5?
True
Let o = -1075 + 78477/73. Let n = -537 - -537. Is o at most n?
False
Let r be 19/2 + (-40)/16. Is 43/6 greater than or equal to r?
True
Let x be ((-406)/(-141))/((-4)/1674). Let s = x + 1205. Which is smaller: s or 1?
s
Let t = 254 - 2797/11. Let d(f) = -f**3 - 3*f**2 - 2*f - 1. Let x = -17 + 15. Let i be d(x). Which is smaller: t or i?
i
Suppose 13*a - 19 = -84. Suppose -3*t - 3 = 2*i, -4*i - t = t + 18. Is i greater than or equal to a?
False
Let c be (-27)/36 + 170/184. Which is greater: 0 or c?
c
Let m = 31.1 - 35. Let b = 9.9 + m. Which is smaller: -3 or b?
-3
Let s be ((-1)/(-17))/(343/14). Let m = s - 30831/4165. Is -6 greater than or equal to m?
True
Let q be (-14)/(-10) - 1 - (-88)/5. Suppose -n + a - 1 + 6 = 0, q = 2*n - 4*a. Which is bigger: n or -1/57?
n
Suppose 6*a = 17*a - 22. Suppose -w = -a*o + 12, -3*o - 3*w = -0*w - 9. Is o greater than 6?
False
Suppose 22 = 5*r + 2, 2*r - 78 = 5*s. Which is bigger: s or 0?
0
Suppose -30 = -6*y + 11*y. Let l(q) = q + 15. Let n be l(-10). Suppose 0 = 2*m - 3*s + n*s, 4*m - 3*s + 35 = 0. Is y less than or equal to m?
True
Let o = 164/7 + -160/7. Is o less than -34?
False
Let w(u) be the third derivative of -u**6/180 - u**5/120 - u**3/3 + u**2. Let v(d) be the first derivative of w(d). Let x be v(1). Is 0 not equal to x?
True
Let g = 16485140/64479 - 3/21493. Let p = 260 - g. Does 0 = p?
False
Let w = 542 - 226. Suppose 2*p = -4*m + 5*p + 1279, -2*p - w = -m. Let n be 131/m + 36/(-84). Are n and -1 unequal?
True
Let s be 6/16*(48/(-9))/8. Which is smaller: -2/375 or s?
s
Let f be 40/6*(-1)/((-16)/12). Let z(u) = u + 3. Let x be z(-8). Let i = x - -3. Is f at most i?
False
Let k(u) = 38*u - 74. Let a be k(-9). Is a at least -416?
True
Let l(i) = -5*i**2 + 44*i - 47. Let g be l(8). Let z = 34 - 51. Which is greater: z or g?
g
Let f(o) = o + 3. Let c be f(-5). Let t be c/3 - (-44)/36. Do t and 2 have the same value?
False
Let s = 76434/49 - 1560. Which is greater: 0 or s?
0
Let f(n) = 4 + 7 + n - 26. Let p be f(15). Which is smaller: p or 1/45?
p
Suppose 0 = 2*q - 6 - 8. Let f(z) = -2 - 3 + z - 6 + 1. Let i be f(q). Which is bigger: i or -5/3?
-5/3
Let d = -44/29 + 11631/7685. Is d at most as big as 0?
True
Let v(j) = -8*j**2 + 1. Let l be v(1). Let z = l - -5. Let x be (-23)/14 + (-1)/(-2). Which is greater: z or x?
x
Suppose -3*y = y + 360. Let t = 126 + y. Let k be 4/18 - 116/t. Is k at least as big as 1?
False
Suppose 127 = -l + 58. Which is greater: l or -68?
-68
Let r = 0.1 - 1.1. Let h(p) = -p**2 - 7*p - 7. Let w be h(-7). Is w < r?
True
Let x = -51 + 68. Which is smaller: -3 or x?
-3
Suppose -12 + 48 = -3*f. Let i = f + 17. Suppose 8 - 3 = -i*g. Which is smaller: g or 3/10?
g
Let l be 2 + -2 - (1 - 3). Suppose l*q + 8 = -14. Which is smaller: -10 or q?
q
Suppose 3*u - 7 = -3*a - 2*a, -5*u - 3 = a. Which is smaller: u or 4?
u
Let r = -80 - -327/4. Let k = 17 - 12. Let x = k + -6. Do r and x have the same value?
False
Let j = 18698/501 - -2/167. Is -1 greater than j?
False
Let t = -1091 + 1091.0677. Which is bigger: -1 or t?
t
Let z be (-1)/(-3) + 1/(-3). Let k be z*(2 + -6 + 3). Suppose 0*f - 5*r - 15 = 2*f, f - 2*r - 15 = k. Which is greater: f or 1?
f
Let s be 3/(-9) + (-26)/(-6). Suppose 9 = s*y - v + 4*v, -5*y = -v + 3. Is y != 8/13?
True
Let p = 1642 - 1641.99. Which is bigger: -152 or p?
p
Let r = 0.1905 - -0.0095. Which is smaller: -0.185 or r?
-0.185
Let l = 0.48 - -1.94. Let g = -11.02 + 11.1. Let j = g + l. Which is greater: j or -1?
j
Suppose 0 = n + 3*a - 242 - 1, -2*a = 6. Let g be n/(-18)*(-1)/3. Is 2 greater than or equal to g?
False
Let c = 254 - 509/2. Which is greater: c or 6.74?
6.74
Let k = -200.27 + 200. Which is smaller: 3 or k?
k
Suppose -4*q - 4*r = 24, 2*r + 3 = 2*q + 15. Suppose -22 = 5*x + 53. Let k = x - q. Which is greater: -10 or k?
k
Let v be 318/(-583) + 780/(-22). Is v >= 0.3?
False
Let g = 2 - -20. Suppose -p = 3*r + g, -r - 3*p + 2*p = 10. Is r >= -11?
True
Let g = -7 - -9. Suppose y - 126 = -g*y. Let a be 4/(-14) - 282/y. Is a at least as big as -8?
True
Let i = -787 - -810. Is i at most 22?
False
Suppose -h + 4*w - 422 = 0, 3*h + 3*w + 296 = -940. Let y be 16/72 + 110/h. Which is bigger: -2 or y?
y
Let d be ((-10)/(-4))/((-133)/14 - -10). Which is greater: d or -5?
d
Let f = 46 - 367/8. Let h(x) = -x**3 + 16*x**2 - 14*x + 41. Let y be h(15). Suppose 7 = -49*u + y*u. Which is bigger: u or f?
u
Suppose -2*g - 31 = -4*g - 3*l, -12 = 4*l. Is 21 < g?
False
Suppose -2*k + 0*m - 5*m - 4 = 0, 0 = 2*k + 4*m + 2. Let u be (8/k)/4*3*-5. Is u at least as big as -35/4?
False
Let t = -43.2 + 43. Let x = t - -0.3. Is 12 at most as big as x?
False
Let q be -6 + 2 + -9 + 13. Which is smaller: 1/8 or q?
q
Let k = -808 + 805. Which is smaller: 54 or k?
k
Suppose -h - 15 = -5*z, z + 3*h + 5 = -4*z. Suppose 8*m = 5*m. Suppose z*o - 1 - 9 = m. Is o greater than 5?
False
Let i be (0*(-1)/3)/(-1). Let m be (-486)/(-14) - (-4)/14. Let g be (-8)/(-10)*m/266. Is i less than g?
True
Let t be 2/(-6) - (-26)/6. Let q be (2 - 4)/t*-2. Let f(r) = -3*r**2 - 96*r + 317. Let x be f(-35). Does q = x?
False
Let f be -1*183/21 - (-6)/(-21). Let i be -2 + (-52)/(-28) - f/(-7). Is -1 <= i?
False
Let h(w) = 3*w**2 + 4*w + 10. Let q be h(-2). Let s be (5 + (-2385)/475)*(-10)/q. Do s and -1 have different values?
True
Let p = 11.06 - 4.97. Let t = -14 - -20. Let q = t - p. Which is greater: q or -2/5?
q
Let n = 3 - -1. Let a be 0/(6/4*(-32)/(-24)). Suppose a*v + 4*v + 2 = 2*p, 5*v = 5*p. Which is smaller: p or n?
p
Let x be -2 - 1 - -2 - 108/(-102). Which is bigger: 2/3 or x?
2/3
Let u(c) = -4*c + 8. Let a be u(-12). Suppose 54*q = a*q - 8. Which is smaller: q or -2?
-2
Let f be 7/(-14)*4/(-1). Suppose -5*r - 10 = -f*r - 4*n, -n = -5*r + 6. Which is bigger: 0 or r?
r
Let s be (1 - -8)*(-2)/(-4). Let n = -138 - -142. Suppose -j - n + 9 = 0. Is s bigger than j?
False
Suppose 0 = -4*q - 4*h - 100, q - h = 2*h - 5. Suppose 2*t - 48