u
Suppose -115 = 4*i + i. Let d(z) = 9*z - 4. Let k be d(-2). Let w = i - k. Which is bigger: 0 or w?
0
Let g be (-2)/6 + 38/(-57). Is g <= -3/448?
True
Let c = 960 - 960.3. Is 0.07 != c?
True
Let i(q) = q**3 - 6*q**2 - 7*q + 6. Let x be i(7). Let c be (x/(-9))/((-205)/(-15)). Do c and 2 have the same value?
False
Let r = -3.95 - 0.05. Let y = -5.2 - r. Let s = -34/3 - -32/3. Which is smaller: y or s?
y
Suppose 0 = -13*f + 1382 + 2583. Which is smaller: 0.1 or f?
0.1
Let r = -4.16 - -0.16. Let b = -0.3 + -0.2. Let z = b - -0.7. Are r and z unequal?
True
Suppose 0 = -17*w + 20*w - 471. Suppose 2*n - 41 = -t, -8*t + w = -3*t - 2*n. Suppose 29*v - t*v - 4 = 0. Which is smaller: 1/12 or v?
v
Let l(f) = -f**3 - 2*f**2 - 3*f + 1. Let z be l(0). Does z = 4/79?
False
Let g(k) be the second derivative of -k**3/6 + 19*k**2/2 - 9*k. Let j be g(17). Which is smaller: -13 or j?
-13
Let u(c) = -c**3 + 17*c**2 - 30*c + 5. Let z be u(15). Let n be (3/(-2))/(z/(-40)). Is n less than 38/3?
True
Let r be (-186)/620*(-8)/(-390). Is -1 greater than r?
False
Let g(o) = -o**3 - 3*o**2 + 5*o + 3. Let f be g(-4). Are -1 and f non-equal?
False
Let d = 421 - 455. Which is smaller: 2 or d?
d
Let h(f) = f**3 - 4*f**2 + f + 8. Let m be h(0). Which is bigger: m or 6?
m
Let s be 6 + 1/1 + -1. Suppose -3*f = -s*f + 12. Suppose 5*h = -f*m + 33, 4*m + 0*m - h = 3. Are 2 and m nonequal?
False
Let a(r) = -r**3 + 14*r**2 + 7*r - 33. Let o be a(15). Which is bigger: -154 or o?
o
Let k be 276/(-18) - 4/(-2). Let l(u) = u - 5. Let q be l(-9). Do k and q have different values?
True
Let w(v) = -v**2 + 36*v - 53. Let y be w(29). Let d = -187 + y. Is -38 at most as big as d?
True
Suppose -5*r + 10*z = 7*z + 204, z - 82 = 2*r. Which is smaller: -37 or r?
r
Let q = -0.024 - 0.076. Let p be -1*1*(-6)/(-8). Is p greater than q?
False
Let s(t) = t**2 + t - 9. Suppose -4*n = 3*q - 5 + 2, 2*q = 10. Let x be s(n). Which is bigger: x or -0.04?
-0.04
Suppose 0 = -10*x + 3*x + 392. Let a = 1192 + -3740/3. Let q = a + x. Which is greater: 0 or q?
q
Let b = -484 - -1436/3. Suppose -4*k = 23 - 3. Which is smaller: k or b?
b
Let a = -247 + 260.9. Let i = a - 14. Is i at most 23?
True
Let i = -0.38 + 1.46. Let h = i + -0.48. Let w = 0.9 - 0.6. Is h equal to w?
False
Let i = 2 + -2. Suppose -4*k - 3*x = 847, 0 = -i*k - 4*k + 2*x - 822. Let r = k + 6866/33. Which is greater: r or 0?
r
Let u = -44 - -48. Let h be u*5/440*4. Which is smaller: -2/9 or h?
-2/9
Let w be (9 - 10)*20/(-1954). Let u = 71411/8793 - w. Let b = u - 1405/171. Which is smaller: b or 0?
b
Let k(q) = q**2 + q + 1. Let l(u) = -7*u**2 + u - 2. Let o(y) = 6*k(y) + l(y). Let j be o(9). Is -15 smaller than j?
True
Let f = -0.73 + -61.27. Let v = 63 + f. Which is greater: v or -10/7?
v
Let v = 1355 + -1509. Is v equal to 0.07?
False
Let u = 6.1 - 0.1. Let z = -6.34 + 0.34. Let t = u + z. Is -7 at least as big as t?
False
Let a(y) = y**3 - 9*y**2 - 13*y + 9. Let h(c) = c**2 - c + 10. Let s be h(0). Let z be a(s). Let i = -15 + -6. Is i smaller than z?
False
Let g(c) = 3*c**2 + c - 2. Let m be g(-6). Which is smaller: m or 98?
98
Suppose 4*i - 8 = -20, v = -4*i - 11. Let s = -0.02 - 6.98. Let t = s - -6.94. Which is greater: v or t?
v
Let i = -5.52 + 0.12. Let b = 212 + -218. Let n = b - i. Is n >= 3?
False
Let w be 1/(2 + -1)*(40 + -47). Let f be 3/((-3)/4) - 0. Do w and f have different values?
True
Let x = 171 + -99. Which is smaller: 0.3 or x?
0.3
Suppose b = -3*k - 6, 10 = -k - 3*k - 2*b. Let y be (-11)/(-13) + (3 - -1)/(-4). Which is smaller: k or y?
k
Let c = -7.5 - -6.54. Let r = -0.04 + c. Is 0.01 greater than or equal to r?
True
Let w(h) = -h**2 + 9*h - 2. Let k be w(8). Let n = -173 + 178. Is k <= n?
False
Suppose 4*j - 9*j - 10 = 0. Let y = -2270/3 + 849. Let z = y - 94. Is z at least as big as j?
True
Let p = 0.0792 + 57.3808. Let u = p - 57. Is 0.1 at most as big as u?
True
Let n = 169 + -237. Let q = 67 + n. Is q equal to -1/60?
False
Let i = -4 + 7. Suppose i*m = -2*f - f + 63, 2*f - 35 = 5*m. Suppose f - 2 = -3*h. Do h and -5 have different values?
True
Let w = -24 + 9. Let o be (-320)/(-72)*6/w. Which is smaller: o or -2?
-2
Let s be (8/(-112))/(1/(-4)). Let y be ((-3)/45)/((-8)/(-6)). Is s > y?
True
Suppose 4*a - 10 = q, -17*a = -13*a - 4*q - 16. Which is smaller: a or -20/19?
-20/19
Let g = 11.2 + 0.8. Let j = 11.3 - g. Let h be -2*((-6)/3)/(-6). Is h at least j?
True
Let n be (-2)/4 + 27/12 + -2. Suppose 45 = -3*i - 3*y, -2*i - 59 = 2*i + 5*y. Which is bigger: i or n?
n
Let s be 4617/3243 - (-1)/(-1). Let y = 24/47 - s. Is y greater than 0.2?
False
Let l = 43 + -39. Suppose -5*d + 37 = -2*u, 9*d - 5*u - 40 = l*d. Do d and 33/5 have different values?
True
Let y = 268706/17 - 15798. Is 8 less than y?
True
Suppose -2*s + 4 = 0, 109*d + 5*s - 10 = 113*d. Let c = -4/33 - -158/759. Are d and c non-equal?
True
Let b = -138 + 180. Let w = 29 - b. Are w and -9 unequal?
True
Let d = -0.03 + 0.13. Which is greater: -2/35 or d?
d
Let n = 0.001 - 0.051. Are 29 and n non-equal?
True
Let o = -24.5 + 141.5. Let h = -107 + o. Is h smaller than -1?
False
Suppose 0*d = 2*d. Suppose 0 = u - d - 3, u - 8 = 5*w. Suppose 33 - 13 = 4*q. Are q and w nonequal?
True
Let y = -1.4 - -1.4. Let a be ((-4)/(-2))/(0 + -3 + 7). Is a greater than y?
True
Suppose -b - 36 = -34. Let p be (-1566)/40 + (-8)/(-20). Let t = p + 37. Which is bigger: b or t?
t
Let t = 36.42 + -36. Let k = -0.61 + t. Let i = 0.01 - k. Which is bigger: i or -0.1?
i
Let m be (-6)/(-33) + 0 + (-708)/22. Let l = m - -30. Which is smaller: l or -3?
-3
Let r(s) = -13*s - 1. Let a be r(1). Let y be 148/21 + (-4)/a. Suppose 3*o = 2*o + 5*n - 4, 3*n = -4*o + 30. Which is smaller: y or o?
o
Let u be ((-8)/10)/((-1)/5). Let q be 6*1/(-2 + 1 - -4). Is q bigger than u?
False
Let q = -1.66 - 0.34. Let z = -0.69 + -33.31. Which is smaller: z or q?
z
Let g be ((-1)/(-4))/(-1*7/28). Which is smaller: g or -0.95?
g
Let b be ((-7)/42*-8)/((-4)/(-6)). Which is greater: b or 76?
76
Let h = 0.0727 - 0.1727. Which is smaller: 151 or h?
h
Suppose 5*a - 4*s - 47 = 0, -4*a + 13 = 5*s - 41. Suppose 0 = -x - 5, 4*x = -4*o - 33 - a. Let n(d) = -d - 2. Let k be n(3). Which is greater: k or o?
k
Let m(z) = -z**3 - z**2 - 2*z + 2. Let q be m(0). Suppose -q*s + 12 = -6*s. Which is greater: -21/5 or s?
s
Let q be (9/12)/((-1)/(-4)). Suppose k = -q*k + 5*b - 27, -k = -4*b + 15. Which is bigger: k or -5?
k
Let c be 3 + (0 - 300/104). Suppose -a = -4 - 0. Suppose -5*q - 3*g = 2, q - 3 = -a*g - 0. Which is smaller: q or c?
q
Suppose -4*b + 4 = -0. Suppose 0 = 3*z - 4*v + 44, -2*v + b = z - 1. Which is smaller: -9 or z?
-9
Suppose 0 = 3*s - s - 50. Suppose -4*f = f - s. Suppose -a + 17 = 4*n, 0 = -f*n + 2*n - 3*a + 24. Which is smaller: 2 or n?
2
Let b = 711 + -2113/3. Which is greater: b or 7?
7
Let g = 50 - 6. Let f = 76 + -33. Which is smaller: f or g?
f
Let g = 55493/35 + 3238212/385. Let n = 10003 - g. Which is smaller: n or 6?
6
Let g = -0.242 + -0.458. Is g at least -0.09?
False
Let t(c) = 2*c - 6. Let m be t(9). Let o be (-6)/28*m/(-27). Suppose 0 = -2*n + 5*n - 3. Is n != o?
True
Suppose -4 = 5*f + 5*p - 29, 4*f + 2*p - 18 = 0. Let k(g) = g**2 - 2*g - 11. Let l be k(f). Is -8 < l?
True
Suppose 4*z + 13 = -3*y, -2*z + 3*z - 2*y = 5. Let n be (6 + -6)/(3/z). Which is bigger: n or -3/16?
n
Let n = 308.83 - 307. Let d = 2 - n. Which is greater: d or -1?
d
Let y = -11/58 + 15/58. Is y equal to -0.6?
False
Let a(b) = b + 1. Let q be a(0). Let u = -22 - -23. Is u equal to q?
True
Let k(h) = h**2 - 10*h - 2. Suppose -5*x = -87 - 38. Let b = x + -14. Let p be k(b). Is 9 smaller than p?
False
Let b = 0 + 0.5. Let j = -0.3 + b. Let n = -2.7922 + -0.2078. Is n < j?
True
Let x(v) = v**3 - 5*v**2 - 6*v - 8. Let q be x(6). Let r = q + 14. Suppose -a = 5*g - 15, r = 2*a - 3*g + 5*g. Which is bigger: -10/11 or a?
a
Let i(v) = -4*v - 32. Let b(o) = -o. Let y(c) = -6*b(c) + i(c). Let d be y(16). Which is greater: d or 2/87?
2/87
Let s(l) = l**2 - 6*l - 10. Let w be s(8). Suppose 0 = 3*c + 4*g + 9 - 22, 3*g = 5*c - 12. Is c less than w?
True
Let v be (-60)/14 + (-4)/(-14). Suppose -q = -2*q - 3*w - 17, 4*q + 68 = -w. Let m = q - -13. Is m != v?
False
Let f = 0.08 - 0.2. Let y = f - 0.18. Let d be 4/(-6) - 7/(-6). Is d >= y?
Tru