*k. Let y be (7 - -1)*(-1)/(-2). Suppose -3 = -3*q - y*j - 8, -4*q - 5*j = 6. Which is greater: p or q?
p
Let h = 1.0272 - -4947.9728. Let d = h - 4940.003. Let z = -0.003 - d. Does -1/3 = z?
False
Let r be -116*((-4)/(-150))/((-32)/(-40)). Which is bigger: -3 or r?
-3
Suppose 2*f = 5*n + 375, -n - 582 = -4*f + f. Suppose 5*s = 65 + f. Suppose -76*o = -78*o - s. Is -25 < o?
False
Let d(i) = 2*i - 17. Let c(x) = x - 9. Let u(k) = -11*c(k) + 6*d(k). Let a be u(4). Let p = -2 + a. Which is greater: 3/41 or p?
3/41
Let j = 3765/374 - 237/22. Which is greater: j or 0?
0
Let i = 4761/1792 + -687/256. Let f(w) = w**2 + 2*w - 2. Let v be f(-3). Is i > v?
False
Let h(j) = 4*j**3 + 125*j**2 - 100*j - 111. Let y be h(-32). Let o(g) = -2*g**3 - 3*g**2 + 4*g + 3. Let p be o(-3). Is y at least p?
False
Suppose 14*g - 13*g = 8. Suppose -4*q + 22 - 6 = 0, 3*v - 1 = -4*q. Let y be 4/g*-14 - v. Are -36/11 and y non-equal?
True
Suppose 0 = u + 10*u + 959 + 559. Is -140 smaller than u?
True
Let a = 2702 - 3504.1. Let c = 802 + a. Which is bigger: c or 0.67?
0.67
Let q be ((-45)/(-108))/(-8 + (-679)/(-84)). Let o = 15 + -15.09. Is o bigger than q?
False
Let k(n) = -33*n + 361. Let l(s) = -16*s + 179. Let m(r) = 3*k(r) - 7*l(r). Let w be m(13). Is w smaller than -1/121?
True
Let x be (-64)/20 + -1 - 0/2. Suppose -4*g = g. Suppose -4*i - i - 15 = g. Which is smaller: x or i?
x
Suppose 3*f + 125 = 8*f - 2*l, -5*l = 0. Let v = -25 + 51. Suppose -v*q + 43 = -f*q. Is 43 equal to q?
True
Let j = -4466 - -5428. Is j > -2/9?
True
Let a(o) = -o**3 + 6*o**2 - 4*o - 5. Let x be a(5). Let f be 2/(-1) + ((-342)/(-45) - (16 + -11)). Are x and f unequal?
True
Let x be (-1)/(-4)*-2*-2. Let i = 211/3780 + -5/108. Let h = 26/945 + i. Which is smaller: h or x?
h
Let s be (25 - 25)*(-20)/40. Is s at least 92/107?
False
Let q = 3370 + -2849. Are 1/3 and q nonequal?
True
Let g be 16/(-16608)*12/18. Which is smaller: g or 1?
g
Let g be ((-31)/279)/(46 + 0). Which is smaller: -1 or g?
-1
Suppose 4*q + 3 + 1 = 2*y, 0 = 5*q - y - 1. Let n = 12/685 - 14123/685. Which is smaller: n or q?
n
Let x = -7586/42837 - -24/131. Suppose 41*k - 39*k - 3*u = -6, -8 = -4*u. Which is smaller: k or x?
k
Let s(o) be the first derivative of o**3/3 - 8*o**2 - 51. Let m be s(16). Are 2/1021 and m nonequal?
True
Let k = -3.244 - -1.994. Which is greater: k or -22?
k
Let g(c) = -c**3 - 61*c**2 - 111*c - 18. Let n be g(-59). Which is bigger: n or -430?
-430
Let k = 109 - 117.1. Let u = -7.7 - k. Let a(g) = g**3 - 7*g**2 - 9*g + 8. Let z be a(8). Which is bigger: u or z?
u
Suppose 2*p = 99 + 311. Suppose -8*m = 187 + p. Is -49 less than m?
False
Let v(y) = 4*y**3 + 11*y**2 - 4*y - 81. Let u be v(-7). Which is smaller: -889 or u?
-889
Let k(p) be the first derivative of -8*p**3/3 - p**2 - p - 71. Let w be k(1). Which is bigger: 9 or w?
9
Suppose 181 = 4*f + 3*h - 125, -2*f - 3*h + 156 = 0. Let v(o) = o**3 - o**2 + 73. Let w be v(0). Which is smaller: f or w?
w
Suppose 0*j = -j + 48. Let c be 51 + (1 - 1)/(2*17/17). Which is smaller: j or c?
j
Suppose 0 = -3*u + 5*u + 6. Let w be u + 2/((-510)/(-1705)). Let g = -6/17 + w. Which is bigger: g or 3?
g
Let l be (10*(-3)/3)/(-2). Suppose -5*v + 130 = 2*o + 2*o, -l = -v - 5*o. Let g = -21 + v. Are 8 and g unequal?
True
Let y = 512829/236 - 2173. Is -0.1 less than or equal to y?
True
Suppose 2*t - l - 10 + 2 = 0, 3*l = 0. Suppose -13*u = t*u - 340. Let n be 10/(2/(-4) - -1). Is u > n?
False
Let m be (1 - (2 - -25)) + (5 - 6). Which is smaller: m or 0.1?
m
Let h(o) = -81*o**2 - 106*o + 36. Let q be h(-12). Is -10356 smaller than q?
False
Suppose -44*l + 4761 = -25*l - 10800. Which is smaller: l or 828?
l
Let n = 11111.9 - 11111. Is n smaller than 429?
True
Let f(b) = 31*b + 82. Let g be f(16). Suppose -3*r + 495 = 4*i, -4*i - 2*r + g = 80. Let u = 118 - i. Which is smaller: u or -7?
u
Let u = -102 + 104.45. Let c = u - -105.55. Let i = c + -116. Is 3 <= i?
False
Let l = 58 + -63. Suppose -5*f - 12015 = 5*w, -3*f - 267 - 6947 = 4*w. Let j = 14351/6 + f. Is l <= j?
False
Let w = -15/1384 + 105345/142552. Which is bigger: 0 or w?
w
Let s be (8 + (-158)/20)/((-62)/(-4)). Let a = s - 63/155. Let v = -39 - -118/3. Do v and a have different values?
True
Suppose 5*w = -4*t + 5*t + 739, 1418 = -2*t - 5*w. Let u = 13666/19 + t. Let a = u - 51/266. Is 0 >= a?
False
Let z(s) = -s**3 - 32*s**2 - 59*s + 39. Let v be z(-30). Let i(f) = -f**2 + 11*f + 12. Let q be i(11). Let u = v - q. Is -3 less than u?
False
Let m = -104 + 75.9. Let z = m + -23.7. Let p = 12.8 + z. Is 0 bigger than p?
True
Suppose -5*j = 5*n - 35, 23*j = -4*n + 26*j + 28. Suppose 5*x = 6 + 4. Let u be x/(-8) - 58/(-8). Do u and n have the same value?
True
Let r be (-28)/6*1*-3. Let v(h) be the second derivative of h**5/20 - 7*h**4/6 - h**3/6 + 8*h**2 - 5*h. Let f be v(r). Which is smaller: 0.11 or f?
0.11
Let o be (-6)/(-8) - (14 + (-24 - -11)). Which is bigger: -122 or o?
o
Let y = -130 + 133. Let h(o) = 3*o - 8. Let k be h(y). Let p be 4/(-22) + (-84)/(-341). Which is smaller: p or k?
p
Let j = -3447 + 3446. Suppose -20 = 2*z - 4*y, 2*y + 2*y = -20. Let x be 8/z*j*-70. Which is greater: -26 or x?
-26
Let a = -3.2 + -0.8. Suppose 7*h - 60*h = 1272. Which is smaller: a or h?
h
Let q be (-1012 - (-9 - (-3 - 4)))/((-17)/(-3)). Which is smaller: q or -179?
-179
Let a = -762 + 746. Is a at least as big as -13?
False
Let w(r) = 5*r**2 - 239*r - 289. Let f be w(49). Which is smaller: -11/3 or f?
-11/3
Suppose 166 = x - 2*r, 42 - 212 = -x + 3*r. Let l be x*11/(-760) + 3/(-4). Let t = 52/19 + l. Are t and -1 non-equal?
True
Let q = -57 - -15. Let l = -4571 + 4570.8. Which is smaller: q or l?
q
Let j = 8893/16750 - 69/134. Which is smaller: j or 52?
j
Let i = -190 + 201. Let s be i/(-330)*-3*(-5)/6. Which is greater: s or 1?
1
Let x = -228 - -234. Suppose -x*m - 96 = 228. Is -53 not equal to m?
True
Let x = 0.16162 - 0.25162. Which is smaller: x or -9?
-9
Suppose -6*p + 9 = -3*p, -3*m = -4*p - 48. Which is smaller: -88 or m?
-88
Let d(i) be the first derivative of -i**4/4 + 5*i**3/3 + 7*i**2/2 - i - 69. Let j be d(-3). Do j and 48 have different values?
True
Let p = 4999 + -3681. Which is bigger: 0.2 or p?
p
Let l = -394 + 464.9. Let y = -5572 + 5501. Let p = l + y. Which is smaller: p or -66/5?
-66/5
Let i be ((-2)/1235)/((-23)/(11695615/24)). Let l = i - 446/13. Which is bigger: -1 or l?
l
Let h(x) = 4*x**3 - 3*x**2 - 32*x - 61. Let k be h(-2). Suppose -2*g + 0*g = 78. Is g less than k?
False
Let s be (-1)/(26505/(-98337)) - 12/(-36). Let r = 126/31 - s. Suppose 5*y = 2*y. Is r greater than or equal to y?
True
Let o = -400.89 - -372.2. Let k = o + 29. Is -0.4 at least as big as k?
False
Suppose -296 + 1239 = -41*s. Which is bigger: -9 or s?
-9
Suppose b + 3 = 2*o, 0*o + 11 = 4*o + 3*b. Suppose -o = -4*u + 10. Suppose 5*p - 23 = u*x, -2*x - 16 - 6 = -5*p. Is -9/13 bigger than x?
True
Let h(i) = 6*i + 34. Let y be h(-5). Let j be (8/(-232))/(y - 3). Which is greater: 1 or j?
1
Let r be -11*29/58 + 819/150. Let h = -1 + 3. Let f be (1 - 3)*(-1)/h. Is f >= r?
True
Suppose 173 = 3*m + 806. Let j = -1022 + 812. Is m equal to j?
False
Let p = -1/5839 - 36487907/23356. Is -1563 smaller than p?
True
Let m be (-32)/64*(143 - -1). Let l be 10/((-490)/(-7)) + m/14. Which is greater: l or -12?
l
Suppose 22*f - 48 = 16*f. Let j be (-12)/(((-6)/f)/(9/8)). Which is bigger: j or 19?
19
Suppose -2*p + 4*u = -36 + 754, 3*u = -p - 379. Which is smaller: p or -10?
p
Let a = 103879/133 + -781. Let g = a + -447/1064. Suppose 2*t = 6*t. Is g <= t?
True
Suppose 0 = -5*t + 6*t - 7. Let g be 1/t - 2821/196. Let n = g + 725/52. Does -1 = n?
False
Let l = 6.4 + -6. Let a = -183 + 106. Let u = 81 + a. Which is bigger: l or u?
u
Let c be ((-2)/25)/(2/40)*(-1344 - -1384). Suppose -5*v = -3*n + 342, 13 = 4*v + 2*n + 269. Which is bigger: c or v?
c
Let r = 16 + -19. Let n be 2/r - 2580/(-3843). Let o = -3833/2135 - n. Which is smaller: -1 or o?
o
Let n = -43800349/553 + 79205. Is n at least as big as -1?
True
Let g(x) = x - 1. Let o be g(3). Suppose 3*r = o*r. Let f = 5911/3 - 206891/105. Which is smaller: f or r?
f
Suppose -5*o = 347 - 32. Let w = 62 + o. Which is greater: -2/481 or w?
-2/481
Let t be -9*(-8)/6 - 6 - 4. Suppose 3 = f - 1. Suppose f*d + t*