 d less than x?
False
Suppose 5 - 2 = n. Suppose 5*p + n*a - 170 = a, -2*p = -2*a - 82. Let h be (-70)/(-72) - p/48. Which is bigger: h or 0.1?
h
Let v(g) be the third derivative of g**6/120 + g**5/15 - 5*g**4/24 - g**3/6 - 20*g**2. Let d be v(-5). Let w = -1/21 - 59/84. Which is smaller: d or w?
d
Let l = -37 - -11. Let o = -24 - l. Is o less than -2/3?
False
Let y = 255.68 - 274.227. Let u = 0.053 - y. Let a = 19 - u. Which is greater: -2 or a?
a
Let u = -189/2 + 98. Let a(z) = -3*z**2 + z + 12. Let y(v) = -10*v**2 + 2*v + 35. Let s(t) = -7*a(t) + 2*y(t). Let l be s(-3). Which is smaller: l or u?
u
Suppose -173*h = -182*h - 1233. Which is greater: -138 or h?
h
Let y be -37 + ((-4608)/(-18))/16. Let t = -24 - -1. Which is bigger: t or y?
y
Let v(i) be the first derivative of i**3/3 + 5*i**2/2 + 13*i - 32. Let a be v(0). Which is smaller: 11 or a?
11
Let b = 7.83 + -8. Let t = -2.17 - b. Let m = 2.1 + t. Are 9 and m equal?
False
Let y be 3 + 10 + -3 + 4. Suppose -3*b + 9 = 3*u, 9*u = 4*u - 4*b + y. Let w be ((-36)/21)/(-1) - u. Which is smaller: w or 10?
w
Let g be 25/(-34725)*4/2. Which is greater: 0 or g?
0
Let q be (-532)/380 + 56/(-10). Let w be 2/8 + (-1)/4. Which is smaller: w or q?
q
Let w be (13 - 2) + (-720)/63. Are -6/7 and w non-equal?
True
Let u = 15.9927 - -0.0073. Is u <= 16?
True
Let v = -8122944356/3549 + 2288798. Let d = -193509/169 - -1145. Let j = d + v. Is 0 <= j?
False
Let y be (15/(-6))/((-40)/96). Let b be -39*y/99 - -4. Suppose 4*j - 3*t - 3 = 5, -j + 2 = -2*t. Which is bigger: j or b?
j
Let f = 169/8 - 1793/72. Let i = -104/27 - f. Is i greater than 0?
False
Let z = -3 + 2.8. Let v = 0.11 + z. Let n = -2 + 3. Is n at most v?
False
Let l = 13 + -13.22. Let c = -0.47 - l. Which is smaller: c or -0.1?
c
Let v(h) = h**3 + 8*h**2 + 11*h - 7. Let t = 7 + -13. Let k be v(t). Is k greater than 5?
False
Suppose -8 = 5*t + 5*p - 453, -4*t + 365 = -5*p. Which is smaller: 87 or t?
87
Let t = 400 - 399. Is -8/31 less than or equal to t?
True
Let u = 190.8 + -191. Let d = 0.2 + 0. Let a = d + -0.1. Which is smaller: u or a?
u
Let n = 6.7 + -9.4. Let v = n + -1.3. Let k = v + 5. Is 4/5 > k?
False
Suppose 2*a + 3*k + 3 = -0, -5*a + 15 = 3*k. Let v be (-1 - 1) + 15/2. Which is smaller: a or v?
v
Let a be 20/((20/425)/(18/15)). Is a at most 511?
True
Let r = 6.6 - 37.6. Let j = r + 28.4. Is -0.2 >= j?
True
Let t = 109783/282 - 1168/3. Let y = 167/658 - t. Which is bigger: y or -2?
y
Let w = -502 - -10544/21. Let r(g) = -3*g - 5. Let m be r(1). Let x be 1 - 5 - 40/m. Is w at least x?
False
Let k = -186 - -79. Let a = 76 + k. Which is bigger: -32 or a?
a
Let u be (-9)/(-11) - (-2)/11. Let v be (0 + u)*(-10 + -1). Let s be 2*((-8)/(-28) + (-134)/28). Which is smaller: s or v?
v
Let v be (24/5 - 5)/(21/(-48)). Which is smaller: v or 0?
0
Suppose -869 = -135*s + 481. Let h be (6/4)/(9/51). Which is smaller: s or h?
h
Suppose 4*i - 4*l = -40, 6 + 2 = 2*l. Suppose -9 = 3*s + 15. Let m = s + 1. Is m > i?
False
Let j = 62/25 + -3212/1275. Suppose -2*p + 11 = 3*v, -3*p - v + 3 = 4. Let y = 1 + p. Is j less than y?
False
Let h = 2 - 2. Let g = 1487/15 - 99. Do g and h have the same value?
False
Suppose -5*a + 0 + 25 = 0. Suppose 4*j + a*y = 17 - 1, 0 = -j + 3*y - 13. Which is smaller: -1/32 or j?
j
Let h = 271431/23 + -11801. Suppose 4*w + 2 + 2 = 0. Which is smaller: h or w?
w
Let z be 20/30 + 14/6. Suppose -5*s + 3 = 3*n, 2*s = z*s - 3*n + 3. Is -31 at least as big as s?
False
Let c = 57.1 - 57. Which is greater: -27/16 or c?
c
Suppose 88 = -58*c + 47*c. Is -98/11 at least c?
False
Let b = -173.4 + 173. Which is greater: -3/16 or b?
-3/16
Suppose 10*z + 3*z - 161 = -109. Let n = 0.313 + -2.283. Let j = -0.03 + n. Do j and z have different values?
True
Let z = -10 - -13. Let g = z - 2. Is 2/11 > g?
False
Let l = 2 - -1. Let w = -22 + 34. Let n be ((27/w)/l)/3. Which is smaller: n or 1?
n
Suppose 3*f + 5 = -1. Let y be (-4 - (4 + 0))/f. Suppose 2*c = 4*b - 2, -3*c - 6*b = -y*b + 19. Is -3 greater than or equal to c?
True
Let p(r) = -r**2 + 13 + 4 - 1 + 11*r. Let l be p(13). Is l > -3?
False
Let s = 89 - 3. Let d = -86.2 + s. Is 15 smaller than d?
False
Suppose -r - 27 = 2*r. Let b(g) = -g**3 - 9*g**2. Let z be b(r). Is z < -35?
False
Let i(b) = -4*b**2 + b. Let u be i(1). Let d be (3/u)/(1/(-18)). Let o be 1/((-3)/(3 + d)). Is -6 at most o?
False
Let b = 58 + -58. Let c be 3 + 0 + b + 196/7. Which is bigger: c or 30?
c
Let y(s) = -s**2 + 5*s - 9. Let u(a) = -4*a**2 + 15*a - 28. Let l(r) = -2*u(r) + 7*y(r). Let h be l(-6). Which is greater: -2 or h?
h
Let u = -73 + 72. Is u at least -38?
True
Let c(s) = s**2 - 7*s + 7. Let a be c(6). Let w be ((-5 - 4)/(-3))/a. Suppose w*p + 20 = -p. Do -5 and p have the same value?
True
Let a = -2.7 + 6.1. Let s = -3.3 + a. Is -4 at most as big as s?
True
Let j = 312 - 2187/7. Which is smaller: -1 or j?
-1
Let i = 455 - 446. Which is smaller: i or 0?
0
Let n = -375 - -375.8. Let g = 5.871 - 0.071. Let s = n - g. Is s at least as big as -1?
False
Suppose 12 = 4*u + 32, 5*u = 2*s + 13. Is s bigger than -109/6?
False
Let l = 19 - 17.1. Let u = l + -0.9. Let k be 0/1 - -3 - 64/28. Which is greater: u or k?
u
Suppose 0 = 4*i - 1693 - 1419. Let w be i/(-13) + 2/(-13). Let t be ((-8)/w)/(3/18). Is 1 at least as big as t?
True
Let n = 46 - 48.5. Let f = 0.5 + n. Which is greater: 0.6 or f?
0.6
Let q be 46/6 + 8/24. Let f be (q/(-110))/(6/(-15)). Let j = 31 - 32. Are f and j nonequal?
True
Let r = -101 - -101.085. Let w = 67.915 + r. Is w smaller than -1?
False
Let o = 108 + -110.3. Let j = -16.3 - o. Is j bigger than 5/3?
False
Suppose 8 + 12 = 5*x, 3*u + x = 4. Suppose -5*h - 2*i + 29 = 0, u*i = 4*h - 2*i - 16. Suppose -h*j + 16 = -9, -3*j + 15 = -3*c. Is c at least as big as -1/4?
True
Suppose -5*i - 3*w = 1800, 0 = i - 4*w - 1 + 384. Let l be -183*(-4)/i - 4/(-2). Which is greater: 1 or l?
1
Let q = 20 - 34. Let d = -28 - q. Suppose 8 = -7*f + 1. Are f and d non-equal?
True
Let a = -1143 + 1157.93. Let x = 15 - a. Let z = 84.1 + -84. Which is smaller: x or z?
x
Let w = 18 + -10. Suppose 184 = -0*f - w*f. Which is bigger: -24 or f?
f
Let t = -31199/16648 - 2/2081. Suppose 0 = v + 5*l + 17, -389*l + 392*l = -5*v - 19. Which is greater: t or v?
t
Let v = -586 - -585. Which is greater: 1.15 or v?
1.15
Let d(b) = b**3 + 5*b**2 - 23*b - 1. Let s be d(-8). Is -0.9 at most as big as s?
False
Suppose -3*g + 2*x - 154 = 0, -4*g + 5*x + 290 = -9*g. Which is smaller: -55 or g?
-55
Suppose 7 = 3*s + 5*b - 0*b, 4*b = -s. Let p(q) = -q**3 - 4*q**2 - q - 4. Let t be p(-4). Let f be -6 - (t - (s + -1)). Are -2 and f equal?
False
Let n = -2335/2581 - -13/89. Is -2 at least as big as n?
False
Let r = 0.417 + -0.317. Which is smaller: r or -34?
-34
Let q be 2/(-2*5/70). Which is greater: q or -104/7?
q
Let w = 86 - 83. Suppose -2*n - w = -5*n. Which is smaller: -14 or n?
-14
Let b be -4 + 0 + 2 + 162/87. Is 1 at most as big as b?
False
Let m = 3.4 - -3. Let d = m + 4.6. Let r = -7 + 7. Which is smaller: r or d?
r
Let j = 29.5 + -25.5. Is j greater than -0.84?
True
Let y = 54 + -698/13. Let x be (-2)/3*(-324)/24. Suppose -3*l - 6 = -x*l. Which is smaller: l or y?
y
Let x be 385748/600 - 2/(-12). Let b = -643 + x. Is b less than or equal to 1/2?
True
Let f be (1 + -1)/(1 - -2). Which is greater: 21 or f?
21
Suppose 3*p - 21 = 3*v, 0*p + 2*p = -v - 22. Let u = -17 - v. Let j = -995/3 - -328. Which is bigger: u or j?
j
Suppose 30*d - 5*d + 75 = 0. Is d at most -23/6?
False
Suppose -71*w + 78*w = 14. Which is smaller: w or 1?
1
Let y = -793/3 + 283. Which is greater: 18 or y?
y
Suppose s = -100 + 65. Suppose j - 5*j - 144 = 0. Is j > s?
False
Let p = -28048/9 + 4515758/1449. Which is bigger: p or 1?
1
Let k = -8 - 3. Let t = -10 - k. Let j be (2 + t)*(-4)/16. Are -2 and j nonequal?
True
Let c = 10.2 - 9.2. Which is smaller: 2/489 or c?
2/489
Let u be (-12)/(-20)*(-322)/(-6). Is u greater than 31?
True
Let k = -616 - -1401. Suppose -k + 239 = 14*n. Which is smaller: n or -37?
n
Let p = -44 + 49. Suppose -4*h - 3 = -a - 12, -p*h = -10. Is 1/22 <= a?
False
Let n(v) = -3*v**3 + 10*v**2 + 15*v - 28. Let a be n(4). Which is smaller: 8/131 or a?
a
Let z be (-1)/(7 + -5 + (-325)/165). Is -27 equal to z?
False
Let h = -40 - -38.4. Are -0.2 and h e