 p(8). Let m(u) = -5*u**2 - 8*u - 2. Let a be m(r). Let f be ((-1)/8)/(3/9). Which is greater: f or a?
a
Suppose 0 = -3*x + 4 + 2. Let u be (43 - 43)*2/4. Suppose -x*i + 6*i - 276 = u. Is i <= 70?
True
Let l be 280/(-2940)*7/(-2). Which is bigger: l or 1.12?
1.12
Let d = -92 + 95. Let j be d + -7 + 146*(-2 + 3). Is 142 less than or equal to j?
True
Let o = -3.57 - 0.53. Let j = 96 + -100. Let c = j - o. Is 2/9 greater than or equal to c?
True
Let j = 48177 + -48358. Let o be (-5)/(-2) - (3 + -1). Are o and j equal?
False
Let q(f) = 3*f**3 - f - f**2 - 4 + f**3 + 0 + 5. Let u be q(-2). Suppose 3*x = -d - 90, 4 + 5 = 3*d. Which is bigger: u or x?
x
Let n be 146/30 + (-52 + 56)*2/10. Let f = -776/7 - -112. Is f smaller than n?
True
Let f be (5/((-30)/4))/((-156)/(-234)). Is f less than -1/413?
True
Let q = 5 - 121. Let u = -117 - q. Is u less than or equal to -8/5?
False
Let f(v) = 20*v**2 + 123*v + 189. Let r be f(-7). Which is smaller: 2465/8 or r?
r
Let r be (306/(-68))/(90/(-8)). Is 13.7 >= r?
True
Suppose 2*b + 176 = 4*j, -3*j = -7*j + 4*b + 168. Suppose -137*c + 616 = -123*c. Is j < c?
False
Suppose -10 = 13*f - 8*f. Let z be f/(-8) - (-17)/(-68). Let p be 4/(-12) - 6*(-5)/(-90). Which is greater: p or z?
z
Let h = 0.7424 - 550.3824. Let s = 551 + h. Which is bigger: s or -2/5?
s
Let k be 88806/(-304) + (-48)/((-40)/(-5)). Are -299 and k unequal?
True
Let m(i) = i + 34. Let h be m(-27). Suppose -h*s = -s - 48. Let g = 54/5 - 51/20. Is s at most g?
True
Let o(f) = f**2 - 7*f + 5. Let r be o(7). Suppose -4*d + 14 = -3*x, 4*d + r*x - 2 = 28. Let p be (208 - 211)/((-4)/(-6)*(-12)/16). Is p > d?
True
Let j be 28/(-2 + 108/49). Suppose -9*u = 8*u - 26*u + 1233. Which is smaller: j or u?
u
Let c(k) = 5*k - 30. Let q be c(7). Suppose -q*z - h = -0*h + 20, 0 = -z + h + 2. Let i be (-2)/(-4)*-29*z/6. Is 7 at most as big as i?
True
Let k = -301/2 + 7529/50. Let a(b) = -b**2 - 148*b + 1249. Let p be a(8). Do p and k have different values?
True
Suppose -3*q - 4*p = -q + 32, 0 = -5*p - 25. Let c be q/(-4)*((-176)/(-84) - 2). Let a = 0.678 + 0.022. Is a at most c?
False
Let w = 237 - 237. Suppose j - 3*l = -22, -5*j - 4*l - 23 - 30 = w. Which is smaller: j or -0.08?
j
Let m(s) = 10*s + 299. Let g be m(-10). Let c = g - 1391/7. Is c != 19?
True
Let z = 3/45826 + -1834201/17734662. Which is smaller: z or 1?
z
Let u = -9048 - -9047.9. Is 0.2139 less than or equal to u?
False
Let n = 26474 + -26473.96239. Is 3 greater than n?
True
Let a(g) = g**2 - 17*g - 18. Let c be a(18). Suppose -3*x + 30 = -c*x. Suppose 5*u + x = -30. Is -8 at most as big as u?
True
Suppose 19*o - 39680 = -31*o + 10*o. Which is bigger: o or 991?
o
Let k = 8 + 3. Let x = -9 + k. Let l = x - 2.15. Is -2 smaller than l?
True
Let w = 107 - 199. Let i = w + 92. Let f = -3 + 3. Is i > f?
False
Let v(h) = -124*h - 161. Let i be v(-5). Let g = i + -458. Which is smaller: g or 14/73?
14/73
Suppose 20 = -4*q, -100 = -p + 3*q - 19. Let k be (-288)/(-108)*p/(-20). Which is greater: -8 or k?
-8
Let n = -177 + 179. Suppose -n*o - 4 = 4*w, w + 12 - 11 = -5*o. Let y = -71/4 - -18. Do y and w have the same value?
False
Let q = -11599 - -17199. Which is greater: q or 1/2?
q
Let i(f) = f**2 + 8*f + 36. Let y be 55/(-176)*4*(1 + 3). Let q be i(y). Suppose w - 66 = -2*w. Which is smaller: q or w?
q
Suppose 3*m = 3*l + 27, 0 = -2*m - 0*m + 4*l + 14. Let y(g) = -g**3 + 6*g**2 + 24. Let t be y(6). Which is smaller: m or t?
m
Let g be (((-342)/(-45) - 8)*20005)/2. Is g bigger than -4000?
False
Let w = -1038 + 525. Let q = 56249 - 56761. Which is smaller: q or w?
w
Let p = -2710468767/1404302 + 207023/3502. Let d = p + 1871. Which is greater: 1 or d?
1
Let z be (6/80)/((-4)/10). Suppose 52*x = 63*x - 55. Let k(p) = 29*p - 146. Let t be k(x). Is z > t?
True
Let w be (-18)/4*336/63. Let p = w - -14. Let k be (-270)/36*(-1 - 9/p). Which is greater: 4 or k?
4
Suppose 3*x - 4*x - 44 = 2*y, 3*x = y + 8. Let j be 5/((-25)/y) - 10. Let r be (-8)/2*((j - -6) + -1). Is -0.05 less than or equal to r?
True
Let h = 582 + -586. Let d be (-2)/8*6*(-2)/(-72). Is d < h?
False
Let c = 47.88 + -49.88. Let r be 2 + (-2 - 4/11). Is r >= c?
True
Let r be ((-26)/(-39))/((-6)/747). Let n = -81 - r. Which is smaller: -0.33 or n?
-0.33
Let q be (-6)/(-2)*(-1 + 0 + (-1545)/45). Which is bigger: -1/6 or q?
-1/6
Let o be (70/8 + -10)*(-490)/(-25). Are -86 and o equal?
False
Let c = 16 + -660. Let y be 2502/(-358) - c/92. Which is smaller: 1 or y?
y
Let s(u) = -u**2 - 13*u + 5. Let n be s(11). Suppose 661 = -5*q - 634. Is n smaller than q?
False
Let h = -5731 - -5729. Which is greater: h or 44?
44
Suppose -10 = 28*n - 30*n. Suppose 43*d = n*v + 47*d - 386, -4*v + 4*d + 280 = 0. Is v > 72?
True
Let x = 9.71 + -20.57. Let f = 11 + x. Let m be (-36)/(-60) - 64/40. Which is greater: m or f?
f
Let a = 277/884 + -14/221. Let z = -185 - -185.81. Is z <= a?
False
Let a be 186 - (2/(-6))/(3/(-18)). Let p be 2 + 1 - a/62. Suppose 0*u - 4 = -u - 5*g, -3 = -3*g. Is u >= p?
False
Let m = 10 - 24. Let r = -194 + 250. Let d = 42 - r. Do d and m have different values?
False
Let j = 2493 - 1755. Is 731 at most as big as j?
True
Let s = -3593/14 - -6442277/25102. Which is bigger: s or -1?
s
Let j = -285/2 + 2035/14. Let a be 7 + -4 + -1 + (31 - -1). Suppose -k + 14 = -5*l + a, 2*k = 0. Which is smaller: l or j?
j
Suppose x = 11275 - 2796. Suppose 4912 + 732 = 2*o - m, 5*m = -3*o + x. Let s = o - 239958/85. Which is smaller: s or -1?
-1
Let m be -29*(-125)/1425*(-4)/(-260). Is 0 at least as big as m?
False
Let u = -7860 - -1987. Which is bigger: 1/3 or u?
1/3
Let i = 3/6047 - -5285/1535938. Suppose -6*f + 3 = -3*f. Which is bigger: i or f?
f
Suppose -12*v + 3283 + 725 = 0. Let d = v - 185. Is 149 at most d?
True
Let h = 32185/2863 + 18/409. Let g = -19 - -29. Are h and g unequal?
True
Let t = 5653941/193 + -29295. Let q(h) = h**2 + 2*h + 1. Let z be q(-1). Is t <= z?
False
Suppose -232*t - 121973 = 61307. Is -792 >= t?
False
Let s be (1124/(-4))/((-7)/(-49)). Is s < -1969?
False
Suppose 2*d = -8*g + 12*g, 5*d = -2*g + 24. Let i be 78/d*128/(-24). Which is bigger: -103 or i?
-103
Let y = 21093 + -21083. Which is bigger: -15 or y?
y
Suppose -34 = 6*y - 70. Suppose q = y*q + 780. Which is greater: -155 or q?
-155
Let o be (-62651)/658 - (-2 + 50/28). Which is greater: o or -22/3?
-22/3
Let h = 327.7 + -723.4. Let y = h - -396. Which is bigger: 0.12 or y?
y
Let y = 107.617 + 0.383. Is 2/9 < y?
True
Let a(l) = 317*l + 7134. Let h be a(-8). Is 4598 at least as big as h?
True
Let o = -5919 + 6027. Which is bigger: 1/24 or o?
o
Let g = 8 + -7. Let h(n) = -3*n**2 + 29*n - 60. Let s be h(18). Let y be ((-4)/(-21))/(s/(-119)). Which is greater: g or y?
g
Let u be (-208 + -215)*((-68)/(-36) + -2). Which is smaller: u or 1353/29?
1353/29
Let v = -92.3 + 62. Let g = 46.3 + v. Is -1/3 at most g?
True
Let n = -0.22 + -15.78. Let y = n - -16.1. Suppose 745 - 31 = 21*x. Which is greater: x or y?
x
Suppose j = -3*j + 12. Suppose 0 = j*y - 44 + 35. Suppose y*c - 49 = 2. Which is smaller: 15 or c?
15
Suppose 4*q = 12*q - 5*q. Let l be (28/(-133))/(2/(-3)). Which is smaller: l or q?
q
Let j be 2/10 + 2847/(-10). Let w = 46093/162 + j. Suppose 1288*t = -651*t + 183*t + 28*t. Is w at least t?
True
Let l be 12/(-360)*(-16)/(-3420). Is l less than or equal to 0?
True
Suppose 5*f - 2*g - 2*g - 132 = 0, 3*f + 2*g = 88. Suppose f*i = 3*i - 975. Which is bigger: i or -38?
-38
Suppose 5723 = -5*v - u, 0 = 4*v + 5*u - 8*u + 4586. Let n be 9/(-6) + v/10 + 1. Which is greater: -114 or n?
-114
Let r be 20514*(-24 - 1175/(-50)). Do r and -10256 have the same value?
False
Suppose 95658 = -159*v - 139*v. Which is greater: v or 2?
2
Let n = 23900211677/85 - 281175316. Let b = -3645 + n. Which is greater: 0 or b?
0
Suppose -3*a - 5*j = a - 29, 0 = 4*a + j - 9. Let o be (-1 + (0 - -13))/(6/4). Let g be ((-2)/o)/((-3)/((-24)/14)). Is a equal to g?
False
Let r be (351/26)/27*206. Let v be (-814)/(-8) - (-2)/8. Let m = v - r. Are m and -1/13 equal?
False
Let z = 0.87 - 1. Let j = z - -0.21. Let t = j - 0.4. Which is bigger: -0.1 or t?
-0.1
Suppose -4*x - 488 = w, 372*w + 3*x + 981 = 370*w. Which is smaller: -495 or w?
-495
Let g be (8 - 10)*-1 + 93/(-24). Let r = -344 - -343. Is r less than g?
False