11 < c?
True
Let v(u) = 2*u**2 + 2*u + 3. Let i be v(-2). Let d be 4 + i/(420/(-208)). Do 2 and d have different values?
True
Let l = 2.504 + -0.004. Let i = 4 + -4.5. Let p = l + i. Which is bigger: p or 1/4?
p
Let g = -5 - -7. Suppose 6*d - 20 = g*d. Suppose 0 = -2*c - d - 5. Is c bigger than -4?
False
Let a be (-3*(-2)/(-6))/((-2104)/(-16)). Do a and 0 have different values?
True
Let i = -375 + 351. Which is greater: i or -20?
-20
Let q = -31/92 - -1/276. Let l = 5 - 3.2. Are q and l nonequal?
True
Let y = 1.03 + -9.03. Let c be 6/(-8)*2/9. Is y >= c?
False
Let t(j) = -j**2 - 14*j - 23. Let i be t(-12). Let y = -168/17 - -10. Which is bigger: i or y?
i
Suppose 5*i + 392 = 4*u, 3*i + u - 5*u = -232. Let k be (45/i)/(-1*(-9)/(-6)). Which is greater: 1 or k?
1
Let a(p) = 3*p**2 + 4*p + 3. Let i be a(-3). Let t be 1/3*i/28. Let v(q) = -q**3 - 23*q**2 + 47*q - 74. Let g be v(-25). Which is bigger: t or g?
g
Let w = 890/2231 + 55985177/15617. Let s = w - 3452. Let f = -133 + s. Is -1 less than f?
True
Let y = 187/3525 - 476881/98700. Let m = 19/4 + y. Which is greater: 0 or m?
0
Let m be (28/(-8) - -3)*-10. Suppose m*d - 7 + 2 = 0. Are -2/13 and d nonequal?
True
Suppose 5*a = 10, l + 3*a - a = -13. Suppose -4*f = 30 - 42. Is f less than or equal to l?
False
Let f(b) = -2*b + 3. Let z be f(0). Suppose 7*t - z*t - 16 = 0. Is 4 bigger than t?
False
Suppose 0 = 2*c + c + 3*a + 18, a + 1 = 0. Let l = 5 + -4. Let m = c - l. Does -3 = m?
False
Let k be (-4)/(-18) - (0 - 100/36). Suppose 6 = k*t - 3*z - 9, 0 = -5*t - 5*z + 5. Is t <= 3?
True
Let m(x) = -x - 15. Let i be m(2). Is i less than -50?
False
Let m = 1/957072 - -72099187/226826064. Let n = m - -10/79. Suppose 2 = -2*s + 4. Is n < s?
True
Let k be (0 - 3)/(6/(-8)). Let j be k/(-24)*(-4)/(-15). Do -1 and j have the same value?
False
Let c = 547.8 + -548. Is 538 less than or equal to c?
False
Let x = 6 - 2. Suppose 4*c + 7*a = 4*a + 9, 5*c + x*a = 11. Suppose -r + c*y = -5*r + 7, 2*y = 2*r + 14. Is -6/7 greater than or equal to r?
True
Suppose -6*w = -2*w + j, -4*j + 12 = 4*w. Let q be ((-6)/5)/(2/10). Let x be (2 - -2)*q/(-56). Is x less than w?
False
Let w = -19086/205 + 466/5. Which is bigger: w or 0?
w
Suppose 25*u - 24 = 29*u. Let h be 18/12*u/(-9). Let r be 15/(-117) + (-2)/6. Which is smaller: h or r?
r
Let t be (-12)/(-3)*1 - 1. Suppose t*f - 4*f + 18 = 0. Let r = -17 + f. Are 1/29 and r equal?
False
Suppose -5*x + 5 = 4*c, -2*c + 5*x - 3*x - 2 = 0. Suppose 5*f + j - 319 = c, 2*f - 2*j = -f + 181. Which is smaller: f or 64?
f
Let s = -1/50 + 13/25. Let w(b) = -b. Let p(f) = 3. Let j(a) = -p(a) - w(a). Let v be j(5). Which is smaller: s or v?
s
Let h be 2/(-6)*(-33 + (6 - 6)). Which is greater: -22 or h?
h
Let g(w) = 6 + 0*w**2 + 8 - w**2 + 11*w + 0*w**2. Let a be g(12). Let d be 380/120 + 10/(-4). Which is smaller: d or a?
d
Suppose -44 = -c + 4*m, -5*c - 3*m = -253 + 79. Let a = 53 - c. Let u = 7 - a. Which is greater: 2/7 or u?
2/7
Suppose -3*t - 3*m + 8 = 2, -5*m = 3*t - 12. Does -1 = t?
True
Let w be (2 - 8 - -9) + -4. Is -30/113 at least w?
True
Let b = 1/41 - 47/246. Which is smaller: b or 5?
b
Let a = -276 + 316. Does 38 = a?
False
Suppose 48 = 2*y + 2*r, 2*y = -0*r - 3*r + 47. Which is smaller: y or 77/3?
y
Let d(k) = -k**3 + 11*k**2 + 2*k - 28. Let j = 6 - -5. Let c be d(j). Are -6 and c non-equal?
False
Let y(j) = -j**2 + 10*j - 5. Let m be y(9). Let l(d) = -d**2 - 2*d + 7. Let w be l(0). Let b = m - w. Which is greater: b or -5?
b
Let n be ((-6)/(-6))/(1/4). Suppose m + n*m = 0. Suppose m*h - 3*h - r = -7, -4*h + 11 = 3*r. Is 4/7 at least h?
False
Suppose -2*r + 7*r = 5. Let d be r*(6/(-9) + 0). Suppose 0 = 2*i + 5*y - 16, -4*i - 3 = -5*y + 25. Which is greater: i or d?
d
Let n = 27 - 23. Suppose 2*z = 5*g - 27, -4*z - n*g + 18 = -5*z. Are z and -6 equal?
True
Suppose 5*i + 4 = i. Let h = 15 + i. Let m = -13 + h. Which is greater: 2 or m?
2
Suppose 8*q - 17235 = -7*q. Let c = q - 5802/5. Which is smaller: c or -10?
c
Let q(c) = c**2 - 2*c - 3. Let j be (-432)/30 - 2/(-5). Let i = 17 + j. Let z be q(i). Which is greater: z or 1?
1
Let s be -4 + (-1 - 1/(-2)*6). Let h be 43/(-15) - 1/(-5). Is s != h?
True
Let h = -89 + 92. Let p = -9.04 - -9. Which is smaller: p or h?
p
Let b = 4/32151 - -6389569/68160120. Let x = b + -3/40. Which is smaller: x or 0?
0
Let b be 1/6*3 + 0. Let r be (-1)/(-6) - (-38)/(-57). Which is bigger: r or b?
b
Let k = 107 - 110. Which is smaller: k or -63?
-63
Let w be 8/(-16) - ((-4890)/(-4))/3. Let r be 6/(-15) + w/30. Is r < -15?
False
Let s = 19 - -17. Let y be ((-14658)/280)/(s/10). Let u = y + 79/6. Which is greater: u or 0?
0
Suppose 0 = 4*o - 5*o + 38*o. Let t = -0.3 - 3.7. Are o and t unequal?
True
Let m(c) = c**2 + 8*c - 6. Let s be m(-9). Let i(p) = p**s + 8*p**2 - 32 + 21 - 6*p - 4*p. Let w be i(-9). Which is smaller: -3/5 or w?
w
Let k = 7 - 13. Let d = -48 - -30. Let v be (4/6)/(k/d). Which is smaller: v or 1?
1
Suppose -c + i = 5, -6 = -7*c + 4*c - 4*i. Let t be ((-30 - 4) + -4)/c. Is 19 at most as big as t?
True
Let p be (-1 + 0)*1 + 2. Suppose -m = p - 10. Let o = -16 + m. Is -1 smaller than o?
False
Let v = -7347/3961 + 21/233. Let n = 9/29018 - 3729425/1973224. Let u = v - n. Which is smaller: u or 1?
u
Suppose -d + 5*m = 24, -60 = 6*d - d + 5*m. Let i be ((-16)/6)/(d/3). Which is greater: i or 1?
1
Let h(g) = -g**2 + 12*g + 161. Let a be h(19). Suppose -61 = -2*k - 3*r + 8*r, 4*k - 117 = 5*r. Is k at most a?
True
Suppose 0 = 2*w + 2 - 18. Suppose 4*d = -5*k - 90, -4*d + 2*k - 68 - w = 0. Is d at least as big as -20?
True
Let j be (-2 + 3 + -2)*(2 + -1). Let n = 57 - 6. Let o be (2/(-6))/(n/34). Is j less than or equal to o?
True
Let u be ((-112)/264)/((-2)/3). Which is smaller: u or 1?
u
Let i = -3200 + 3206. Are -0.88 and i nonequal?
True
Let b = 460 + -5068/11. Is b at most -0.2?
True
Suppose 14*k + 154 - 42 = 0. Let n = 21 - 30. Let p = n - k. Do -2 and p have different values?
True
Let d(u) = -3*u - 51. Let g = 21 + -37. Let m be d(g). Which is smaller: -30/7 or m?
-30/7
Let v be (-135)/(-36) - 6/8. Suppose 2*m - 70 = 4*h, h - 2*m = -28 + v. Let r be (-8)/h + 2/(-3). Which is bigger: -1 or r?
r
Let t(h) = -h**3 + 11*h**2 - 17*h + 27. Let s be t(9). Suppose 10 = 26*a + s. Let i = 2.4 + -2. Are i and a nonequal?
True
Suppose 5 = -4*x + r - 0*r, -3*r - 1 = 4*x. Let t be (-1 - 57/(-63))*x*3. Is -8/3 >= t?
False
Let h(s) = s**3 + 5*s**2 + 13*s + 15. Let a be h(-2). Which is greater: a or 3/100?
a
Let h be 0 - -3 - -3*76/(-144). Let m = h - 7/6. Are -38 and m nonequal?
True
Let n be 44/8 - 15/(6/2). Is 4/7 less than n?
False
Let l = -928 - -929. Which is bigger: l or 0.0353?
l
Suppose -30 = -p - 2. Let c = 29 - p. Is c at least as big as -1/15?
True
Let a = 5871673/274142 - 11676/733. Let d = -432 - -80786/187. Let q = d + a. Which is smaller: 6 or q?
q
Let q = -541 - -34081/63. Which is smaller: q or 0?
q
Suppose y = -3 + 5. Suppose -5*o + 6*o - 28 = 0. Suppose 5*h = -3 + o. Which is greater: y or h?
h
Let q be 8 + 6/((-6)/2). Let o be 5*(14/q - 2) - 1. Is o at least 11?
False
Let x be (10/(-3))/((-4)/(2*-6)). Let k be 0/(-3) + (-12)/x. Which is smaller: k or 2?
k
Let q(n) = 3*n - 5 - 2*n + 0*n - 5*n. Let t be q(4). Is -21 greater than or equal to t?
True
Let l be 9*11 - 12/(9 - 5). Let i = l + -97. Are i and -13 non-equal?
True
Suppose 2*f + 16 - 65 = d, 3*d = -4*f + 123. Suppose -4*p - 5*b = 13, b - 4*b - f = -4*p. Suppose 9 - 6 = p*c. Is 3/34 < c?
True
Let b = -907/732 - 2/183. Let v = 3/4 + b. Let p be 0*2/4*2. Is v < p?
True
Suppose 0 = q - 2 - 5. Suppose 3*m + 15 = -2*m. Let y(p) = 2*p**2 + 2*p - 4. Let n be y(m). Which is bigger: n or q?
n
Let i(l) = -6*l**2 + 220*l + 69. Let n be i(37). Which is greater: -9 or n?
n
Let x = -1360472/889 + -6833/127. Let a = 1576 + x. Which is smaller: -7 or a?
a
Let g be 1/(8585/(-925)) + 8/68. Do g and 0 have different values?
True
Let n = -43 - -37.2. Let u = n - -14. Let t = -8 + u. Is t < -0.5?
False
Suppose 61 = 12*a + 61. Is 3/17 != a?
True
Let i be ((-5)/(-5))/(1/(-3)). Let g be (-2)/3 - 255/(-27)*i. Are g and -29 nonequal?
False
Let n = 428 - 424. Do -4 and n have different values?
True
Suppose -4*g + 2*g = -12. Suppose g*u - 2*u + 2*z - 16 = 0, 0 = u - 2*z + 1. Suppose -2*c = u*c. Which 