2?
True
Let o = 274 + -281. Let z be 273/35 + 1 + o. Let y = 3 + -1. Do z and y have different values?
True
Let d(u) = 2*u - 10. Let n(y) = 3*y - 19. Let z(j) = 5*d(j) - 3*n(j). Let o be z(-4). Let m be (-130)/(-35)*1 - (o + 1). Which is smaller: -1 or m?
-1
Let u(h) = h**3 - 3*h**2 - 14*h + 12. Suppose g = 2*g, 2*q = g + 12. Let l be u(q). Let i be (3/9)/(l/8). Which is smaller: 0 or i?
0
Let p(l) be the first derivative of -l**3 - 10*l**2 - 22*l - 29. Let s be p(-5). Let q be (2/(-6))/(-51*s/(-54)). Which is smaller: -1 or q?
-1
Let x be (-4)/(-10) - (-25970)/(-50). Let s = x - -404. Is s smaller than -116?
False
Suppose -4*i + 12 = -8*i, -5*a - 4 = 3*i. Which is bigger: a or 2/1805?
a
Let r = -1968 + 1967. Which is smaller: -48/53 or r?
r
Let u = -86112 - -428752/5. Let t = -5482/15 - u. Let s = t - -5308/1365. Is -1 greater than s?
False
Let b be (54/(-60))/(-17 - 220). Which is bigger: b or -1?
b
Let d(w) be the first derivative of w**4/4 + w**3/3 + w - 1. Let z be d(0). Let i = -276/1405 - 1/281. Is z bigger than i?
True
Suppose 3065 = 12*r - 5047. Let z = r + -621. Is z smaller than 54?
False
Suppose -53*h + 3*h = 4*h + 7*h. Let x be (-3)/(-6) + 62/(-72). Which is smaller: h or x?
x
Let u be 1446/4 + (-8 - 40/(-10)). Let l = -357 + u. Which is greater: -363 or l?
l
Let k(a) = -99*a + 123. Let u(n) = -25*n + 31. Let o(t) = 4*k(t) - 15*u(t). Let l be o(3). Which is bigger: l or 5?
5
Let s be 3 - (-4)/(4 + -3). Suppose 2*a - 21 = -17. Let g be (-1)/a*(-4 - -2)*7. Is s at least as big as g?
True
Let z(o) = -791*o + 1725. Let f be z(0). Are f and -2/5 equal?
False
Let i = -316 - -11042/35. Let t = 111/175 + i. Suppose -2*l - 1 - 1 = 0. Which is bigger: l or t?
t
Suppose 3*p = -19 + 28. Let b be 8*p/6*1 - 3. Are 3 and b non-equal?
True
Let f = -2.6 - -42.6. Let b = f - 27. Let p = b + -12. Are p and 40 equal?
False
Let i(a) = 174*a - 1914. Let t be i(11). Is t less than 23/428?
True
Let b be (-2 + 2)/(0 + 1). Let u = 4124 - 1282567/311. Let z = u - 241/39497. Which is smaller: z or b?
z
Let k = -9738/17 - -573. Suppose 0 = 4*d + 4*x - 0 + 8, -3*d + 4*x = -8. Suppose -21*w + 27*w = d. Is w != k?
True
Let m(n) = n**2 + 16*n + 46. Let b(k) = -1 + 0*k - 4 - 1 - k. Let j be b(7). Let o be m(j). Which is greater: 3 or o?
o
Suppose -9*s - 7*s = 1606 - 7430. Is s >= 364?
True
Let t be ((-294)/36)/((-144)/(-64)). Which is bigger: t or -3?
-3
Suppose 2*f - 2*m = 8, -5*m - 15 = 5. Let a be (-312)/64 - -5 - (-2836)/(-22176). Which is greater: f or a?
f
Let q = -477 + 638. Are q and 161 nonequal?
False
Let p be (-2)/3 + (-8)/(-3). Suppose -p*a = -3*m + 9 + 1, m = -5*a - 25. Let r be (a - 1)/(-3*22/4). Is r equal to -1?
False
Let m be (-4)/44*(-7 + -1). Let u = 141 + 60. Let g = 199 - u. Which is smaller: m or g?
g
Suppose 64*i + 7 = 7. Which is smaller: -161.5 or i?
-161.5
Let q(x) = -87*x + 1253. Let c be q(13). Suppose 0 = -5*v, p + 4*v + 75 = 197. Is c greater than or equal to p?
True
Suppose 0 = -2*w - 31 - 1. Suppose -3*c - 41 = 4*n, 45 + 0 = -5*n - 5*c. Which is smaller: n or w?
w
Let r be (6747/52)/((-45)/(-6)). Let x = -111 + 486/5. Let a = x + r. Is 4 >= a?
True
Suppose -13*y + 38275 = 1030. Is y < 2866?
True
Let y = 3/8843 - -2210717/97273. Let d be ((-59 + 57)*(-1)/6)/(13/897). Is d less than or equal to y?
False
Let j = 49.5 + -49. Suppose 42*d - 46*d + 2*c - 6 = 0, 4*d = c - 3. Is j less than or equal to d?
False
Let f = 19007 - 18799. Is f < 2302/11?
True
Let g(o) = -6*o - 38. Let f be g(-6). Let t = 38.1 - 36.6. Which is bigger: t or f?
t
Let p be ((-2)/(-48))/(2/5). Suppose 40*y - 19 + 48 - 69 = 0. Which is greater: p or y?
y
Let m = 15 + -9. Suppose -o + m - 3 = 0. Suppose -4*s + o + 1 = 0. Is 1/48 bigger than s?
False
Let n(z) = -z**2 - 11*z + 15. Let k be n(-10). Suppose 0 = 16*c - 11*c - k. Is 49/9 < c?
False
Suppose -28*t + 954 = 226. Let o be ((-3)/(72/40))/t. Is o at least as big as 0?
False
Let o = 464/9 - 458/9. Let w = 27.984 + 0.016. Is o >= w?
False
Suppose 0 = -12*s + 50276 - 40352. Is 827 greater than or equal to s?
True
Suppose -6*p + 82 - 58 = 0. Suppose -4*r - 30 - 19 = -s, -p*s = -4*r - 148. Suppose -s*t = -29*t - 16. Is t >= 5?
False
Suppose 5*c - 64 = 3*o, -4*c + 3*c + 2*o = -10. Suppose 12*l + 46 = c*l. Which is smaller: l or -2?
-2
Let q(i) = -26*i**2 - 204*i - 12. Let a be q(-8). Is -40 greater than or equal to a?
True
Let g = 786 - 785.91. Let q = -39.18 + 60.09. Let t = q + g. Is t at least 2/9?
True
Suppose 2197 = -5*w - 6*a + 8*a, 0 = 4*a + 16. Is -441 at most w?
True
Let m = 449017/60751 - 584/79. Which is smaller: m or 5?
m
Let t be (9/(-288)*-8)/(1/12). Suppose t*f = -6*h + h + 5, -2*h + 2 = -2*f. Which is smaller: -1/64 or f?
-1/64
Suppose -2*c - 19 = 5*x, -c + 2*x = -0*c - 13. Suppose 4*y = c*z + 1384, -7*z - 3*y = -6*z + 470. Which is smaller: z or -463?
z
Let d be ((-254)/(-127) - (1 - 0))*(2 - 1). Which is greater: -1/1181 or d?
d
Suppose 15 = s - 2*s. Let w(q) = 234*q + 13337. Let p be w(-57). Is s at least p?
False
Let o(z) = -z + 10. Let c be o(8). Let s = -14/55 - -359/330. Which is greater: c or s?
c
Let x(f) = f + 54. Let v be x(-55). Let k = -3155 - -1145267/363. Which is greater: v or k?
k
Let x(a) = -4*a**2 + 3*a - 1. Let y be x(-2). Which is smaller: y or 18?
y
Let n(f) = f**3 + 6*f**2 - 20*f - 90. Let i be n(-7). Suppose 2*o - 5568 = -2*o. Let q = o - 115538/83. Which is greater: q or i?
i
Let g be ((-12)/10)/(14/(-10)). Let n be 2 + 0 + -1 - -9. Let z be (-1 + (-28)/(-21))*n/15. Is z > g?
False
Let b be 9/(270/352) - (-2)/(-5). Which is greater: 12 or b?
12
Let y = -79 - -79. Suppose y = -i + 2*b - 19, -7*i + 2*i - b = 139. Which is smaller: i or -4?
i
Let y(o) = -3*o + 65. Let v = 69 + -80. Let i(q) = -2*q + 33. Let t(g) = v*i(g) + 6*y(g). Let a be t(-6). Which is smaller: 10 or a?
a
Let n = 134 + -118. Suppose 3*l - n = -3*k - l, -5*l = -5*k - 20. Let g = -4/55 - -4/5. Which is bigger: k or g?
g
Suppose -3*c + 5*a + 51 = 0, 3*c - 4*a + a = 45. Suppose -z - u + c = 0, 3*z - 4*u = -16 + 73. Let o = 24 - 10. Is z bigger than o?
True
Let z(u) = -13*u - 288. Let w(d) = 923*d + 20449. Let f(h) = -2*w(h) - 143*z(h). Let q be f(-22). Which is bigger: q or -4/53?
q
Suppose -233*n + 229*n + 11*u = -2413, 3*n - 1866 = -3*u. Which is smaller: 3083/5 or n?
3083/5
Let z be ((-8)/22)/((-6)/(-26)). Let g = z - -21/11. Is g less than 114?
True
Let i(b) = -10*b + 117. Let x be i(11). Let k(f) = -f**2 + 3*f + 2. Let d be k(4). Is d not equal to x?
True
Let r(f) = -7*f - 4*f**2 - 3*f + f - f**3 - 1 + 5*f. Let h be r(-3). Suppose h*j - 12 = -10. Is 1/36 less than or equal to j?
True
Let d = 309/14 + -1025/42. Is -1 < d?
False
Let o = -36819/8 + 3763. Are -839 and o equal?
False
Let u = -1380.2 + 1380.953. Are u and 2/3 unequal?
True
Let t = 39994712/11 - 17077339886/4697. Let u = -238/61 + t. Let n = 82 - u. Which is greater: n or 0.3?
0.3
Let y(p) = p**3 + 21*p**2 + 3*p + 63. Let b be y(-21). Suppose -23*c + 201 + 972 = b. Which is smaller: c or 46?
46
Suppose 4*r = -308 - 556. Let j be (-12)/30*-10*(-2)/r. Does -1 = j?
False
Let n be (-70)/(-15) + -4 + (-33)/67. Is n at most as big as -1?
False
Let q be ((-108)/(-8))/(1/(-6)). Let o = q - -40. Let z = -41 - o. Which is greater: -2/183 or z?
z
Let n = 1 - 2. Let r be (n*2)/(-2) - 1. Let k be 3/(5 + 7) - 42/232. Which is greater: k or r?
k
Let h be 5 - ((-23570)/(-4))/(10/4). Is h <= -2352?
True
Suppose 18 = -7*h - 17. Let s be h - ((-20)/4 + 0). Which is greater: -1/109 or s?
s
Suppose -1 - 9 = -3*v + 4*n, -2 = v - 4*n. Let u = -13 + 20. Suppose -v*t = -u*t - 17. Which is bigger: t or -16?
-16
Let j(x) = x. Let n(g) = -g - 26. Let d(c) = -4*j(c) + n(c). Let l be d(-9). Let i(r) = r**3 - 6*r**2 + 8*r + 5. Let v be i(5). Are v and l nonequal?
True
Let f = -42 - -42. Suppose -2*i + f = -3*x + 13, -5*i - 26 = -x. Suppose 0 = -12*y + 13*y + x. Which is smaller: -1/28 or y?
y
Let q(x) = -413*x + 827. Let w be q(2). Which is bigger: 1/3260 or w?
w
Let p(j) = j**3 - 6*j - 6. Let y be p(5). Let c = -20005 - -20093. Which is smaller: c or y?
c
Let h be (-3 - 52/(-16)) + -3 + 1830/656. Which is smaller: 1 or h?
h
Let j(u) = -u**3 + 35*u**2 - 23*u - 287. Let i be j(34). Which is smaller: i or 92?
i
Let j = -2364 + 2348. Suppose 0 = -4*y - 4*t - 16, 0*y + 2*t = y + 4. 