 - 2. Let p be z(-8). Let b = -2/39 - -47/156. Which is smaller: b or p?
p
Let p = -50.7 - -57.7. Is p >= -5?
True
Suppose -2*c = -4*t + 80, -c - 48 = -2*t - 2*t. Let o be 6/(-4)*c/(-12). Which is smaller: o or -16/5?
o
Let l = 39.4 + -48.4. Let c = 6 - -3. Let m = c + l. Is 6 <= m?
False
Let j = 15 - 4. Let z = 10.8 - j. Let i be -2*2*(-2)/(-2). Which is smaller: i or z?
i
Let j(u) = -u**2 - u - 1. Let h be j(-1). Let g be -3*(-8)/528*-12. Which is smaller: g or h?
h
Let w = 28 + -24. Let n be ((-15)/(-475))/((-6)/w). Is n at least -1?
True
Suppose -n = -4*i - 5, 2*i + 0 = -2. Which is smaller: n or -2/757?
-2/757
Suppose -140*t + 113*t + 18360 = 0. Which is smaller: 679 or t?
679
Suppose 13 = -5*y + 4*v, -2*v + 8 = -y + 3. Which is greater: -275 or y?
y
Let c = -10 + 6. Suppose -5*a - 4*j - 3 = -1, 5*a + 3*j = 1. Suppose 16 = 4*p - 2*h - 2*h, 0 = 2*p + a*h + 12. Which is greater: p or c?
p
Let d(u) = u**3 + 4*u**2 - 19*u - 11. Let c be d(-7). Let z = c - -27. Which is smaller: -3 or z?
-3
Let h = -6 + 0. Let z be 32/(-6) + (-2)/h. Let x be (-2)/(8*-1)*2. Which is smaller: z or x?
z
Let b = -14 + 10. Suppose 4*t = -4*s, 3*s = 6*s + 5*t - 10. Which is bigger: s or b?
b
Suppose 10*q - 11*q + 15 = 0. Suppose 0 = -3*b + q, 0*p - p + 2*b = 68. Is p smaller than -2/3?
True
Let m = 6.6 + -41.6. Let c = m + 33.9. Which is bigger: c or 0.1?
0.1
Let y = -2/2455 - 29434/31915. Let x = -263/299 - y. Which is greater: 0 or x?
x
Let k = 3 + -4. Let s be -1 - (0 - (-4 - -6)). Let p be (5 + 3)/4 - s. Which is smaller: k or p?
k
Let a = -11 + 4. Suppose -3*r - 2*x = 15, -3*r - x - 9 = -r. Which is greater: a or r?
r
Let h be 0*(-3 + 5/2). Suppose 3*d - 17 = 4*w, -4*w = 4*d - h*d - 4. Let k be (-2)/d + 1/(-3). Is k at least as big as 2/7?
False
Suppose 0 = 4*p + 5*m - 46, 2*m - m = p - 7. Let h be 2/p - 66/54. Let b = -95/3 - -32. Are b and h equal?
False
Let g = -134.8 - -147.8. Do -75 and g have different values?
True
Let m = -119 + 128.8. Let s = m - 0.8. Let q = s - 9.1. Does 4/7 = q?
False
Let y be 5/(-4) - (3520/11 - -1). Are -322 and y non-equal?
True
Let h be (-2)/(-19) - (-22800)/(-3971). Is h greater than -6?
True
Let z = 106605 - 850027/8. Let d = z - 351. Are 1 and d unequal?
True
Let a be (-5*24/(-63300))/(32/(-10)). Which is smaller: -1 or a?
-1
Let g be (4/(-10))/(2/30). Let a = 18 + -28. Let p be (-34)/(-85) + 54/a. Is g < p?
True
Let g(n) = n + 16. Let d be g(-17). Let q(x) = -5*x. Let r be q(d). Which is bigger: r or 3?
r
Let r(v) = -2*v**3 - 77*v**2 - 49*v - 246. Let b be r(-38). Is 169 less than or equal to b?
True
Let z = 114.1 - 75. Let x = 39 - z. Is x at least -21?
True
Let i be (8/(-10))/(6 - (-147)/(-35)). Let w(v) = v**2 + 4*v. Let z be w(-3). Which is smaller: i or z?
z
Let c = -8 - -10. Suppose 0 = 2*v + c*k - 10, -5*v + 8*k = 3*k - 75. Let w be (48/v)/(-3) - -2. Which is smaller: w or 3?
w
Suppose -4*i = -2*i + 16. Let r = i + 11. Suppose 0 = -r*b + 2*b - 6. Is b at least as big as -7?
True
Suppose -65 = 2*z - 7*z. Let w(n) = -n**2 + 8*n + 1. Let k be w(5). Suppose k = p + 3. Are z and p equal?
True
Suppose -2*b - 829 = -399. Is b smaller than -216?
False
Let p(v) = v**3 - 5*v**2 + 4*v - 1. Let t be p(4). Let a be (-35)/(-5)*134/(-8). Let j = -16407/140 - a. Which is smaller: t or j?
t
Let z be ((-2)/(-3))/(4/18). Let t = 8 - 4. Suppose -z*j - 1 = -t. Is j not equal to 6?
True
Let d(b) = -b**3 - 10*b**2 + 29*b - 1. Let r be d(3). Which is smaller: -40 or r?
-40
Suppose 5*y + 2*x = 6*y - 6, 0 = 3*x - 15. Is y != -0.4?
True
Let q(d) = 570*d. Let z be q(1). Suppose -4*g + z = -122. Let p = 3286/19 - g. Which is greater: 0 or p?
0
Suppose 7*t - 32 = 3. Suppose 0 = t*g - 4*b + 94, -4*g + 8*g - 5*b = -77. Which is smaller: -19 or g?
-19
Suppose 0 = 2*g - 4*d - 24, d - 30 = -g - 3*g. Let n(a) = -a + 6. Let w be n(5). Let s be 4/(g/34)*w. Which is smaller: 16 or s?
16
Suppose -4*d - 218 = 4*k - 9*k, 3*d = 5*k - 216. Suppose 4*y + k = 5*f, -2*f + 13 = -2*y - 5. Is 7 at most as big as f?
False
Let v(t) = 2*t**2 - 17*t + 11. Let x be v(13). Let q be (84/18)/(x/60 - 2). Is q smaller than 34?
False
Let c(a) = -a**3 + 7*a**2 - 5*a - 5. Let o be c(6). Let x(d) = -3*d**2 + d + o + 4 - 4. Let q be x(-1). Is q < -2?
True
Suppose -67 + 72 = -5*m. Let f(i) = i**2 - 11*i + 5. Let l be f(4). Which is greater: m or l?
m
Let b = 22/63 - 1/63. Let d = -0.046 - -0.146. Are b and d nonequal?
True
Let b be ((-8)/14)/(24/(-84)). Let a = 29/34 + -6/17. Which is smaller: a or b?
a
Let s be (0 + 6)/(-3) + (-175)/(-425). Is -2 at least as big as s?
False
Suppose -2*h + 7*r - 8*r = -615, 25 = 5*r. Is h greater than or equal to 307?
False
Let w be (-1)/3 - 21/(121716/(-1572)). Which is smaller: w or 1?
w
Let g = 1.816 - 5.816. Which is smaller: -57 or g?
-57
Let w = 60 + -59.88. Let d = -0.112 + 1.992. Let a = w + d. Which is smaller: a or 0.4?
0.4
Let y = 501.94 + -515. Let u = y - -13. Let j be (0 - 4) + 2 + 0. Which is bigger: j or u?
u
Let t(z) be the third derivative of z**5/30 + z**3/3 + 3*z**2. Let d be t(2). Suppose -4 - d = -2*n. Is n > 7?
False
Let j be (69/(-46))/(231/(-128)). Let m = j - 6/11. Which is smaller: m or -4/11?
-4/11
Let y = 30 - 18. Let j = -2.4 + 2.6. Which is smaller: j or y?
j
Let f = 2.2 + 9.8. Let o = 2 - 15. Let v = f + o. Is 1 less than or equal to v?
False
Suppose -12*l + 11*l = 0. Suppose -a - 42 = -l*a. Let h be (-16)/a + (-12)/18. Which is smaller: h or 13?
h
Let d(i) = i**2 - 3*i + 1. Let s be d(1). Let z = 699881/8 + -87375. Let t = -110 + z. Which is greater: s or t?
t
Let g = 32 + -28. Suppose 5*n + 0*n = g*n. Is n at least -2/19?
True
Suppose 0*v = -4*v + 4. Suppose 4*i - 3*l + 10 = 0, -4*l + 5 = -3*i + v. Let s be 8/36 - i/(-18). Is s equal to -2/9?
False
Let a = 993/2 - 496. Let h = 1 - 5. Which is bigger: a or h?
a
Suppose -23*t - 665 - 12882 = 0. Which is smaller: t or -590?
-590
Let g = 2 + 3. Suppose 3*z + 45 = -g*y + 178, -2*z - 124 = -4*y. Is y at least 29?
True
Let h(f) = -6*f - 44. Let d be h(-11). Suppose -d = g - 21. Is g < 2/69?
True
Let u = -98671/780 + 1/780. Is -127 less than or equal to u?
True
Let y be 308/3*9/6. Suppose -5*f + y = -21. Suppose -3*v + 5*v = -3*s - 22, 5*s = -5*v - f. Which is bigger: s or 1?
1
Suppose -3 = -f - 4. Let w be 5*4/(-8)*4. Let a(r) = 2*r**3 + 19*r**2 - 8*r + 20. Let x be a(w). Which is bigger: f or x?
x
Let r be (-8 - -7)*0/(0 + 2). Suppose -10*o + 14 + 196 = r. Suppose -5*h + 0*u - 3*u + 98 = 0, -4*u = -h + 38. Which is bigger: h or o?
h
Let x = 0.3 + -0.05. Let n = 0.85 + x. Is n greater than -0.4?
True
Suppose 0 = -c + 5*c. Suppose -2 + c = x. Which is greater: x or -4?
x
Let o(g) = -g**2 - 18*g - 33. Let f be o(-16). Let d be (2 + -2)*f/3*-3. Is d greater than or equal to 0?
True
Let r = 0.094 + -0.194. Which is smaller: -185 or r?
-185
Let p = 3 + -2. Let l = 151 - 6491/43. Are p and l nonequal?
True
Let g = -952 + 27612/29. Let s be 16/(-10) - (-536)/335. Is g != s?
True
Let o(r) = 2*r**2 - 17*r - 4. Let s be o(9). Suppose -c = s*c - 2*c. Which is smaller: c or -4/13?
-4/13
Suppose 3*x - 744 = -4*c, 3*x - x + c = 501. Is 252 greater than or equal to x?
True
Let v be (6/(-8))/(7/(-14) + 2). Which is smaller: v or -143?
-143
Let s = 13/18 + -2/9. Let p = 12.2 + -1.2. Are p and s non-equal?
True
Let l = 1780 - 12610/7. Is l less than or equal to -20?
True
Let k be (-459)/3 - (-24 - -27). Which is bigger: 0 or k?
0
Let b = -83.3 - -38.3. Which is smaller: b or -5/3?
b
Suppose 9 = 2*z + 1, 0 = 2*g + z - 2. Let d be (g*6)/(-2) - 3. Is -1/13 smaller than d?
True
Let d = -0.188 - -0.125. Let y = d + -0.037. Which is greater: -2/63 or y?
-2/63
Let v = 13833 + -13808. Let z = 48 + -24. Which is smaller: z or v?
z
Suppose 4*v + 700 = -2*s - 0*v, -10 = -2*v. Which is smaller: -361 or s?
-361
Suppose 6*i - 273 - 531 = 0. Which is greater: i or 136?
136
Let k(o) be the second derivative of -o**5/20 + o**4/12 + 5*o**3/6 + o**2/2 + o. Let s be k(0). Do 2/125 and s have the same value?
False
Let m = 0.5 - 1.5. Let o = 82 + -579/7. Is m greater than o?
False
Let u = 36 + -21. Let n = 91 - 77. Which is smaller: u or n?
n
Let r = -4215/8 - -527. Suppose 0 = y - 0 - 3. Suppose 0*m + y*m + 3 = 0. Is m at least as big as r?
False
Let l = -7 - 0. Let c be (l - -2)*(-2)/(-5). Let z(p) = -p**2