-4*n + w + 74 = 0. Is 19 bigger than n?
False
Let y = -12 + 37/3. Let q = -0.3 + 6.3. Let b = 4 - q. Which is greater: b or y?
y
Let u be (-3 - 3)*5729/(-102). Do 336 and u have the same value?
False
Let w = 0.2 - -0.8. Let t = 1 - -2. Suppose 4*i = 8, 0*q - 3*i = -t*q. Which is greater: q or w?
q
Let w = -22 - -24. Suppose -6*i = -w*i - 56. Suppose -i = -2*r - 4*n - 0*n, 3*r + 11 = 2*n. Is r greater than or equal to -2/13?
False
Let i = 2/151 - -143/604. Let k = -0.04 - -0.18. Which is smaller: i or k?
k
Let c = 33 - 16. Let k = c - 12. Is k at least 19/5?
True
Suppose 18*h - 8 = 14*h, 5*s - 3*h = 419. Is 86 less than or equal to s?
False
Suppose d + 17 = 81. Suppose -12*c + 8*c = d. Which is smaller: 2/5 or c?
c
Suppose 4*t + 3 = -3*q, t + 3*q + 9 = -t. Suppose 14*g - 317 - 565 = 0. Let j = g - 61. Is t less than or equal to j?
False
Let m be 4/(-28) + 12/(-14). Let h be -1*(5 + -2 - 220/65). Which is greater: m or h?
h
Let k = 3727/22 + 375/11. Which is greater: 205 or k?
205
Let d = 0.817 + -0.017. Let b = d - 40.8. Is 2/3 <= b?
False
Let y = -631 + 635. Which is greater: -16/9 or y?
y
Let g be 4/10 - (-221)/85. Suppose 0 = 3*q - g*p - 156, 124 = 2*q - 3*p + 15. Let r be (3/q)/(6/4). Is r at most as big as 0?
False
Let h(w) = -6*w + 8. Let p be h(8). Let g be (-6)/14 + p/70. Is g at least -5?
True
Let l = 17.4 - 18.3. Which is bigger: l or 10?
10
Let v = -2.7 + 3. Let x = 299 - 321.9. Let b = -23 - x. Is b smaller than v?
True
Let h(w) = w**2 - 28*w - 32. Let i be h(31). Is 49 at least as big as i?
False
Let g = 3/1577 - -409/3154. Is g less than 0?
False
Let i be (-94)/47 + 124*4. Are i and 1 nonequal?
True
Suppose 6*s + 18*s = 1008. Is 44 at least s?
True
Let f(u) = -u**3 + 11*u**2 + 15*u - 6. Let i be f(12). Let t = i - 24. Let m be (-1)/t - (-76)/168. Which is bigger: m or 1?
1
Suppose h - 2*n - 3*n = 23, -2*n = -3*h + 30. Let g = 0.13051 - -0.36949. Is g less than or equal to h?
True
Let h = -66 - -122. Suppose -2*m - 2*m = -h. Let z be (-2 - -1) + m/10. Which is greater: z or 3/7?
3/7
Let p = -10 - -13. Suppose -2*d = 5 - 1. Which is smaller: p or d?
d
Suppose -14*a + 19*a = 10. Suppose 9 = 2*f - 5*w, 0 = -a*f + w - 1 - 2. Is 2 >= f?
True
Let y = 169/2 + -89. Are y and -6 equal?
False
Let u(f) = -f**2 - 10*f - 3. Let j be u(-9). Suppose -5*t + 15 = -4*h - j, t = -2*h - 7. Is 1/14 < t?
True
Let f = -7.4 + 7. Is f at least 0.6?
False
Let a = -3 + 4. Let k = 12 + -10. Suppose -4*s - y + 10 = 0, 4*y = 3*s + 2*y - k. Is a less than s?
True
Let i = -368 - -372. Let x(f) = 3*f**2 - 3*f - 2. Let a be x(-2). Let b be ((-3)/(-44))/(i/a). Is 0 greater than or equal to b?
False
Let p(v) = v**2 + 5*v - 6. Let i be p(-6). Let a(m) = -6*m - 7. Let d be a(-2). Suppose 2*u + 3*u = -w + 21, 2*w - d*u + 33 = 0. Which is greater: w or i?
i
Suppose 5*r + 2*i - 90 = 0, 6*i - 4*i = -r + 26. Suppose -6*o + 7*o = -r. Is o at most as big as -16?
True
Suppose -2*h + 0*h = 0. Let g = 11 + h. Let y = -7 + g. Are y and 5 nonequal?
True
Suppose -2*w + 0*w + 2*r + 22 = 0, r - 16 = -2*w. Let o be (3 - 24/w)*6. Let t = 27/13 + -178/117. Are t and o unequal?
True
Let i(o) = 2*o - 16. Let j be i(6). Let w be (0 - 10)*j/(-28). Which is smaller: 0.1 or w?
w
Suppose 34*t = -6 - 334. Do -25 and t have different values?
True
Let z = -880 - -690. Which is greater: z or -757/4?
-757/4
Let r = -303 + 292. Which is smaller: -7 or r?
r
Let h = 3.95 + 0.35. Let v = 540 + -542.3. Let d = v + h. Is -7 bigger than d?
False
Suppose 0*q - 20 = 4*q. Let r(o) = o**2 + 5*o + 4. Let i be r(q). Suppose -3*c = -i*c + 7. Is 3 < c?
True
Suppose 4 = -j, -2*h = -3*j - 44 - 0. Suppose 2*z - 14 = -h. Which is smaller: z or -4?
-4
Let p(u) = 16*u**2 + 112*u + 544. Let a be p(-5). Is a < 383?
False
Let l = -883 - -2647/3. Which is smaller: l or -79?
-79
Suppose -3*o - 3*q + 15 = 0, -21*q + 18*q + 15 = 0. Do o and 28/13 have the same value?
False
Suppose 8*w = 168 - 616. Is -57 less than or equal to w?
True
Let t be (-9)/(-12) - (-165)/20. Suppose -2*r + 2*o - 6 = 0, t - 2 = -5*r + o. Which is smaller: -2/63 or r?
r
Let o = 7.66 - -0.14. Let b = 0.8 - o. Is b greater than or equal to 0?
False
Let x = -1 - 8. Let h(r) = 2*r - 12. Let m be h(9). Let q = m + x. Is -2 >= q?
True
Suppose 0 = -5*m + 2*x - 23, 4*m + 5 = -5*x + 13. Is 12 != m?
True
Suppose 3*v - 22 + 25 = 0. Let g be -33 - -33 - (1 + v + -22). Is 22 at least as big as g?
True
Let m be (-54)/(-7065)*655 - (-10)/(-2). Which is bigger: m or 0?
m
Let s(y) = y**3 + 6*y**2 - 16*y - 1. Let j be s(-8). Let r(o) = o + 3. Let h be r(-3). Let k be (-6)/(-8) - (h - -1). Is j < k?
True
Let u(n) = n**3 - 9*n**2 - 15*n + 12. Let s be u(10). Let x = -35 - s. Suppose -3*q + 0*z + 51 = -3*z, q + x*z = 25. Is 17 smaller than q?
True
Let w(r) = 6*r - 38. Let j be w(7). Let l be (1/(-12))/(-1*j/(-6)). Which is smaller: l or -1?
-1
Suppose 25*f + 551 = -99. Is -27 at most as big as f?
True
Let w be 8/3*300/(-8). Let g be 3 + -1 + w/48. Which is smaller: -1 or g?
-1
Suppose 157 - 382 = 15*n. Which is smaller: -28 or n?
-28
Let o(j) = -5*j + 1 + 23 + 0*j. Let k be o(8). Is -16 at least as big as k?
True
Suppose 4*u = 6*u - 88. Let f = 62 - u. Let y = -19 + f. Which is greater: -3/13 or y?
-3/13
Let p = 249 + -249. Let d = -0.3 + -0.5. Is p less than d?
False
Let y be (-2)/(-6*(-4)/(-2064)). Is 173 <= y?
False
Let f be 1/(2*1/(-6)). Let a = 44 - 47. Let d = f - a. Which is smaller: 1/9 or d?
d
Let j = 55 + -24. Suppose 0 = 19*u - 4 + 4. Suppose -5*c - j + 6 = u. Is -6 not equal to c?
True
Let r = 25 - 50. Let c = r + 26. Which is bigger: c or 2/151?
c
Let d = -1.53 + 0.03. Let u = -43 + 41.57. Let o = u - d. Which is bigger: 1 or o?
1
Suppose -j - 3*l = -106, -3*j + 227 = -2*l - 58. Suppose 0 = 3*t + 50 + j. Is t equal to -48?
False
Let v = 0.04 - 43.04. Let c = v - -42.9. Is c less than -9?
False
Let k be 22 + -7 + 14/8*4. Is k equal to 0?
False
Let y be (-56)/(-12)*3/(-1). Let p be 4/28 - 54/y. Suppose 2*n = -z - 0*n + 7, -z = -n - p. Is z greater than 5?
False
Let m be (-10)/40 - (-10)/8. Let h be (-205)/(-25) + m/(-5). Let p = -7 + h. Which is smaller: p or 0?
0
Let x be ((-1)/1)/((-2)/(-12)). Let k(h) be the second derivative of h**3/6 - 2*h**2 + 14*h. Let u be k(2). Which is greater: u or x?
u
Let s be ((-4428)/1110 - -4)*10/12. Do -1 and s have the same value?
False
Let f = 24 + -86. Let l = -58 - f. Is l > 0?
True
Suppose 5*j - 100 = -3*t, 5*t - 5*j = -3*j + 115. Suppose -t = 6*k - 1. Is k at most as big as -2?
True
Let h = 6 + 1. Let q be (10 - 240/20) + 11 + 0. Is q at least h?
True
Suppose -4*o + 519 = -13. Which is smaller: o or -1?
-1
Let n = -51 + 51.057. Which is smaller: n or 1?
n
Let h = 736 - 744. Which is smaller: h or 4?
h
Let i(u) = 4*u**3 + 19*u**2 + 8*u + 10. Let z be i(-3). Is 45 at most z?
True
Suppose 4*o = -c - o - 5, -o - 27 = -5*c. Suppose c = -i, 2*h + 40 + 20 = 4*i. Which is smaller: -38 or h?
h
Let t = 202/473 + -34/43. Let j = 4 + -4. Which is bigger: t or j?
j
Let z be (-111)/296 + 3/8. Let j be ((-2014)/6)/((-1826)/(-3)). Let p = j + 1/166. Do z and p have the same value?
False
Let f = 0.09 + -0.47. Let m = f - -0.48. Which is smaller: -0.28 or m?
-0.28
Suppose -5*b + 2 + 7 = 2*p, -5*b + 11 = 3*p. Suppose p*v - 7*v = -5. Let o be (-3 + (2 - 0))/v. Is o less than or equal to 2/79?
True
Let f = -2/2731 + 204847/30041. Let j = f + -3353/495. Is 1 smaller than j?
False
Let r be (44/(-12) + 2)/((-2)/6). Suppose s = 5*s - 5*n - 41, -s = -2*n - 14. Suppose h + r = c, 0 = -s*c + c - 4*h - 13. Which is greater: -2/71 or c?
c
Let n be 4/18*(-1)/1. Let x be 2 - (-27)/(-3) - -4. Let k be 2/x + (-198)/(-54). Does k = n?
False
Let s = 618 - 627. Is s smaller than 7?
True
Let d = 25 + 24. Is 45 > d?
False
Suppose -p + 17 = -i, 4*i - 7*p + 53 = -8*p. Is i > -23?
True
Let i be (13 + -13)/((-5)/(15/(-9))). Which is smaller: -4/743 or i?
-4/743
Suppose 459*h = 458*h + 1. Which is bigger: h or -4/237?
h
Let q be (7 + -6)/(2/(-168)). Let s be (-3)/12 - (-51)/q. Which is bigger: s or 1/4?
1/4
Let j = 33/19 + -410/247. Are j and -1 nonequal?
True
Let w(x) = x**2 - 11*x + 10. Let l be w(-3). Is 48 greater than or equal to l?
False
Let k = -73 - -99. Let a = k + -26. Is 2/13 at most a?
False
Suppose -2*u + 4*u - 3*f - 1 = 0, -3*u - 5 = 2*f. Let h be 