883 - p. Let k = 8.028 + -8. Is k at most d?
False
Let d(p) = -5*p**2 - 107*p - 42. Let v be d(-21). Is v at most -4/1805?
False
Let s = 67 - 64.84. Let q = s + -2.06. Is q at most -9.5?
False
Let p = -16488 - -16490. Is p smaller than -829?
False
Let s = 6 + 10. Let l be 9/(12/(s/4)) - 4. Which is greater: -7/30 or l?
-7/30
Let x = 1 - 0. Let b = 215095 + -216261.83. Let j = b - -1167. Which is smaller: j or x?
j
Suppose -10*l - 12408 - 9922 = 0. Is -2237 at least l?
False
Let m be (6/(-8))/(3/(-211)). Let a = -53 + m. Let h be (10 + 364/(-35))*(-5)/88. Is a less than or equal to h?
True
Let a = 3999 + -3999.4. Do a and -3.15 have the same value?
False
Let b = 1717192/55085 - 717/23. Is 4 greater than or equal to b?
True
Let v be 2225678/245 - (50/325 + 32/130). Is 1 less than or equal to v?
True
Let l be (-3063301596838)/(-210)*(-3)/580. Let f = l + 75450784. Let n = f + -2/725. Which is smaller: n or 7?
n
Let q = -18933 - -18932.9. Is q greater than 5972?
False
Let y = 681433/95 + -7173. Which is greater: -3 or y?
y
Let s = 4238 - 4379. Which is smaller: s or -2/11?
s
Let i be (((-78)/(-4))/(-1))/(3/(-4)). Suppose i - 17 = 9*x. Which is greater: 5/32 or x?
x
Let c be (-678)/3340 - (8 + (11 - (-96)/(-5))). Is 2 equal to c?
False
Suppose 0 = 231*r + 317 - 4475. Let l = 1386 - 4106/3. Is r at least as big as l?
True
Let w be -4*2/4 + -1. Suppose -12*q - 95 + 23 = 0. Let r be (q/(-4) + w)*2. Which is smaller: -20/9 or r?
r
Let t be 2 + (-3 - (0 + 1)) - 29. Let u = -4 + 8. Suppose -93 = -j + u*j. Do t and j have the same value?
True
Let t be (17/(-2))/((-54)/324). Is 29 not equal to t?
True
Let a = -4851 + 4852. Which is greater: 1/3651 or a?
a
Let q = -10.12 + 11.12. Which is bigger: q or -1.793?
q
Let l = 1735/18 + -863/9. Which is bigger: l or 562?
562
Let t(a) = a. Let f be t(2). Let r be f/1 + 0/2. Suppose 4*m + 6 = -3*o, -r*o - m - 2 = m. Which is bigger: o or 16/9?
o
Let n be 3 + 33622/20 + 3/2. Let k = 1679 - n. Suppose q + 1 = -5. Which is smaller: q or k?
k
Let v = 55.24463 + -0.24463. Which is greater: v or 1.7?
v
Suppose -2*m = -6, 2*x + m = -0*m - 15. Let n be 21/6*10*1. Suppose h + 4*h = -n. Which is bigger: h or x?
h
Let y(v) = -v**2 - 17*v + 40. Let c be y(-19). Suppose 3*f + 6 = 0, c*i - i - f + 9 = 0. Let b = -26 + 15. Does i = b?
True
Let a = 1.2365 - 1.3365. Which is bigger: a or 1629.8?
1629.8
Let p(h) = h**2 - 12*h - 7. Let a be p(-8). Suppose a*x = 154*x. Is x != 3/28?
True
Let a = -1.2616 + 0.2616. Is 1004 less than a?
False
Let g = -11269 - -11267. Which is bigger: g or -266?
g
Let a = 202 + -225. Let n = 0.041 - -19.959. Let z = n + a. Which is smaller: 3 or z?
z
Let l(r) = -1336*r + 68. Let q be l(-3). Is q less than 4076?
False
Suppose 151 - 8 = 13*i. Let d = 105 - 103. Are i and d unequal?
True
Let i = -2/20047 + -661511/400940. Is 5 at most as big as i?
False
Let l(j) = -22*j**2 - 1878*j + 1132. Let b be l(-86). Let g = -1 + 2. Does b = g?
False
Let j = -9591 + 18565. Are 8975 and j unequal?
True
Let d = 31205/828337 + 1/15629. Which is bigger: d or 0?
d
Let r be ((-73504)/2960)/(6 + (-145)/50) - -8. Is r equal to 0?
False
Let g(v) = 5*v**3 + 2*v**2 + 6*v + 2. Suppose 52*f = 34*f - 18. Let s be g(f). Which is smaller: -3 or s?
s
Let k = -35967 + 1187017/33. Is k bigger than -1?
True
Suppose -4*q = -8, 45*m - 1339 = 50*m - 2*q. Is m at most -267?
True
Let x = -246.95 + 246.95. Let d = -604/6895 + 6/197. Is x at least as big as d?
True
Let v = 133/3 - 44. Let h = 110 + -110.109. Let q = 0.561 - h. Which is greater: v or q?
q
Let w = -1246 + 1249. Let m(p) = p - 11. Let x be m(8). Let s = x - -9. Which is smaller: w or s?
w
Let u = -167 + 470. Let y = 294 - u. Is -12 greater than or equal to y?
False
Let b be (2 - 1) + -31 - 0. Let r(x) = -2*x**3 - 51*x**2 + 17*x + 2104. Let s be r(-24). Which is greater: b or s?
b
Suppose 4*p + 1241*b - 1240*b = 14, 2*p - 3*b - 28 = 0. Which is smaller: -4 or p?
-4
Let b = 250 + -255. Let p(k) = k**3 - 23*k + 3. Let f be p(b). Which is bigger: f or -1?
-1
Let m = -248 + -163. Let v = -410.87 - m. Is v not equal to 0.5?
True
Let j(i) = 3*i + 8. Let l be 10*(2 + (-1)/(-2) + -2). Let z be j(l). Suppose 1 = 3*u - 4*q + 5*q, -z = -4*u + 3*q. Which is bigger: u or 5/9?
u
Let p = -159400 - -3026115/19. Let r = p + 87/38. Which is smaller: -130 or r?
-130
Let t = -753611/310 - -2431. Suppose -4*q - z + 6 = 0, 3*q - 2*z + 12 = q. Is t < q?
True
Suppose -5*p = -15, -3*g + p - 5*p - 759 = 0. Let j = g + 1537/6. Which is bigger: 0 or j?
0
Suppose -y - z = -4, -5*y + 3*y - 3*z = -12. Suppose a + 3*m + 366 = 0, -4*a - 3*m - 1607 = -179. Let h = 17701/50 + a. Is y smaller than h?
True
Let i = 8629.1 + -8629. Which is smaller: 2865 or i?
i
Let x = 69 + -60. Let n(y) = -2*y**2 + 17*y + 8. Let s be n(x). Let m be ((-1 + 95)*1)/(s*2). Is m greater than -47?
False
Let x be 53074/51 - (-9 - -2) - 0. Is 1047 smaller than x?
True
Let b = -24978463 - -202575378719/8110. Let l = b + 1/1622. Which is smaller: l or 4?
4
Suppose -2*r - 3*t + 1 + 22 = 0, -r - 4*t + 24 = 0. Suppose 2*b = 2*h + 6, -h - r = -0. Let j be (b - -2)/(-4) + 220/(-16). Is j less than or equal to -11?
True
Let t be 2/16*2 - 2826/1224. Is t less than or equal to -6?
False
Suppose 5*r = 2*f + 982, 3*r + 2*r - 978 = 3*f. Suppose -21*c + 10*c + r = 0. Which is smaller: c or 6?
6
Let t = 9.6835 - 2.3825. Which is greater: t or -1?
t
Let c = 9805.7883 - 9806. Which is bigger: -0.2 or c?
-0.2
Let i = 25820 - 11951. Which is smaller: 13870 or i?
i
Let b be (69/(-3))/(1/1). Is -3 > b?
True
Suppose -31*h - 22613 = -3486. Let p = h - -169. Are -447 and p nonequal?
True
Let k be (-9)/(-6)*116/(-87) - -82. Which is bigger: k or 53?
k
Let o = -8/15 - -58/165. Let c = -17 - -50. Do c and o have the same value?
False
Suppose -2101 = 8*b - 18893. Let w = 504494184 + -70629479619/140. Let o = w + b. Is 0 at most as big as o?
True
Suppose -18*n = -6*n - 0*n. Suppose 7*y + y + 80 = n. Which is bigger: y or -11?
y
Suppose 19 = -c + 5*g, 6 = -4*c + 3*g - 2. Let v = 80130743/1215330 - -1/81022. Let q = -66 + v. Are c and q unequal?
True
Let i be (-3)/((-12)/8 + 0). Suppose -5*r = 5*m + 105, 2*m - 37 + 15 = i*r. Let g(t) = -2*t**2 - 6*t + 40. Let y be g(4). Is r > y?
False
Let w be 32/(-3) + (-5)/(-15). Let u(s) = 2*s + 20. Let r be u(-10). Suppose 7*a = -r*a - 63. Which is smaller: w or a?
w
Let y = -4 - -58. Let b be 300/90 + 1/(-3). Let w be (-212)/6*(-3 - b/(-2)). Which is greater: y or w?
y
Let u = -39676 + 40413. Which is smaller: -4 or u?
-4
Let p(s) = -41*s - 1. Let h be p(-1). Suppose 3*k - 3*z - 144 = 0, k = 8*z + 18 + 72. Which is bigger: h or k?
k
Let q = -59857/19 + -182916/95. Which is greater: -5075 or q?
-5075
Let k = 135 - 67. Let a = 86 + -14. Suppose k*z + 8 = a*z. Which is bigger: z or 6?
6
Let i(w) = -54 + 77*w + 88*w - 161*w. Let u be i(9). Suppose 0*f + f = -20. Which is smaller: u or f?
f
Let y(r) = 3*r**2 + 62*r + 266. Let p be y(-6). Which is bigger: p or 1100?
1100
Let m be 4/((-381)/96 - -4). Let w = m - 128. Suppose 0*q - 6 = 6*q. Which is greater: w or q?
w
Suppose 17*f + 30*f + 174382 + 13524 = 0. Which is smaller: -3996 or f?
f
Suppose 5*o - 16415 = 5*m, -6*o = -2*m + m - 3298. Which is smaller: m or -3281?
-3281
Let q = -302.853 - -303. Let y = q + -0.147. Is y at least as big as 42?
False
Let r = 10012 + -10002. Are -88 and r nonequal?
True
Let i be 3 - (6 + -4) - -2. Suppose -n - 21 = n - 3*m, -i*n = m + 4. Let u be n + 5 - 72/39. Which is smaller: u or 0?
0
Let k = -505745/24 + 63961/3. Let z = k - 246. Is z > 1?
True
Let g be 53/12*(-4)/3. Suppose -173*a - 173*a = 378*a + 5068. Which is smaller: g or a?
a
Let b(r) = r**2 - 12*r - 30. Let m(g) = g**3 - 8*g**2 + 10*g - 6. Let k be m(7). Let j be b(k). Let l be (-340)/(j/3) - 1. Is l >= -69?
True
Let o = -147/16 + 687/80. Which is smaller: o or 1.98?
o
Let p be 3/(54/382) + (-2)/9. Suppose -726 = -27*l + p*l. Which is bigger: 120 or l?
l
Let c = 44 - 69. Let f = -62 - c. Let w = f - -28. Which is bigger: w or -3/2?
-3/2
Let n = 0.67059 - 0.17059. Is 891 <= n?
False
Let w(q) = q**3 + 8*q**2 + 3*q - 4. Let y be w(-7). Let l(g) = -21*g**3 - g**2 + g + 1. Let m be l(-1). Suppose -3*h + 49 = -m. Which is smaller: y or h?
h
Let m = -2924 - -2912. Is m smaller than -1.56?
True
Let 