(24/(-4)). Let q be f/10*22/55. Which is bigger: 1 or q?
1
Suppose 2*w - i = 2*i - 19, 5*i + 35 = -5*w. Let u be 1/6*w/18. Are u and -1 equal?
False
Suppose 2*j + 941018 = w - 0*w, -5*w + 4*j + 4705084 = 0. Let f = w - 17873127/19. Let r = f + -325. Which is bigger: 0 or r?
r
Let x = 0 - 1. Let s = 391 - 394. Is x equal to s?
False
Let x = 1 - -5. Let b be (1 + 1)/(-5 + x). Suppose -5*v + 8 + b = 0. Is -5 != v?
True
Suppose -f + 30*f - 754 = 0. Is 28 less than or equal to f?
False
Let g be 1*3/(-3)*0. Let f be 11/((-143)/6) + g. Which is greater: f or 0?
0
Let y(g) = 2*g**3 + g**2 - 13*g + 4. Let p be y(2). Which is greater: p or -130?
p
Let l(c) = -c**2 - 4*c + 8. Let i = -10 + 4. Let x be l(i). Is x less than or equal to -14?
False
Let u be -5*28/(-1470)*18/(-8). Which is smaller: u or 1/6?
u
Suppose 0 = 2*u - 139 + 141. Which is greater: 3 or u?
3
Let b = 395 - 628. Is 0 at least b?
True
Let b = -2.04 - -59.04. Is b greater than or equal to 1?
True
Let x = -0.107 + 0.817. Let d = -0.71 + x. Let t be (-1)/(-4) - 369/612. Which is greater: t or d?
d
Suppose -7 = 4*m - 27, -f + m = -1. Suppose -n - f - 6 = 0. Let h be n + 13 + 2/(-6). Is h at most -0.08?
False
Let u(m) = 91 - 90 + 25*m - m - m**2. Let d be u(24). Are -1/4 and d equal?
False
Let c be 50 + 0/(9/(-3)). Which is smaller: c or 51?
c
Let d(m) = m**3 - 5*m**2 + 4*m + 3. Let x be d(4). Suppose 3*o = -4*v - 3, -5*o - 5*v - 2 = x. Which is bigger: -15/8 or o?
o
Suppose 4*g - x + 3*x - 6 = 0, -4*x - 12 = 2*g. Is -1 at most g?
True
Let f = -80.14 + 74.2. Let a = f + 6. Let u = 0.04 + a. Is 0.08 at least as big as u?
False
Let o = 39/5 - 161/20. Let c(m) = -m**2 + 7*m - 5. Let d be c(5). Let b = d - 4. Which is smaller: o or b?
o
Let h = 90 - 95.1. Let t = 1.7 + h. Is 0 != t?
True
Let q = -545 + 1095/2. Which is smaller: q or -13?
-13
Suppose -5*j = 0, 17*m - 12*m = j. Which is smaller: m or -20/19?
-20/19
Let q(f) = f**2 - 3*f + 8. Let v be q(9). Let a be v + 2/(-4)*2. Let i = a + -129/2. Is -3 <= i?
False
Suppose 2*a - 2*a = 2*a. Suppose 2*p + 5 - 15 = a. Let l(f) = f**2 + 4*f - 7. Let j be l(-6). Is j at least p?
True
Let o be (-7)/2*42/(-49). Suppose 6*r - r - o*q - 109 = 0, 0 = 2*q - 4. Which is smaller: r or 24?
r
Let b = -17 - -13. Let g = b + 32. Does 28 = g?
True
Suppose g + 3 = -1, 5*g = -4*i - 24. Let s be (-8)/6 - (0 + -1). Is s smaller than i?
False
Suppose -179 = -4*b - b + 4*x, b - 4*x - 23 = 0. Which is smaller: 40 or b?
b
Let n be (-1 + -2)*3 + 10. Let x = 6/457 + 109/26506. Which is smaller: x or n?
x
Suppose m + 4 = 1. Let j = m + 4. Let k be (3 + 2)*-1 - (-168)/24. Is k equal to j?
False
Suppose -4 = -12*m + 32. Suppose 5*a - m*o - 11 = 0, o = 2*a + 2*o. Let i be (4/35)/((-6)/(-15)). Is a equal to i?
False
Let k be (-5 - 102/(-18))/(4/48). Is 8 > k?
False
Let o(v) = -v**2 - 9*v - 12. Let p be o(-7). Suppose 4*h = -p*l - 42, -2*h - 5*l - 6 = -3*h. Which is bigger: h or -12?
h
Let h = 125 - 112. Which is smaller: h or 1/5?
1/5
Let f = -497/5 - -99. Let b = -25 + 24.52. Let l = b + -0.12. Is l at least f?
False
Let n = -2.7 + 3. Let l = n + -0.4. Let t = -0.059 + -0.241. Which is greater: t or l?
l
Let m = -51 + -35. Let b = m + 84. Is -1/4 less than or equal to b?
False
Suppose -z + 1 = t, -2 = 4*z - t - t. Which is smaller: -26/51 or z?
-26/51
Let b = -693 - -693.565. Which is smaller: b or -1/4?
-1/4
Let t = 37202/65 + -2904/5. Which is smaller: t or -1?
t
Suppose 160 = -1285*l + 1280*l. Let g be -3 - (336/3)/4. Which is smaller: g or l?
l
Let n = -185 + 170. Which is bigger: -0.1 or n?
-0.1
Let g = 9 + -10. Let w = g + 3. Suppose -10 = 2*c + w*a, 2*c - 3*c + a - 5 = 0. Is -6 greater than c?
False
Let u(g) = -2*g**3 + 4*g**2 + g + 1. Let t be u(3). Let p = -11 - t. Let q(l) = l - 1. Let a be q(p). Does -1 = a?
False
Let s(f) = 12*f**3 + 2*f**2 + 4*f + 1. Let y be s(-1). Is y < -138/11?
True
Let u = -357 - -345. Is u <= -8?
True
Let b be -7*(-38)/(-8) - 5/(-20). Let r = 34 + b. Which is smaller: 3/14 or r?
3/14
Let t = 1 + -2. Suppose 0 = 7*x - 78 - 62. Suppose -3*h = -k + 16, -3*h = -k - 4*k + x. Which is smaller: h or t?
h
Let b = 1354 + -18937/14. Is 0 at most as big as b?
True
Let k be 36/(-42)*2/(-6). Let q be (-2 + (-8)/(-4))/(-1). Which is greater: q or k?
k
Let v = 153 + -151. Which is greater: v or 27/2?
27/2
Let t be (-4 - -2) + 54/2. Let d be 20/t - (-326)/5. Suppose -4*h - q + d = q, 3*h - 4*q - 33 = 0. Do 14 and h have the same value?
False
Suppose -5*j = 30 - 55. Suppose 15 = -5*o, 2*v - 4*v + 9 = -j*o. Is -4 greater than or equal to v?
False
Suppose -3*k - 4*n + 7 = -0*n, -2*n + 35 = 5*k. Let v be -1*6/k*9. Let b = 4 - v. Is 12 equal to b?
False
Let l = -50 + 30. Let p = -36 - l. Let o = -19 - p. Is -2/9 greater than or equal to o?
True
Let o be (-105)/(-342) - (6 - (-68)/(-12)). Are o and -1 non-equal?
True
Let m = -12 + 6. Let u be 50/(-55)*m/15. Suppose 0*y - i - 3 = -2*y, -3*i - 3 = 0. Which is bigger: y or u?
y
Let k = 13.616 + -14. Let n = -0.31 - k. Which is smaller: n or 2/3?
n
Let j = 47.77 - -0.23. Is j != 1?
True
Suppose -2*z - z + 10 = 4*a, 0 = 4*a + 4*z - 12. Let k be -1 - -17*a/16. Suppose 3*o + 9 = -3*n, -4*o + 6*o - 4*n = 6. Is o less than or equal to k?
True
Let t = -48.5 + 47. Let m = -13.5 - t. Which is smaller: m or 0?
m
Suppose 0 = -50*r - 444 - 306. Is 10 equal to r?
False
Let k = -1978/33 + 60. Suppose 0 = 5*b - 0*b - 15. Suppose f - b*f = 0. Is f at most as big as k?
True
Let q be -4 + 9 - ((-152)/14 - 5). Is q less than or equal to 4/3?
False
Let z be 2 + 7/8 + -1. Let t be ((-2)/(-1))/2 + -4 - -6. Which is smaller: t or z?
z
Let y(v) be the third derivative of -v**5/60 - v**4/3 - 5*v**3/2 + 2*v**2 + 103. Let g(l) = 2*l - 2. Let n be g(-2). Let c be y(n). Which is greater: -6 or c?
c
Let i(b) = b**3 + 39*b**2 - 47. Let m be i(-39). Do -54 and m have different values?
True
Suppose -52 - 26 = -g - 5*c, c - 274 = -4*g. Which is bigger: g or 64?
g
Let v(z) = -29*z - 666. Let x be v(-23). Do x and -1/3384 have the same value?
False
Let l = 14 + -3. Suppose -8 = l*y - 13*y, 44 = 4*u + 2*y. Is u less than or equal to 4?
False
Suppose 2*b + 5*m = 7*b - 75, -3*m + 45 = 3*b. Are 3 and b equal?
False
Let m(n) = -n**3 - 9*n**2 - 18*n + 9. Let q be m(-6). Which is greater: q or 40?
40
Suppose 5*x = -2*g, 0*g - 3*x = 2*g. Suppose g = -4*o + o - 15. Are o and -5 nonequal?
False
Let r(b) = -b**3 - 9*b**2 + 11*b + 12. Let w be 1 - 1 - 30/3. Let x be r(w). Suppose -3*v = x*a, 0 = v - 2*a - 2*a. Which is smaller: -2 or v?
-2
Let f(r) = -r**3 + r**2. Let s be f(0). Let q be -3 + 323/36 - -4. Let v = 39/4 - q. Is v <= s?
True
Suppose 77 = 2*k - b, b - 3 = -0*b. Which is greater: k or 79/2?
k
Suppose 3216 = -3*r - 2*p - p, 3210 = -3*r + 3*p. Is -1070 less than or equal to r?
False
Let j = 99 - 166. Let s = j + 96. Is s greater than 0.1?
True
Let n be -7 - ((-3)/(-1) - (-208)/(-20)). Is n less than or equal to -377?
False
Let r = 10/11 - 8/33. Let l = r - 2. Suppose 3*z = -s + 4, 5*z - 4*s + 13 = -3. Which is bigger: l or z?
z
Suppose 0 = -4*p - 5*x + 41 - 6, 0 = -3*p - 4*x + 27. Suppose -y + q = 15, 0*q + 79 = -p*y + q. Are -16 and y non-equal?
False
Suppose 88 = -z + 135. Suppose -z*o + 50*o - 159 = 0. Which is greater: o or 55?
55
Let f = 1.6 + -2.8. Let c = -5.2 - f. Let q = 3.8 + c. Does 2/7 = q?
False
Suppose -4*q = -3*u + 5*u - 4, 0 = 3*q - 4*u - 3. Suppose 0*c = c. Which is bigger: c or q?
q
Suppose p + 10 = -4*l - 8, 4*l - 12 = 0. Let s = 20 + p. Is s at least 0?
False
Suppose 0*f + 10 = f. Suppose 4*p - f = -2. Suppose p*i = 3*c + 46, 2*i - c - 50 = -0*i. Do i and 25 have the same value?
False
Let a(y) = -6*y - 120. Let k be a(-20). Are k and -19/161 nonequal?
True
Let c = 27/14 - 23/12. Which is smaller: -1 or c?
-1
Let j = -98.2 - -98. Which is bigger: j or -35/9?
j
Let m be ((-6)/12)/((-1)/4). Suppose b - 10 = -5*t, 0*t + 4*t = -m*b - 4. Let g be (b/(-6))/(7/63). Is g at least 16?
False
Let o = 310 - 353. Is o not equal to -1/5?
True
Let o(w) = -w**3 + 7*w**2 - 5*w. Suppose -5*b + 5 = -4*m, -2*m - 3 = -4*b + 7. Let p be o(m). Which is smaller: p or 26?
p
Let c(i) = i**3 - 4*i**2 - i - 7. Let v be c(5). Let w = -34 + v. Which is smaller: w or -20?
w
Suppose 62 = 2*j - 5*g + 52, -3*g - 6 = 3*j. Is j > 2/279?
False
Suppose 2 + 52 = 3*f. Le