et o = -1 - m. Which is smaller: o or 7?
o
Let s = -273 - -167. Are -105 and s unequal?
True
Let x(m) = -m**3 - 3*m**2 + 3*m - 4. Let z be x(-4). Suppose 0 = -4*w - h - 0 + 4, 3*w + 3*h - 3 = z. Suppose 0 = -2*a - 4*t - 1 - 5, -5*t = -a + 11. Is a <= w?
True
Let b = -134.776 - 0.224. Let w = 136 + b. Let o = -1 + 3. Which is smaller: o or w?
w
Let m be (5/((-60)/(-3)))/((-3)/(-48)). Do m and 7/2 have different values?
True
Let c(t) be the third derivative of -t**5/30 + 5*t**4/12 + 2*t**3 - 6*t**2. Let r be c(6). Which is bigger: 8 or r?
8
Let v = 61 - 61.105. Let j = v + -8.995. Which is smaller: 0.1 or j?
j
Let i(w) = w**2 + 4*w + 58. Let x be i(-9). Is x at least 104?
False
Let r = 43.8 + -44. Let a = -8.2 - r. Which is greater: a or 1?
1
Let y = -1352 - -1562. Is 210 not equal to y?
False
Suppose 65 + 2 = 67*o. Which is smaller: o or 1/850?
1/850
Let v = 93 + -85. Let y(a) = 4*a - 1. Let h be y(2). Which is smaller: h or v?
h
Let z(u) = -u + 8. Let x be z(4). Let g be (1 - -3 - -1)/x. Suppose -3*o + 25 = 5*q, 5*o = -5*q - 6 + 31. Which is smaller: o or g?
o
Let y = -21 + 19. Let r be 4/(-4)*y/1. Suppose -r*g + 3*g = 15. Is g equal to 15?
True
Suppose 27 + 33 = 4*b. Let o(n) = n**2 - 15*n + 1. Let v be o(b). Let l be v/3 + (-120)/252. Is 0 equal to l?
False
Suppose -2*j - 5*j = 371. Let s = -52 - j. Which is greater: -1/12 or s?
s
Suppose 0 = p - 1, 3*f + p = -0*p + 1. Which is greater: f or 5?
5
Let w be 1/((-10)/(-4))*135/324. Suppose 3*z = -2*g, -5*g + g = -3*z. Which is greater: w or z?
w
Let s = 31 - -28. Let a = -82 + s. Let z(f) = -4*f - 7. Let d be z(4). Is d greater than or equal to a?
True
Suppose 2*q - 4*q - 5*i - 257 = 0, -q = -2*i + 142. Let m be (68/q)/((-1)/((-3)/26)). Do m and -1 have the same value?
False
Suppose 0 = -19*p + 16*p + 90. Let b be ((-18)/p)/((-3)/15). Suppose 3*n - 4*z + 7 = 0, 5*n + 7*z + b = 5*z. Which is greater: -0.7 or n?
-0.7
Suppose 4*u + 6*f - 7*f - 66 = 0, 10 = u + 3*f. Let h = u + -11. Suppose -9 = h*o + 1. Is o >= -1?
False
Let l = -15071/52851 - 4/669. Which is greater: l or -1?
l
Let p = 9/2882 - -909393/2882. Let x = -315 + p. Let y = -4 - -6. Which is smaller: x or y?
x
Let j = -126 + 66. Let u be (-4)/(-3)*j/(-64). Which is greater: u or 2?
2
Let i = 32 + -23. Suppose k = i - 27. Is k less than -20?
False
Let c = 11.7 - 4.7. Let k = 9 - c. Which is smaller: k or -9?
-9
Suppose 25*z = 61*z + 36. Are z and -29/24 unequal?
True
Suppose -11*j + 3406 = 15*j. Is 129 not equal to j?
True
Let q = -823 + 4097/5. Let t be (-9)/33 + 60/(-22). Which is greater: t or q?
t
Let n(s) = 5*s + 4. Let x be n(4). Let t = x - 27. Which is greater: -8/5 or t?
-8/5
Let b = 19357954 - 1103432506/57. Let y = b - -511. Which is smaller: -1 or y?
-1
Suppose 0 = 4*a - 3*n - 44, 3*n + 0*n + 22 = 2*a. Let l be a/5 + (-1)/5. Let b be l + -2 - 4*-1. Do b and 10/3 have the same value?
False
Let n = -2/4915 - -54421/874870. Is 1 >= n?
True
Let a = 329 + -338. Which is greater: -20 or a?
a
Suppose -3*k - k - 2*v + 40 = 0, 0 = -5*v. Suppose z + 9 = k. Let g be z + ((-2)/(-23) - 1). Do g and 1/2 have the same value?
False
Suppose -5*r - 68 = b, 10 = -3*r + b - 26. Is r less than or equal to -38/3?
True
Suppose -3*q + 10*q = -7. Let f(d) be the second derivative of d**4/2 - d. Let z be f(q). Which is greater: z or 9/2?
z
Suppose 3*o + 5*h = 5*o - 50, 0 = -2*h - 8. Let q(t) = 2 + t - 8 - o + 3. Let u be q(8). Which is smaller: u or 0?
u
Let c = -2.46 - 0.24. Let q = 40 + -37.1. Let h = c + q. Which is smaller: 7 or h?
h
Let k = 23 - -7. Let b = k + -30.2. Let d be (-1)/(-6) - (0 - 0). Is b at least as big as d?
False
Let z = -11 - -22. Let g = -9 + z. Suppose -i - 3 = g*i. Which is smaller: 0 or i?
i
Let x = 136.57 - 77.34. Let w = x - 59. Is 1 <= w?
False
Let v be 577/20 + (-2)/8. Suppose 3*c - 23 = 2*c + j, -20 = -4*j. Let d = c - v. Does -2 = d?
False
Let p(w) = 24*w - 242. Let q be p(10). Which is bigger: -30/41 or q?
-30/41
Suppose -4*t + 156 = 5*y - 7*y, -351 = 5*y + 3*t. Which is smaller: -75 or y?
-75
Suppose -368 = d - 24*d. Suppose 5*x - 80 = 5*m, 4*x + 0*m - 64 = m. Are x and d nonequal?
False
Let h = -154 + 1702/11. Is h at most as big as 2/5?
False
Let h = -333 + 332.84. Which is bigger: h or -14?
h
Let v = -0.089 + -12.311. Let a = 91 - 79. Let r = v + a. Which is smaller: 2 or r?
r
Let d = -0.3546 - -0.2546. Is 24/77 greater than or equal to d?
True
Suppose 7*y - 105 = 14. Let d = -22 + y. Which is greater: d or 0.2?
0.2
Let w = 12 - 7. Suppose 7*s - 8 = 3*s + 3*o, -10 = -5*s + 2*o. Is w less than or equal to s?
False
Let d(q) = -q**3 - 10*q**2 - 11*q + 7. Let r be d(-9). Suppose -5*v = 20, -5*x = -0*x + 5*v + r. Do x and -1/2 have the same value?
False
Let f(q) = -q**2 + 19*q - 59. Let t be f(9). Which is smaller: t or 32?
t
Let p = 625319/46 + -13595. Let a = p + 14/23. Is a != 2/15?
True
Let c be (-9)/6*(-170)/969. Which is smaller: c or -1?
-1
Let q = 1020 + -1009. Which is smaller: q or 14?
q
Let r be 33/60 - (88/(-10))/(-11). Which is bigger: 59 or r?
59
Let k be 94/705 - 1/(-5). Is 3.7 less than or equal to k?
False
Let t be -1 + 84/43 + -1. Let p(o) = -o**3 + 8*o**2 + o - 8. Let q = -33 - -41. Let w be p(q). Is t at most w?
True
Let o = 8 - 9. Let m(q) = 12*q - 1. Let v be m(o). Let l = -13 - v. Which is smaller: 3/13 or l?
l
Let u(h) = -27*h**2 - 4*h - 3. Let t be u(-1). Let y = -33 - t. Which is greater: -6 or y?
-6
Let g = -16 - -16. Let i = g + 8. Let y = i + -3. Which is smaller: -0.4 or y?
-0.4
Suppose -9*l - 3 = -10*l, 0 = 2*p + l - 5. Which is greater: 13/12 or p?
13/12
Let f = 19907/7368 + -65/24. Is 1 greater than f?
True
Let o = 18 + -8. Let j(f) = -7*f - 38. Let c be j(-8). Let v be c*-1*3/(-6). Which is smaller: o or v?
v
Let t be -76 + 71 + 128/(-7). Which is smaller: -23 or t?
t
Let b(t) = 6*t**2 + 46*t + 12. Let w be b(-9). Let a = -14 + w. Is a at most as big as 70?
True
Suppose 2*z - 6*d = -7*d - 42, 54 = -2*z + 2*d. Which is smaller: z or -24?
-24
Let z = 5 - 29. Let f = -22 - z. Let u be (-3)/(37/f*3). Is u != 0?
True
Suppose -6*f = -265 + 7. Let s = f - 25. Which is bigger: s or 19?
19
Let u = -48/11 + 181/44. Is u at most as big as 9?
True
Let f = -359 - -343. Which is bigger: f or -9?
-9
Let p = -254 - -254.05. Which is smaller: p or 17?
p
Let s(t) = t**3 - 9*t**2 + t - 12. Let n be s(9). Let d be (n - -6*1)*1. Suppose 0 = -i - 2*b - 0 + 2, -4 = 5*i + d*b. Does -1 = i?
False
Let o be 0 - 3/2*-2. Suppose -4*j = 4*k - 4, 0*j - o*j = 5*k - 5. Which is greater: k or 7/8?
k
Let g = -125 + 81. Let z = g - -34. Let y = -4 - -3. Is y greater than or equal to z?
True
Let j be (1/((-6)/404))/(72/(-108)). Do j and 101 have the same value?
True
Let q(o) = -o**3 + 12*o**2 - o + 16. Let j be q(12). Suppose 17 = -3*v + j*v. Let t be 4*-1 - (v + -21). Which is bigger: 1/26 or t?
1/26
Suppose 5*n - s - 14 = 35, 0 = 4*n - s - 40. Suppose 35 = n*r - 4*r. Which is smaller: r or 6?
6
Suppose -606 + 606 = -9*q. Which is smaller: -2/61 or q?
-2/61
Let f = -1315 + 1732. Which is greater: 418 or f?
418
Let j = 7.9 + -4.1. Let p = j - 3.9. Is 0 smaller than p?
False
Suppose 2*g - 8 = -4*q, -12 - 24 = 5*g - 4*q. Let t be (-3)/g - (-48)/(-64). Which is smaller: 3/10 or t?
t
Let n = 111 - 111. Which is smaller: 22 or n?
n
Let i(u) = -u**2 - 7*u + 12. Suppose -65 = 5*r + 4*w, 4*r + 3*w + 11 = 8*w. Let d be i(r). Let l be d/(-4)*(-24)/(-18). Do 11/5 and l have the same value?
False
Suppose -34*j - 394 = 1340. Is j > 5?
False
Let w(t) = -t**3 + 11*t**2 + t - 11. Let o be w(11). Suppose -m = -4*h + 5 - 1, o = h - 5*m - 1. Let i be (2/(-4)*0)/1. Which is smaller: h or i?
i
Suppose 57 = 33*i + 24. Let a = 6084928205/2132 + -2854094. Let b = a - -3/164. Are b and i nonequal?
True
Let o = 87 - 54. Let j = o - 33. Does j = -1/21?
False
Let n be 0 - ((-16)/(-12))/(8/6). Which is smaller: n or 2/153?
n
Suppose 36*b + 71 = -35*b. Is b at most as big as -3/379?
True
Suppose 10 = 2*r, 0 = 4*k - 3*r + 27 + 20. Suppose -2*b + 2*x = -2*x - 2, -2*b = -x - 8. Suppose 5*i + 2*p = 13 - 40, -b*i + 4*p = 51. Which is greater: i or k?
i
Let r be 1/4 - 485/20. Let q be (-8)/(-16)*3*2. Let b be ((-1)/q)/(8/r). Are b and -1/3 unequal?
True
Let l be (79/2)/((-7)/(14/3)). Let r = l + 27. Do r and 1 have the same value?
False
Let n(m) = m**3