h**4/4 - 5*h**3/3 + 4*h**2 + 12*h - 23. Let k be o(-6). Is k at most as big as 3/82?
True
Let a = 0.02 + 10.98. Let i = a - 10.8. Let h = -2 + 3. Which is bigger: h or i?
h
Suppose 6 = -d - w, -3*d - 4*w + 5 = 28. Which is greater: 2/145 or d?
2/145
Let w = -50 - -93. Suppose -r - 19 = -q, 4*r + 38 + w = -q. Let u = r + 21. Is 2/13 less than or equal to u?
True
Let h be (-5)/32*-46 - -4. Let j = h + -11/16. Is j less than 11?
True
Let z be ((-1615)/190)/((-1)/(-2)). Which is greater: -78/5 or z?
-78/5
Suppose 20 = -3*j - j + 2*o, -5*j - 25 = -4*o. Let r = 58 + -64. Which is smaller: r or j?
r
Suppose -11 = -x - n, -6*x + 2*x + 36 = -4*n. Let v be ((-15)/x)/((-3)/(-16)). Let p = 23 + v. Is 14 != p?
True
Let y = -2808 + 28089/10. Let l(g) = -g + 1. Let b be l(1). Is b less than y?
True
Suppose -7 + 3 = d. Let h be 1 + 12/(3 - -1) + d. Is h less than or equal to 3/68?
True
Let g = 1832.11 + -1794. Let y = g - 38. Let s be (-4)/(-15)*(-9)/(-6). Is s equal to y?
False
Let f be 668/48 - 1/(-4). Let b = f - 1273/90. Which is bigger: -1 or b?
b
Let s(l) = l**3 - 3*l**2 + l + 1. Let w be s(2). Let a be 1/w*18/(-34). Let q = a - 82/187. Is 1 < q?
False
Let j be ((-3)/(-2))/((-12)/(-928)). Let i be 12/9*(-6)/j. Let y(g) = -g**3 + 6*g**2 + 10*g - 22. Let r be y(7). Which is smaller: i or r?
r
Let p be (-16)/2 + (-4 - -9). Which is smaller: p or -1/4?
p
Let x = 2910/31 - 94. Let q = x + -18/341. Is q less than 4?
True
Let b = -445 + 444. Which is bigger: b or -9/280?
-9/280
Let f = -27 + 79. Is f less than or equal to 360/7?
False
Suppose q + 2*d = 6*d, 3*q + 5*d = 51. Let z be 51/6*q/(-6). Let t be (-2)/3 - 52/3. Which is smaller: z or t?
t
Let d = 1981 - 1980. Let r(n) = 0*n - 3*n + 2*n**2 + 1 + 0*n. Let k be r(2). Which is smaller: k or d?
d
Let l(k) = k**3 - 3*k**2 + 2*k - 4. Let c be l(3). Suppose 4*s + 0*q = -c*q - 6, -3*s - 5*q = 8. Let b be -1 - 44/52*s. Which is smaller: b or -1?
-1
Let v(r) = -r**2 + 25*r - 23. Let o be v(24). Is 26/31 less than or equal to o?
True
Suppose -4*a - 4*o = -28, -13 = 2*o - 5. Let g(l) be the third derivative of l**5/60 - 3*l**4/8 - 5*l**3/3 + 3*l**2. Let f be g(a). Is f at least as big as 11?
True
Let n = 7 + -4. Let q be -3 + -3 + 12 - n. Let b be q + (-20)/((-6)/(-3)). Which is smaller: -8 or b?
-8
Let w be (-25)/10 + (-3)/(-2). Which is greater: 22/7 or w?
22/7
Let t = 18/197 - -52670/1379. Let i = -38 + t. Is i at most as big as -0.04?
False
Suppose 4*s + 5*l - 17 = 2, -7 = -4*s - l. Suppose 0 = 2*u - 6*u. Suppose 3*a + 5*t - 10 = 0, a - 2 = -u*t - t. Which is greater: s or a?
s
Let i(u) = -3*u + 13. Let d be i(4). Which is bigger: d or 5/18?
d
Suppose 2*m = -4*m - 3*m. Let s = 15477 + -2491760/161. Let u = s - 2/23. Which is smaller: u or m?
m
Let y be -1 + 393/546 - (-4)/14. Which is bigger: y or 0?
y
Let l = -321 + 323. Is l >= 0?
True
Let b(i) = i**3 + 3*i**2 - 8*i - 17. Let q be b(-4). Which is smaller: -3/67 or q?
q
Let s be (42/49)/(1/7). Let t(m) = -2*m**2 - 6*m - 9. Let c be t(-6). Let w be 2/s*c/15. Which is greater: w or 3/11?
3/11
Let g = 42 + -87. Let c = -24 - g. Let m = c - 85/4. Which is bigger: m or 0?
0
Let h(s) = -s**3 - 34*s**2 + 6*s + 55. Let o be h(-34). Which is smaller: -151 or o?
-151
Let b(h) = -2*h**3 + h**2 + 9*h - 15. Let g be b(2). Let c = -8 + 0. Which is greater: c or g?
c
Suppose -22 = -19*z + 54. Suppose 2*h = 11 + 43. Suppose -10 = 5*k + 5*o, -4*k + 3*o + 0*o = -h. Are z and k equal?
False
Suppose 5*n = -3*x + 39, x + 51 = 5*n - 2*x. Let g = n - 3. Let k(r) = -r**2 + 6*r - 2. Let d be k(g). Is d less than or equal to -5?
False
Suppose -3*t - 1 = q + 3, 4*t = 3*q + 12. Let y = 0 - t. Let s be (42/18 - 3)*6/26. Do y and s have the same value?
False
Let l = 417 - 416.9. Which is smaller: -376 or l?
-376
Let f = 173 + -173. Let n be (((-4)/(-87))/2)/((-6)/(-9)). Which is smaller: n or f?
f
Suppose -4*x - 56 = -5*t - 19, -x + 3*t = 18. Let y = -1214/335 - -15/67. Do x and y have the same value?
False
Let m(g) be the second derivative of -g**4/12 - g**3/3 + g**2 + 3*g. Let d be (-1)/(-4)*-1 - 17/(-68). Let c be m(d). Which is bigger: 10/3 or c?
10/3
Let s be -3 + (1 - 1)/(-2). Suppose 26*x = 29*x + 33. Let n = x - s. Which is smaller: n or -9?
-9
Let h = 608 + -1579. Do -973 and h have different values?
True
Suppose -f - 12 = -5*w, 4*w = -0*w - 16. Let r be 14/(-49) - f/14. Let k be -2 + 4 + -1 + 2. Is r <= k?
True
Let w(n) = 41*n + 3782. Let a be w(-92). Suppose 3*u = -o + 18, -2*u - 4 = -2*o - 0*u. Suppose o*k = 2*k + 5*z + 11, 5*k - 60 = -3*z. Is a less than k?
False
Suppose -10 = -f - 5*k + 12, 0 = -3*k + 12. Let q be (2 - f - 1)*1. Let n be 2/q + 80/25. Is 0 equal to n?
False
Suppose -y + 5*r + 26 = 0, -7*r = -5*r + 4. Which is smaller: 24 or y?
y
Let f be (6/(-10))/((-84)/560). Which is smaller: f or 7?
f
Let d(l) = 50*l - 301. Let k be d(6). Which is greater: 2/1043 or k?
2/1043
Let m = 13 + -19. Let r be m + 3 - (410 - -1). Let s be (-128)/r + (-24)/108. Which is greater: 0 or s?
s
Suppose -8 = -x - 21. Let z = -678 - -664. Which is smaller: z or x?
z
Let v = 0.4 - -0.6. Let m = 1 - v. Let x = -149.3 - -140.3. Is x > m?
False
Let a be ((-15)/3)/(-5)*3. Suppose -5 = 2*r + a*r. Which is greater: 0 or r?
0
Let k = -108 - -160. Let t = -69.1 + k. Let o = t - -17. Which is greater: 1 or o?
1
Suppose 0 = -4*y - 5*h + 31, -5*y + 5*h + 5 = -0*h. Let r = 4 - 4.3. Let b = r - -0.3. Is y at least b?
True
Let o = 73 + 485. Are o and 558 unequal?
False
Let a(n) = -n**3 - 11*n**2 - 9*n + 3. Suppose 0 = 5*f - 4*p + 5 + 25, 0 = -5*f - 2*p - 60. Let s be a(f). Let r be s/6 + (-2)/(-3). Is 1/2 smaller than r?
False
Let m be -2 - (2 - 10) - (1 - -6). Suppose -3*g = -5*g + 2. Let i = -2 - g. Is i less than m?
True
Let j be (8 + 1038/(-126))/(12/14). Which is smaller: j or -0.1?
j
Let i = -560 - -554.8. Which is bigger: 0.02 or i?
0.02
Suppose 0 = -0*t - 4*t + 28. Let g(m) = 2*m**3 - m**2 + 1. Let r be g(1). Suppose -2 = r*b + 3*d - 7, -4*b - 2*d + 22 = 0. Is b >= t?
True
Let k = -21.8 - -21. Let a = k - -19.8. Let j = -17 + a. Which is greater: j or -1/3?
j
Let p = -0.125 + 0.025. Is p less than or equal to -39?
False
Suppose 6*f = f. Let t = 1 + -1. Suppose t = 3*o - f*o + 6. Which is smaller: -3 or o?
-3
Let h = 2388 + -2387. Suppose -3*g + 6*g + 27 = 0. Is g less than or equal to h?
True
Let x be 12/3*(50 - 57 - (-100)/14). Let j be (-2)/(-4) - 2/4. Is x greater than j?
True
Let s(m) = -m**3 + 4*m**2 + 9*m + 18. Let o be s(6). Suppose -4*x - 4 = o, 4*t + 4*x - 3 = -7. Is t less than 50/3?
True
Let j be -27*(-7)/(105/5). Is 8 < j?
True
Let c = -599 + 598. Which is greater: c or -1/727?
-1/727
Let o be -2 + (-27)/(-12) - (-187)/4. Let u = o + -31. Do 16 and u have the same value?
True
Let f(y) = -y**3 - 5*y**2 - 3*y + 10. Let j be f(-4). Let u be (-47)/j + (-5)/30. Which is bigger: u or 0?
0
Let a be -1317*10/15 - -4. Which is bigger: a or -875?
a
Suppose -42 = -4*g + 38. Suppose -k - 3*k = -g. Suppose -5*i - 3*c = -0*c - 28, 2*c + 13 = 3*i. Is k less than or equal to i?
True
Let u = -0.42 - -0.42. Let j = 6.6 + -19.9. Let q = 0.3 + j. Are u and q equal?
False
Let j be 531 + -530 + 6 + (0 - 1). Which is smaller: j or 72/13?
72/13
Suppose 0 = 4*q + 20, -3*n - 3*q + 250 = -290. Let a = -2404/13 + n. Suppose 0 = -2*z + 3*z. Is a smaller than z?
False
Let l(h) = h + 11. Suppose 0*q = -4*y - 3*q - 29, -4*y = -q + 49. Let g be l(y). Let x be 6/18*(-6)/(-8). Which is greater: g or x?
x
Let b be (2/4)/((-10)/20). Let f(r) = r - 1. Let k be f(b). Let w = 4 - k. Is 0 greater than w?
False
Let x = 13 + -10. Suppose 2*m = 3*m + x. Are m and -4 unequal?
True
Let a(r) = r**2 + 57*r - 18. Let l(m) = -19*m + 6. Let t(o) = 2*a(o) + 7*l(o). Let f be t(10). Are 16 and f equal?
True
Let t = 60.5 - 79. Let h = 14 + t. Let o = 2.5 + h. Is o less than or equal to 0.12?
True
Suppose 0 = 3*q + 2*w - 1, 4*q + 7 = -w + 10. Is 2/557 at most as big as q?
True
Suppose 5*a - 42 = -4*d, -2*d - 2*a + 28 = d. Suppose -3*q - 4*s = 16, 4*s = 2*s - d. Does -3 = q?
False
Let n be (-4)/(-12) + (-699)/(-117). Is n less than or equal to 6?
False
Let h = 15 + -15. Let l be (-18)/27*6/4. Let q be 4 - (l + (-4)/(-1)). Which is smaller: h or q?
h
Let v be (-599)/5 + (-5)/25. Let k be (0 - -1)/((25/v)/(-5)). Which is smaller: k or 25?
