 u at most n?
True
Suppose 4*k - 9*w = -6*w + 1, 5*k = w + 4. Which is smaller: -30 or k?
-30
Suppose 2*z - 4*z = 64. Let v(j) = -j**3 + 24*j**2 + 25*j - 30. Let u be v(25). Which is smaller: u or z?
z
Let q be (6/7)/(3/(-84)). Let p be q/(-21)*(-3 - -2). Let c(g) = g**3 + 4*g**2 - 2*g + 13. Let m be c(-5). Which is greater: m or p?
p
Suppose 5*m - 18 = -g - 6, -5*m = 5*g - 20. Suppose -m*y + 46 = -4*y. Are y and -22 non-equal?
True
Let o(d) = -d**3 - 2*d**2 + 2*d + 5. Let k be o(6). Let p = k - -7587/28. Let w = -320 - -321. Is p != w?
True
Let t(l) = -l + 1. Suppose 3*b = -b. Let f be t(b). Suppose -f - 1 = 2*p. Is -0.05 >= p?
True
Let q be (22/4 - 4)/((-18)/60). Which is bigger: -35 or q?
q
Suppose -t + 5*g + 44 = 2*t, 0 = 2*t - g - 20. Let f be 1630/t + (-1)/(-4). Let j = f + -5918/29. Which is smaller: -1 or j?
-1
Let f = 956 + -710. Is 247 at most as big as f?
False
Let b = 13 + -38. Let a be 16/(-24) - b/(-3). Let o be 0 + 3/a*3. Is o at most 6?
True
Let p = 376 + -376. Which is greater: 11/12 or p?
11/12
Suppose 9 - 34 = -5*a. Suppose -5*n + 3*t = 104, 40 = -a*n - t - 52. Is -20 < n?
True
Let k = 26.378 + -25.41. Which is smaller: -2/3 or k?
-2/3
Let h be (-2)/8*(57 + -55). Which is smaller: 681 or h?
h
Suppose 0 = 4*z - 3*z + 4, -121 = o - 2*z. Which is smaller: o or -131?
-131
Suppose -5*d - 3*h - 1750 = 0, -h - 485 + 135 = d. Let p be (-160)/d*(-10)/(-4). Do -1/4 and p have the same value?
False
Suppose 5*g + 2*n = 14, -7*g + 3*n + 25 = -3*g. Let k be g - (-4 - (-94)/10). Which is bigger: k or 0.1?
0.1
Let h = 78 - 76.4. Let w = 0 + -0.6. Let r = w + h. Which is bigger: r or 0?
r
Let w(g) = 21*g - 7. Let u(p) = -21*p + 9. Let v(o) = 3*u(o) + 4*w(o). Let m be v(-1). Is -21 >= m?
True
Suppose -2*s - 66 + 94 = 0. Is -2/3 >= s?
False
Let p = -107 + 124. Do p and 5 have the same value?
False
Let r = 8572999/23 + -372383. Let b = -356 + r. Which is smaller: -1 or b?
-1
Let p(z) = -3*z**2 - 2*z - 17. Let r be p(-5). Let f = 72 + r. Which is greater: -9 or f?
-9
Suppose 5*m + 420 = -5*o, -5*m - o = -4*o + 412. Let i = -41 - m. Is 42 at least i?
True
Let v = 1313/3 - 443. Let s = v + 77/15. Is s equal to -1?
False
Let n = 3 - 3.04. Let u be -12 + 9 - (-1 - 5). Suppose -u*x - 5 - 3 = 2*l, 3*l = -5*x - 13. Is n less than or equal to x?
False
Let u = -10338937522 - -1575623061636952/152397. Let t = u + 2/7257. Let g = t - 6/7. Which is greater: g or 0?
0
Let c = -185 + -392. Which is greater: c or -578?
c
Let g(c) = -c**3 - 7*c**2 + 14*c - 1. Let v be g(-8). Let y = -55 - v. Is y not equal to -6?
False
Let b = -1741 - -1731. Does -109/10 = b?
False
Suppose 5*l = c - 547 + 7, 3*l - c + 326 = 0. Let t = 96 + l. Is -11 less than or equal to t?
True
Let g be ((-52)/(-56) - 1)/((-2)/(-68)). Let w be -1*(-1 - -2*2). Which is bigger: g or w?
g
Let h be (-11 - (-2478)/(-70)) + -11. Which is smaller: -58 or h?
-58
Let y = 737 + -714. Let t = -5469.91 - -5447. Let b = t + y. Is 1/4 not equal to b?
True
Let k(b) = b**2 + 62*b - 3127. Let x be k(33). Let c be 9/(-7) + (2 - 1). Is c less than or equal to x?
True
Let x(q) = q**3 - 12*q**2 - q + 14. Let t be x(12). Suppose -98 = -5*k - 0*k + 2*o, 0 = -t*k - o + 41. Is k at least 20?
True
Let n = -138.6 + 137. Let o = 41.3 + -43. Let a = o - n. Which is bigger: a or 0.02?
0.02
Let s be (-228)/354*11 - -7. Is 0.1 not equal to s?
True
Let r = -105 + 1154/11. Let q(j) = -8*j + 4 - 7 + 0 - 6. Let y be q(-1). Is r at most as big as y?
False
Let f = 7 + -14. Let k = 0.053 + 0.947. Which is smaller: k or f?
f
Suppose q = 5*k + 16, 0 = -4*q - 19*k + 24*k + 139. Which is smaller: q or 40?
40
Suppose 4*i - 8 = 2*i. Suppose i*l + 47 + 21 = 0. Let t = l - -20. Are 5 and t equal?
False
Let v(h) = -3*h + 1. Suppose 0 = -4*i - 20. Let q be i + 2 - (-6 - 0). Let y be v(q). Is y at most as big as -9?
False
Let m be (-292)/2*(-3 + 1)/24. Let p = 23/2 - m. Which is smaller: 2 or p?
p
Let z = -0.0459 - -0.2459. Which is smaller: z or -7/2?
-7/2
Suppose -q + 8 = 2*i, 0 = 4*q + 2*i - 4*i + 8. Suppose 12 = -3*w - q. Is -4 bigger than w?
False
Suppose -8*a - a = a. Is a > -1/43?
True
Suppose 7*m + 20 = 3*m. Let g(z) = z**3 + 8*z**2 + 7*z. Let q be g(m). Let b be (-6)/(-10) + (-64)/q. Is b at most as big as 2/9?
True
Let b = -48 - -45. Let v(m) = -m**2 + m + 5. Let o be v(b). Let j(q) = -5*q**2 + q - 1. Let f be j(1). Which is smaller: o or f?
o
Let f = 70.29 + -70. Let k = f - 0.94. Let i = 0.35 - k. Is 4 > i?
True
Let w = 1.546 + -1.446. Which is smaller: w or -30.8?
-30.8
Let s be (44/(-6))/(4/(-18)). Suppose 3*o = y - o, -s = -4*y + 5*o. Let g = 14 - 3. Is y <= g?
False
Let f be (0 - -3) + -1 + -3. Let g be ((-6)/10)/3*5*f. Which is bigger: g or -1/17?
g
Suppose 5*a + 3 = -2. Let q = -260876341/562067560 + 4/610943. Let p = q - -29/40. Which is greater: p or a?
p
Let i be -6 + 4/2 - -8. Suppose -i*q = -6*t + t - 75, -69 = -5*q - 2*t. Let v be 4/(-3)*q/10. Are v and -7/6 non-equal?
True
Suppose 2*p + y + 1163 = 0, 20*p + 5*y = 18*p - 1175. Which is smaller: p or -579?
p
Let x be (-1862)/(-18) - (-100)/(-225). Is 101 greater than x?
False
Let g(d) = -3*d - 3. Let q be g(-2). Let v = 20 - 19.95. Let h = 0.05 - v. Which is greater: h or q?
q
Let b = 2 + -17. Let t(s) = s**3 - 16*s**2 + 14*s + 1. Let y be t(15). Which is bigger: b or y?
y
Suppose -48*r - 18067 + 979 = 0. Is r less than or equal to -354?
True
Suppose -2*u = -6, -4*b + 0*b + 2*u + 38 = 0. Suppose -b*i = -10*i + 5. Which is bigger: i or -7?
i
Let y = 1650/81337 - 4/499. Which is greater: y or 0?
y
Let t(v) be the second derivative of -v**3/3 - 11*v**2/2 + 12*v. Let g be t(-5). Which is smaller: 2/37 or g?
g
Let r be 2 - (0 + 12/(-2)). Suppose 5 = 5*y - 10. Suppose -r - 1 = y*o. Which is greater: o or 0?
0
Let h = 652 + -652.03. Is h > -3/5?
True
Let q be -3314 + -1*(3 - 5). Let f = q + 102684/31. Is -1 at least as big as f?
False
Let p(a) = a**2 + 2*a + 3. Let w be p(3). Suppose 4*t + w = 6*t + 3*v, -2*t = -5*v - 2. Suppose -t*r = -2*r. Is 0 greater than r?
False
Let m = 5298/11 + -482. Let i = 13 + -14. Which is smaller: i or m?
i
Let h be (3 - 15)/(3/13). Which is smaller: -560/11 or h?
h
Let p(a) = -a**3 + a**2 + a + 5. Let s be p(0). Suppose s*r - 189 = -14. Which is smaller: r or 36?
r
Let c = 2 - 3. Let h = -8.2 + 11. Let i = 3.3 - h. Which is greater: i or c?
i
Suppose 264*h = 271*h - 21. Which is smaller: h or -4?
-4
Let l(y) = 9*y + 85. Let i be l(-48). Is i <= -346?
True
Let h = -14 - -14. Suppose h = 7*o - 6*o. Suppose -35 = -5*t - x, -4*t - t - 2*x + 40 = o. Which is smaller: t or 5?
5
Let a be (-2128)/(-10494) + 72/(-396). Is a at most 1?
True
Let i = 93485/12 + -7795. Let z = -23/6 - i. Let b be ((-2)/4)/(3/(-12)). Which is smaller: z or b?
z
Suppose -32*s = -30*s - 3*p + 93, 0 = -5*s + p - 226. Which is smaller: -50 or s?
-50
Let x be -2 + 1*98/(-5). Suppose 5*u = 5*f - 120, -5*f + 54 = -5*u + 3*u. Let j = u - x. Which is smaller: j or 0.1?
j
Let q be (10/(-4))/(2/(-4)). Suppose q*u + 2*y - 2 = 3*y, 5*u - 10 = 5*y. Let z be (4/(-30))/(8/3). Does u = z?
False
Let p(r) = -4*r**3 + r**2. Let w be p(-1). Suppose -w*v + 0 = b + 20, -5*b - 4*v - 79 = 0. Which is smaller: -17 or b?
-17
Let h(r) = r**2 - 11*r + 15. Let b be h(10). Let i = -1 + b. Let n be (i/(-3))/(14/(-63)). Is n at most 6?
True
Suppose 4*i - 6 = 2*i. Suppose -i*k + 1 = -2. Suppose k = -y - 1. Which is smaller: y or -4/5?
y
Let k(v) = -v - 13*v**2 - 9 + 3143*v**3 - 22*v - 3144*v**3. Let s be k(-11). Which is smaller: s or 3/4?
3/4
Let u(l) = 73*l - 190. Let t be u(3). Which is greater: t or 18?
t
Let p be 5517/(-1836) + 1 + (0 - -2). Do 0 and p have different values?
True
Let q = 1475 + -87023/59. Do q and 0 have different values?
True
Let q = 2062 + -1986. Is 70 smaller than q?
True
Let q = -0.2 + 59.2. Let c = q + -59.053. Are -2/7 and c unequal?
True
Let s be 36/618*(-44)/33. Which is bigger: 1 or s?
1
Suppose -2*d = -4*q - 288, q = -4*d - 226 + 811. Suppose -5*y + 47 = 2*g, -2*g + 3*y - d = -7*g. Is 31 smaller than g?
False
Let b be 8/(-2 + -2)*1/(-1). Suppose 5*i = -0*y + 4*y + 10, -i + 5*y + 23 = 0. Let o be i - ((-10)/2 + -1). Which is bigger: o or b?
o
Suppose 30*w + 342 = 27*w. Which is smaller: w or -116?
-116
Suppose 3*h - 21 = 3*s, 13 = -4*s + 2*h - 3*h. Let u = -49 + 48. Is u sma