1)/m*3. Are -1/11 and g unequal?
True
Suppose -2*d + 2 = -0*d + k, -5*d + 2*k - 4 = 0. Suppose -2*q + 4*q = d. Let b = 1 + -1. Is b at most as big as q?
True
Let w be (41064/(-880))/87 + (-4)/(-10). Which is greater: w or 23?
23
Let n(s) = 2*s**3 - 99*s**2 - 58*s + 412. Let i be n(50). Which is greater: 26 or i?
26
Let b = -2.5309 - -2.481. Which is smaller: 3 or b?
b
Suppose -9*s = -13*s. Let j be (-10)/(-15) + 1502/(-3). Let r = j - -6504/13. Is r equal to s?
False
Suppose -4*n = 3*r - 21442, 0 = 24*n - 27*n + r + 16088. Is 5363 at most as big as n?
False
Let y(g) = -g**3 + 9*g**2 - 6*g - 16. Let z be y(8). Suppose z = -o - 13*o - 616. Is o at least as big as -40?
False
Let u = 59910/600341 - -4/4319. Let h = u + -1469/13205. Which is smaller: 0 or h?
h
Let l = 701 - 3507/5. Let m = 3/5 + l. Is 0.017 equal to m?
False
Let t be (-8 - 85/(-10))/(2/20). Let h(v) = 3*v**2 - 22*v + 20. Let b be h(t). Is b at least as big as -102/7?
False
Let s = 47 - 10. Let h(v) = -v**2 + 19*v - 33. Let p(c) = 2*c. Let i be p(7). Let m be h(i). Do s and m have different values?
False
Suppose -5*s - 555 = 7*b - 8*b, 0 = -4*b + 3*s + 2169. Suppose -44*l + 35*l = b. Are -58 and l non-equal?
True
Suppose -793 = 5*r + 5*i - 193, 4*r + 5*i + 484 = 0. Let z = -168081/7 + 23896. Let a = r - z. Which is smaller: a or 0?
a
Let j be (2177/434 + -5)/((-2)/2). Let z be 2 + (16 + -4)/(-4). Is j >= z?
True
Let f = 7984 + -7354. Which is smaller: -0.06 or f?
-0.06
Let c(x) = -x**3 + 17*x**2 - 2*x + 24. Suppose z - 13 = -2*u + 10, 20 = z + u. Let h be c(z). Let f be -13 - h - (3 - (-4)/(-2)). Which is greater: -6 or f?
f
Let y(m) = -17*m - 226. Let o be y(-14). Suppose 3*c + 9 = 10*l - 7*l, -2*c - o = -4*l. Which is smaller: c or -14/93?
-14/93
Let x be (12/8)/(5/(-5420)*2). Is x equal to -814?
False
Let k = -0.2 - -7.8. Let x = 14 - k. Let v = x - 6.5. Which is bigger: v or -1.1?
v
Let t = -3122 + 3121. Which is greater: 2/71 or t?
2/71
Suppose -2490 = 5*a - 5*n - 40, -974 = 2*a - 5*n. Let i be (-14)/21 + (-472)/a. Is i not equal to 1?
True
Let v = -18441/29 - -636. Suppose i + 2*i = -165. Let r be -1*(14/10 + 22/i). Which is bigger: r or v?
v
Let t = -74.75 + 4061.75. Which is smaller: t or -1?
-1
Let h = 0.472 - -0.003. Let b = h + -0.485. Which is bigger: b or -18?
b
Suppose 127*x = 28*x - 32967. Is -377 smaller than x?
True
Let l(a) = -a**2 + 9*a + 11. Let t be l(10). Suppose -622 = 8*i - 582. Let f be (-6*(-6)/(-12))/(t/i). Is 16 smaller than f?
False
Let x be (77/(-14))/(1/(-2)). Suppose -w = -4*h - 20, -4 = -4*w + 3*h + x. Which is smaller: 1/60 or w?
w
Let y = -2981 - -2980.99. Which is smaller: y or 11?
y
Let i = 402.77 - 401. Let m = -2.07 + i. Which is smaller: m or -58?
-58
Suppose 55*c - 8140 = 45*c. Let w be (11/c)/(3/(-144)). Is -2 not equal to w?
True
Let b = 145.77 - 145.87. Which is smaller: b or -5787?
-5787
Let d be (10/145 - 25/(-58))/((-4)/452). Let v = -67 + 9. Which is greater: d or v?
d
Let l = 114 + -112. Let n be ((-10)/(-4))/(l/12). Let i be ((-26)/3)/((50/n)/5). Which is bigger: i or -14?
i
Suppose -5*h + 115 = -2*s, -h = -4*s + 3 - 8. Suppose 0 = 4*p + 5*z - 106, 0*p + 3*z = 4*p - 90. Is h greater than p?
True
Let u(s) = 77*s + 7867. Let p be u(-113). Is -836 < p?
True
Let y be 41018/(-95872) - (480/(-140))/8. Which is smaller: -1 or y?
-1
Let a be 2408/(-1197) + 0 + -5 - -7. Is -1.5 equal to a?
False
Let u be (-10)/(-2)*(-19 + 18) - -44. Suppose -5*h + 3*l + 742 = 0, -5*l + 87 = h - u. Is h not equal to 145?
True
Let o(d) = d**3 - 23*d**2 + 3*d - 67. Let t be o(23). Let r be (1/102)/(t + (-15)/10). Which is smaller: r or 1?
r
Let o = -1.0989 + 1.6919. Is 3/7 bigger than o?
False
Let f = -2.96 + 3. Let h = -128742/7 - -18391. Which is bigger: f or h?
f
Let h = -1.15 - 55.85. Let s = 13 - 63. Let z = h - s. Which is smaller: 4 or z?
z
Let a = -56 + 86. Let z = a + -57. Let b = z + 27. Does -3 = b?
False
Suppose 5*c - 2*l = 6, -4 = -4*c + 3*l + 5. Let w = 2500 + -2500.18. Which is smaller: c or w?
w
Let i(z) be the second derivative of 19*z**3/6 + 193*z**2/2 - 148*z. Let p be i(-14). Is p greater than or equal to -3?
False
Let s(j) = -2*j**3 + 13*j**2 - 32*j + 34. Let d be 2 - 8/(4 - 2 - 4). Let r be s(d). Is -123 smaller than r?
True
Let i be ((-2)/3)/((-165802)/(-6630) + -25). Which is greater: i or -251/3?
-251/3
Let x(j) = -66*j**2 + 13*j + 10. Let r(m) = m**2 + 2*m - 2. Let g(l) = 3*r(l) - x(l). Let w be g(-2). Is w less than 274?
False
Let f be (18/15)/((104/(-120))/13). Is -10 less than f?
False
Let a be -2 - (1/((-5)/(-20)) - 0). Let v(m) = m**2 - 46. Let r be v(a). Which is bigger: r or -7?
-7
Suppose 9395*i = 9355*i + 2360. Which is smaller: 56 or i?
56
Suppose 0*a - 4*a + 5*r + 12 = 0, 3*a + 5*r + 26 = 0. Let z be (0 - (-2 + 4))/a. Is z less than or equal to -2/177?
False
Let j = -0.6 + -18.8. Let x = 19.1 + j. Are -0.07 and x non-equal?
True
Suppose 0 = -28*d + 38*d - 180. Let i(s) = 2*s**2 - 20*s - 102. Let l be i(d). Do l and 186 have the same value?
True
Let h = 11844.859 + -11845. Are h and -18 unequal?
True
Let z = -4.5 - -4.569. Let p = z + 0.331. Let y = -0.14 - -0.07. Which is smaller: y or p?
y
Let h be (320/(-7450))/(((-13)/2)/13). Is h equal to 1?
False
Let j = 1319 + -2429. Is -1112 smaller than j?
True
Let v = 4431 - 3729. Which is bigger: v or 0?
v
Let o = -5927.319 + 5923. Which is smaller: 0 or o?
o
Let d be (-2)/(3/(-6 + 0)). Suppose -3*g + 4*u + 7 = 0, -6*u - 2 = -2*g - d*u. Suppose 3*s - 2*r = -17, -5*r = -2*s - 17 - 9. Is s at most as big as g?
True
Suppose 38 = 23*y - 4*y. Let a(k) = 4*k + 0 - 3*k**3 + k**2 - 3 - 2*k**3 + 4*k**3. Let c be a(y). Which is greater: c or 28?
28
Let m = 0.231 + 0.029. Let z = 1.362 - 0.102. Let y = m - z. Is y less than 15?
True
Let y be (8/6)/(-2)*(-2)/(-54). Let h be ((-39)/(-243))/((-15)/(-21)). Let k = y + h. Is k less than -17?
False
Let q(h) = -h**3 - 41*h**2 - 69*h + 352. Let f be q(-39). Let x = 41455225 + -2694535613/65. Let g = x - 831. Is f bigger than g?
True
Suppose -4*m + 2*o = -1782, 483 - 1384 = -2*m + 3*o. Which is greater: m or 444?
444
Let a = 65957/3 - 21743. Which is bigger: a or 2/5?
a
Let o(d) = d**2 + 18*d + 59. Let n be o(-14). Let x be n + (24/(-13) - 1). Let r(g) = g**2 + 1. Let t be r(2). Is x at most as big as t?
True
Let q(b) = 55*b + 45. Let j be q(8). Suppose -150 = n - 4*w, -3*n + 11*w = 6*w + j. Is n at most -169?
True
Let q = 430/7 + -62. Let i = 77 - 86.7. Let u = i - -8.7. Which is bigger: q or u?
q
Let c = -23561/8 - -2941. Let a be ((-4)/(-6))/((-10)/75). Is a at least c?
False
Let j(u) = -7*u - 21 - 10*u + u**2 + 6*u. Let x be j(14). Let l(i) = -i**2 + 19*i + 43. Let a be l(x). Is a > -2/45?
True
Suppose 5*x + 18 = 28. Suppose -x*g - 13*g = 975. Is g at most as big as 0.2?
True
Let v be ((-1)/(-17) + 0)/(103/(-206)). Let p(q) = q**2 - q + 2. Let c be p(2). Let z be (c/35)/(12/(-30)). Which is bigger: v or z?
v
Let u(b) = -36*b - 429. Let h be u(-57). Are 1624 and h equal?
False
Let w = 0.5 - -40.5. Let q = w + -41.06. Which is smaller: -0.1 or q?
-0.1
Suppose 333*f - 335*f = -6. Suppose -3*v - 13 = -t, 3*t - 17 = 2*v + 1. Let p be (f/4 + (-11)/t)/(-3). Is 1/3 bigger than p?
False
Let p = 279 - 433. Let m = p - -473/3. Let y be -3 - (-2 - -26)/(-3). Which is smaller: y or m?
m
Suppose -145*m - 65 = -80*m. Which is smaller: m or 10/489?
m
Suppose 2*m - 177 = 3*t + 649, 0 = -2*m - 5*t + 810. Let x be ((-15)/(-50)*-4)/(15/m). Is x > -32?
False
Let o(j) = -j + 2. Let r be o(3). Let y be (2001/(-455))/(-29) - (-6)/(-39). Is y less than r?
False
Suppose -21575 = 3626*m - 3601*m. Which is smaller: m or -862?
m
Suppose -2*a - 57 = 3*p, -19 = 3*a - 5*p + 19. Which is greater: -3 or a?
-3
Suppose -y - 8750 = a, -5*y = -1268*a + 1264*a + 43705. Is y at most as big as -8744?
True
Suppose 0 = 3*r + 2*b - 150, 0 = 4*r + 17*b - 14*b - 200. Let p(h) = 111*h + 2. Let t be p(2). Suppose -5*q = -t - 21. Is q > r?
False
Let p be (-6)/39 + (-33924)/(-28782)*3 + -3. Which is bigger: p or 0?
p
Let n = 450 + -375. Let h = -191 + 187. Is n greater than h?
True
Let s(j) = 112*j**2 - 124*j**2 + j**3 + 20*j + 0*j**3. Let z be s(10). Is 1/153 at most z?
False
Let v = 219 - 216. Suppose 4*k + 26 = -2*u, -2*k - v = -9. Is u at most -18?
True
Let b be (-2)/5 + 2/5. Let z be 56/