85?
2/15385
Let a = 43.56 + -335.56. Which is smaller: a or 8?
a
Suppose -50*b = 7094 - 22094. Let n = 253 - b. Which is smaller: -233/5 or n?
n
Let v = -4081440/61 - -66905. Which is smaller: v or 0?
v
Let p = -273 - -332.1. Let y = p - 91. Let x = y + 32. Is 0.1 at most as big as x?
True
Let n be 161/(-368)*(-360)/2492. Which is bigger: n or -1?
n
Let s = 12891 + -13269. Are 18 and s nonequal?
True
Let p be 2*(-2)/(-4)*-1. Let d be 10/15 - (-4 - 1196/(-255)). Which is bigger: d or p?
d
Let m = 3 - 2. Suppose -219 = -108*d + 105*d. Suppose 81*p - 104 = d*p. Which is smaller: p or m?
m
Let d(q) = 2*q + 12. Let l be d(9). Suppose 0 = 2*f - 4*h + 52, 7*f + h - l = 8*f. Let a = -38 - f. Which is smaller: a or -31/7?
-31/7
Let c = 74 - 70. Let p = -201.6 - -201.687. Which is bigger: c or p?
c
Let m = -773 - -797. Let y = m + -25. Which is greater: y or 3/13?
3/13
Let g be (88/220)/(0 + (-24)/10 + 2). Is g smaller than -1/31?
True
Let z = -1046/95 + 232/19. Let m = 11.8 + 1.2. Is z at least as big as m?
False
Let r be -1 + 0 + -15*(-3)/27. Let c = 1458 - 1457.763. Are c and r equal?
False
Let s be (-64797)/7 + (-16)/56. Let u = s - -379563/41. Is 0 at least u?
False
Let c(w) = -111*w - 1564. Let d be c(-14). Do d and -129 have different values?
True
Let n = 2546 - 2626. Is -17 greater than or equal to n?
True
Let n(m) = 321*m. Let r be n(-1). Let y = 271 + r. Which is greater: y or 0?
0
Suppose 0 = 5*t - 1 + 36. Let m(d) = 2*d**3 + 7*d**2 - 8*d - 8. Let x be m(t). Let u = -9734/33 - x. Which is smaller: u or 0?
0
Let s = -401/4 - -100. Let w = -7/12 - s. Which is bigger: 0.02 or w?
0.02
Let a(k) = -5*k**3 - 2*k**2 - k + 20. Let c be a(4). Let j be 192/c - (-302)/210. Is j >= 2/5?
True
Suppose 2 = -47*a + 2. Let u = 72 + 10. Does a = u?
False
Let j(f) = 6*f**2 - f - 2. Let r be j(-1). Suppose 61 - 7 = -r*k + 3*m, -5*m = -5*k - 50. Suppose -10*d = 2*d + 108. Is d <= k?
False
Let w = 1.5039 + 13640.4961. Are 2 and w equal?
False
Let r = 32952 + -33851. Which is bigger: r or -0.11?
-0.11
Let r = 6053/965 - 14/193. Let c = 0.00567 - 0.10567. Are r and c unequal?
True
Let p = 2687 - 3685. Is p at least as big as -1002?
True
Let w = -970.2 - -894. Let b = 73.2 + w. Which is smaller: 2/91 or b?
b
Suppose -o - 250 = -5*r - 862, 0 = -5*r + 5*o - 600. Let l = r - -139. Are 9 and l equal?
False
Let z = 19 - 15. Let y = -2550 + 2550.2. Which is smaller: z or y?
y
Let t be ((-3)/(-3) - 3)*7. Let b(m) = -m**2 + 13*m + 53. Let p be b(16). Let s be (4 - ((-39)/(-18) - p))*-2. Which is bigger: t or s?
s
Let r be 0/4*2/4. Let v be 9 - (4 - (-5528)/1104). Which is smaller: v or r?
v
Let n = -571/756 - -1/189. Suppose -y - 3*m - 7 = 0, -12 = 4*y - 0*m - 4*m. Let c be y + 0 + 2/1. Is n at least as big as c?
True
Let g = -935/8 + 931/8. Which is smaller: 0.1 or g?
g
Let h(t) = t**3 - 19*t**2 - 18*t + 141. Let s be h(20). Let r = s - 116. Which is smaller: r or 64?
64
Let p(o) = -o**3 - 39*o**2 + 26*o - 68. Let n be p(-40). Suppose -86*m = -83*m + n. Which is smaller: m or -165?
-165
Let u = 1.55 + -0.05. Let q = -831426 - -831430. Do u and q have different values?
True
Suppose 41*d = 37*d + 28. Suppose -5 = -d*g + 51. Suppose -2*m = 3*f - g, -6*f = -5*f + 4*m + 14. Is f > 45/7?
False
Let g = 0.22 + 1.35. Let f = g - 1.66. Which is bigger: f or 0.9?
0.9
Let q(u) = u + 8. Let c be q(-5). Suppose c*t - 5*g + 10 = 0, 2*t - 6 = g - 4*g. Suppose -4*a + 3*j = -3, t*a - 5*a + 3 = -4*j. Which is smaller: a or 5/2?
5/2
Let y be (-6)/(37 + -1)*32/(-12632). Are y and 1 equal?
False
Let l(x) = -x**2 + 14*x - 2. Let j be l(14). Let g be (-2)/j*(-7 + 7). Let d be (-339)/57 + 18/6 + 3. Is d at most as big as g?
False
Let z = 1.5706 - -306.4294. Is z <= 2/5?
False
Let o be 2*1/2 - -1. Let h(t) = 87*t - 316. Let j be h(4). Let p be j*(o + (-10)/4). Is p not equal to -17?
True
Let u be -7 + (-4 - -11) + (-2 - -2). Let n(j) = 16*j**2 - 2*j + 43. Let t be n(u). Is t at most 48?
True
Suppose -3*u + 482*y - 487*y - 5 = 0, -2 = 4*u + 2*y. Are -38/131 and u equal?
False
Let t(p) = -2*p**3 + 24*p**2 - 90*p + 865. Let x be t(12). Which is smaller: -209 or x?
x
Let k = 1243/3 - 150409/363. Suppose 0 = 5*x - 11*j + 10 - 48, -4*x + j + 7 = 0. Which is smaller: k or x?
k
Suppose -484053 = -55*m + 649772. Do -0.1 and m have the same value?
False
Suppose 4*p + 33*p = 8325. Suppose 0 = 2*g - 3*g + j + 224, -j = 4*g - 901. Is p less than or equal to g?
True
Suppose 0 = -10*a + 2163 + 677. Let x = -285 + a. Which is smaller: x or -1/32?
x
Suppose 2*c = 4*g - 8, 2*g - c = 4*g. Let h = 192/43 + -16085/3612. Which is bigger: h or g?
g
Let d = 45.953 - -0.047. Let s = -46.2 + d. Is s equal to -15?
False
Let c be ((-7)/(-343)*-7)/((-4)/14). Is c bigger than 130?
False
Let u = 219 + 7726. Is u at least as big as 7945?
True
Let f = -12.32 - -13. Let z = 1651 - 1650.9. Which is smaller: z or f?
z
Suppose -2*q + q = r - 4, 5*q = -15. Let o be ((-1)/(-382))/(r + -5). Which is smaller: o or 0?
0
Suppose -460*l + 495*l = 0. Are 16/29 and l unequal?
True
Let s = -289 + 288.9452. Let u = 0.2252 - s. Which is greater: -0.1 or u?
u
Let r = 591818 - 14933343592/25233. Which is smaller: r or 1?
r
Let s = 412 - 397. Suppose -s*i + 3928 = 1483. Is i at most as big as 164?
True
Let m be (-2)/(-10)*5 + -42. Let x = 18 + m. Let w(f) = -2*f**3 + f**2 + 8*f - 2. Let q be w(3). Is q at least x?
True
Suppose -5*n = 23 - 38. Let s be (-92)/98 - (-3)/9*n. Do s and 0 have the same value?
False
Let i = -18286 - -18340. Do i and 3 have the same value?
False
Suppose -2*t - 4*m = 658, -4*t - 1283 = -0*t - 3*m. Let l = 67749 + -68073. Which is bigger: t or l?
t
Suppose -9 = -2*f + 3*z, -15 = -13*f + 10*f + 5*z. Are -7/139 and f non-equal?
True
Let g(f) = f**2 + 5*f + 2. Let p be g(-5). Let z = 2/8793027 + -409711093103/167067513. Let n = z + 2453. Which is smaller: n or p?
n
Let h = 1662.9 - 1663. Is -1/235 at least h?
True
Let j = -866 + 1388. Suppose 0 = 58*g - 61*g - j. Which is bigger: g or -173?
-173
Let i = -736 + 1162. Let o = 404 - i. Is -22 < o?
False
Let w be (-29)/(-89) - (-5)/(-15). Suppose 170 - 77 = -72*r + 21. Is w not equal to r?
True
Let c be ((-472)/7)/(47/(11515/(-70))). Is -36 less than c?
True
Suppose -2406 = 19*u - 316. Let l = 210 - 99. Let s = u + l. Which is bigger: 10/27 or s?
s
Let r be 0 + 9/(36/(-16)). Let w(f) = -f**3 - 4*f**2 + f - 9. Let m be w(r). Let s = -10 + m. Which is smaller: s or -22?
s
Let r = 21242 + -106212/5. Which is smaller: -0.934 or r?
-0.934
Let s = -24829 + 24479. Are -337 and s equal?
False
Let n = -2463.4 + 2347. Which is greater: 1/8 or n?
1/8
Let n = -10.4 - -0.4. Let v = -2871 - -2876. Is v smaller than n?
False
Suppose 94 - 162 = 68*y. Which is bigger: -1/1005 or y?
-1/1005
Let x(n) = n**3 - 3*n**2 + 2*n + 3. Let u be x(3). Let h be 2/((-6)/u) - -15. Let k be ((-27)/225)/((-2)/(h + -2)). Which is smaller: k or 1?
k
Let d = -22.1 - -22.5. Let z be (76/(-57))/((-2)/(-21)). Is z equal to d?
False
Suppose 0 = 5*t + 5*z - 15, -58 = -5*t - 2*z - 31. Let f be 0 - t/((-35)/(-10)). Which is greater: f or -16?
f
Let w = 307115921/10256 - 29945. Is 1 <= w?
False
Let y = -14885 + 14788. Is y greater than or equal to -82?
False
Let y = -0.0642 + -0.9148. Let p = y + 1. Let q = p + -3.021. Which is smaller: -0.5 or q?
q
Let p(w) = w**3 + 80*w**2 + 84*w + 375. Let x be p(-79). Is -19 less than or equal to x?
False
Suppose 2*u = -r + 6*r + 3645, -2*u - r = -3651. Is 1826 greater than u?
True
Let i be 16 + (14952/(-49))/(-2). Which is smaller: i or 170?
i
Suppose 4*i = v + 3 + 6, -v + 5*i = 9. Let w(a) = -a**2 + 8*a - 12. Let s be w(5). Let q be (s + 124/(-12) - 1) + -1. Is q greater than v?
False
Let o = 314 + -313.78. Let h = o + 8.78. Suppose 3*d + 20 = -2*d. Which is smaller: h or d?
d
Suppose n + 1095 = 2*r, -2*n + 891 + 201 = 2*r. Suppose 4*x + r = -3*v, -3*x - 427 = -5*v - 1300. Which is smaller: v or -178?
-178
Suppose m = 4*n - 2*m + 50, 9 = -n - m. Suppose -15*c - 5 = -10*c. Let r(d) = -11*d**2 - d - 2. Let f be r(c). Is f equal to n?
False
Let v(j) = -j**3 - 54*j**2 + 3*j + 158. Let u be v(-54). Suppose 19*g - 558 = 28*g. Is g smaller than u?
True
Let l = -289 + 45. Let s = -4638/19 - l. Is s <= -15?
False
Let b(i) = -i**3 + 46*i**2 - 405*i - 102. Let c be b(34). Let f = 2189/2 - 1142. 