/5)/((-2)/(-280))*1. Let d = 52 + w. Are -4 and d equal?
True
Let n = -14/65 + 8/13. Let y = -206 - -145. Let w = 73 + y. Which is smaller: n or w?
n
Let g = 2/314783 + 532298017/5666094. Let a = -94 + g. Which is smaller: 1 or a?
a
Let f = 108 + -63. Is 45 equal to f?
True
Let f(w) = -2*w + 194. Let m be f(-20). Which is greater: m or 706/3?
706/3
Let i be 21/(-4)*608/(-57). Let w(z) = z**2 - 4*z - 39. Let o be w(-8). Which is smaller: i or o?
i
Suppose -113 = 2*j - 3*m, -3*j - 152 = -5*m + 4*m. Let b(a) = 11*a - 5. Let x be b(-4). Do j and x have the same value?
True
Let z be ((-2)/(-8))/(2714/(-944)). Suppose 2*o = -5*i - 13, -4*i = 4 + 16. Is z <= o?
True
Suppose -3*f = -23 + 2. Let z(m) = -m**3 + 6*m**2 - 8. Let c be z(6). Let s = f + c. Which is greater: s or -10/7?
s
Let x = 352 + -343. Let t = -9 + 30. Let n = -13 + t. Which is smaller: n or x?
n
Suppose 5*y + 3*l - 105 = 0, -1 = -l + 4. Suppose 2 = 4*d - y. Which is bigger: d or 6?
6
Let c = -1.4534 - -0.0534. Is c at least -0.07?
False
Let x be (1/(-3))/(9/(-297)). Let s(q) = -q**3 - 8*q**2 - 7*q + 2. Let f be s(-7). Let m be 2/(-5)*f*-15. Which is smaller: m or x?
x
Suppose -5*m - 2*p - 188 = 0, 3*m + 78 + 50 = -5*p. Let d be 4/6*(-18)/m. Is d at least 22?
False
Suppose 36*a = 4*f + 38*a + 4, 4*f + 4*a = -8. Are 18/101 and f non-equal?
True
Let o = -11 - -11. Suppose -3 = 2*x - 9, o = -f - 4*x + 12. Suppose f*i = -i. Which is smaller: i or -9/7?
-9/7
Suppose 64 - 4 = -2*d. Let y(c) = -c**3 + 5*c**2 - 2*c - 3. Let l be y(3). Let z be (d/l)/(1/(-3)). Which is greater: z or 8?
z
Suppose 110 - 26 = 5*g + 2*q, -5*g = -4*q - 72. Let a = -17 + g. Are 3/5 and a unequal?
True
Suppose 4370 = 17*y - 2770. Is y at most 417?
False
Let h = 907 - 1777/2. Let n = 129/7 - h. Which is smaller: n or 2/11?
n
Suppose 4*a - 16 = 0, -2*i + 5*i - 3*a = 24. Suppose 0 = y + 4*c + 17, c - 119 = 4*y - 0. Let b = y + 29. Which is smaller: i or b?
b
Let g = 224 - 226. Is g less than -4?
False
Let p(h) = 6*h**2 - 18*h + 11. Let z(n) = -7*n**2 + 19*n - 11. Let j(t) = 6*p(t) + 5*z(t). Let l be j(9). Let y = -18 - l. Is y at most 7?
True
Let l be (-128)/(-1216) + 0 + (-2)/19. Is l at least -1/92?
True
Let b be 0 - (4 + -4)/(-3). Is b at least 22/15?
False
Let k be ((-4)/(-159))/((-4)/6). Suppose 0 = 4*r + r - 3*v + 95, -r - 4*v = 42. Let m be 11/r*0*2/(-2). Which is bigger: k or m?
m
Suppose 10*w - 22 = -2*j + 14*w, 2*j + 2*w + 8 = 0. Is j greater than or equal to -2/5689?
True
Let n = -928.98 - -939. Let j = 10 - n. Let x = 11 - 13. Which is greater: x or j?
j
Let d be (-38)/(-14) + (-10)/(-35). Suppose -78 - 57 = d*x. Let q = 317/7 + x. Is q >= 1/2?
False
Let f(p) = -117*p + 352. Let s be f(3). Which is greater: s or 14/15?
s
Let g(n) = n - 2. Suppose -6 = -3*v + 9. Suppose -v*k + 6*f - 29 = 2*f, -k - 8 = -3*f. Let q be g(k). Is q < -0.1?
True
Let k be -1*(1 - 3 - -2)*-1. Let b be (((-16)/(-6) - 3)*k)/2. Are b and -1 equal?
False
Let g(a) = -3*a - 36. Let h be g(-15). Suppose 7*w - h*w = 0. Which is bigger: w or 2?
2
Let w = -149 - -150. Is -1/325 smaller than w?
True
Suppose 5*m + 139 = -4*o, 5*m = m - 3*o - 111. Let l = -24 - m. Suppose -3*b + 3*c + 12 = 0, -4*b + 3 + 12 = -l*c. Which is greater: b or 6?
6
Let z = 53/2 - 473/18. Let t = 5.88 - -0.12. Which is greater: t or z?
t
Let y = -120 + 114. Let f(t) = 3*t + 1 + t**3 - 4*t - 4 + 6*t**2. Let a be f(y). Which is bigger: a or -0.2?
a
Let k be 1*5*(15 + -31 + -29). Which is smaller: k or -226?
-226
Suppose 3*j - 8 = 4*q, 2*q + 1 + 3 = -4*j. Suppose j = 3*n - 3*w - 42, w = 2*n + 2*n - 44. Which is smaller: 11 or n?
n
Let k = 0.1 + -0.1. Suppose -4*g = -0 - 16. Suppose 5*b = 4*d + 20, -d + 3*b = g*b + 14. Are d and k equal?
False
Let c(w) = -w**3 + 4*w**2 - 5*w - 14. Let q be c(4). Which is smaller: -29 or q?
q
Let l = -0.85 + 0.68. Let u = l + 0.2. Is u greater than or equal to -8?
True
Let k = -1046 + 1048. Are -53 and k non-equal?
True
Let k = 1318 - 1147. Is k at least as big as 178?
False
Let f = -1.6 - -1.42. Let z be (-7 - -10) + 16/(-6). Are z and f equal?
False
Let k(q) = -19*q**2 + 5*q - 2. Let r be k(2). Let l be (-8)/r + 259/(-34). Which is smaller: l or -8?
-8
Let v = -18.7 - -2.7. Let m = -16 - v. Let o = 9 - 2. Which is bigger: m or o?
o
Let u(z) = z**2 - z - 6. Let m be u(-3). Suppose -3*t + m = -0*t. Let n be (-3)/t - 1/(-1). Is n less than or equal to 1?
True
Let f(u) be the first derivative of -3*u**2 - 15*u - 7. Let w be f(-6). Is 20 greater than w?
False
Let x = 61 + -56. Suppose -x*c = 3*w - 5, -18 - 2 = 5*c - 2*w. Is 0 less than c?
False
Let b = 53 + -266/5. Is 0.083 less than b?
False
Let z = -16 + 10. Let k be (2 - (-39)/(-15))/((-114)/(-266)) - -1. Are k and z non-equal?
True
Let x = -53/4 + 273/20. Let j = 0.6 + -0.3. Let i = 0.7 + j. Which is smaller: x or i?
x
Let v(s) = 4*s - 2. Let p be v(9). Which is bigger: p or 35?
35
Let m(k) = k**2 - 9*k + 18. Let p be m(7). Suppose 4*h - 5*f + 45 = 0, -23 - 13 = 4*h + p*f. Which is smaller: -3 or h?
h
Let l(h) = h**2. Let k be l(2). Let q(m) = -2*m + 7. Let u be q(k). Which is smaller: 4/27 or u?
u
Let b = -447 + 240. Is -208 at most b?
True
Let c = 32 + -20. Let h = 11.9 - c. Which is greater: h or 6?
6
Suppose z + 15 = -5*p, -32 + 12 = 4*z. Let b(y) = -4*y**2 - 3*y. Let m be b(p). Is -9 >= m?
True
Let b be 130/3*(-11 - (-105)/30). Which is smaller: b or -329?
-329
Let q = -462479/205 - -2256. Which is bigger: 1 or q?
1
Suppose -6*w + 260 = -w. Suppose -3*d - 4*r = d - w, 0 = -3*d - 2*r + 42. Suppose -2*g + 4*g + d = 0. Is -7 not equal to g?
True
Let m = -0.162 + -46.838. Which is smaller: -1 or m?
m
Let g = -5 + 5.4. Let r = -6.47 - -5.7. Let v = 0.23 - r. Do g and v have the same value?
False
Let w be (-1612)/15158 + 6/33. Which is smaller: w or 1/3?
w
Let m(l) = -2*l - 37. Let c be m(-10). Is -13 != c?
True
Let l = -6 + 10. Suppose 0 = l*y - 5*y - 1. Is -2/19 greater than y?
True
Let l be (-46)/(-130) - 6/39. Let h be 0/((-8)/(-2))*4/(-8). Do l and h have different values?
True
Suppose 2*i = 14 - 8. Suppose i*t - 3 = 4*t, 4*n = 2*t + 10. Let x(b) = -b + 3. Let k be x(3). Are k and n nonequal?
True
Let u be 56603/(-1926) - (-1)/(-9). Let o = -92 + 63. Does o = u?
False
Suppose -17 = i + 5*d, 2*d - 49 = 2*i - 3*d. Let z be 19305/(-819) + (-4)/(-7). Which is greater: i or z?
i
Let m = -502/795 - -14/15. Which is bigger: m or 1/3?
1/3
Let b = -1.5 + 1.36. Let n be 0 - (6/15 + (-30)/200). Are b and n unequal?
True
Suppose -2*d + 20 + 22 = 0. Let g be 2/((4/(-3) - -1)*d). Is g < -2/11?
True
Let l = 191 - 190.1. Let y = 0.5 + 0.5. Does y = l?
False
Suppose 11 = 11*p - 10*p. Let o(v) = 2*v - 32. Let z be o(p). Which is bigger: -2 or z?
-2
Let a = -0.627 + 1.627. Is -1080 less than a?
True
Let q(g) = 2*g**3 - 7*g**2 - 4*g. Let n be q(4). Which is bigger: n or -12/41?
n
Let w(j) = j**2 + 4*j - 7. Let b be w(-6). Suppose -2*i = -3*d + 28, b*i - 5 - 10 = -d. Let y = -3 + d. Is 7 less than y?
False
Let u be (-9 + 5)*782/8. Let z = -6645/17 - u. Is z greater than or equal to -2?
True
Let d(z) = 15*z + 39. Let t be d(-7). Let c be (-3)/(-2) - (-567)/t. Which is bigger: -7 or c?
-7
Let u = -61 - -85. Let s = 14 - u. Let c be (-2)/(-4) - (-19)/s. Are c and -2 non-equal?
True
Suppose -33*f + 882 = -438. Which is smaller: f or 32?
32
Let l(i) = -14*i**3 - i**2 + 1. Let q be l(-1). Suppose p - 4 = q. Let d be (-16 - 608/(-40))*(2 + (-88)/4). Which is smaller: p or d?
d
Let s be 106/(6*10/(-6)). Is s at least -11?
True
Suppose m + m = -u + 61, 92 = 4*m - 4*u. Let i = 51 - m. Let b = -30 + i. Which is greater: -17/3 or b?
-17/3
Let c(i) = -i**3 + 4*i**2 - 2*i + 1. Let v be c(4). Let z(h) = -3*h**2 + 4. Let y be z(-2). Let x be (-4 - -7) + y/3. Do v and x have different values?
True
Suppose -4*n - p + 122 = 0, n - 54 = -n + 3*p. Suppose -5*h = 5*j - n, -22 = -2*h - 2*j - 2*j. Does 2/5 = h?
False
Suppose 3*t - 5*t = 2. Let i be t/(4/(-6) - 96/(-90)). Let x(m) = m**2 + 7*m + 7. Let d be x(-6). Do d and i have the same value?
False
Let t be ((-10)/15)/(86/(-12)). Which is smaller: 1 or t?
t
Let a be (2/(-10))/((-4)/5). Suppose -2 = -3*i + 2*g - 0*g, 0 = i + 4*g - 24. Suppose 5*c - 15 = -3*t + 5, 4*t - 16 = i*c. Which is smaller: c or a?
a
Let f(l) = -2*l**2 + 3*l + 2. Let a be (2/(-4))/((-14)/(-28)). Let y be