 greater: u or 8?
u
Let c = 20 + -139. Does c = 1?
False
Let n(d) = -2*d - 27. Let o be n(-14). Let k be (-13)/91 - o*-1. Is 2 at most as big as k?
False
Suppose 2 = -2*t + 3*t. Let x be 2/(-8) - (t - (-71)/4). Which is greater: -18 or x?
-18
Let p = -1.43 + 10.33. Let t = -9.03 + 0.03. Let r = p + t. Which is greater: r or -2?
r
Suppose 3*w - 5 - 1 = -3*c, -3*c = w + 2. Suppose 4*f + 34 = 2*b, 0*f - b - 25 = w*f. Are f and -4 unequal?
True
Let q be (6 + (-3544)/590)/((-161)/35). Which is greater: q or 1?
1
Let u = 1/760 - -48631/6840. Is u at least as big as 6?
True
Let s = 103/510 - -5/51. Which is smaller: 2 or s?
s
Let x(w) = w**2 - w - 58. Let k be x(-7). Let a = 16 + -8. Let n be 189/(-980) - k/a. Which is greater: n or 0?
n
Let l be (1/(-2)*-5)/(28/48). Let q = 757/175 - l. Which is bigger: 0 or q?
q
Let m(i) = -i**2 - 37*i + 115. Let w be m(-37). Is 112 > w?
False
Suppose 4*c + 2 = -2. Let l = -10 - -20. Let v be l/(-12) - (-1)/2. Do c and v have different values?
True
Let r = 30 - 72. Let v be ((-42)/(-63))/((-2)/r). Suppose 3*y + y - 5*k = 22, 3*y - 5*k - v = 0. Is y less than 0.1?
False
Let j = 49 - 45. Let c be j/16 - 235/140. Which is smaller: c or 0.1?
c
Let q be (84/(2 + -8))/(3 - 4). Do q and -7 have the same value?
False
Let m be (-7)/(-14)*((-3)/6 + 0). Is m greater than -34/7?
True
Let d be 1262/840 - (-15)/(-10). Which is smaller: d or 0?
0
Suppose i + 9 = 4*i. Suppose -2*c + 8 = -5*t + t, -t = -3*c - i. Let l = -2/29 + -83/58. Which is smaller: c or l?
c
Let t(y) be the second derivative of y**4/12 + 5*y**3/6 + 2*y**2 + y. Let i be t(-4). Suppose -968 + 150 = 756*l - 62. Is l at most i?
True
Let j(p) = p**3 + 7*p**2 + 6*p + 1. Let u be (5 - 12) + 0/2 + 1. Let v be j(u). Is -1/10 greater than v?
False
Suppose -2*k = -2736 + 5502. Is -1383 > k?
False
Let j(h) = 6*h - 3. Let z be j(-2). Let b be (z - -4 - -1) + 4. Which is greater: b or -5?
-5
Let q be ((-51)/(-4))/((-441)/168). Which is greater: q or -5?
q
Let k(h) = -h**3 + 9*h**2 + 2*h - 12. Let x be k(9). Let n(s) = s + 2. Let g be n(x). Which is greater: 0.1 or g?
g
Let s(t) = t - 1. Let f be s(-1). Let b be ((-2)/(-4))/(f/(-4)). Is b not equal to -2/377?
True
Let z(s) = 8*s + 4. Let p(c) = -4*c - 2. Let f(a) = 11*p(a) + 6*z(a). Let h be f(1). Suppose -3*t = -h*t - 4*w - 12, 2*w = 0. Which is smaller: -7 or t?
-7
Let u = -4/7 - -1/14. Suppose 3*i - 3 = 4*p - 14, 4*p + 3*i = -19. Is p equal to u?
False
Let o(l) = l - 5. Let z be o(-2). Let d = -4 - z. Is d equal to 0?
False
Let d = -51 - -65. Is 14 less than d?
False
Let x(s) = -9*s**3 + s**2 - 3*s + 1. Suppose -3*d + r = -0*d - 6, 5*r = -5*d - 10. Let g be x(d). Do -11 and g have the same value?
False
Let b = -308.9 + 360. Let p = -51 + b. Which is smaller: -6 or p?
-6
Let p be -5 + -4 + 4 + 5. Do p and 2/159 have the same value?
False
Let l(b) = -175*b - 689. Let s be l(-8). Is 711 equal to s?
True
Let r(o) = -2*o - 9. Let l be r(-6). Suppose 0*w = w + 67. Let v = w + 72. Which is smaller: v or l?
l
Let h(t) = -t**2 - 18*t - 25. Let m be h(-11). Let y = 209/4 - m. Do 3 and y have different values?
True
Let h be (-129)/(-1935) + 52/(-105). Which is bigger: -4/23 or h?
-4/23
Suppose -15*y = -16*y + 4. Let r be (-57)/95*y/(-6). Is r less than 2/7?
False
Let r = 52 - -52. Let c = -101 + r. Is 0.3 greater than or equal to c?
False
Let l be 400/280 - 3/7. Let y = 27/4 - 323/52. Is l bigger than y?
True
Let y = 26.81 + -27. Let t = 1.19 + y. Let l = -1 - -2. Is t at most l?
True
Suppose 2*h = -0*h + 64. Let x = h - 13. Is 20 less than or equal to x?
False
Suppose -121*q = -118*q - 3. Is -9/25 smaller than q?
True
Suppose 4*l = -5*h - 220, -4*l = -13 + 33. Which is smaller: -43 or h?
-43
Suppose 4*d + 2 - 5 = w, 2*d = 2*w. Is -73 >= d?
False
Let l(q) = -2*q - 6 + 13 + 2 - 4. Let y be l(-5). Let z = y - 5. Are z and 10 nonequal?
False
Let h be -1*((5 - 7) + 2). Suppose 2*g + 117 = m, 3*g - 4*m + 99 + 79 = h. Is -58 > g?
False
Let v be (-16)/(-4 - 3 - -4). Suppose 4 = -2*n + 4*u, -3*n - 4*u = -28 - 6. Which is bigger: v or n?
n
Let l = 594.1 + -245.1. Is l at least as big as -2/11?
True
Suppose 0 = s - h - 2, s + 3 = 6*s + 2*h. Let b(g) be the third derivative of g**4/12 - 11*g**3/6 + 7*g**2. Let o be b(6). Is o at most s?
True
Let l be (-2)/(-8) - 644/2128. Let w be (-6)/(-4)*(-4)/(-6). Suppose -f + w = 2*x - 0, -6 = -3*x + 3*f. Is x bigger than l?
True
Suppose 0 = -4*t - t + 4*b - 1, 3*t = -3*b - 6. Let a be 1 + (-1 - 1) + 3. Let m be a/(-6) + 3/(-9). Does t = m?
False
Let w = -47.2 + 0.2. Let h = -46 - w. Is 4 > h?
True
Suppose -155 = 26*h - 21*h. Is h not equal to -3?
True
Suppose -3*w = -p + 7, -5*p + 5*w + 7 = -8. Which is smaller: p or -1/114?
-1/114
Let g = -195.3 - -1009.3. Which is smaller: -0.1 or g?
-0.1
Suppose -60*d + 63*d = 15. Let f(u) = -u**3 - 4*u**2 + u - 4. Let t be f(-5). Is t <= d?
False
Let w(d) = 16*d - 993. Let b be w(53). Is 1 at least b?
True
Suppose 3*h = 2*z + 7*h + 22, 5*h = -2*z - 22. Let w be (-8)/16 - z/(-2). Is -16/3 != w?
True
Let i be 384/(-70) + 4/14. Let s = -613 - -613.1. Are i and s nonequal?
True
Let d be (-2390)/630 - (8/(-14) + 1). Is -5 at least d?
False
Let w be (-256)/18 + (-4)/(-18). Let i(l) = l + 15. Let n be i(w). Let c be 1/(-3) + (-272)/(-384). Which is bigger: n or c?
n
Let m = 89 + -83. Suppose 3*y + m - 3 = -x, 5*y + 5*x + 15 = 0. Are 2/37 and y equal?
False
Suppose 16 = -4*w + 4*p, 31 = -2*w - 2*w - p. Let x be 7*(-1)/(w/26). Suppose 3*t - 7 = x. Which is bigger: 12 or t?
12
Let j(s) = s**3 - s**2 - 6*s + 2. Let r be j(3). Suppose -r*p + 3 = 4*g - 11, 2*p - 38 = 2*g. Which is smaller: p or 14?
14
Let x be 39/26 - 1/2. Which is bigger: 2/995 or x?
x
Let q = -43 - -27.5. Let g = -14 - q. Let b = g - 1.7. Is -3/4 >= b?
False
Let q = 3.01 + -5.01. Are q and -27 non-equal?
True
Suppose -48*d + 50*d + 275 = 3*r, 2*d + 368 = 4*r. Does r = 90?
False
Let h = 158.7 + -159. Which is smaller: 11/13 or h?
h
Let x = -84 - -92. Are 8 and x non-equal?
False
Suppose 0 = -17*c - 74 - 79. Are c and -4 non-equal?
True
Let s = 6 - -6. Let k = -10 + s. Let r = -1.96 + k. Does -2 = r?
False
Let h(u) = u**2 - 29*u - 20. Let r be h(23). Is r equal to -788/5?
False
Let i = 8 - -12. Let s = i + -22. Is 5 at least s?
True
Let t be 5/2*2*(-14)/245. Is 189 less than t?
False
Let b = -339 + 469. Is b not equal to 129?
True
Let d = -1613 - -111299/69. Which is smaller: -7 or d?
-7
Let x(m) = -m**3 + 4*m**2 + 6*m - 6. Let g(f) = -f**2 - 8*f - 2. Let n be g(-7). Let i be x(n). Let q be 3*1/(-3)*1. Is i less than q?
False
Let d be 3/6 + 23*3/(-6). Let k = d - -13. Suppose -6 = -3*f - 0. Do k and f have the same value?
True
Let y be (3*1/4)/((-125961)/968). Which is smaller: y or 0?
y
Let v = 0 + 0. Let i = 92/7 - 2102/161. Do i and v have the same value?
False
Let t(l) = -l. Let n be t(3). Let d be 35 + n*(-1)/3. Let p be (d/16)/((-1)/4). Is -2/7 not equal to p?
True
Suppose 0 = -3*z - 40*z - 1290. Is z equal to -34?
False
Let n = 14 - 17. Let k be 4/(-12)*n*0. Suppose k = -h + 2 - 4. Is -3 at least as big as h?
False
Let r = 630 - 650. Is r >= -26?
True
Let g be 2/14 + 936/(-35). Which is greater: g or -28?
g
Let w = 78 + -75. Suppose -w*d = 2*d + 40. Is -1 greater than d?
True
Let r = 13 + -7. Let q(y) = -y**2 - 7*y. Let c be q(-6). Is c not equal to r?
False
Let v = -12 - -31. Suppose 2*y = -0*y - 2*b + 8, 0 = 4*y + 3*b - v. Suppose y*k + 27 = 4*k. Which is greater: k or -8?
-8
Let n = 0.1 + -0.1. Let z be 82/(-369) + (-512)/(-1008). Is n at least as big as z?
False
Let s be 4/(-690)*-58 + (-2)/6. Is 0 at most as big as s?
True
Let t be (-545)/(-30) - 2/2. Let q = t + -52/3. Is -2/5 less than q?
True
Let u = -76 + 74. Let h be 2/(6 - 2) + 1 + u. Is 27 at least h?
True
Let q = -1592.9 - -1593. Which is smaller: -915 or q?
-915
Suppose -2*a - 3*a = 5. Suppose 0 = -2*l + l + o - 2, -4*o = -20. Let v be ((-530)/(-36))/5 - l. Is a greater than v?
False
Let h = -2282 - -2280. Let b = -0.3 + 0.8. Let c = 1 - b. Which is greater: h or c?
c
Let b(v) = -v**2 + 19*v - 49. Let r be b(16). Is 127 less than r?
False
Let i = -1.16 + -19.04. Let z = 20 + i. Is -0.09 >= z?
True
Let o be (4/8)/((-3)/(7 + -1)). Is -2/779 < o?
False
Let t = -2985 - -26951/9. Which is smaller: 11 or t?
t
Let f(b) = 4*b - 45. Let k be f(12