t least as big as 9?
True
Suppose 0 = -7*i + 4*i - 6. Let v(n) = -5*n - 12. Let f be v(i). Which is smaller: -1 or f?
f
Let s(w) = -9*w**2 - 20*w - 36. Let k be s(-2). Is -27 <= k?
False
Let m = 18 + -155. Which is bigger: m or 1?
1
Suppose 4*m - 2*m + 26 = 0. Suppose 0 = 5*d + x + 53, 3*d - 2*x + 23 = -7*x. Is d at least m?
True
Let p = -9 + 9.3. Let n = p + -1.3. Let s = 1.1 + -1.2. Is n bigger than s?
False
Let w = 247 - 247.1. Let t = -2/1493 + 6006/25381. Which is smaller: w or t?
w
Suppose -512 = 7*k + k. Let h be (-1)/(-2)*(-3)/((-24)/k). Are h and -4 nonequal?
False
Let a = -0.62 + 7.82. Let u = a - 7.44. Which is bigger: u or 1?
1
Let c(d) = -d**3 - 4*d**2 + 2. Let u be c(-4). Suppose 18 = u*b - b - 3*m, 16 = -4*m. Is b smaller than -1?
False
Let f = -49 + 55. Let l = f - 6.2. Which is smaller: -0.07 or l?
l
Let d = 104 - 316/3. Let s(r) = r**3 - 15*r**2 - 16*r + 8. Let t be s(16). Suppose -t*b + 3*v - 13 = -7*b, 0 = -b + 2*v - 9. Which is greater: b or d?
b
Suppose 13 = -3*p + 58. Suppose 0 = -k - 4*k + p. Let m(d) = -d**3 - 5*d**2 - 4*d + 5. Let j be m(-4). Is j at most k?
False
Let v(u) be the first derivative of u**6/360 - u**4/24 + u**3/3 - 4. Let c(d) be the third derivative of v(d). Let r be c(-1). Which is bigger: 3 or r?
3
Suppose 4*a = 5*a - 11. Suppose 5*y + a = 16. Is y <= 5/23?
False
Let j = -2769 + 2710. Suppose -174 = 3*k - 3*v, -v = k + 16 + 46. Which is smaller: j or k?
k
Suppose -4*w + 2*w + 36 = 0. Let o(g) = g - 17. Let m(c) = -1. Let a(j) = 2*m(j) + o(j). Let p be a(w). Which is smaller: p or -1/32?
p
Let a = -23 + 59. Let n = 38 - a. Is n > -1?
True
Let n = 8513/50 - 341/2. Let o = n + 202/425. Let m = -160 - -161. Is o <= m?
True
Let x be 76/6 + 7 + (-2 - 0). Do 19 and x have the same value?
False
Let w = -133 - -115. Are w and -92/5 non-equal?
True
Let r = 0 - -2. Let p be (1/3)/(-2*6/(-39224)). Let q = p + -1088. Which is greater: r or q?
r
Let s = -73 + -83. Let w = s + 156.38. Is w >= -0.2?
True
Suppose -6*i + 72 = -3*i. Let g be (8/i)/((-2)/(-6)). Let p be 6/32*(-4)/6. Which is smaller: g or p?
p
Suppose -2*v = -3*y - 3, -4*v + 7*v - 4 = 5*y. Let z be ((-3)/51)/(y/(-2)). Let q be (0/1)/(3/(-3)). Which is bigger: q or z?
z
Let o = -20.92 + 25. Let a = o + 0. Let l = a + -0.08. Are l and 1 equal?
False
Let m = -16 + 25.3. Is 0.1 greater than m?
False
Let m = -109 + -71. Which is smaller: m or -179?
m
Let v(b) = 2*b. Let c be v(2). Let g = 42 + -36. Let z be g/(-27) + (-56)/(-9). Is z bigger than c?
True
Let s = 342 + -351. Let b(w) = -w**3 - w. Let a be b(2). Which is smaller: s or a?
a
Suppose -27*b + 32*b = -20, -2029 = 5*h + b. Is -405 at least h?
True
Let g = 7621/9 + -847. Which is greater: -116 or g?
g
Let g = -11 - -11.6. Let y = g - 0.69. Let h be 4/(-6) - ((-14)/12 - 0). Which is greater: y or h?
h
Suppose -z - 4 = 3*z. Let i(a) = -a**3 - 3*a**2 - a + 2. Let r be i(-3). Suppose r*g = 25, -2*s + 13 = s + 5*g. Which is greater: z or s?
z
Let q = 280.9 - 281. Which is bigger: 1/14 or q?
1/14
Suppose -143*f + 150 = -137*f. Which is smaller: 22 or f?
22
Let f be 6/(-120)*-25*4. Is f bigger than 13?
False
Let u = -19 + 19. Let m = 4 - u. Let b be 3 + (0 - (2 + -1)). Which is smaller: m or b?
b
Suppose 2*l + 116 - 122 = 0. Let y(g) = -4*g**2 + g + 8. Let o be y(l). Which is bigger: o or -27?
o
Let o be 91/(-27)*-2*(-24)/(-28). Which is smaller: o or 5?
5
Let p be (-12)/(-20) + 417/5. Suppose -3*n + 0*n = p. Let k be (-6)/27 + n/(-72). Which is smaller: -1/2 or k?
-1/2
Let b(q) = -4*q**2 + 19*q - 122. Let x be b(12). Is x at most -471?
False
Let z = -60.037 + 60. Let n = -4.963 + z. Which is smaller: 7 or n?
n
Let l = 1038 - 13498/13. Is -0.1 >= l?
True
Let v = -0.061 - -0.061. Is 1/224 smaller than v?
False
Let x = 407235/112 + -3636. Is 0 greater than or equal to x?
False
Let y = 0.2 + -0.3. Let i = -975 - -977. Which is smaller: y or i?
y
Let h = 2/63 + -44/63. Let u be -3 - 19/(-3 + 4). Let y = u - -20. Which is greater: y or h?
h
Let l = -41 + 12. Let i = l - -42. Suppose 0 = 2*a - 3*v - 13, 2*a + 5*v = a + i. Is a at least 10?
False
Let s be (36/5)/((-24)/120). Let p be 9/s + (-381)/12. Which is smaller: p or -33?
-33
Suppose -2*a - 28*m - 154 = -32*m, -m = 0. Are -77 and a non-equal?
False
Let g = -0.1474 + -0.1526. Is g at most as big as 490?
True
Let v = 141 - 140.83. Which is smaller: v or -6?
-6
Let h be 2 - (5 + 0 + -1). Suppose 6 = 2*n + j, n - 1 = -2*j + 2. Let y = h + n. Is y bigger than 0.1?
True
Let w = 32.3 + -1.3. Let i = 31 - w. Let r = 0.17 + -7.17. Which is bigger: i or r?
i
Let g = -309 + 284. Which is smaller: 0 or g?
g
Let d = 0.2 + -0.52. Let f = -0.45 - d. Let u = -0.23 - f. Is -14 smaller than u?
True
Let b = -1.41 + 1.11. Let m = 4.7 + -28.7. Which is bigger: m or b?
b
Let g = -54 + 53. Let i = -14/13 + 1147/39. Let m = i - 28. Is m bigger than g?
True
Let r = -118 + 58. Let c = r - -53. Let z = 0 - 1. Which is smaller: c or z?
c
Suppose 5*d = -12 + 117. Which is smaller: 31 or d?
d
Let f = -1020 + 1019. Are 259 and f equal?
False
Suppose -269 = 2*t + 5*f, f + 2*f - 140 = t. Which is smaller: t or -139?
-139
Suppose -h + 5*h + 0*h = 0. Let r = h - 3. Which is bigger: r or -9/7?
-9/7
Let s = -48/13 + 335/52. Which is bigger: 2 or s?
s
Let f be 2/3 + 2216/(-3288). Let w(s) = 5*s + 10. Let q be w(-2). Which is smaller: f or q?
f
Let o be (-1)/(20/12) - 46/(-10). Which is smaller: 32/11 or o?
32/11
Let y = -0.67 + 0.44. Let l = y - 1.77. Which is greater: 2/9 or l?
2/9
Suppose -184 = 2*c - 9*a + 4*a, 368 = -4*c + 2*a. Let z be (-115)/c*(-2)/15. Which is smaller: z or -1?
-1
Let a be (170/30)/(2/(-36)). Is a <= -102?
True
Suppose -3*x - 40 = -2*r, -x - 4 - 13 = 3*r. Let t be 0/3 - -3*4. Let p = x + t. Which is bigger: -6 or p?
p
Suppose 5*u = -t + 15, 0 = 2*t - 4*u + 12. Let r = 31/9 + -1079/315. Does r = t?
False
Let r be -5 + (-5780)/2885 - -7. Is 1 greater than r?
True
Let z(n) = 2*n - 13. Let t be z(7). Suppose 5*c + 22 = 3*r, 5*r + t = 5*c + 21. Let f be 12/14 + (-3 - -2). Which is smaller: r or f?
r
Let w be (-9)/(-18)*(1 - 1). Suppose 3*o + 5*v = 17, w*o - 5*v = 4*o - 21. Which is greater: -1 or o?
o
Let z = -2 - -2.1. Let l = -0.41 + -2.99. Let c = -3.6 - l. Which is smaller: z or c?
c
Suppose -6*s - 290 = -242. Does s = -8?
True
Let k(t) = t**3 - 4*t**2 - 5*t + 4. Let v be k(5). Suppose -3*f + 6*f = 15, -v*w - 5*f + 49 = 0. Let c be 2/w*36/5. Do 2 and c have the same value?
False
Let p be 4592/(-72) - (-4)/(-18). Let f be (-20)/(-150) + p/255. Which is smaller: -1 or f?
-1
Let h = 21.53076 + 0.43624. Let w = 0.033 + h. Let n = w + -39. Which is bigger: n or -1?
-1
Let t = -9/26 + 31/52. Is 2/3 > t?
True
Let g = 11.5 + -11.559. Let q = -0.709 - g. Is q < 0?
True
Let v = 487.23 - 485. Which is smaller: 0 or v?
0
Suppose 0 = 7*i - 2*i + 10. Let m be (-62)/(-4) - 3/i. Suppose -6*z + 5*n = -3*z + m, 5*z + 4*n = 21. Which is smaller: 2/53 or z?
2/53
Let c = -2 + 3. Let f be (2/(-3))/((-26)/39). Let w be f/(-2)*0*c. Which is greater: w or 10/7?
10/7
Let t be (54/(-4))/((-437)/92). Is t less than 2?
False
Let p be ((-12)/8)/(-1 + (-26)/(-22)). Which is greater: 5 or p?
5
Suppose 11*p - 166 = -23. Let a = -4 - p. Is -17 smaller than a?
False
Suppose 4*f + f = 4*l - 285, 2*l = -f + 125. Which is smaller: 68 or l?
l
Let x be (-2)/3*(-6)/4. Let k be (-6)/(-36)*2*3*3/(-27). Is k < x?
True
Let r = 1 - 5. Suppose 0*s = s - k + 14, -4*k = -12. Let a = 7 + s. Is r less than a?
False
Let l be (1 + 0)*(-4)/4. Suppose -p = -2*k + 188 + 157, 0 = -k + 3*p + 180. Let j be 2*(1 - 168/k). Which is smaller: l or j?
l
Let v be (-12)/(-2) - (0 - (-5382)/894). Is 0 != v?
True
Suppose 12*r = -19 - 173. Is r at least as big as -11?
False
Suppose -4*p = 3*f + 36, 4*f - 10 = 5*p + 4. Let g(c) = c**2 - 7*c - 1. Let x be (-1)/(-4)*3*8. Let b be g(x). Are b and p unequal?
True
Let p be (-8)/(-2) - 18644654/(-1176). Let y = p + -64181/4. Let d = y - -554/3. Which is smaller: -2 or d?
d
Let w be 9 - (-2)/(-3 + 1). Let k be (2 - 4)/((-2)/7). Let r = w - k. Which is smaller: 0 or r?
0
Let v(l) = -2*l + 16. Suppose 5*j - 4*n = 75, 4*n - 1 + 21 = 0. Let s be v(j). Is s <= -2?
True
Let b(a) = 5*a - 48. Let p be b(10). Let o be 4/(-8) - (-18)/4. Let k = 4 - o. Is k equal to p?
False
Let n = -788 - -848. Is n great