 i**3 + 4*i**2 - 2*i - 8. Let j be y(-4). Suppose -2*k + 6 = -m, 5*k + 3*m - 19 - 18 = 0. Let v be (((-25)/9)/k)/1. Is j at least v?
True
Let f(s) = s**2 + 10*s + 9. Let w be (-12)/(-18) - 40/6. Let h be f(w). Let k = h - -3. Which is bigger: -11 or k?
-11
Let k = -22.16 - -22. Let r = -0.65 - k. Let j = r + 0.09. Is j not equal to 0.2?
True
Let q(h) = h**3 - 4*h**2 - 4*h - 3. Let s be q(5). Let v be ((8/(-2))/s)/(27/(-81)). Is v >= 16/3?
True
Let r = -2/71 - -188/1633. Let u = -14 + 10. Let v be 3 + (u - 4/(-4)). Is v at most r?
True
Let p = -128/7 + 8846/483. Which is greater: 1 or p?
1
Let g be 14 + -19 + (-2 - -3) + 5. Is g >= -9/89?
True
Let b be ((-12)/(-8))/(1/24). Let h be 148*((75/(-10))/(-5))/6. Which is greater: h or b?
h
Suppose -3*p + 0 = 6. Let d be (1/p)/(5/10). Let g be 2/9*(-2)/(-4). Does g = d?
False
Let u = 120 - 61. Suppose 0 = 65*j - u*j + 78. Let w = -31 - -17. Which is greater: w or j?
j
Let g be (-256)/(-20)*(3 - -2). Is 63 less than g?
True
Suppose -29 + 3 = 2*t. Let x = 17 + t. Let v = 9 - 3. Which is smaller: x or v?
x
Let y(w) = 5*w - 5*w - 4*w - 2*w**2 + 3*w**2 + 5. Let l be y(3). Let i = 3 - 2. Is l greater than or equal to i?
True
Suppose 2*q = 3*r - 615, -r + 53 = 3*q - 163. Suppose 0 = -3*i + 15 - r. Let n be 1/((-4)/i) + 2. Is 19 < n?
False
Suppose 5*z = -n - 44, 2*z + 28 = -3*z + 3*n. Let m be (-9 - z)/((-1)/(-3)). Let d be 234/(-63) - 4/14. Which is smaller: m or d?
d
Let x be 1/(1 + -6) + (-4)/5. Which is bigger: 3/229 or x?
3/229
Suppose 0 = 3*z - 68 + 71. Which is smaller: -2/27 or z?
z
Let m be (7/((-105)/10))/((-10)/(-15)). Are m and -2 nonequal?
True
Let v(d) = -d**3 + d**2 + 4*d - 9. Let y(q) = q**3 - 3*q + 8. Let z(a) = -5*v(a) - 6*y(a). Let k be z(-5). Suppose 0 = -k*p + 12*p. Is p < -1?
False
Let b(a) = -a - 4. Suppose 4*l + 3*l = 56. Suppose -l*y + 5*y - 15 = 0. Let c be b(y). Is c > 1?
False
Let r be (6/4)/(45/(-48)). Suppose -m = -6 + 5. Suppose -3*p = m + 5. Is r less than or equal to p?
False
Let l = -84 + 86. Let w be (l/2)/(7/21*-3). Which is smaller: 0 or w?
w
Suppose -97 - 8 = 5*x. Let r be 14/x*3/35. Suppose -4 = -2*o + 6*o. Which is bigger: o or r?
r
Let t be 37/(50/(-15) + (-6)/(-2)). Do t and -111 have the same value?
True
Let o = 0.92 - -0.08. Let q = -23/7 - -309/77. Which is greater: o or q?
o
Suppose -39 = -210*v + 249*v. Is 6/199 less than v?
False
Suppose -5*k + 4 = -3*k. Let g(l) = -23 - l**k + 0*l**2 + 26. Let v be g(-2). Which is greater: v or -11?
v
Let z = -82 - -83. Let g be 36/(-24)*(-10)/12. Which is bigger: g or z?
g
Let f = -0.06 + 0.1. Let k = f + -0.14. Let c = 21.3 + -21. Which is bigger: c or k?
c
Suppose -5*v + 550 = 3*w, -2*w - 4*v = -186 - 178. Let o = -80 + w. Which is smaller: 0.1 or o?
0.1
Suppose 0 = 3*k + 4*b + 92, k = 4*k - 4*b + 100. Is -30 not equal to k?
True
Let l(u) = u**3 + 3*u**2 - 6*u + 3. Let w be l(-6). Let t = w - -62. Which is smaller: 0 or t?
t
Let w = -352 + 385. Is 31 greater than or equal to w?
False
Let t be 4/(-45)*(-123)/(-2378). Is t not equal to 0?
True
Let q = -412 - -411.93. Is q >= -41?
True
Let u be (-8 - -9)/(1 - 0). Let l = 73 - 50. Which is greater: u or l?
l
Let v(f) = 3*f**2 + 3*f. Let n be v(-7). Suppose 10*m + n = 3*m. Does m = -16?
False
Let m(p) = -p + 9. Let f be m(7). Suppose 0 = 3*a + 5*j - 2, 4*a - f*j = 9 + 11. Let z be a/(-18)*(-1 + 4). Which is smaller: z or -1?
-1
Let p(n) = -6*n + 15. Let k be p(2). Which is greater: 32/19 or k?
k
Let r be (56 - 38)/(6/(-4)). Does -12 = r?
True
Let m = 4 + 1. Let y be (-1)/(-2) - 185/(-10). Let r = y - m. Is r > 14?
False
Let i = 136 - 72. Suppose -576 = 252*n - 261*n. Is i greater than or equal to n?
True
Let a(u) = u**3 + 6*u**2 + 2*u - 7. Let g be a(-5). Suppose -8 = -g*h - 0. Let i = -27403/63 + 435. Is h >= i?
True
Let g(q) = -4*q + 5. Let a be g(5). Let r = a + -1. Is r at most as big as -15?
True
Let i be -1*(-9313)/(-3)*1. Let q = 3036 + i. Let l = q - -69. Is l greater than 3?
False
Let t = 1466 - 1223. Do t and 240 have different values?
True
Let o(f) = f**3 + f**2 + f. Let k(l) = -7*l**3 - 21*l**2 + 8*l - 31. Let u(p) = k(p) + 6*o(p). Let w be u(-16). Which is smaller: w or 1/197?
1/197
Let p = -64 + 64.065. Let q = 1.965 - p. Which is smaller: -1/5 or q?
-1/5
Suppose -3*q - q - l = -36, -l = 5*q - 45. Suppose 4*r + 10 = -2*p - 0*r, -3*r = 3*p + q. Is 1/7 <= p?
False
Let w(y) = y**3 - 18*y**2 - 8*y - 7. Let k be w(18). Let r = k - -91. Is r >= -60?
True
Suppose -325 = -14*q - 17. Which is smaller: 89/4 or q?
q
Let g = 6 - 14/3. Suppose -h - 1 = -l, -3*h = -4*l - 1 + 7. Let i = -2 + h. Is g at least i?
True
Let d(b) = -5*b**3 + 29*b**2 - 13*b - 3. Let c be d(5). Which is bigger: 38 or c?
38
Let p(c) = c**2 + c + 3. Let b be p(-2). Let d be (((-20)/6)/b)/((-1)/2). Suppose -1 = v + 2*v + a, -2*v = -a - 1. Which is smaller: d or v?
v
Suppose -4*x + x + 12 = 0. Suppose 5*b = x*b - 24. Which is greater: -25 or b?
b
Let d = -26 - -22. Let a be 25 + (7 - (8 + d)). Let b be (a/(-21))/((-8)/6). Is -10 smaller than b?
True
Suppose -114*g + 109*g = -500. Let n be 52/5 + 5*(-8)/g. Is n at least 7?
True
Let q = -39034 - -39060.989. Let o = q + 0.011. Is -0.1 at least o?
False
Let m be ((-17)/(-107644))/((-5)/(-40)). Which is bigger: m or -1?
m
Let m be (4 - 196/48)/((-3)/12). Let h = 6 - 8. Let a = h + 6. Which is smaller: m or a?
m
Suppose 5*f + b = 14 + 3, -2*f = 5*b + 7. Let h(t) = -4*t + 12. Let x be h(f). Suppose 3*r - 12 = -r. Which is bigger: r or x?
r
Suppose 4*f + 18 = -26. Suppose -x = 2*x + 81. Let s be (-2)/(-6) - (-333)/x. Is s less than f?
True
Let y be (28/132)/(2/(-159870)). Let z = 16939 + y. Let r = z + 8764/517. Is 1 < r?
False
Let q = 7.8 - 20. Let b = 12.14 + q. Is b equal to 1/5?
False
Let w be 8/6*-1*3/(-9). Let o = -0.8 - -0.9. Which is smaller: o or w?
o
Let w be 34220/826 - (-20)/(-14). Is 21 greater than w?
False
Let k(z) = 15*z - 169. Let i be k(13). Which is smaller: i or 4?
4
Let z(d) = -14*d - 149. Let m be z(16). Which is smaller: -372 or m?
m
Let x(y) = 2*y - 12. Let l be x(6). Suppose l = 20*z - 22*z - 102. Is -53 at most z?
True
Let a(w) = -w**3 + 2*w - 2. Let m be a(0). Which is smaller: m or -11/15?
m
Let j = 1832/3569 + -20/43. Are 1 and j unequal?
True
Suppose -3*i = -5*k + 43, 2*k = 5*i - 2*k + 63. Let h be (0 + i)*(-15)/(-15). Let z = -7 - h. Is z < 4?
False
Let t = 459 + -459.2. Let w = 44 - 131/3. Which is smaller: w or t?
t
Let v = -599070/131 - -4573. Is 0 < v?
False
Suppose 3*z = 5*z - 6, -5*h - 5*z = -15. Suppose h = -12*q + 6*q + 24. Which is smaller: 0.4 or q?
0.4
Let r = -331 + 329. Are r and 1/14 unequal?
True
Let n(g) = 2*g**3 + 8*g**2 + 8*g + 7. Let k be n(-3). Let r be k/(-2) + (-18)/(-48) + 0. Which is greater: r or 0?
0
Let h be 2/(-3)*(1 - (-85)/(-10)). Suppose 5*y = -4*u + 32, h*y + 0*y + 5*u - 35 = 0. Does y = 24/5?
False
Let c(b) = b**3 - 8*b**2 + 5*b + 10. Let m be c(9). Let l = 71 - m. Are -66 and l equal?
False
Suppose 26*o - 6116 = 930. Are 269 and o non-equal?
True
Let f be -7 - (-714)/(-5 - -12). Are 96 and f equal?
False
Let y = -94 + 145. Let h = -55 + y. Suppose -3*d - 3*l - 24 = 0, -4*d + 3*l + 4 - 1 = 0. Which is smaller: d or h?
h
Let f be 2/(-8) - (-1364)/(-160)*-2. Is f <= 18?
True
Let h be ((-5)/3)/((-25)/15) - 2. Which is smaller: -57 or h?
-57
Let j = 1072/3 + -10831/30. Let r = j + 16/5. Let g = -12 - -11. Is r at least g?
True
Let z = -7/264 + -311/8184. Is z equal to -1/59?
False
Let m = -46 - -43. Do m and 2 have the same value?
False
Let c be (-217)/(-62)*(-20)/(-14). Suppose -4*b + 15 = b. Which is greater: b or c?
c
Suppose 0 = 3*q - 2*j + 105, -2*q - j - 11 = 66. Let u = -36 - q. Let w = -1 - -5/4. Is u less than w?
False
Let z(f) = 2*f - 2*f + 28269 - 28277 + f. Let b(u) = -u**3 + 6*u**2 - 5*u + 5. Let x be b(5). Let g be z(x). Is -6 greater than g?
False
Let n = -72 - -77. Suppose -2*x = n*l + 4, -6*x = -3*l - x + 10. Is -9/7 smaller than l?
True
Let z(p) = -p**2 + 8*p + 2. Let w be z(10). Suppose 2*r + 4 = -4. Is w equal to r?
False
Suppose 5*k = -4*c - 10, -6*k + 5*c + 21 = -8*k. Let v be (-14)/4 + k/(-4) + 3. Do 4 and v have different values?
True
Let a = 625 - 625.07. Is a smaller than 1.4?
True
Let o be 15/10*-2 - (3 - 1). Let q be o/(-3)*6/15. Is q < -14?
False
Let z(u) = u**3 - 9*u**2 + 