w >= m?
True
Let w = -0.153 + 0.243. Is -3/7 smaller than w?
True
Let o be 120/264*90*1. Is 40 not equal to o?
True
Let o be (10 - 1)/(1*-1). Suppose -7*r = -3*r - 4. Let j(y) = -9*y + 2. Let l be j(r). Which is smaller: o or l?
o
Let y(c) = c**2 - 7*c + 2. Let s be y(9). Are s and 21 equal?
False
Let g be -4 - (-1 - 0) - -47. Suppose -5*y + 2*x - 4*x = -121, 2*y + 3*x - g = 0. Which is greater: 26 or y?
26
Let s be (-464)/18 - 14/63. Is -10 at most s?
False
Let n be ((-12)/21)/(5 + (-36)/7). Let j be (-30)/(-8) + 3/12. Suppose c = -n*c + t + 5, -j*c - t + 4 = 0. Is c at least as big as -1/14?
True
Let f(b) = b - 2. Let w be f(4). Let l = w - 3. Let p = -26/15 - -191/105. Is p bigger than l?
True
Let i = -109 - -1091/10. Is 0 at most as big as i?
True
Let j(c) be the second derivative of c**5/20 + 4*c**4/3 + 13*c**3/6 - 29*c**2/2 + 11*c. Let y be j(-15). Which is smaller: 2/49 or y?
2/49
Let y = 665 - 657.91. Let m = 14.91 - 15. Let q = y + m. Is -2/3 equal to q?
False
Suppose 3*r = 4*r. Suppose -4*y = 5*z + 7, 2*y = 3*z + 2 + 11. Let v be y/7 + (-64)/126. Which is smaller: r or v?
v
Let v = 1233 + -1217. Which is smaller: v or 9?
9
Suppose -4*f - 5*o = -0*o - 141, 165 = 5*f + 4*o. Let q = 5 + f. Is 35 > q?
True
Let l(c) = -22*c**2 + 11*c - 47. Let n be l(5). Which is smaller: n or -543?
-543
Let k = -235 - 24. Are -259 and k equal?
True
Let k(g) = g**2 - 4*g. Let w be 6/(-10) - 23/(-5). Let c be k(w). Suppose c = 4*y - 5*v + 28, 2*y - 3*v + 5 = -11. Is y at least as big as -3?
True
Let u = -4561 - -4532.43. Let l = u - -0.57. Which is bigger: l or 1?
1
Let q(k) = -k**3 - k**2 + 6*k + 2. Let d be q(-4). Suppose -5*u - 19 = d. Which is greater: u or -38/5?
-38/5
Let a = -7 - -5. Let i = 1033 - 1033. Which is bigger: a or i?
i
Let h = 13710 - 315327/23. Let i = -2 + 2. Do i and h have different values?
True
Let w be 92/140 + 2/14. Is 2 at least as big as w?
True
Let b(n) = -n**2 + 23*n - 67. Let t be b(16). Is t equal to 40?
False
Let z = -0.25 - 1.25. Let g = 17.5 + z. Let y = -15.8 + g. Is y less than 1/3?
True
Let d(f) = -f**3 + 6*f**2 + 3. Let o be d(6). Let m be (-476)/(-12) + o + 0. Let b = 42 - m. Are 2/35 and b non-equal?
True
Let i be (-11)/44 - 1/(-4). Let o(r) = -2*r + 7. Let n be o(i). Let x(l) = -l + 7. Let y be x(n). Is 2/25 >= y?
True
Let j(l) = l**3 - 9*l**2 - 11*l + 11. Suppose 2*v + 52 = 5*a, -2*a = -0*a + 2*v - 18. Let r be j(a). Let x be (6/(-12))/(r/(-4)). Which is smaller: x or -1?
-1
Let d = -160.1 - -160. Which is greater: -100 or d?
d
Let u be 10/(-28) - (-2)/8. Let h be 1/6*(-6)/4. Let y = u - h. Which is smaller: y or -1?
-1
Let o = 24.884 - 25. Let a = -0.116 - o. Is a less than or equal to -44?
False
Let t = 3 + -7. Let s = -23 + 7. Let u = -21 - s. Is u bigger than t?
False
Let c = 345 - 368. Are c and -21 unequal?
True
Let a(r) = -2*r**2 + 3*r + 17*r**3 - 7*r - 3 + 2*r - 16*r**3. Let m be a(3). Is m less than -4/7?
False
Let j be (-2)/6 - (-21)/9. Suppose -j*h + 3 = 1. Let b = 6/73 + -279/730. Which is smaller: h or b?
b
Let d = -1.4 + 3.1. Let g = d - 0.8. Which is smaller: g or -2/11?
-2/11
Suppose -105*u + 87*u = -468. Which is smaller: u or -1?
-1
Let a(s) = -s**3 - 25*s**2 + 56*s + 46. Let k be a(-27). Suppose 0*p = -p + 4*v - 14, 3*p + 5*v = -8. Is k at most p?
True
Let d be (-2)/122*(-4 + 6). Suppose -5*f = -t - 15, 0 + 9 = 5*t + 3*f. Is t greater than or equal to d?
True
Suppose -4 = y - 0, -3*y = -f + 12. Let s = 253674/167 + -1519. Let z = -481/3340 - s. Is f equal to z?
False
Let a be (-111)/(-15) - (-12)/(-30). Is a less than or equal to 3?
False
Let r = -3.1 - 0.4. Let z = 3.4 + r. Is 4.5 <= z?
False
Let x = 72 - -9. Let j be -3*6/x - (-1020)/4833. Is 1 <= j?
False
Suppose 19*f - 43 = -0*f - 5. Let d be (-2)/10 + (-1)/(-5). Which is greater: d or f?
f
Let z = -7 - -8. Let s be -43 - (1 - 3 - z). Which is bigger: -41 or s?
s
Let m = 5.9413 + 0.0587. Let d = -1/3 - -1/12. Is d != m?
True
Let r = -220/7 + 31. Which is smaller: r or 1?
r
Suppose 6610 - 416 = -19*u. Is u < -325?
True
Let j(v) = v**3 + 6*v**2 + 6*v + 7. Let f be j(-5). Let w = 123/7 - 114/7. Which is bigger: f or w?
f
Let q be 28784/(-276) + (-4)/(-12). Let m = -104 - q. Let h = -9 - -10. Which is greater: m or h?
h
Let t be (-27)/36 - (3/(-4) + 1). Does t = -2/711?
False
Let r = 610/3 - 203. Let w be 16*(1/6)/(-1). Let s = w - -68/21. Which is smaller: r or s?
r
Let c = -5 - -10. Let r(v) = -v**3 + 4*v**2 + 5*v + 5. Let i be r(c). Let n be -1*(3 - (-3 + i)). Is n at most as big as -7?
False
Let h = 5.16 + -5.26. Which is greater: 1/963 or h?
1/963
Let d(w) = w**3 - 2*w**2 - 2*w + 3. Let q be d(-2). Which is smaller: q or -4?
q
Let a = 86701/10 - 8647. Is 22 at most a?
True
Suppose -3*r + 6 = -0*r. Let j be 2/((-11)/((-5764)/(-160))). Let g = -29/5 - j. Which is smaller: g or r?
g
Let j = 2 + -2. Let u be -2 - (2 - (j - -1)). Suppose -6*y = 37*y. Are y and u nonequal?
True
Let a = 1727.87 + -1727. Which is bigger: 1 or a?
1
Let q be 3/24 + 22868/(-160). Let d = 145 + q. Is 1 less than or equal to d?
True
Let g = -29.22 + 29.32. Is -1.369 greater than or equal to g?
False
Let i be (-56)/(-1260)*(8 + 1). Let q = 7.39 + 0.11. Is q not equal to i?
True
Let c(j) = -2*j**2 - 6*j + 24. Let v be c(-3). Which is smaller: v or 23?
23
Suppose 2 = 3*w - 10. Let z be w + -4 + 3 + -2. Which is bigger: z or 6/25?
z
Let l = 89.93 - 90. Let g = 0.2 + -0.1. Which is smaller: l or g?
l
Suppose 0 = -2*z - z - t + 1, 4*t = 5*z - 30. Suppose -w = z + 7. Let q = -96 - -96. Do q and w have different values?
True
Let l = -336205/193 - -1742. Is -1 bigger than l?
False
Let b = -10 + 14. Let u = b - 6. Let g = 2/3043 - -3033/15215. Is u bigger than g?
False
Let m = -1532 + 2434. Does m = 901?
False
Suppose -1107 = -4*p - n, -1119 = -4*p - 11*n + 6*n. Are 276 and p equal?
True
Let f be (2*6)/(6/20). Suppose -2*b + 4 = 3*l, 0*b + 5*l = 5*b + f. Let i = -282 + 278. Is b equal to i?
True
Suppose 4*p - 467 = q + 296, 0 = -4*p + 2*q + 766. Suppose 0 = 4*a - p - 170. Let j be (-6)/(-27) - 74/a. Which is greater: j or -1?
j
Let r(g) = g**3 + 6*g**2 - 17*g - 10. Let u be r(-8). Let s be 28/12 + u + 0. Which is smaller: s or 0?
0
Let a be (-48)/(1*-3)*170/136. Is a <= 252/13?
False
Let v = 18.65 - -0.35. Let l = -21 + v. Is -0.1 equal to l?
False
Suppose -2*j = j - 9. Suppose j*n - 9 = 0, -21 = -2*i + 5*i + 3*n. Which is bigger: i or -1?
-1
Suppose 883*k - 884*k + 2 = -n, -2*k = -6. Suppose 4*j = -3*q - 3, 1 = -2*j + 4*q + 5. Which is greater: j or n?
n
Let u = -7 + 12. Let r = -16.64 + -122.26. Let q = -139 - r. Is q at least as big as u?
False
Let j = 3.3 - 2.3. Let z(a) = 2*a - 2. Let o be z(2). Suppose -o*x = -0*x - 30. Is j bigger than x?
False
Let r be (2/50)/((-48)/30). Let f = 318 - 318. Which is smaller: r or f?
r
Suppose y = -2*y. Let u be (y - 1)*33/(-121). Which is smaller: 0 or u?
0
Let x = -553 + 11049/20. Let m = x + 39/80. Is 1 > m?
True
Let d be (-4)/6 + 80/(-6). Let v = 6 + d. Let k be (24/(-4) - (-11)/(-1)) + 8. Is v less than k?
False
Let m = -1587235/214 - -7417. Which is greater: 1 or m?
1
Suppose 3*v = -3, -3*g + 5*v + 55 + 4 = 0. Is g not equal to 21?
True
Let l = 4799/8 - 601. Suppose -4*h = 17 - 9. Do l and h have the same value?
False
Let o(w) = -w**2 + 12*w - 23. Let r be o(5). Let p be (r/(-5))/((-36)/(-120)). Let u = -6 - -1. Which is smaller: u or p?
p
Let g = 1 - -1. Let t = 2.5 + -1.7. Let u = t - 1. Which is smaller: u or g?
u
Let j be 1 + (4/(-14) - 3140/35). Which is smaller: -88 or j?
j
Let f = -0.3 - -0.4. Let b be (4/(-16))/((-9)/(432/39)). Which is smaller: b or f?
f
Let l = -1 - -1.5. Let x(f) = f**3 - 11*f**2 + 11*f - 12. Let q be x(10). Let u(r) = r**3 - 7*r - 5. Let w be u(q). Is l <= w?
True
Let u be (6/12)/((-2)/(-16)). Let i be (5 - u)/(1/17). Is i > 17?
False
Let p(y) = -4 + 63*y**2 - 34*y**2 + 6*y - 28*y**2. Let v be p(-7). Do 6 and v have the same value?
False
Let j(u) = 2*u**2 + 16*u + 21. Let v be 152/(-28) + 3/7. Let d be j(v). Does d = -25/3?
False
Let b = 23/6 + -10/3. Do b and 3/10 have the same value?
False
Let z be ((-4)/(-4) - 3)/10. Let y = 59 - 60. Does z = y?
False
Let t = -84 + 96. Let c be ((-8)/t)/(2/(-3)). Let y = 17/2 + -8. Which is greater: y or c?
c
Let d be 15/(-20) - 9/4. Let w = 0 + d. Let g be w/8*18/