 (t/21)/(3/(-21)). Are d and x equal?
True
Let j = 3 - 5. Let g be 174/(-84) + (-3)/(-2). Are j and g non-equal?
True
Let w = 2 + -1.9. Let n be (-483)/(-2790) + ((-148)/24 - -6). Let j = n + -627/1085. Is j less than or equal to w?
True
Let n be (-75)/(-11) - (-1 + 54/66). Let z(g) = -7*g**3 + 1. Let v be z(-1). Which is greater: v or n?
v
Let i(y) = -4 - y + 11*y + 3 + 6*y. Let h be i(2). Which is bigger: h or 32?
32
Let l be 3 + ((-14)/35 - 1034/(-10)). Let w = l + -102. Let o be 0 + 0/(-1*2). Which is bigger: o or w?
w
Suppose 2*b = -5*h - b + 48, -4*h + 60 = -3*b. Let z(s) = 2*s - 18. Let u be z(h). Suppose 3*w = -4*v + 5*w + u, 4*w = 3*v - 17. Is v >= -9/7?
True
Let c = -17 - -18. Let j = -0.041 + 0.141. Is c greater than or equal to j?
True
Suppose m = -3*m - 8. Is -2 < m?
False
Suppose -311 = -6*k + 1663. Which is smaller: k or 330?
k
Let c = -41092107/841 + 48861. Which is bigger: c or 1?
1
Let m(q) = 3*q**2 + 53*q + 25. Let x be m(-15). Which is smaller: -97 or x?
-97
Let y be 1683/(-231) - 1*-9. Let i = 377201/28 + -13470. Let h = i - y. Which is greater: h or -17?
h
Let a = 19 + -17. Suppose a*i - 7*i = -175. Let c = i + -22. Which is smaller: c or 12?
12
Let s = 0 + 0.3. Let a = s + -0.6. Which is greater: a or -3?
a
Let d be (-17)/(-119) + (-2074)/(-672). Let a = 19/6 - d. Is a < 1?
True
Let l be (-208)/630 - (-4)/14. Let m be 10/20*0/2. Suppose 0*o + 4*o = m. Which is greater: l or o?
o
Suppose 32*y = 40*y + 2424. Let j = y - -2421/8. Which is bigger: j or 0?
0
Let j = -6706 + 46805/7. Which is smaller: -20 or j?
-20
Let x be 15*(-4 + (-26)/(-6)). Suppose -x*n = -64 + 24. Let w be n/(-36) + 224/846. Do -1 and w have the same value?
False
Suppose j - 6*j - 60 = 0. Let n = j - -24. Let y = -4 + n. Is y greater than 7?
True
Let h = 20.2 + -20.4. Is 69 at most as big as h?
False
Let v = -215 + 216.6. Which is greater: -2 or v?
v
Let s(r) = 25*r + 268. Let n be s(-19). Which is bigger: -1241/6 or n?
-1241/6
Let w = 1 - 1. Suppose -18*u + 44 = -7*u. Let b be 19 - ((w - u) + 8). Is b <= 17?
True
Suppose 5*i + 857 = 862. Which is smaller: i or -2/2581?
-2/2581
Let q(l) = l**3 + 8*l**2 + 5*l - 10. Suppose 0 = -0*p + 3*p - 6. Suppose 0 = -p*d - 4 - 10. Let h be q(d). Which is smaller: 3 or h?
3
Let y be (-4)/(-12) - 111/9. Let r(j) = -2*j - 10. Let t be r(y). Let d be 202/t - (-9)/(-21). Is 14 < d?
False
Let x(w) = -w**3 + 4*w**2 + 5*w - 1. Let j be x(5). Let g be -1 + 28 + j - 4/4. Are 26 and g equal?
False
Let x be (-912)/(-54) - (-8)/18. Let s = -18 + x. Is -6 < s?
True
Suppose -146*x + 143*x - 117 = 0. Is 1 at most as big as x?
False
Let p(l) be the first derivative of -l**4/4 + 7*l**3/3 + 9*l**2 + l + 11. Let v be p(9). Is v at least as big as -2/29?
True
Let i(l) = 31*l - 14*l - 2*l**2 + 0 - 6. Let z be i(8). Suppose 2*x + z*x - 96 = 0. Which is greater: x or 23?
x
Suppose 0 = -4*c + 26 + 70. Let k be 4/c + 44/24. Suppose k*z = 5*z + 3. Is 1/14 bigger than z?
True
Let c = -0.8 + 0.2. Let m = -19.4 - -19.38. Which is smaller: m or c?
c
Let a = 41.84 - 50.2. Let b = 0.36 + a. Is b < -2?
True
Let j(m) = 2*m + 26. Let n be j(-9). Let x be (n + -10)*(-1)/3. Which is greater: -1/18 or x?
x
Let g = -75 + 41. Let k = g - -33. Which is greater: k or -1/8?
-1/8
Suppose 140 = -5*h - x, 4*h - 3*h + 3*x + 14 = 0. Which is smaller: h or -26?
h
Let t = 0.82 + -0.96. Which is smaller: t or 2/11?
t
Let g = 3 + -2. Let n = 668354 - 890915951/1333. Let v = n + 5/43. Is v at least g?
False
Suppose 0 = -g + 3*g - 2*d + 26, -3*g + 4*d = 44. Which is bigger: g or 10?
10
Suppose 4*w + 183 = 47. Let s = -50 - -16. Is s bigger than w?
False
Let r be (-7 + 3 + 0)/4. Which is smaller: r or 2/867?
r
Let o(g) = -11*g**2 - 9*g**3 + 7*g**3 + 18*g**2 - 12*g + 6. Let a be o(4). Is a != -58?
False
Let z(g) = -7*g + 45. Let t be z(6). Suppose 6*b = -4*f + b - 7, 0 = t*f - 4*b - 18. Suppose 4*n + 1 = 17. Which is greater: f or n?
n
Let g(a) = 4*a**3 + 13*a**2 + 4*a - 1. Let p(c) = 3*c**3 + 14*c**2 + 3*c - 2. Let w(n) = -2*g(n) + 3*p(n). Let y be w(-16). Let h = y - -20. Is h < 2/11?
True
Suppose -13 = 4*o - 49. Let c be 6/o + (-74)/120. Let l = 219 + -220. Which is smaller: c or l?
l
Let l(i) = -32 + 54 + i + i. Let x be l(-11). Suppose 5*v - 2*v + 10 = -5*w, x = 2*w + 2*v + 8. Is -2/41 greater than w?
False
Let q = 1894 - 1880. Suppose -2*b + 0*b - 44 = -4*i, b - 18 = -2*i. Is i at least q?
False
Suppose 6*n = 8*n + 4. Let l be (n/(-15))/((-4)/12). Which is greater: l or 10?
10
Let n be 18/18420*5*(-26)/(-6). Let y = n - -42811/7982. Is y > 4?
True
Let o = -213.92 + 204. Let r = o + 10. Let s = 0.18 - r. Which is smaller: s or 0?
0
Let n = 0.48 - 0.5. Let p = n + 0.22. Let v = -0.1 + p. Which is smaller: 0 or v?
0
Let p = -1122 + 1425. Which is smaller: 1/5 or p?
1/5
Let d(x) = 54*x - 5. Let b(k) = 9*k - 1. Let l(a) = 34*b(a) - 6*d(a). Let q be l(-1). Which is bigger: 13 or q?
q
Let m = 40 - 98. Let x = m - -58. Is x smaller than 5?
True
Let p = 19 - 17. Suppose -2*h = -g + p - 5, 0 = 3*h. Let v be 5/(-15) + 2/g. Which is smaller: v or 2?
v
Let l(r) = -3*r + 61. Let c be l(19). Suppose 218 = -c*f - 34. Which is smaller: f or -62?
f
Let b = 398/3239 + -4/41. Let a = b - -391/158. Which is bigger: 2 or a?
a
Let b = 9400/291 + -97/3. Which is greater: 1 or b?
1
Let l = 335989/162 + -2074. Do 0 and l have the same value?
False
Let n be 2486/622 + (43 - 47). Which is bigger: n or 1?
1
Let t = 0.05 + 24.95. Let f = t + -24.97. Are f and 0.2 unequal?
True
Let f be -7 - (-37)/(-2)*34/(-85). Do -804 and f have the same value?
False
Suppose -2*g + 29 - 11 = 0. Suppose -41 = -3*z - 26. Suppose 75 = z*a + 20. Which is greater: g or a?
a
Let f = -2 + 1. Let n = 9941/17 - 585. Do n and f have different values?
True
Let c = -696 - -719. Which is greater: 22 or c?
c
Let h be 4/(-8)*(1 - 1). Suppose -5*n = -h*n + 40. Are -8 and n nonequal?
False
Let m(h) = h**3 - 6*h**2 + h - 7. Let d be m(6). Let r = 948/11 - 86. Is r at least d?
True
Let s = -16 + 20. Suppose t + s*t = -20. Is 0.1 less than t?
False
Let a be (11/(-2) + 6)/(2/12). Are a and 4 equal?
False
Let v(b) = b**3 + b**2 + b - 1. Let y(h) = -5*h**3 - 17*h**2 - 17*h - 9. Let j(o) = -4*v(o) - y(o). Let x be j(-12). Which is smaller: x or -1/3?
-1/3
Let z = -9.3 + 10. Let q = z - 0.7. Let i be -2 - (-8)/10*1. Which is smaller: q or i?
i
Suppose -20 - 3 = -2*k + 5*f, -5*k + 4*f = -49. Let u be 4/3*k/42. Is u equal to 2/7?
True
Let h = -6042 - -24317/4. Are h and 36 non-equal?
True
Let g be ((-9)/(45/(-10)) + -3)*-52. Is g bigger than 58?
False
Suppose -5*y = -g - 4*g + 200, -y - 180 = -5*g. Let x = -19 + g. Is 16 at least x?
True
Let n be -1 - (-18)/30 - 57/(-5). Let a be 6/33 + n/((-1815)/140). Which is smaller: a or 0?
a
Let m be (-1)/((-60)/(-292)) - -5. Is m at least 3/7?
False
Let t be ((-8)/6)/(44/29238). Is -887 at most as big as t?
True
Let p = -25393551665337889/1085 - -23404193468543. Let b = -1614718 - p. Let o = 2/155 - b. Do o and 1 have different values?
True
Let z be 0*((-36)/(-30) - 1). Which is bigger: 2/589 or z?
2/589
Suppose -3*s = 0, 3*o + 5*s = 68 - 20. Is o <= 8?
False
Suppose f + 1 = 3*u - 7*u, -f + u - 1 = 0. Let h(d) = -191*d - 2. Let a be h(f). Let r be 12/a*(-35)/(-30). Which is greater: 1 or r?
1
Let x = 29 + -19. Let l be -8 + 10 - -1*x. Let t = l - 12. Are 2/15 and t equal?
False
Let c = -71 - -72. Are c and 27/7 nonequal?
True
Suppose 7240 = -3*w - 0*w - 5*v, 2*w + 4860 = 5*v. Is w not equal to -2420?
False
Let d = -39.2 - -40. Let o = 0.6 - d. Are -0.2 and o equal?
True
Suppose 0 = 5*p - v - 75, 0 = -2*p - v + 37 - 0. Suppose 0 = 4*u + 4 - 20. Suppose p = 4*y, 5*f + 75 = u*y + 29. Are f and -0.1 unequal?
True
Let c = 52 + -51.895. Let q = -0.005 + c. Let w be (6/15)/(2/10). Is q at least w?
False
Let o = 0.9 + -0.8. Let x = 0.6 + -0.5. Let p = 5.1 - x. Is p less than or equal to o?
False
Let g be 424/(-30) + 64/480. Does -14 = g?
True
Let f(a) = a**3 - 18*a**2 - 19*a - 5. Let m be f(19). Suppose -4*v = s - 181, -v + 0*v + 4 = 0. Let d be (-2)/m + s/25. Does 7 = d?
True
Let s = -975 + 1038. Let p be (-4)/(-10) + 0/(-2). Which is bigger: p or s?
s
Let k(j) = j**2 - 33*j + 17. Let y be k(5). Is -125 smaller than y?
True
Let m(f) = -f**2 - f + 3. Let l be m(0). Suppose 1 + l = 4*h. Let t be 6/10 -