 k be 35/14*16/50. Suppose -d + 4*d + 9 = 0. Let r be d/(1 - 15/6). Which is greater: k or r?
r
Let g = 8 + -2. Let c be 4/g - 116/(-42). Which is greater: c or 4?
4
Let x(r) be the third derivative of r**4/24 - 2*r**3 + r**2. Let u be x(10). Is -2/3 at least u?
True
Let p be 4/(16/84) - 4. Suppose 3*i + 27 = -3*z, -i - 8 = 5*z + p. Which is smaller: -2 or z?
z
Let t = 8.3 + -44.3. Let r = t - -26. Which is smaller: -0.1 or r?
r
Suppose 28*q + 136 = 24*q. Which is greater: -33 or q?
-33
Let w(t) = -t**3 + t**2 - t - 1. Let n be w(0). Let m = 0 - n. Which is smaller: -2/5 or m?
-2/5
Let g = 411 + -14797/36. Let a = g - 2/9. Let p be ((-1)/3)/(1/3). Which is smaller: a or p?
p
Let h(d) = -d**3 + 9*d**2 - 7*d - 11. Let r be h(8). Is -2 less than r?
False
Let g(p) = p + 15. Let w be g(3). Is 18 greater than or equal to w?
True
Let y be -1 - 1/(-2)*2. Suppose 3*i + y*i = -5*m, i = -4*m. Suppose i = s + 2*s - 9. Are s and 4 unequal?
True
Suppose -15 = -3*r - 0*r, -r = 3*b - 29. Are 9 and b nonequal?
True
Let m = -5 - -5. Let o be (0 - -1) + m - 3. Do o and -2 have the same value?
True
Let t(v) = -v**3 - 5*v**2 + 4. Let j be t(-5). Let w = j + 2. Let l(a) = -a**3 + 9*a**2 - 6*a - 9. Let m be l(8). Which is smaller: w or m?
w
Let k = 0.08 - -0.02. Let t(v) = v - 7. Let l be t(5). Is k equal to l?
False
Let y be (3 - -1) + -2 + 48 + -2. Is y at most as big as 48?
True
Let b = -2.9 - -3. Let d = -0.17 + 10.17. Let p = 8 - d. Is b less than p?
False
Let p = -271 + 11654/43. Is -1 < p?
True
Suppose 0*n + n = 0. Let k = -8 - -2. Let c be (5/45)/((-2)/k). Which is greater: c or n?
c
Let j = 538 + -3793/7. Is j at most as big as -4?
False
Let v = 214.06 + -214. Is 3 not equal to v?
True
Suppose 2*g = -3*t + 9 + 4, 18 = -2*t + 4*g. Is 1 smaller than t?
False
Let h = 12 + -12. Suppose -2*j + 10 = -3*j. Let z be ((-8)/(-12))/(j/(-6)). Is z smaller than h?
False
Let a(v) = -v**2 + 7*v - 9. Let h be a(6). Let l be 68/140 - (-5)/(-25). Which is bigger: l or h?
l
Let z be (-267)/(-4)*24/1701. Let v = z - 10/27. Suppose o + 3*y + 1 + 11 = 0, -3*o + 4*y + 16 = 0. Which is bigger: v or o?
v
Let v = 1 - 1. Let h(i) = 4*i + 8. Let k be h(10). Let z be 2/(-7) + k/70. Is v <= z?
True
Let m be 10/3 + 2/3. Let x be 9/6 + (-21)/(-6). Is m greater than x?
False
Let q = 3 - 2. Let x be q/2 + 136/16. Do 9 and x have the same value?
True
Let b be 3/(-2)*8 + 2. Let a be ((-38)/3)/(b/(-135)). Let v be 4/22 + a/33. Is -5 < v?
False
Suppose -13*v = -14*v - 8. Is v not equal to 1/3?
True
Suppose -5*j + 5*z + 56 + 39 = 0, 0 = 3*j + 3*z - 51. Suppose -4*d + 9*d = -2*o + j, -5*d + 26 = 4*o. Suppose -d*f = s + f - 2, 0 = 5*s + 5*f. Is s > 2?
False
Suppose 3*x + o + 9 = 0, o = -4*o - 15. Let m be (1 - 1)/(-3 - x). Which is greater: 3 or m?
3
Suppose -2*h + 4 = 3*k, 3*h - 6 + 0 = 4*k. Let t be 1/4 + (-15)/(-4). Are h and t non-equal?
True
Let l(f) = f**2 - 7*f + 6. Let w be l(2). Let x be (6/8)/(3/(-12)). Is x at least w?
True
Let q = 3.091 + -0.091. Let n = -11 - -7. Let w be 1 + -1 + 1/n. Is q smaller than w?
False
Let j = 49 + -361/7. Which is smaller: -3 or j?
-3
Suppose 8 + 67 = 3*y. Suppose 4*z = 23 + y. Let r be (0 - z/(-33))/(-2). Which is greater: r or 0?
0
Let b = 0.01 + -0.81. Let a = 1.1 + b. Let m = 3 + -3.1. Which is smaller: m or a?
m
Let w be 2*3/12*0. Let o be (0 + -1)/(-1 - w). Are o and -3/8 nonequal?
True
Let f(g) = -10*g - 3. Let q be f(-2). Suppose -h - 3*o + q = -1, -3*h + 3*o = -6. Do 3 and h have the same value?
False
Let g = -0.04 + 0.64. Let y = 4.406 + -0.006. Let c = y + g. Which is greater: c or -1/4?
c
Suppose 3*g - 5*w = 164, 0 = -4*g - 5*w + 128 + 149. Which is smaller: 62 or g?
62
Let r = 13 - 1. Let y be -2 + r*6/27. Let v = 0.1 + -0.1. Which is smaller: y or v?
v
Suppose -5*w - 2*v = -0*v - 15, 2*w = -4*v - 10. Let z be (24/20)/((-2)/w). Which is smaller: z or -4?
-4
Let d be 796/(-666) - (-1 + 0). Let w = 171 - 6328/37. Let x = d + w. Which is smaller: x or 1?
x
Suppose -2*l - l - 27 = 0. Which is smaller: l or -10?
-10
Let i(b) = -b**3 - 5*b**2 - b - 2. Let c be i(-5). Suppose d - 1 = q, -c*q = -d + 1 - 2. Let a(o) = o**2 - 4*o - 2. Let g be a(5). Is g > d?
True
Let x = -17/70 + 9/14. Is x >= -23?
True
Suppose 5*r = 7*r - 14. Is 6 >= r?
False
Let g be (0/(-4))/(-4 - -6). Which is greater: 25 or g?
25
Let v = -7 - 8. Let w be (-11)/v - (-1)/(-3). Which is greater: 1 or w?
1
Let w = 43 - 171/4. Let t(a) = 2*a**2 - 2*a - 2. Let j be t(2). Suppose g + g = j. Is w at least g?
False
Suppose -4*d = -5 - 3. Suppose -d*a = 4*u + 42, -4*u + 0*u - 5*a = 39. Let l be u/(-5) + (-1)/5. Is 2 at least as big as l?
True
Let n = 7 + -7. Is n less than or equal to -9?
False
Let w = -1.6 - -1.6. Do -0.6 and w have different values?
True
Let y = -304 + 304. Let a be (-2)/((-1 - -1) + 2). Let p = a - 0. Which is bigger: p or y?
y
Let z be 132/(-5) + (-4)/(-10). Let y = z + 55. Suppose -6 = 5*n + y. Is -7 greater than n?
False
Let n = 11/21 + -6/7. Let o = 24 + -4. Let y be o/10 + 10/(-3). Is y at least n?
False
Let y = -6 - -4. Let j be -2 - 3/12*y. Is 2 <= j?
False
Let w be (-606)/14 - (-10)/35. Is -44 <= w?
True
Suppose -10 = 4*x + x. Let j be (4/(-8))/(x - -1). Which is greater: j or 0.1?
j
Let q = 3.8 + -3.4. Let l = 14 - 12. Are l and q non-equal?
True
Let f = -55 + 54. Is -62 smaller than f?
True
Let d be ((-5)/5)/(2 - 1). Suppose -c = -2*o + 13, -2*o - 5*c = -2 - 5. Let x be (2/(-4))/(9/o). Is x not equal to d?
True
Let v = -71 - -499/7. Which is bigger: v or -1?
v
Let p = 850746 + -4213097/5. Let u = -8195 + p. Let r = u - -68. Are r and 0.1 equal?
False
Let z = -114 + 114.078. Do 0.1 and z have different values?
True
Let l(i) = -i + 5. Let c be l(5). Suppose -3*y = 6, -3*t - t - 2 = 5*y. Let r be t/2*(4 - 3). Which is greater: r or c?
r
Suppose l - 14 = 5*s, 5*l + 5*s = -0*s + 40. Is l > 8?
True
Let j = 3 + -6. Let v = -1 - 3. Which is smaller: v or j?
v
Let d = -87 - -75. Which is smaller: d or -13?
-13
Let i be (-3)/12*8/26. Let r = -23/39 + i. Let g = 1 + -2. Does r = g?
False
Suppose 4*n - 4*o + 32 = 0, -2*n + 5*o - 14 = 11. Let w be 2/n + 9/(-15). Which is greater: w or 3/14?
3/14
Let u = 2 - 4. Let q be (u/(-18))/((-3)/(-9)). Is -1 at most q?
True
Let b be 1/(-1)*(31 - 1). Let r be (-2)/5 + 1204/(-40). Let c = r - b. Which is smaller: c or 1?
c
Let m(f) = -14*f - 9. Let v be m(11). Let c = v - -2447/15. Which is smaller: c or 0?
0
Let b be (-44)/(-10) + (-60)/15. Which is smaller: 35/2 or b?
b
Let k = -141 - -140. Let p = -164 - -2130/13. Which is smaller: k or p?
k
Suppose 6*l = 3*l - 6. Let c be l/(-3) + (-20)/48. Which is smaller: c or -2/3?
-2/3
Let a(w) = w**2 - 3*w - 5. Suppose -b = -0*b + 1. Let g be (-2 - b)/(1/(-4)). Let c be a(g). Which is smaller: -0.2 or c?
c
Suppose b = 6*b. Suppose -4*a - 5 + 9 = b. Is 3/7 at least as big as a?
False
Let a = 10 + -29. Let y = -22 - a. Which is smaller: y or -0.2?
y
Let s = 3 - -6. Let q be (4/(-12))/(3/s). Are q and -2 nonequal?
True
Let q(s) = s**2 + s - 4. Let b be q(-4). Let l = -7 + b. Let u be l/(-2) + 3/2. Which is smaller: u or -1/4?
-1/4
Let k(v) = -v**2 - 16*v + 6. Let u be k(-16). Is u less than 6?
False
Let f be 0/(2/(6/(-9))). Is f bigger than 2/41?
False
Let y = 17.1 + -17. Which is bigger: -6.3 or y?
y
Suppose -3*o = -3*v, 0 = 8*o - 5*o - 5*v + 2. Which is smaller: 2 or o?
o
Suppose 3*a - r - 66 = -4*r, -2*r + 25 = a. Is a less than 1?
False
Suppose 2*o - 6 = 2*p + 3*o, 2*p - 3*o - 10 = 0. Which is smaller: p or -1/8?
p
Suppose 0 = -4*q + 2*q + 2, 15 = 4*l + 3*q. Suppose l*y = 2*y. Is -1 <= y?
True
Let f = -3.1 + 0.1. Suppose 4*c - 5*x = -0*x - 7, c + 3 = x. Let l = 8 + c. Which is greater: l or f?
l
Let j be (2/7)/(4/(-6)). Let h = -22 + 31. Let k be h/(-12) + (-6)/(-8). Is j greater than k?
False
Suppose j - i + 14 = 4*j, -4*i = j - 1. Let q(l) = -l**3 - j*l**2 - 2*l**2 - 7*l + 0*l**2 - 6. Let p be q(-6). Which is bigger: -3/5 or p?
p
Let h be 70/184 + 0 + (-4)/16. Are 1 and h equal?
False
Let g = 3.2 - -4.9. Let y = -8 + g. Are y and -0.2 equal?
False
Let n(o) = -o**3 + 7*o**2 - 4*o + 9. Let x be n(6). Suppose 3*v = -0 - x. Is v greater than -7?
False
Let t = -7.27 - -7.6. Are t and 1/3 nonequal?
True
Suppose -2*o - 83 - 1 = 4*g, -5*o + 21 = -g. Let w be (3/(-21))/(12/g). Which is smaller: 