= q - 28. Which is greater: 0.4 or l?
0.4
Let s be (-4)/(-32) + (-1184)/(-27392). Which is greater: 0 or s?
s
Let g be ((-30)/(-440))/(2/(-4604)). Let i(l) = -10*l**2 + 3. Let v be i(-4). Let c = v - g. Which is greater: 0 or c?
0
Suppose -8*s + 13*s - 5 = 0. Is 3/866 <= s?
True
Let y(q) = q**2 - 3*q - 5. Let b be y(5). Suppose -5*c - 30 = -5*w, -236*c = -4*w - 238*c + 36. Is b at least w?
False
Suppose -49*c + 45*c + 12 = 0, -c + 11 = 4*s. Is s less than or equal to 0?
False
Suppose -3*j - 135 = -i + 6*i, 0 = -5*i - 5*j - 145. Let x be 15/(-22) - 12/i. Let f = -0.09 - -0.19. Which is smaller: x or f?
x
Let h = -5 - -23. Suppose -12*u = -6*u + h. Is -3 > u?
False
Let v(d) = -15*d - 1. Let r(c) = 44*c + 3. Let y(f) = 2*r(f) + 7*v(f). Let h be y(-2). Suppose 2*k = -k - h. Is -11 bigger than k?
False
Let k(y) = -2*y + 12. Let i be k(7). Let f be i/5 + (-3)/30. Is 3 at most f?
False
Let s = 1 + -3. Let o be ((-2)/(-10))/(9/(-105)). Is o smaller than s?
True
Suppose 2 + 23 = w. Let t be (-4)/(-10) - (-15)/w. Let v be (-1)/1*-3 + -2. Does t = v?
True
Let t = 35.2 + -39. Let c = t - -1.8. Which is smaller: -4 or c?
-4
Let m = 0.637 - 126.637. Is -0.3 smaller than m?
False
Suppose 17 = -i - 5*u, -15 = -4*i - u + 12. Let z be (-18)/(-2) - (-18)/(-6). Suppose 2*w + i = 2*j - z, 0 = -3*j + 2*w + 17. Which is bigger: j or 5?
5
Let l(w) = -w + 32. Let b be l(9). Let d = 104 - 80. Which is smaller: d or b?
b
Let h = -24 + 5. Let n = 18.9 + h. Which is greater: n or 0.09?
0.09
Suppose 0*u + 5*o - 75 = 2*u, 2*o + 210 = -4*u. Let k be (-4)/6 + 3/(45/u). Which is greater: k or -8/3?
-8/3
Let m = -18 + 19. Does m = 2/49?
False
Suppose 4*a - 3180 = -b, 2*a - 4*a - 2*b = -1584. Is a != 797?
True
Suppose 4*n - 63 = i, 4*i - 14 - 4 = -2*n. Let a = -14 + n. Is 2/3 != a?
True
Let f = -111.4 - -122. Let d = f + -12.2. Is d smaller than -0.1?
True
Let i = -61 + 81.8. Let z = i - 19. Let u = z - 0.9. Are -2 and u equal?
False
Let n(y) = y - 3. Let r be n(8). Suppose 8 = r*w - 7. Suppose 0 = 5*j + 2 + w. Does j = -1?
True
Suppose s - 10 + 73 = 0. Which is greater: s or -65?
s
Let r be (-2150)/(-9542) + (-4)/20. Let f = -2/367 - r. Is 1 > f?
True
Let q = -17 + 9. Suppose 0 = 5*r + c - 17, -4*r - c = -0*c - 14. Suppose 0 = -3*d - r - 24. Which is bigger: d or q?
q
Let i(y) = -9*y**2 + 8*y + 6. Let j be i(2). Which is smaller: j or -29?
-29
Let o(z) = -z**3 - 12*z**2 + z - 1. Let u be o(-10). Let k = u + 2101/10. Let b = 23/20 + k. Does b = 0?
False
Let s = 111 - 345. Do 1/4 and s have different values?
True
Let k be (23 + (-2)/2)/(-2). Let x = k - -17. Suppose 10*h = x*h. Which is smaller: h or 2/19?
h
Let j(z) = -4*z**2 + 34*z - 52. Let n be j(10). Is n at most -115?
False
Let x(f) = f**2 + 14*f - 14. Let n be x(-15). Suppose p + 4*k + k = 10, 0 = 3*p + k - 44. Which is smaller: n or p?
n
Suppose 5*b + 2*a = -a + 25, -b + 5 = 3*a. Let z = 8 - 5. Suppose z*m - b = 2*m. Which is smaller: m or 4?
4
Let s = 18923/38 - 498. Which is greater: 1 or s?
1
Let t = -10 + 68/7. Let y = 99 + -52. Let p = -47 + y. Which is greater: p or t?
p
Let l = 1179 + -1205. Which is smaller: -22 or l?
l
Let y(q) = -70*q - 1. Let h be y(-1). Suppose -1656 = -4267*j + 4243*j. Is h less than j?
False
Let m = 2443/184 + -7/46. Are 13 and m non-equal?
True
Let a be 1 - -1 - (-4)/6*3. Let f(v) = -v**2 + v. Let l(m) = -m**3 + 9*m**2 - 5. Let r(p) = 6*f(p) + l(p). Let i be r(a). Is 3 equal to i?
True
Let s(w) = 2*w**2 + 73*w + 577. Let f be s(-25). Let z = 16 + -7. Is f bigger than z?
False
Let y = -1 + 2. Let s be (15 - 13)*1/10. Do y and s have different values?
True
Let w = -119 - -120. Let c be 1/(2/(-8)*-2). Suppose -2 = -4*g + c*g. Is w at most g?
True
Let r(y) = 47*y**2 + 4*y - 8. Let t be r(2). Is t >= 188?
True
Let z = 0.27 - 4.27. Let t be (30/4 - 8)/((-3)/(-2)). Is t smaller than z?
False
Let s(o) = -11*o - 13. Let n be s(-7). Suppose -3*i = -5 - n. Suppose -i = -u - 10. Which is bigger: 14 or u?
14
Let v be (-1 - 1)*(126/45 + -3). Which is greater: 12/7 or v?
12/7
Let s = 9 - -1. Let x = s + 7. Is x greater than 18?
False
Let h be 7/(14/(-4)) + 5. Let l = h + 8. Which is smaller: 0 or l?
0
Let x(b) be the second derivative of -b**5/20 + b**4/4 + 2*b**3/3 + b**2/2 - 14*b. Let c be x(4). Are c and 10/13 non-equal?
True
Let t(v) = v**2 - 2*v - 5. Let b be t(4). Let q be 1 + b + 8/4. Let r = 10 - q. Do 4 and r have the same value?
True
Suppose 198 - 11 = 17*b. Let r = 1 + -1. Suppose -2*p - 2*k + 26 = r, 2*p - k = -2*p + 37. Is b at most p?
False
Let c = -1.924 + -1.076. Let v be (0 + 18/(-14))*-1. Which is bigger: c or v?
v
Let w = -5147663021723/594707566 - -442852999/50915. Let v = 2/29201 + w. Let x = 42 - v. Is x not equal to 1?
True
Let a be 2*((-21)/33 - 0). Suppose 2*g - 7*g - 3*m - 2 = 0, 14 = -g - 4*m. Suppose 0*f - g*f = 2. Which is greater: f or a?
f
Let r = 414 - 431. Let o = 186 + -114. Suppose 5*f = f - o. Is f greater than or equal to r?
False
Let a be 10/(-4)*6/(-45)*3. Is a <= 3/4?
False
Suppose 24*a = -20*a + 11836. Which is smaller: a or 270?
a
Let p = 0.002 - 161.002. Is p greater than -6?
False
Let p be -3*3/(9/(-5)). Let x = -3 + p. Suppose -n + 3*a + 2 = 0, -4*n + 2*a + 2 = -3*n. Is x greater than or equal to n?
True
Let w(m) be the second derivative of -6*m + 0 + 1/12*m**4 - 5/2*m**3 + 13/2*m**2. Let z be w(14). Is -6 at most z?
True
Let l be 32/(-700)*7/(-84). Which is smaller: -1 or l?
-1
Let r = 8407/485 + -1/1455. Which is smaller: r or 16?
16
Let y = -18.2 + 0.2. Let c = y - -20.5. Let v = c + -2.8. Are v and 2/11 non-equal?
True
Let v = -0.46 + 1.46. Let o be (-23)/1 + (0 - -3). Which is smaller: o or v?
o
Let u(z) = -z**3 + 6*z**2 + 20*z - 28. Let s be u(8). Which is bigger: s or 49?
49
Let s(q) = 185*q - 410. Let r be s(6). Is r at least 701?
False
Let s = -620 + 705. Which is smaller: s or -1?
-1
Let u = -732413/419 - -1748. Let k = -779/24721 + u. Which is smaller: k or 0?
k
Suppose 2*z - 10 = v, -3*z = -z - 2*v - 12. Suppose -4*g + 112 = -z*l, 0 = l + g + 45 - 9. Which is smaller: l or -30?
l
Suppose z + 4 = 3*z. Let u be (-98)/48*2*z. Let d = -361/42 - u. Which is smaller: 1 or d?
d
Let r = 199.1 + -199. Which is greater: r or 56/5?
56/5
Let l be 60/(-8)*1/5 - -1. Let b = 0 - 0.5. Let k = 0.4 + b. Is l smaller than k?
True
Let y = 24223/3070527 + 4/8553. Which is bigger: 1 or y?
1
Suppose 433*i - 44 = 455*i. Which is smaller: i or 26/9?
i
Let b = -14 - -14.1. Do -2.98 and b have the same value?
False
Let b(w) = 23*w + 790. Let z be b(-33). Is z less than or equal to 35?
True
Let s(g) = -78*g + 882. Let k be s(-6). Is 1351 smaller than k?
False
Let w = 49 + -42. Let b = 5.944 + 0.056. Which is smaller: b or w?
b
Suppose 0 = -2*m + 2*v + 4, -5*m + 2*v + 6 = -v. Suppose 2*a + 30 = 2*y - m*a, 2*y = 3*a + 28. Let d = y + -21. Which is smaller: d or -5?
-5
Let g(n) = -46*n**3 + n**2 - 3*n + 2. Let v be g(1). Which is greater: -44 or v?
-44
Let n be 4/6 + (-16)/6 + -2. Let u be ((-1)/n)/((-7)/56). Which is smaller: -4 or u?
-4
Let t be (-45 + 3)/(-1) + -3. Suppose 13 = -2*v + t. Which is smaller: v or 12?
12
Suppose -2713 - 247 = -8*g. Which is smaller: 369 or g?
369
Let r = -235651/111 - -2123. Which is greater: -1 or r?
r
Suppose -3 = -2*j + 7. Suppose -4*b = 3*k - 86, 0 = -j*k + 2*k + 6. Let v = b + -12. Is v bigger than 9?
False
Let u = -89 + 44. Let k = u + 46. Is k smaller than -0.44?
False
Let j be 157 - (51/68)/(2/8). Suppose -305 = -4*m + u, -6*m + j = -4*m - 2*u. Which is greater: 75 or m?
m
Suppose -3*c - c = 28. Let y(d) = d**3 + 8*d**2 + 8*d + 6. Let l be y(c). Let g be l/1 - (0 - 2). Is 2 at least as big as g?
True
Let m be 2 - -46 - 2/2. Suppose 3*h + 2*u - 142 = 3*u, 3*h - 138 = -3*u. Are m and h unequal?
False
Let h = -3407 + 37726/11. Which is smaller: 23 or h?
h
Let x = 516822/55 - 9396. Let i = x - 4/11. Is -69 greater than i?
False
Suppose -3*h + 2*y + 79 = -2*h, 2 = y. Suppose h = 3*v + 80. Which is smaller: 0 or v?
0
Let q(m) = 2*m - 12. Let f be q(-9). Let g be ((-36)/f)/(3/(-2)). Suppose -17 = 2*v - v + 4*u, -2*u = 5*v + 13. Which is bigger: v or g?
g
Let w = 77 + -77.156. Let u = w + 0.036. Do 0 and u have the same value?
False
Suppose -2*h + 9 - 13 = 0, 0 = -3*b + 2*h - 17. Let f = 7 + -2. Let u(c) = c**3 - 6*c**2 + 5*c - 7. Let n be u(