 4*m = 856. Are -1 and z nonequal?
True
Let h be (7 - (-180)/(-27))/((-1)/6). Let p be (h - (-6 - -3))/((-2)/(-2)). Which is bigger: p or -2/237?
p
Let s = 984 + -910. Let u(x) = 75*x**2 - 2*x + 1. Let l be u(1). Does s = l?
True
Suppose 3*l - 2*a + 15 = 0, 10*a - 33 = 20*l - 19*l. Which is smaller: l or -64/21?
-64/21
Let o = -4 + 8.1. Let a = o - 0.1. Let p be (-2 - -5 - ((-2736)/162 - -20))*12. Which is bigger: p or a?
a
Let s(b) = -5*b**2 + 27*b + 18. Let p be s(6). Suppose 2*w + 3*w = -105. Let c be (-5 - -1)/((-66)/w). Does c = p?
False
Let t(u) = -u**3 + 5*u**2 - 1. Let g be t(5). Let r be g*-1*(2 - 3). Let p be ((-38)/57)/((50/4)/5). Which is smaller: r or p?
r
Let j = 229.0558 + -229. Let x = j - 9.7558. Which is greater: -2/9 or x?
-2/9
Let w be 3 + 0 + 4/(-2) - 4. Let h(g) = 2*g**2 + 5*g - 7. Let p be h(w). Let x be 6/p*(-32)/(-24). Which is bigger: -34/11 or x?
x
Let d be -4707*4/24 + 14. Which is smaller: d or -772?
-772
Let p = -303 + 304. Let j(q) = 281*q**2 + 6*q - 7. Let l be j(p). Is l less than 279?
False
Suppose -4*r = -2*u - 2*u - 20, 2*r = -u - 5. Let p be 1/(-34)*1*2. Which is greater: r or p?
r
Let f(g) = -g**3 - 5*g**2 - 3*g + 1. Let o be f(-4). Let j = -134 - -53. Let a = -87 - j. Which is smaller: a or o?
a
Let p be 151 - ((-32)/5 + 86/215). Which is bigger: p or 1730/11?
1730/11
Suppose -6*j = -13*j + 147. Let n be 112/j*(-15)/4. Is n greater than -41/2?
True
Let s be ((-28)/2)/(-7 - (-2 - 3)). Suppose -s*c = 10 + 46. Is -8 less than or equal to c?
True
Let u(t) = t**2 + 7*t + 16. Let m = -22 + 11. Let g be u(m). Suppose 4*n - g = -140. Which is smaller: -18 or n?
n
Let w = -109 + 195. Let n = -86.01304 + 0.01304. Let r = w + n. Is 87 at most as big as r?
False
Let x be (-18)/(-33) - 1296/2013. Let r = 3557423/3355 - 11667/11. Let y = r + x. Is -2/5 <= y?
True
Let b(w) = -3*w + 33. Let u be b(11). Suppose u = -5*f - 0*f - 390. Let x be 1/(3/(-4)) - (-52)/f. Is x > 5/3?
False
Let r = -284238/13 + 21861. Let s(o) = -o**3 - 4*o**2 + 7*o + 6. Let x be s(-5). Which is smaller: r or x?
x
Let a = 1.4 - -3.9. Let s = 6.7 + a. Let u = -13 + s. Which is bigger: -4 or u?
u
Let a = 22 - 23.3. Let d = 2/3025 + -1879/96800. Let w = d - 293/1440. Is w greater than a?
True
Let y(h) = 38*h + 299. Let j be y(-14). Which is smaller: j or -695/3?
j
Suppose 61 + 53 = -6*g + 3*g. Are g and -900/23 equal?
False
Suppose -5 = 7*b - 75. Let c be (b + -20)*(-4)/(-30). Let p be 9/3 - (0 + 51/15). Is c not equal to p?
True
Suppose 4*s + 2*p - 504 = 6*p, -4*s + 504 = 5*p. Let b = s + -99. Suppose 3*u = o - 40, 5*o + 3*u + 39 - 167 = 0. Which is greater: b or o?
o
Suppose 5*v + 408 = -7*v. Let i = 46 + v. Suppose -1 = 11*r - i*r. Which is bigger: r or 3?
3
Let i = 1802950/29 - 62160. Are i and 11 nonequal?
True
Let b(k) = k**3 + 11*k**2 - 21*k + 16. Let v be b(-12). Suppose 2*m + c = -2*m + 124, 4*m - v = -5*c. Let q = -123/4 + m. Which is smaller: 1/5 or q?
1/5
Let s be (18/(-81)*-3)/(4/6). Let h = 2844 + -236058/83. Is s < h?
False
Let i = 132 + 85. Let z = -216 + i. Are z and -1.85 unequal?
True
Let v = -17922 + 17958. Which is smaller: v or -1?
-1
Let i(h) = -52*h - 6. Let x be i(-1). Let d = x + -42. Suppose -6*f + 10*f = d. Which is bigger: 6/11 or f?
f
Let q be -8468*(-207)/252 + 18/(-21). Is q bigger than 6956?
False
Suppose 3*v = -5 - 7. Suppose -9086 = 57*u - 46*u. Let h = -821 - u. Is v greater than h?
False
Let f(p) = -63*p - 807. Let r be f(-13). Which is smaller: r or 14?
r
Let k(y) = -y**2 + 10*y - 19. Let b be k(4). Suppose -4*r + b*d = 3*d + 334, 2*r = 4*d - 170. Which is greater: -82 or r?
-82
Let m be ((-6)/8)/(-10 + 259/28). Which is smaller: -1/4628 or m?
-1/4628
Let p(y) = 15*y**2 + y. Let o be p(-3). Let i be o - 2 - 2/1. Let w be -1*(2 - i/12). Is 10 greater than or equal to w?
True
Suppose 85 = 3*p - y, p + 4*y - 30 = 6*y. Let b = p + -34. Let u be -8*(-3)/b + -11. Which is greater: u or -17?
u
Let i = 8004 - 8122. Is -87 less than or equal to i?
False
Let z = -12331 - -12331. Which is greater: 6.187 or z?
6.187
Let x be (-8)/22 - (77/462 + 1/66). Let p be 2*(22/26 + -1). Which is greater: p or x?
p
Let m be (99048/((-16)/2))/((-21)/28). Which is smaller: m or 16509?
m
Let r = 45.4 + -4.3. Let j = -38 + r. Let p = -310 + 311. Are p and j equal?
False
Let x = -2411 + 2473. Is x at most as big as 2.2?
False
Let w(z) = z. Let x(m) be the first derivative of -9*m**2/2 - 2*m - 20. Let a(b) = -4*w(b) - x(b). Let d be a(-2). Is -6 less than d?
False
Let r = 272.47 - 274. Let x = r + 1.63. Is -15/11 bigger than x?
False
Let w be 5/(-1)*8/(-10). Let u(j) = -j**2 + 20*j + 77. Let h be u(22). Suppose -h = -4*b - 17. Is b bigger than w?
False
Let h = -42 + 41.975. Let d = 58.975 - h. Let m = 63 - d. Which is smaller: m or 0.2?
0.2
Let w = -15 + 26. Suppose 2*l + a = 14, 3*l - 44*a + 45*a - 24 = 0. Are l and w equal?
False
Suppose 3*p = -4*y + 871, -p = 2*p + 5*y - 875. Suppose 18*n = 13*n - p. Which is greater: 2/21 or n?
2/21
Let i be ((-299698)/42 + -20)*1. Are i and -7157 nonequal?
True
Let o(x) = -x**3 + 8*x**2 - 17*x + 28. Let h(p) = -6*p**3 + 39*p**2 - 85*p + 142. Let g(w) = 2*h(w) - 11*o(w). Let r be g(-12). Is r less than 60?
False
Let b(t) = -20*t**2 - 426*t + 212. Let a be b(-19). Is 1086 not equal to a?
False
Let h = 8706 + -8705.937. Which is smaller: h or 12?
h
Let t = 134938 + -134891. Let n(h) = 6*h + 8. Let i(p) = 7*p + 7. Let b(c) = -6*i(c) + 5*n(c). Let r be b(-4). Do r and t have the same value?
False
Let p(d) = d**2 + 20*d + 11. Suppose -4*h = -5*k + 87, -3*k = 2*h - 8*k + 51. Let u be p(h). Which is greater: -26 or u?
u
Let i(t) = 4*t + 123. Let x be i(-31). Is -41/81 > x?
True
Let q = -1537/3475 - -17/139. Which is greater: -1 or q?
q
Let m be 20/3*(-21)/(-2). Let r(n) = -32*n - 1114. Let y be r(-37). Is y smaller than m?
False
Let w = 40 + 9. Let h = w + -23. Let g = h + -25.98. Which is greater: -0.1 or g?
g
Let z(x) = 1059*x - 3126. Let l be z(3). Which is smaller: 660/13 or l?
660/13
Let g = 127.2 - 73.5. Which is smaller: -3 or g?
-3
Let y(m) = -m + 6. Let d be y(-4). Suppose -23 + 72 = 7*j. Let b = j + -5. Which is bigger: b or d?
d
Let v be (-1)/(-4)*(1 + 13 + -2). Suppose w - 3*j + 28 = j, 0 = 3*w - v*j + 75. Let k be (-248)/(-966) + w/84. Which is smaller: k or 1?
k
Let m be 10/(39 - 9) - 18424/12. Is m >= -1535?
True
Let x = -17558 - -17467. Let f be (-2)/(1*(-4)/(-178)). Is x at most f?
True
Suppose 5*s - 32 - 78 = 5*j, 0 = 3*s - 5*j - 60. Let r = 71 - 73. Let k be (-420)/(-16) + r/8. Are k and s equal?
False
Let g = -8 - -0.6. Let r = -1.82 - 5.48. Let o = g - r. Which is smaller: o or 0.18?
o
Let h = 5969 - 5485. Which is smaller: 485 or h?
h
Let v be (-339)/(-4) - (9/(-12))/3. Let o be 14/(-63) - 3817/(-45). Let h = v - o. Which is smaller: -2/7 or h?
-2/7
Let m = 259 - 259. Suppose j - 4 = m, -8*h = -11*h - j + 7. Which is greater: h or -6/113?
h
Suppose -6 = 14*d - 104. Let a be (-1)/(8*d/3808). Is a bigger than -68?
False
Let x be (-1)/(-2) + (3339/18)/1. Let l = x + -199. Which is smaller: -12 or l?
l
Let n(q) = -5*q**3 - 7*q**2 - 78*q + 1. Let g(d) = 3*d**3 + 4*d**2 + 39*d - 1. Let t(z) = -7*g(z) - 4*n(z). Let i be t(-6). Which is smaller: -22 or i?
-22
Let k(c) be the second derivative of c**5/20 + 13*c**4/12 + 2*c**3 + c**2/2 + 15*c. Let d be k(-12). Let l = 24/17 + -3/2. Is l greater than d?
False
Let c(f) = 10*f - 115. Let i be c(18). Suppose -56*w = -i*w. Is -7/31 less than w?
True
Let m be 1/(114264/(-273018))*-2 - 5. Let g = -1/1058 + m. Which is bigger: 1/12 or g?
1/12
Let x(h) = -43*h + 7. Let v be x(-7). Suppose 8*u + v = u. Let l be (-5)/20*u/(-6). Is l bigger than -3?
True
Let v be 3/((-4095)/(-2715))*-7. Is v at least -14?
True
Let x = -12 + 0. Suppose 3*d = -3*p + 27, 10 + 2 = 3*d. Suppose -c + p*f - 18 = 0, -7*c + 2*c + 5*f = 70. Which is bigger: c or x?
x
Suppose 230 = 3*x + 2*f, 3*f = 23*x - 24*x + 86. Let l be x + 2*(-5 + 3). Suppose -4*y + 286 = -2*w, -4*w = 3*y - 145 - 42. Which is bigger: y or l?
l
Let h(r) = -12*r + 162. Let t be h(14). Let y be t*(143/(-2))/11. Is y > 35?
True
Let b be 1164/(-2134) + 5190/77 + (-1)/(-7). Is b <= 66?
False
Let f be ((-2)/(-4))/((-2)/(-8)). Suppose 4*k + 4 = f*c + 12, 4 = -k - c. Which is smaller: k or -76?
-76
Let y be 19602/21296 + 