-4?
-4
Let k(q) = -q**2 - 4*q - 2. Let t be k(-2). Suppose -5*m + 6*m = 1. Suppose 3*d = -5*l + 12, 4*l - t*d + 9 = m. Which is bigger: l or -1?
l
Suppose -2*z + z = 4*i - 9, -2*i - 5*z + 9 = 0. Suppose 0 = i*n - 6*n. Suppose 0 = -0*d - 3*d - 3. Is d equal to n?
False
Let l = 0.077 + 0.023. Is -17 bigger than l?
False
Let j be (435/(-70) - (-4)/(-14))*2. Is -11 at least as big as j?
True
Let f = 1.2 - 2.2. Do 2/9 and f have the same value?
False
Let d be (-2)/(-4) - 1/2. Let v = -2 + 3. Let j = -3 - v. Which is bigger: d or j?
d
Suppose 0 = 2*u - 3*u + 3. Suppose 0*s - u = -s. Let n be 3 - (-10)/6 - s. Does n = 3?
False
Let v = -12.1 + 12. Suppose 0 = -5*m - q + 13 + 2, 2*m - q = 13. Are m and v nonequal?
True
Suppose -5*m = -3 - 12. Suppose -2*a = -10, -5*r - a - 15 = -m*a. Which is greater: 2/7 or r?
2/7
Let k(i) = i**3 - 5*i**2 + i - 4. Let s be k(5). Which is smaller: 2/81 or s?
2/81
Let k = -139 - -227. Let y be 1 - (k/(-54))/(-2). Let m = y + -23/27. Are m and 2 non-equal?
True
Let x(k) = k**2 + 2*k + 1. Let d be x(-1). Let b = d - 1. Let f = -2 + 2. Is f > b?
True
Let h be (-76)/70 - (-2)/7. Suppose 0 = 9*z + 1 - 1. Is h smaller than z?
True
Let s(j) = 2 - 3 + 12*j**2 + 0 + 0*j**3 - j**3. Let p be s(12). Let o = 55/183 + 2/61. Which is greater: p or o?
o
Let n(k) = k**3 + 2*k**2 - 3*k + 4. Let h be n(-3). Suppose h*p - 20 = 4*j, -5*p = -24 + 4. Which is smaller: j or -1/5?
j
Let y = 10 + -8. Let c = 17 - 10. Suppose y = 3*a - c. Is a less than or equal to 4?
True
Suppose 0 = -3*p - 3*m + 27, -p - 4*p - 2*m + 30 = 0. Let r be 74/14 + p/(-14). Let z be 180/12*(-2)/(-6). Is r less than or equal to z?
True
Let f be (-4 - -4)/(2/1). Suppose f = 5*x + 15, -4*c = c - 2*x - 6. Which is bigger: c or -2/5?
c
Suppose 0 = 4*x + 17 + 3. Let v be 5/(-3)*1/x. Is v at least as big as -1?
True
Let k be -2 + -3 + 2 + (-6)/(-2). Which is greater: k or 14/11?
14/11
Suppose 2*j + 0*j + 2*d = 0, 5*d - 35 = 2*j. Let g be (-12)/80 - 2/j. Is 0.8 less than g?
False
Suppose 7 = 2*s - 2*r - 5, -12 = -4*s + r. Let i = 0 + 0. Let c = i - -3. Is c at least as big as s?
True
Let q = -0.05 - 3.95. Is 1/2 greater than or equal to q?
True
Let n = -2 + 6. Let o be (10/8)/((-1)/n). Which is smaller: o or -6?
-6
Let m = 12 - 14. Suppose -4*u + 17 = 5. Let w = u + m. Which is smaller: 0 or w?
0
Let f be (-41)/5*(-40)/(-16). Let t = -283/14 - f. Which is smaller: 1 or t?
t
Suppose 3*t - 30 = -2*t. Let g be ((-1)/(-18))/(t/24). Let q(l) = -l**3 - 3*l**2. Let i be q(-3). Do g and i have the same value?
False
Suppose 1 = -3*w + u, 2*u = -1 + 3. Is -3/41 greater than w?
False
Let r = -8 + 11. Suppose -r = -l + 3. Let x be 3*(l/9)/(-1). Do x and 0 have different values?
True
Suppose 5*o + 7 = -4*f, 0*f - 4*f = -2*o + 14. Let g be (o - (-17)/(-11))/(-1). Suppose -176 = -4*v - 172. Which is bigger: g or v?
v
Suppose -2*b = -b. Let o be -3 - (-6)/((-180)/(-85)). Is o bigger than b?
False
Let i(t) = -t**3 + 10*t**2 + 11*t - 17. Let a be i(11). Is a bigger than -18?
True
Let z = 124 + -866/7. Which is smaller: 5/9 or z?
z
Let k be 100 + (7 + -4 - 6). Which is bigger: 96 or k?
k
Let y = -63.4 + 57. Let t = y - 1.6. Let n = -11 - t. Is 1 greater than n?
True
Suppose 0 = -0*n - 4*n + 4. Suppose -4*r + 20 = -u, 2*u + 7 + 1 = 0. Let q be r/(-6) + 5/3. Does q = n?
True
Let z(x) be the first derivative of -x**4/4 + x**2/2 - x - 2. Let t be z(1). Let w = 1640/9 + -182. Which is smaller: t or w?
t
Suppose -5*x - 42 = d, 4*x - 9 + 33 = 4*d. Is x not equal to -7?
True
Suppose 12*a = 7*a. Let n = 7 + -3. Let j(u) = -u**3 + 3*u**2 + 4*u + 2. Let h be j(n). Which is bigger: a or h?
h
Suppose z - 3*a - 7 = 1, -3*a = -2*z + 7. Let c = -1 - -2. Which is bigger: z or c?
c
Let h = -10 - -22. Let w = h - 9. Suppose 0 = w*p - 2*p + 2. Which is greater: -0.2 or p?
-0.2
Let a = 0.34 + -8.44. Let p = -8 - a. Is 0 equal to p?
False
Suppose 4*k - 4 = -2*d, -22 = -4*d + 2*d + 5*k. Let x be (1/5)/(2/d). Which is smaller: 0 or x?
0
Suppose 0 = 2*a - 5*a. Suppose 2 = -x, -3*x + a - 22 = -4*s. Is s >= 4?
True
Suppose q = 6*q. Let a be (-94 - 3) + 4/10. Let p = -97 - a. Which is smaller: q or p?
p
Let l(n) = -n - 1. Suppose -5 = -5*b - 15. Let z be l(b). Is -4 greater than z?
False
Let c = 56 + -64.9. Let m = 9 + c. Which is smaller: m or 0.08?
0.08
Let n(s) = s**3 - 3*s**2 + 2. Let r(y) = -y**2 - 8*y - 9. Let b be r(-6). Let u be n(b). Let d be (u/3)/((-30)/18). Do d and -2/7 have the same value?
False
Let g = -12.2 - -7.1. Let p = -5 - g. Is -2 smaller than p?
True
Let g be 114/(-1)*(-2)/6. Let x be (-5)/(-15) - g/(-3). Which is bigger: 12 or x?
x
Let n be 1 + ((-14)/(-6) - 3). Let a = -6 - -6.6. Is a greater than n?
True
Let d = -4.9 + -0.1. Let b be (-2)/12 + 1/2. Which is greater: d or b?
b
Let j = -2 + 2. Suppose -7*w - 2 = -9*w. Let i be (-65)/(-20) + (-3)/w. Is i greater than or equal to j?
True
Let s(m) = 2*m + 25. Let z be s(-13). Which is smaller: z or -31?
-31
Let w = 14 - 12.04. Let r = w + 0.04. Is -0.1 > r?
False
Suppose 4*n - 5*z - 29 = 0, -z - 12 = -4*n - 3. Let t = -1249/10 - -249/2. Is t <= n?
True
Let p be (1*-3)/(1/3). Let r be ((-3)/20)/(p/8). Let l(v) = -v**2 + 4*v + 4. Let x be l(5). Is x > r?
False
Let t = -20.8 + 21. Let l = 0.3 - t. Which is greater: 3 or l?
3
Suppose -5*y = 4*n - 28, 3*n + 0*n - 18 = -3*y. Suppose -7 - n = -3*r. Let m = r - 7. Does -5 = m?
False
Let m = 0.358 + 0.042. Is 1/4 greater than m?
False
Suppose a - 2 = 1. Suppose f = a - 0. Suppose 0*y + y - k + 3 = 0, 0 = f*y + 4*k - 12. Which is greater: y or 1/3?
1/3
Let z = -0.98 - -1. Let w = z - 2.02. Which is smaller: 1/2 or w?
w
Let z = -4.1 - -1.1. Let k = 1 + z. Does 7 = k?
False
Suppose 127 = -4*b + 27. Which is bigger: b or -24?
-24
Suppose 4*u + 4*u = 64. Which is smaller: 10 or u?
u
Let i = -3 + 4. Let k = -9118/19 + 480. Which is smaller: i or k?
k
Let v be (-2)/6*69/4. Let b = 6 + v. Which is smaller: -1 or b?
-1
Let f(a) = -a**3 + 3*a**2 - a + 2. Let y be f(3). Let u be 1/2 - 22/60. Are y and u nonequal?
True
Let m = -4 + 3.7. Suppose -t = 3 + 3. Let b be ((-1)/t)/(6/12). Which is smaller: m or b?
m
Let f = -5 + 4. Let k = 61/15 - 11/3. Is f != k?
True
Let q be 5*(-1 - 1) - 2/(-2). Let l be 1/2 + 17/(-2). Which is bigger: l or q?
l
Suppose 0 = -3*s + 13 - 1. Let r be s/(-10) - (-3)/(-5). Let z = -103/4 - -1141/44. Is r at least as big as z?
False
Let i be 4*2*(-2)/(-8). Suppose -2 = -i*u + u. Are u and 6/5 non-equal?
True
Let v = 0 - -4. Suppose v*y - 2 = -14. Which is bigger: -5/3 or y?
-5/3
Let h = 21 - 15. Let s = h + -9. Which is bigger: -2/9 or s?
-2/9
Let t be (-4)/(-14) + 32/(-14). Let b = -40/9 - -716/153. Let g = 25/34 - b. Are t and g unequal?
True
Let i = 2/15 + 23/165. Suppose 3 = 5*x - 2. Is x <= i?
False
Suppose -2*h = i + 4, h + 3 = -2*i - 2. Let d be 2/1 - 10/(-5). Let y be (i/d)/(3/(-6)). Which is smaller: -2/7 or y?
-2/7
Let q = 642/5 - 128. Which is greater: 9 or q?
9
Let b = 347/175 - 15/7. Does b = 0?
False
Let i be 1*(-5)/(5/4). Let f be i/(-24) - 23/(-6). Do 4 and f have the same value?
True
Let w be ((-6)/2)/(62/(-4) + 2). Which is smaller: 1 or w?
w
Suppose x = -0*x + 3*r - 7, 3*r = -x + 5. Suppose -2*o + 6 = o. Let k be 21/(-15) + (o - 1). Does x = k?
False
Let v = -1 + 1.04. Let s = -2.96 - v. Is 2/7 >= s?
True
Suppose 7*l - 3 = 25. Suppose -d = -6*d + 20. Is l at least d?
True
Let y be 2*(-2 - 2/(-4)). Let g be 3/1*70/21. Suppose -3*u - g = 2*u. Which is smaller: y or u?
y
Let y = 0.19 - 0.29. Which is greater: y or 16?
16
Let g be (-7670)/3374 - (-5 - -2). Let w = 3/241 - g. Which is bigger: -1 or w?
w
Let g = 398 - 1661/4. Is g greater than -17?
False
Let p(l) = l - 5. Let a be p(4). Let s(c) = c**3 + 6*c**2 + 4*c + 2. Let g be s(-4). Let i be (-4)/g + (-4)/(-18). Is i less than a?
False
Let w be (-2 - (-106)/(-10))/(4/(-20)). Is 63 less than w?
False
Let a = -11 + 17. Let h be (-2 - 1) + (5 - a). Let y be 2/(-8) + (-11)/4. Which is greater: h or y?
y
Let h be 54/55 - 8/44. Let o(p) = 3*p - 2. Let w be o(2). Suppose -5*k = 3*d + 8, -4*d = -w*k + 3*k + 3. Is k equal to h?
False
Suppose d = -4*n + 11, 4*n = 2*n + 3*d - 5. Which is smaller: 5/2 or n?
n
Let c be ((-5)/((-5)/4))/2. Suppose -5*o = 2*g + 16, 3*o + 4 = -3*g - 2. Suppose 4*w - a = 9, -c*a = g*w - 3*w + 11. Do -0.3 and w 