
c
Let c(z) = z - 15. Suppose 0 = 4*q + 5*s - 244, 3*q + 0*q - 160 = 2*s. Suppose 4*p = 8*p - q. Let m be c(p). Are 2/17 and m equal?
False
Suppose 12*u = -u - 13. Let y be ((-2092)/700 + 3)/u. Is -1 > y?
False
Let x = 0.315 - 0.26. Let g = -2.555 + x. Is -0.1 bigger than g?
True
Let l = 2 - -2. Let z(g) = g - 3. Let h be z(l). Let n = 7 + -5. Which is smaller: n or h?
h
Let d = -8213/2185 - -57/115. Which is bigger: -2 or d?
-2
Suppose 82*b - 92*b - 200 = 0. Which is smaller: -141/7 or b?
-141/7
Let m = -207 - -200. Are 4 and m unequal?
True
Let y(a) = a + 6. Let f be y(-4). Let z(c) = -5*c + 4. Let r be z(f). Do -5 and r have the same value?
False
Suppose -7*a = -5*a - 6. Let f be (-2)/6 - 5/3. Let j be (2/(-3))/(f/6). Which is smaller: a or j?
j
Let j be (1715/(-45))/(-7) - 6. Let d = 2/9 + j. Suppose 2*m = 4*m. Is m smaller than d?
False
Let d = 1463471/233 + -6281. Are d and 1 unequal?
True
Let h = 3.4 - -12.6. Let f = -17.1 + h. Let o = -0.1 - f. Is -4 smaller than o?
True
Let v be ((-190)/20 - -10)*-10. Does -67 = v?
False
Let q = -1.72 + 76.72. Let p = q + -74.9. Which is smaller: p or 3/5?
p
Let o = 184 - 8282/45. Which is bigger: o or 0?
0
Let j(b) = b**3 + 12*b**2 - 7*b + 99. Let d be j(-14). Is -196 bigger than d?
False
Let g = -1824.3 - -1825. Let u be (-13)/(-20) - (-2)/(-8). Which is smaller: g or u?
u
Suppose -w + d = 5*d - 11, 5*d + 2 = 4*w. Is w at least 9?
False
Let d be (2/((-72)/(-2)))/(114/(-57912)). Which is smaller: d or -29?
-29
Suppose 91 = -7*a + 14*a. Which is smaller: -3 or a?
-3
Let y = 2/2483 - -4776/235885. Let z = -0.3 + 0.2. Is y >= z?
True
Suppose 3*r + 21 + 12 = 0. Suppose -62 = 6*g - 2*h, -28 = 4*g + 3*h + 9. Which is greater: g or r?
g
Let b(m) = 2*m + 5. Let h(u) = -2*u - 5. Let o(r) = 6*b(r) + 7*h(r). Let i be o(-3). Is 1 >= i?
True
Let p(a) = 20*a**2 + a + 1. Let b be p(-1). Suppose 7*r + b = 12*r. Suppose 5 = r*u + 9. Is 3/7 bigger than u?
True
Let s be 1*-2*(-5 + 6 + -2). Suppose s*b - 46 = 3*n, -n - 2 = -b + 12. Which is smaller: -19 or n?
-19
Let w = 0 + 0.1. Let m = w + 0. Let r = 3743 - 26205/7. Is r <= m?
True
Let v = -20.94 + 21. Let d = -1177/3 - -389. Let c = -3 - d. Which is bigger: v or c?
c
Let r = 42 - 41. Let h = 10774/27 - 399. Is h > r?
False
Let d = -12.07 + 0.07. Let h = -10.75 + -0.25. Let s = d - h. Which is smaller: 0.09 or s?
s
Let b be (-1027)/2 - (-1 + 6/12). Which is smaller: b or -514?
-514
Let d(q) = -5*q - 79. Let p be d(-16). Which is smaller: 77 or p?
p
Let g be 2/12 + 1545/450. Is 4 >= g?
True
Let n = -198 + 198. Is 12/73 bigger than n?
True
Let i(v) = -v**2 + v + 2. Let j be i(-3). Let t be 11/(-55) + (-52)/j. Let f = -1 - 1. Which is greater: f or t?
t
Let o = 148 - 23. Is o less than 127?
True
Suppose 2*q + 12 = -3*u, 9 - 1 = -4*q + 2*u. Do q and -42 have the same value?
False
Suppose -68 = 4*i - 200. Which is bigger: 31 or i?
i
Let f = -2855 - -334037/117. Let w = -84829/397215 + 26/485. Let u = f + w. Which is greater: 2/5 or u?
2/5
Suppose 4*v + 7673 = -3*t, 3*v + 9597 = -2*v + 2*t. Is -1918 equal to v?
False
Let o = -67 + 71. Let m be (2 - (-70)/(-32))/((-1)/o). Do m and 2 have different values?
True
Suppose 32*o - 29*o - 90 = 0. Which is smaller: 27 or o?
27
Let m be 26/((3 - 0) + 18). Let u = m + -293/84. Is u greater than -1?
False
Let i = 237.2 + -237. Is 19 greater than or equal to i?
True
Let v = 9 - 9.04. Let l = -0.057 - 0.003. Let t = l + v. Which is greater: -2/3 or t?
t
Suppose 9 = -2*v + v. Let h = -99 - -98. Let o be h - 3*6/v. Which is greater: -2/5 or o?
o
Let z = -5 - -2. Let f = 1818164795/623 - 2918401. Let x = -1/89 - f. Which is bigger: z or x?
x
Suppose -6*w + 603 = -8*w + 5*t, -2*t = -4*w - 1230. Which is bigger: -311 or w?
w
Let h(a) be the second derivative of -7*a**3/6 - a**2/2 + 8*a. Let c(t) = t - 1. Let o(i) = 6*c(i) + h(i). Let l be o(0). Which is bigger: -1 or l?
-1
Suppose 0*u + 10*u - 630 = 0. Suppose 5*z - u = -8*v + 11*v, -v - z - 13 = 0. Is v smaller than -13?
True
Suppose 11 = -27*y + 11. Which is smaller: -5 or y?
-5
Let r = 466 - 493.9. Let j = -28 - r. Is 3.2 smaller than j?
False
Let l = -764 - -740. Is 3 not equal to l?
True
Suppose 5*b - 2 + 12 = 0. Let s be 5 + -3*(-6)/9. Let t be (-6)/14 - 2/s. Which is smaller: b or t?
b
Suppose -3*a - 3*q - 6 = 0, q = 4*a - q + 8. Let r be 0/(a - (3 - 3)). Let s(v) = -v**2 + v + 1. Let m be s(2). Which is bigger: m or r?
r
Let a be (143/273*7)/((-3)/(-9)). Let p = -4 - 0. Let j(i) = 2*i**2 + 4*i - 4. Let d be j(p). Is d > a?
True
Let o be (-225)/(-7) - (-12)/(-70)*-5. Is o at most 38?
True
Let n(s) be the second derivative of -3*s**5/20 - s**4 + s**3/3 + 4*s**2 - 27*s. Let u be n(-4). Is 1/36 at most u?
False
Let v(p) = 20*p**2 + 2*p + 2. Let d be v(-2). Let a = d - -9. Let s = 695/8 - a. Which is smaller: 1 or s?
s
Let b = -63.2 - -102. Let t = b + -39. Is 6/7 less than t?
False
Let n = 0.17 + 6.83. Let d = -30 - -22. Let y = n + d. Which is greater: -0.08 or y?
-0.08
Let f(g) = 6*g - 24. Let a be f(4). Suppose a = -4*j - 48 - 28. Are j and -18 non-equal?
True
Let c = 27326 + -55651/2. Do c and -501 have the same value?
False
Let a = 0.64 - 0.74. Let m = -3.4 - -2.3. Let k = m - a. Is 1.1 smaller than k?
False
Suppose 25*a + 108 = 21*a. Let q be 1/((a + -3)*5/2). Which is bigger: q or 1?
1
Let y(p) = 278*p + 410. Let q be y(-4). Are -702 and q nonequal?
False
Let t(u) = u**3 + 6*u**2 + 2*u + 3. Let x be t(-2). Let n be x/(-12)*3/(105/(-2)). Which is bigger: n or -0.1?
n
Let b be 0 - (-39)/(-15) - -3. Suppose 2*w = 6 - 8. Let k be 2 - (-2 + (-4)/w). Do b and k have different values?
True
Suppose -5*s + 1 = -4*s, 164 = 4*q + 4*s. Let b(k) = -k**3 + k**2 - k + 2. Let i be b(-3). Which is smaller: i or q?
q
Suppose -4*m = -9*m - 95. Let a = m + 18. Is -1 at least as big as a?
True
Let v(y) = -25*y - 74. Let z be v(-3). Is -2/175 != z?
True
Let l be -6 + 0 + (-1392)/(-234). Are l and 0 nonequal?
True
Suppose -2*b - 20*p - 344 = -17*p, -5*b - 883 = -4*p. Which is smaller: b or -176?
-176
Let q be 3/(-2)*(-20)/3. Suppose 0 = -4*h - 6 - q. Which is smaller: h or -5?
-5
Suppose -8*p + 3*p = -10, 1 = -o + p. Let k be (42/63)/(o/(-3)). Is -4 less than or equal to k?
True
Suppose t - 6*t = 0. Suppose -d + 3 = -3. Suppose 0 = -2*a - 4*j - 2, t = -d*a + a - 2*j + 3. Which is smaller: 0.09 or a?
0.09
Let p = 38 + -36. Let t be p*((-4)/20)/((-6)/(-15)). Is t at most -57?
False
Let t(m) = -4*m - 2 - 4*m + m**2 + 6*m**2 + m**3. Let h be t(-8). Which is smaller: -10/7 or h?
h
Let a = -542 - -235. Which is bigger: a or -306?
-306
Let u be 192/(-88) - (-2)/1. Let k = 403 - 424. Which is greater: k or u?
u
Suppose 32*b - 33*b = -3. Suppose w + 9 - b = 0. Which is smaller: -4 or w?
w
Suppose -r - 16 = -2*l, 0 = -4*r + 4*l - 5*l - 28. Let t be 152/(-36) + 2/9. Let m be -3 + (-2)/2*t. Is m <= r?
False
Let b(t) = t**3 - t**2 + 29. Let v be 1/(-2)*(1 - 1). Let p be b(v). Which is smaller: 27 or p?
27
Suppose -2*b + 2 = -2. Let f be (-1 - 1)*b/12. Let i = -177 - -171. Which is smaller: f or i?
i
Let u(h) = -h**2 - 7*h - 2. Let q be u(-3). Suppose 6*p - q*p = 120. Let c be (6/15)/(48/p). Do c and 0 have the same value?
False
Let r = -474382/1507 - -3462/11. Let m = r + -1193/685. Let z = -2 - -1. Which is smaller: z or m?
m
Suppose 3*j = -5*o - 23203, -38701 = 5*j - 0*j + o. Let a = j + 101450/13. Let i = 63 - a. Is 0 greater than i?
False
Let g = -22 + 0. Suppose 50 = -0*h - 3*h + 4*n, 0 = -5*h + 3*n - 98. Are h and g equal?
True
Let h be (-14)/21*3*(-1)/(-2). Let x = 0.07 - -1.43. Let r = -2 + x. Which is greater: h or r?
r
Let g(j) = -j**3 + 8*j**2 + 31*j + 27. Let q be g(11). Let a be 0*(0 + (-2)/(-4)). Suppose -4*r - 15 = -q*m, a*m + m + 4*r + 21 = 0. Which is smaller: -2 or m?
-2
Suppose 4*q + 930 = -6*q. Is -92 bigger than q?
True
Let a be 0 - (-25)/110*8/(-5). Which is greater: a or -0.1?
-0.1
Let j be ((-24)/(-10))/((-3)/10). Suppose 29 = 3*o + 3*u - 2*u, -2*u = -2*o + 22. Let x = j + o. Is x at most as big as 3/2?
False
Let j be 5/2 - (-1)/(-2). Let f = -1980 - -1981. Which is greater: j or f?
j
Let k = -7.827 + -0.053. Let a = k + -0.12. Let r = -7.9 - a. Is r bigger than 2?
False
Suppose -x + 4 = 0, k + 5*x = 34 - 9. Suppose 3*r = k*r + 14. Let u = -6 + 5. Which is greater: r or u?
u
Let j(y) = 8*