*t - 4*k = -136. Is t at least as big as 32?
True
Let j(f) = 2*f**2 - 4*f + 1. Let c be j(3). Suppose -3*v - 12 + 54 = -3*p, 3*p = v - 36. Let g = p + 18. Are c and g nonequal?
False
Let y = 64 - 64.1. Let d = -2.1 - y. Suppose 2*w = -2*w. Are w and d non-equal?
True
Suppose -5*x + 1 = c - 1, -3*c + 6 = 0. Suppose 3*l - m - 10 = x, -3 = -3*l - 3*m + 3. Which is bigger: l or 6?
6
Let h be (-18)/(-48) + 19*(-2)/16. Let v = -8 - -5. Let k = v + 1. Is k > h?
False
Suppose -3*z + 5*z = -10. Suppose 4 = 5*l + 2*g, -l + 25 = -5*g + 8. Suppose l*p = -c + 3, 0 = 5*c - 10*c - p - 21. Is z at least c?
True
Let h = -1.4 + 2.4. Let i = -24 + 39. Let x = i + -9. Which is smaller: h or x?
h
Suppose 43 - 11 = -4*m. Let o be (-18)/(-8) + m/32. Suppose j - 1 = o*j. Is -2/57 < j?
False
Let t be 1 - (2/7 - -1). Let c = 1203/143 + -90/11. Which is smaller: c or t?
t
Let z be (-96)/(-45) + 4/(-30). Let c(l) = -34*l**2 + 16*l**2 - 5*l - l**3 + 25*l**z. Let w be c(2). Which is smaller: w or 9?
9
Let o = 10 - 8. Suppose -128 = -4*p - 5*g, -o*p - g + 64 = -3*g. Let m = -27 + p. Is 5 less than m?
False
Suppose -4*a - 17 = 23. Let w be 5/7 + a/35. Suppose 6 = -3*r - 3, 3*d = 4*r + 12. Which is smaller: d or w?
d
Let l = 1755/1457 + -46/47. Are -1 and l unequal?
True
Let c = -23 - -23. Suppose c = -3*q - 5*a - 18, -3*q = -2*q - a - 2. Is q greater than -46?
True
Let l = -1089.1 - -1089. Let y be -2 - (18 + 2 + -1). Let s = y + 13. Which is smaller: s or l?
s
Let b = 4 - 4.1. Let s = b + 1.1. Let y be ((-25)/(-21) - 1)*180/(-40). Is s equal to y?
False
Suppose -4*q + 924 = 2*c, -46*c = -41*c + 2*q - 2334. Which is greater: c or 467?
c
Let l(y) be the second derivative of -y**3/6 + y**2/2 - 5*y. Let j be l(1). Let x be (-2 - (-7)/6)*-1. Which is smaller: x or j?
j
Let q = -16 + 33. Let m = q + -10. Is m < 9?
True
Suppose 56 - 73 = 17*l. Do l and -3/70 have the same value?
False
Let j = 421 + -420.8. Which is bigger: j or 44.4?
44.4
Let y be (6*(-2)/(-82))/((-154)/(-1652)). Let j = -17/11 + y. Which is smaller: 0 or j?
0
Suppose 36 - 56 = -5*o. Let i be 0 - -5*(o + -3). Is 3 < i?
True
Let n = -202 - -207. Suppose 5*l - 31 + 6 = 0. Let g = l - n. Which is greater: g or 3/8?
3/8
Let u be 32 + 2 + (1 - -4). Suppose u*x - 3 = 36*x. Which is bigger: x or 1/151?
x
Let v be 4/11*(-2148)/(-120) + -6. Are v and 1 non-equal?
True
Let y = 14366/115 + -602/5. Is 5 smaller than y?
False
Suppose -9*h + 208 = -h + 4*c, 3*h - 71 = -5*c. Which is greater: h or 21?
h
Let u = 463 - 4163/9. Which is smaller: 0.3 or u?
0.3
Let h(y) = -y**3 + y**2 + y + 3. Let f be h(-3). Suppose 0 = 3*s - 4*s + f. Let r be (-12)/(-45)*(-10)/s. Is 1/4 greater than or equal to r?
True
Let y(r) = r**3 - 15*r**2 - 4*r - 31. Let a be y(17). Let s = -937/2 + a. Which is bigger: s or 11?
11
Let z = -25.45 + 14.84. Let t = z + 11. Is 2/3 smaller than t?
False
Suppose -1306 = -13*u - 344. Suppose 4*g + 5*t - t + 40 = 0, t = 5*g + u. Which is bigger: g or -18?
g
Suppose 5*y - 3*t = -920, -10*y + 368 = -12*y - t. Is y greater than -913/5?
False
Let f(k) = 15*k - 508. Let a be f(34). Let n be 4/(-2) + 6/1. Suppose 2*v = -2*x - x + 16, -20 = -2*v - n*x. Is v <= a?
True
Let v be (-8)/(-126) + 180/810. Which is smaller: 2/69 or v?
2/69
Suppose 0 = 22*y - 18*y. Suppose y = -34*m + 38*m - 108. Which is bigger: m or 28?
28
Let i(n) = -4*n - 4. Let p be i(-5). Suppose -4*s = -2*c - 30, -2*s - 5*c - p + 49 = 0. Is 9 smaller than s?
False
Let t(c) = -c**3 - 7*c**2 - 4*c + 3. Let m be t(-6). Suppose -6*w = -8*w + 24. Let i = w + m. Which is bigger: 0 or i?
i
Let l(u) = 47*u**2 - u - 16. Let r be l(-2). Which is greater: -2/7 or r?
r
Let z be 6/24 + 1/(28/(-23)). Which is smaller: -0.2 or z?
z
Suppose 68*h + 7808 - 21680 = 0. Is h less than 205?
True
Let b be 33/(-11)*6/18. Which is greater: b or -0.013?
-0.013
Let y = 0 + 2. Let x = 2.792 + -2.492. Which is greater: y or x?
y
Suppose 0 = 4*l - 5*t + 55, 2*l + 4*t = 2 - 10. Let b be 5/(-4)*(-6)/l. Let a = 5411 + -5411. Is a smaller than b?
False
Suppose -2*j - 3*j = -20. Let u be (-2)/(-7) - j/14. Let r = -3/10 - -1/2. Which is smaller: r or u?
u
Let g = 333 + -360.2. Let h = g + 26. Is -0.2 equal to h?
False
Let d = -230 + 160. Let t = d + 209/3. Is 0 >= t?
True
Suppose -c = 3*a - 35, 4*a = 3*c + 26 + 12. Let h = -19 + a. Let f be -2 - ((-17)/h)/(-1). Is f at least 0?
True
Let i(j) = -j**2 + 4*j + 3. Let t be i(5). Let l be (60 + 0)*108/(-15). Let f = l - -2581/6. Is f bigger than t?
True
Let x = 11 + -16. Let j be -2*(-4 + -2 - x). Let v = 4 - 7. Is j less than or equal to v?
False
Suppose 0 = 4*t - 15 - 25. Let i = -527 - -536. Are i and t equal?
False
Let l = 11 - 9. Let j be (l - 3/1)/(-1). Do j and -1/5 have the same value?
False
Suppose 10*r + 2 = 11*r. Suppose -2*f - r*f - 3*x = -124, -3*f + 93 = 2*x. Let v = -32 + f. Which is smaller: -9/5 or v?
-9/5
Let o be 2/(3 - 52/18). Let h = 19 - o. Which is smaller: 1/23 or h?
1/23
Let y = 33811 - 33811.1. Suppose -a - 5 = -6*a. Which is smaller: a or y?
y
Let w(y) = -y. Suppose -6*q + 17 = -3*q - z, 0 = -2*q - 5*z. Suppose 4*i + 36 = 4*f + f, -2*i + 12 = q*f. Let d be w(i). Which is smaller: d or 1?
1
Let o = -191.9 + 192. Let w = 1 + -0.7. Let b = -0.3 - w. Is b less than or equal to o?
True
Let w(m) = 7*m - 5. Let o be w(1). Which is greater: o or 44/23?
o
Let v = 0.243 + -0.464. Which is smaller: 0.3 or v?
v
Let b be 0*(-4)/20 - -2. Suppose 6*d = b*d. Is -4/7 != d?
True
Suppose -46*o + 21*o = 6600. Do o and -265 have the same value?
False
Let a(z) = -6*z**2 + 2*z - 5. Let l be a(4). Let i be (736/40)/(1/(-5)). Are i and l equal?
False
Let i = 0.77 - 1.75. Let k = 4 - 3.98. Let g = k - i. Are -1 and g equal?
False
Suppose 0 = -2*t - 4*b + 24, 0*b + 5 = b. Let z be t/(-13) - (-640)/104. Which is greater: z or 7?
7
Let b = -618 + 618.3. Which is smaller: b or 30?
b
Suppose 2*o - 4*q + 15 = 75, 2*o = -4*q + 60. Do o and 14 have different values?
True
Suppose 3*v + 2 = 11, n - 7 = -2*v. Suppose -35 + 50 = -5*b. Is n >= b?
True
Let p(o) = -6*o**2 - 72*o - 550. Let w be p(-8). Is -358 > w?
False
Let s = -17/7 + 44/21. Which is smaller: 7/9 or s?
s
Let s(t) = t + 2. Let r be s(-2). Suppose -3*i + 108 = -1152. Let z = -2930/7 + i. Which is greater: r or z?
z
Let n(x) = -x**3 + 2*x**2 + 18*x - 14. Let g be n(7). Let p = -132 - g. Let r be -2 + 2/118*116. Is r < p?
True
Let w be (-8)/(-12)*(-30)/(-4). Suppose 8*o = 13*o + w. Is 3/8 <= o?
False
Let g = -404 - -572. Is g < 2?
False
Suppose -5 = 5*t, 5*b - 67 = 4*t + 37. Suppose 2*s = -5*n - 122 - 3, -4*s = b. Is n greater than or equal to -24?
True
Let p = 28 + -22. Let i = 9 - p. Let z = i - 9. Which is bigger: z or -11/2?
-11/2
Let w = -659/140 - -17/20. Which is smaller: w or -4?
-4
Let h(d) = -2*d + 4. Let q(n) = 2*n - 3. Let p(y) = -4*h(y) - 5*q(y). Let k be p(7). Let z be k/6*2/(-5). Is 3/10 bigger than z?
False
Let x(v) = -63*v - 62. Let u be x(-3). Which is bigger: 128 or u?
128
Let f be ((-9)/(-12))/((-213)/24 - -10). Is f less than 1.1?
True
Let q = 85/54 - -7567/270. Is 31 not equal to q?
True
Let j = 75 + -116. Let b = j - -52. Which is bigger: 9 or b?
b
Let h(m) = m**2 - 12*m - 8. Let u be h(14). Suppose -3*c = -2 - 7. Suppose c*a - u = -a. Is a at most 5?
True
Let j(t) = -12*t - 6. Let p be j(-1). Let i(c) = -4*c**3 - c**2. Let m be i(-1). Which is greater: p or m?
p
Let h(p) = p**3 - 2*p**2 - 10*p + 9. Let j be h(4). Which is bigger: j or -6/5?
j
Suppose u - 4*p - 51 = -140, 5*u = 2*p - 427. Let a = u + 83. Which is greater: -1 or a?
-1
Let o be (-1)/67*(-8)/20. Let w = 5366/1005 - o. Which is bigger: w or 6?
6
Let j be 26320/(-6550) - (-4)/1. Let g = j - -778/28165. Is -1 at least as big as g?
False
Let f be (28 - 22)/(4/(176/3)). Which is smaller: -2/21 or f?
-2/21
Let u be (-3 + 3)/(4 + -5). Suppose -3*i + 3 = -6*i. Let o be (i/(-2))/((-7)/(-8)). Which is greater: o or u?
o
Let h = -316 + 340. Which is greater: 76/3 or h?
76/3
Let o be 3/((-9)/(-70)) + (-25)/75. Which is smaller: 12 or o?
12
Let o(t) = 2*t**3 - 12*t**2 + t - 30. Let h be o(7). Which is greater: h or 76?
76
Let z(w) be the second derivative of -5*w**4/12 - 2*w. Let y be z(1). Let k(v) = -v**2 - 3*v + 2. Let g be k(y). Are -9 and g nonequal?
True
Let q = -149 - -138. Let o(y) be the second derivative of 11