4/6. Are 1751 and n unequal?
True
Let w(o) = 3*o**2 + 215*o - 6092. Let y be w(22). Suppose 5*a - 470 = 4*k, 5*a + 3*k - 329 = 106. Is a <= y?
True
Let g(m) = 217*m - 11632. Let y be g(53). Let p(d) = 34*d + 5. Let f be p(-4). Is f at least as big as y?
True
Let z be (-6)/32 - (-3 + 3). Let w be 6/(6/17) - 3/(-1). Let t be (6/w)/((-6)/(-5)). Is z equal to t?
False
Let i be 2*1 + 6/(-3). Let k be (2078/7273)/((492/(-7))/(-3)). Which is smaller: i or k?
i
Suppose -29*y = -2192 + 7586. Is y smaller than -186?
False
Let l(h) = -h - 1. Let y be l(-3). Let b be y*-2*6/(-324). Suppose r = -2*n + 1, 6*n - 9*n + 5*r = -8. Which is bigger: n or b?
n
Let n be (17459277/1027019 - 17)*(-7)/3. Which is smaller: -1 or n?
-1
Let k = -17066 + 17049. Let f = -32 + 29. Does k = f?
False
Let y = 180 + -168.3. Let v = y + -11.8. Let t be ((-5)/(-190))/(3/(-24)). Which is bigger: t or v?
v
Let r = 40 - 44. Let a(m) = m**2 - 17*m + 18. Let g be a(16). Let s be -4 - (8/(-2) - g). Is s greater than or equal to r?
True
Let d(f) = f**3 - 5*f**2 - 17*f - 1. Let s be d(23). Let n be (-4587)/s - 2/(-4). Let q = n - 64/7885. Which is greater: q or 1?
1
Let l be 9/27 + 28/(-78). Suppose -3*f + 10*f = 0. Is l <= f?
True
Let n = 0.4791 - 0.6091. Which is smaller: -2 or n?
-2
Let k be 10 + -14 - ((-600)/122 - -1). Let w = -81/244 - k. Which is smaller: -0.027 or w?
w
Let y = -1551 + 1583. Let u = -107 + 107. Is y smaller than u?
False
Let o(h) = -2*h**3 + 3*h + 3. Let r be (0 + 8/12)/((-2)/(-6)). Let k be o(r). Is k at most as big as -28/5?
True
Let f(r) = r**2 + 14*r + 36. Let q be f(-11). Suppose q*l = 15, 4*l - 22 = -h - l. Which is smaller: h or 58?
h
Let g be 1*-2 - 12/(-120)*5*16. Suppose 2*c - 3*h = -3*c, -4*c = -4*h + 8. Suppose -g*l + c = -3. Is l at most as big as 4?
True
Suppose 0 = -11*t - 2167 + 2156. Which is bigger: t or 2/2679?
2/2679
Suppose 2*q + 1376 = -2*q. Suppose -2320 - 854 = 18*p + 3000. Are q and p unequal?
True
Suppose 4*q + q - 10 = 0. Let s = -168286 - -168283. Which is smaller: q or s?
s
Let l = 16 - -2. Let j = l + -17.1. Let t = 641012/3 - 7051126/33. Are t and j unequal?
True
Suppose 0 = 114*i - 155*i. Is 13/84 <= i?
False
Let o be 4428/729 + 4/(-54). Let h be 0*((-38)/(-6) - o). Is h not equal to -2/79?
True
Let s be (0 - 0)/(-78 + 77) + 21/5. Is 0.43 less than s?
True
Suppose -5*c - 3*n - 19 = 0, 4*n = -5*c - 4 - 13. Let q be (5/(-3))/(14416/2883 + c). Let s be (0 - 4) + q/(-1178). Which is greater: s or 1?
1
Let o be 5/465*-1066 + 11. Which is greater: o or 1?
1
Let f = 8393 + -8391. Which is smaller: 0.04 or f?
0.04
Let m = -25 - -36. Suppose 0 = -18*n + 2 - 2. Suppose n = -m*u - 2 - 31. Which is smaller: u or -34/13?
u
Let f = 56 + -52. Suppose -f*s - 48 = 4*m + s, 5*m + 60 = -4*s. Let z(q) = -q**3 - 11*q**2 + 11*q - 17. Let b be z(m). Is b less than or equal to -5?
True
Let w = -472 - -2798. Does 2326 = w?
True
Let c be ((-30)/4)/((-2)/12). Let t be 27/c - -1*(-36)/(-15). Let j = 4 - 0. Which is smaller: t or j?
t
Let m be (5/(-4)*6/(-5))/((-87)/(-20242)). Is m at least as big as -2/3?
True
Let k(t) = 50*t - 236. Let u(w) = 10*w - 47. Let a(p) = -2*k(p) + 11*u(p). Let q be a(5). Suppose 0 = q*c + c - 390. Which is smaller: 64 or c?
64
Suppose -a - 2*a = 36. Suppose -4*c + 4 = 0, 6*i + c = 9*i - 182. Let d = 51 - i. Is a not equal to d?
True
Let j = 2775 + -2774. Which is smaller: -4/915 or j?
-4/915
Suppose 15996 = -y - 2*y. Let j be 36/12 + y/1450. Let z = 15/29 + j. Which is greater: z or 1?
1
Let w = 187.902 - -0.098. Let t = w - 188.1. Which is smaller: t or -0.078?
t
Suppose 174*h + 84*h + 35112 = 30*h. Is h bigger than -155?
True
Let m = 16177 - 17358. Which is greater: m or 0?
0
Let u = 0.2 - 0.3. Let n = 966.112 + -973. Let s = -0.112 + n. Which is bigger: u or s?
u
Let t = 0.02 + 4.98. Let g = t + -5.13. Let v be 2*(-3)/12 - 24/(-32). Which is smaller: v or g?
g
Let q be ((-8)/(-20))/(-6 + (-724)/(-120)). Let k be (-16)/q + (-115)/69. Do -2/125 and k have different values?
True
Let r be 6/(-8)*(-8 + -2)*-6. Let m = -74 - r. Let i be 4*(4 - 2)/(-20)*70. Does i = m?
False
Let b be ((-6)/4)/(((-4200)/80)/(-35)). Which is smaller: b or -11/2759?
b
Let s(f) be the first derivative of -2*f**2 + 11*f + 44. Let c be s(4). Which is greater: c or -45/8?
c
Let d = -89 - -237. Let z = d - 217. Let m = z + 78. Which is smaller: m or 8?
8
Let o be (-7700)/88550 + 142/46 + 1. Do 789 and o have the same value?
False
Let v = -15463 - -62205/4. Let j = -1793/20 + v. Are j and -1 nonequal?
True
Let i(u) = -u**2 + 8*u + 8. Let f be i(9). Let j(l) = 3*l**2 + 2*l - 1. Let z be j(1). Suppose 0 = -2*n + 3*x + z, -2*n - x - 16 = n. Is f greater than n?
True
Let r = -1487 - -1487.931. Let j = r + 0.109. Are 0 and j equal?
False
Let r(k) be the third derivative of k**5/60 + k**4/24 - 9*k**3 - 24*k**2. Let p be r(6). Let c be 5 - p*(-2)/3. Which is smaller: c or 2?
c
Let o = 37449 + -37141. Which is greater: o or 298?
o
Suppose 2*a - 50*t + 47*t - 1122 = 0, -2236 = -4*a + 4*t. Which is bigger: a or 547?
a
Suppose 10*b = 3*b + 35. Suppose -b*d + 6*d + 3*t = 81, 3*t = d - 81. Suppose -3*w - d = -3*k, -k - 5*w - 1 + 4 = 0. Which is smaller: k or 24?
k
Let r = 2094 - 2088. Is 0.8 smaller than r?
True
Suppose 2*j - 3*m - 886 + 61 = 0, 3*m = -4*j + 1677. Suppose 412*b + 540 = j*b. Is 108 at least as big as b?
True
Let c = 0.2068 + -0.1068. Is -12443 > c?
False
Let h = 137 - 119. Suppose -9 = -9*m - h. Which is smaller: 2/47 or m?
m
Let s be 0/(((-16)/24)/((-2)/3)). Suppose -3*b = -s*b - 15, -y - b + 3 = 0. Let m be (-64)/28 - y*(-3)/(-21). Is -1/2 <= m?
False
Let u = 4141 - 4300. Is -165 >= u?
False
Let a = -82137 + 82136. Let w be 5/7 - 0/(-2). Which is greater: a or w?
w
Let z(w) = w**3 - 31*w**2 + 53*w + 144. Let n be z(29). Let x(k) = -12*k**3 - 2*k - 3. Let h be x(n). Let q = 2 - 5. Do q and h have the same value?
False
Let q = -2.02 - -521.02. Let i = -515 + q. Which is greater: i or 0.16?
i
Let g be 8/((-128)/20) + (-57)/4860*-95. Which is bigger: g or -0.1?
-0.1
Let y = -5159 + 5169. Which is smaller: y or 196/19?
y
Suppose 5*p + 8748 = -2422*y + 2425*y, 0 = y + 4. Which is smaller: p or -1753?
-1753
Let a be 1*-2 - 42/(11466/(-535)). Which is greater: 1 or a?
1
Let d = 3 + -1. Suppose 33 - 49 = d*y. Let r = y + 6. Which is greater: r or -6/7?
-6/7
Let d be 32604/(-49257) - 12/(-18). Which is smaller: 2 or d?
d
Let q(c) = -158*c - 1661. Let x be q(-9). Is 0 != x?
True
Let j = -2.8082 - -2.7772. Are 1.1 and j nonequal?
True
Suppose 484 = 4*d - 4*z, 0 = -3*d - 3*z - 209 + 596. Is 134 > d?
True
Let x(f) = -11*f + 43. Suppose 3*g = -t + 6*t - 30, -2*t - 2*g = -12. Suppose -2*s + 14 - t = 0. Let v be x(s). Is v less than or equal to 3/52?
True
Suppose -4*o - 2807 = 15*l - 12*l, -o - 5*l - 706 = 0. Let d = -725 - o. Which is greater: 1 or d?
1
Let d(a) = -3*a - 2. Let l be d(2). Let x be -2*(-5)/(-12) + (11999/426 - 27). Is x less than l?
False
Let z = -26624 - -26624.63. Let l be 2/(-2) - (3 + -8). Which is smaller: z or l?
z
Let m = -1823 - -1224. Let c = m - -604. Let x = -412 - -5359/13. Is x >= c?
False
Suppose 0*f + 2*f + 4 = 0, -3*w = f - 778. Suppose 3*u = -u + 2*x + 232, -5*u - 5*x + w = 0. Which is greater: 55 or u?
u
Let u be ((-6)/(-9))/(7/(147/(-154))). Let r be ((-4)/(-6))/(4/6). Is u equal to r?
False
Let l(p) be the first derivative of -p**3/3 - 7*p**2/2 - 5*p + 10. Let u be l(-2). Let z be (-204)/(-20) + (-3 + 2)/u. Is 10 greater than or equal to z?
True
Suppose -s + 10 = 5*x + 25, -4*s - x - 3 = 0. Are 6/155 and s unequal?
True
Let l be (-19594)/72114 + 2/21. Let r(d) = d + 9. Suppose 2 = -j, 3*x = -0*x - j - 32. Let z be r(x). Are z and l unequal?
True
Let x = 485217/187460 + -363/140. Let h = -71/314665 - x. Is 0 >= h?
False
Let q = 7.107 + 18.893. Let o = -0.1 + 0. Which is bigger: o or q?
q
Suppose 38 = 10*u - 12. Suppose 5*o - 5 = 0, -3*o + 560 + 263 = u*n. Let p be 4 - (-3 - n/(-44)). Is 2 less than or equal to p?
True
Let n(v) = -7*v**3 + 4*v**2 - 62*v - 183. Let d be n(-3). Do d and 688/3 have different values?
True
Let y(q) = 614*q - 1653. Let r be y(3). Which is smaller: 196 or r?
r
Let m = 20493 - 20548. Which is smaller: m or -113/4?
m
Let a(d) = 348*d**2 - 26*d - 99. Let j be a(-4). Are 5574 and j equal?
False
Let p = -190/7 - 