0
Let f = -44 + 43. Let q be (f/(-8))/(6/2). Which is greater: q or 1?
1
Suppose -373 = -x + 2*w, 3*x - 1040 = 3*w + 64. Are x and 364 non-equal?
True
Let j(f) = -21*f + 2. Let r be j(-4). Suppose -36 = 5*u - r. Let h be ((-2)/(-16))/((-1)/u). Which is greater: h or -2?
h
Let i be (4*1/(-107))/2. Suppose -w + 2*q + 4 = 0, -5*w + 4*q - q + 6 = 0. Is i less than or equal to w?
True
Let f be (3/6)/((-3)/(-138)). Let a = f + -20. Let n be 18/(-45) - a/5. Which is smaller: n or -2?
-2
Suppose -5*j = 5*d, -2*j = -3*j + 1. Let o(g) = 2*g**3 - 3*g**2 - 9*g - 2. Let k be o(3). Is d bigger than k?
True
Let h = 2699/6 + -34763/78. Do h and 4 have the same value?
False
Let b(i) = -i**3 + 2*i**2 - 1. Let l be b(0). Which is greater: 3/16 or l?
3/16
Let s be ((-13)/26)/(5 - 158/32). Let i = 1.3 - 0.3. Which is smaller: s or i?
s
Suppose -6*q + 2*q + 24 = 0. Suppose 3*c - 2 = c, z - c + q = 0. Let u(b) = -7*b**3 - b**2 + 2*b - 1. Let v be u(1). Which is smaller: v or z?
v
Suppose -10 + 0 = -5*f. Suppose -2*h - 12 = -3*h - 5*w, -3*h + f*w = 15. Is h != -16/5?
True
Let k(y) = -y**2 - 5*y + 27. Let u be k(-8). Which is bigger: u or 54?
54
Let j(b) = 5*b**2 + 4*b + 7. Let p be j(4). Suppose -9*y + 59 + p = 0. Does 18 = y?
True
Let f = -0.2 + 0.3. Let q = 0.13 - -1.87. Let c = q - 9. Which is greater: f or c?
f
Let j(u) = -u**3 - 4*u**2 + 3*u + 17. Let v be j(-3). Let a = 4 - 3. Which is greater: v or a?
a
Suppose 3 = -3*a + 6. Let j be (0 + -3 + (-186)/(-54))*5. Which is greater: a or j?
j
Let y = 14 - 8. Suppose -y*i + 9*i - 54 = 0. Suppose -i - 9 = 3*s. Is s < -9?
False
Let t = 31 + -18. Suppose 0 = -2*w - 5*c - t, -2*c - 48 = 5*w - 5*c. Is w bigger than -8?
False
Let o = 0 - -61. Suppose -o = -4*b - 5*v, -3*v - 2*v - 34 = -b. Which is greater: b or 16?
b
Let j = -3815 + 3813. Suppose 1 = -2*w - 5. Is j at least w?
True
Let c = -490735/29 + 16919. Does -2 = c?
False
Let d = -2.6 - -1.6. Let u = -3.8 + 33.8. Which is smaller: d or u?
d
Suppose -5*z + 71 = 21. Suppose 15*t = 13*t. Suppose u + t = 8. Which is smaller: z or u?
u
Let q = 25 - 22. Let g be 3 - q/(-1) - -2. Let z(v) = 2*v**2 + v + 1. Let c be z(-2). Which is bigger: c or g?
g
Let a = 680.1 - 644. Let t = -36 + a. Which is smaller: t or 3/2?
t
Let i = 0.53 + -0.12. Let q = i - 0.11. Let t = -208/413 - 4/59. Is t less than or equal to q?
True
Let p = 122 - 86. Suppose -37*y = -p*y - 6. Is 6 at least y?
True
Suppose -20*b + 2*b = 4806. Is b < -268?
False
Let p = 107 - -8. Let b = 108 - p. Which is smaller: -3/8 or b?
b
Let o be (-240)/(-117)*2/(-20)*-12. Let m = o - 226/39. Which is smaller: m or -2?
m
Let t(b) = b**3 - 10*b**2 + 5*b + 1. Let x be t(10). Let n be (x/(-68))/(18/(-4)). Suppose 0 = 10*a - 5*a. Which is bigger: n or a?
n
Let d = -2 + 21. Let v be (-1)/(-3) - d/(-15). Suppose -10*j - 39 = -23*j. Is j not equal to v?
True
Let g = -29676/71 - -418. Is g smaller than 1?
True
Let n be 8/28 + (-41)/168. Let z = -3 - -23. Let l = 21 - z. Is n less than l?
True
Let s = -3576501 - -1573659679/440. Let k = 8/55 - s. Which is bigger: k or 3?
3
Let f(g) = -3*g. Let s be f(-6). Let r = -2.0522 - -0.0522. Are r and s non-equal?
True
Let v be (-15)/12*-16*(-5)/(-285). Which is smaller: -1 or v?
-1
Let i = -0.04 + -12.96. Let p = 14 + i. Let b = p + -1.6. Is b less than 0.2?
True
Suppose -2*l + 5 + 3 = 0. Suppose 254 = l*v + 698. Which is bigger: v or -110?
-110
Let a = -2.3 + 0.3. Let d be 5 + -3 + (0/3)/1. Which is bigger: d or a?
d
Let l = -9 + 9. Let i(g) = g**2 + g + 4. Let j be i(l). Let o be -6 + 1*j/2. Is o smaller than -6?
False
Let b = 153/10 + -79/5. Is 205 > b?
True
Suppose 0 = 13*p - 0*p + 962. Is p not equal to -75?
True
Let l be (4 + (-46)/10)*15. Let u be (-18)/(-48)*(-6)/l. Which is bigger: 1 or u?
1
Let n = -72.45 + 1.45. Let z = 81 + n. Is 1 smaller than z?
True
Let i be 5/(-35) - (4 + 1658/(-434)). Which is smaller: i or 1?
i
Let u be (56/(-42))/((-28)/(-6)). Is u smaller than 82?
True
Let f be ((-6)/2124*-16)/(2 + -4). Which is bigger: f or 1?
1
Let w = -102 - -117. Let v = w - -7. Which is greater: -1 or v?
v
Suppose 4*g - 38 = -5*w, -g + 6*w = 2*w + 1. Suppose 6*x + 27 = g*x. Suppose -n - 4 = -2*l, 3*n + n = -3*l - x. Is -7 greater than or equal to n?
False
Let i = 135 + -153. Let g(t) = -t - 10. Let p be g(-7). Let h be -3 + p + 6 + -19. Is i < h?
False
Let x = -188 + 187. Which is bigger: x or 0.11?
0.11
Let j(z) = 3*z**3 + 7*z**2 - z - 1. Let a be j(-3). Let p(m) = m - 27. Let u be p(a). Which is bigger: u or -42?
-42
Let o = 27 - 18. Let v = -556 + 554. Which is bigger: o or v?
o
Suppose 4*j - 6 - 10 = 0. Let r = 14 + -22. Let v be (-10)/(-2*j/r). Which is smaller: 1 or v?
v
Let l(u) be the third derivative of -u**6/120 - u**5/30 - u**4/24 - u**3/3 - 6*u**2. Let g be l(-3). Which is greater: g or 5?
g
Let r be 9/(-21) + (-35)/(-49). Is 34 >= r?
True
Let f be (2 + (-32)/6)/(36/54). Let x(z) = 2*z**2 + z - 1. Let m be x(-2). Suppose -m*i - 8 = -i. Is f at most i?
True
Let h be 0*1/(8/4). Let d be (-15)/(-66)*((-16)/30)/(-2). Is d bigger than h?
True
Let j = -499 - -501.9. Let l = -61 - -58.1. Let s = l + j. Which is smaller: s or 2?
s
Let g = -15.74 - -18.4. Let n = g + -2.7. Let x = n + 0.04. Which is smaller: -0.2 or x?
-0.2
Let o = 386 + -2704/7. Let b be (1 + 2 + -4)*-2. Let y be b - 32/14 - 1. Which is greater: o or y?
o
Let y(p) = 2*p**2 - 24*p - 18. Let v be y(9). Do -4 and v have the same value?
False
Let q = -0.206 + -0.028. Let z = q - -0.126. Is z less than -1?
False
Suppose -2*v = -2*h + 353 + 323, -1688 = -5*h + 4*v. Is 338 at least as big as h?
True
Let u = 80 - 56. Suppose f - u = -5*f. Let o be (f - 21/6)/2. Which is bigger: o or 11/3?
11/3
Let o = -19 + 20. Let k be (-10 - -5) + 3/o. Let i be (0 + k + 2)/(-1). Is 0 at least as big as i?
True
Suppose -4*z - 3 = -r, 1 = r - 5*z - 3. Let s = 79 - 73. Let l be (s/(-75))/((-6)/(-20)). Which is bigger: r or l?
l
Let p = -34.8 + 4.8. Let q = p + 17. Let u = 13.1 + q. Which is smaller: u or 1/5?
u
Let i = -123 - -51. Let f be 1 - (i/(-26) - 2). Is 1 equal to f?
False
Let l be (-2)/(-20) - (-6)/15 - 0. Let x be (-4)/3*(-36)/8. Let w be (2/x)/(6/18). Which is bigger: l or w?
w
Let u = -399/4 + 3487/36. Does u = -4?
False
Let g = 720/671 + -10/61. Which is smaller: g or 0?
0
Let b be (-2 + -1)*1 + 12/2. Suppose b*s - 14 - 149 = -z, -4*z = -4. Are s and 55 non-equal?
True
Suppose -4*k = -2*u - 8, 13*u - 5*k + 13 = 12*u. Suppose 7*j = 2*j. Suppose j = -4*n + 3 + 1. Do u and n have different values?
True
Let f = -249 - -228. Let q = 32 + -20. Let m = q + f. Is m > -9?
False
Let r(t) = -89*t**2 + 1 + 35*t**2 + 27*t**2 + 28*t**2. Suppose 3 + 0 = 3*c. Let h be r(c). Is h > 1?
True
Let t be (-5 - -3) + (-855)/(-18). Is 46 >= t?
True
Let o(i) = -9*i + 81. Let u be o(9). Which is greater: 2/973 or u?
2/973
Let k be -1 + (12/(-3))/(-4). Suppose k = 5*d + d - 30. Let t(h) = 3*h - 3. Let v be t(2). Which is greater: v or d?
d
Let j = 0.104 - 9.804. Let g = 1.7 + j. Is 1 less than or equal to g?
False
Let p = -55 + 54.973. Let u = -0.093 + p. Let l be (-3)/18*(-6)/4. Which is smaller: l or u?
u
Let o(f) = -f**2 - 9*f - 8. Let k be o(-7). Let m = -71 - -77. Is k < m?
False
Let s(n) = -n**3 + 6*n**2 - 4*n - 4. Let a be s(5). Let h be (-6)/9*(-6)/a. Which is greater: -1/8 or h?
h
Let a be (-27)/(-135) - 8/(-10). Suppose -3*m - 10 = -a. Is m greater than or equal to 5?
False
Let z(n) be the second derivative of n**3/3 + n**2/2 + n. Suppose 4*m = -p - 12, -2*m + 3*m = -p - 6. Let j be z(m). Which is bigger: j or -20/9?
-20/9
Suppose 2*w - 5*s + 15 = 1, -w - s - 7 = 0. Let c be 3/w + (-715)/210. Is c at most as big as -5?
False
Let r(j) be the second derivative of -j**5/20 + 11*j**4/6 - 17*j**3/6 - 12*j**2 - 32*j. Let p be r(21). Is p at least as big as 59?
True
Let i = -50.2 + 101. Is 1 smaller than i?
True
Let r = -235 - -703/3. Is -1.7 <= r?
True
Let b = -4.3 - -5.3. Let w = 281 + -1962/7. Which is bigger: w or b?
b
Suppose -4*u + 4*b - 200 = 0, -8*b + 3*b - 5 = 0. Is u at most as big as -52?
False
Suppose 287 = 99*z - 98*z. Is 286 > z?
False
Let l = -1372/2049 + 2/683. Is l smaller than 85?
True
Let v be -10 + (-12)/(-4) + 2. Let k be (-2)/(1*(-4 - v)). Which is smaller: -4 or k?
-4
Let o(r) = -r**2 + r. Let f be o(2). Do f and -14/17 