+ j = 5*p. Let g be (-2)/(-4)*(5 + 174/(-42)). Which is smaller: p or g?
g
Let a = -531696 + 2174104958/4089. Let r = a - 4/87. Are -1 and r nonequal?
True
Let d = 87264/5 + -100091888/5735. Is 1 less than or equal to d?
False
Let d = -4 + 6. Let x be (3 - 3) + d - 18. Let p be 1/16 + 4/x. Is -1 bigger than p?
False
Let s = -85.1 - 21.9. Let u = s - -151. Let l = u + -40. Which is smaller: -1/5 or l?
-1/5
Let h(x) = -16*x + 67. Let z be h(6). Let l(k) = k**3 - 12*k**2 + 10*k + 73. Let v be l(10). Are z and v equal?
False
Let c = -179 - -59. Let z be (-24)/c - (-2)/(-10). Are z and -3/8 non-equal?
True
Suppose -4*v + 6072 = -4*i, -3024 = -23*v + 21*v - i. Is 1519 >= v?
True
Suppose -1 = 4*l + f + 330, -155 = 2*l - 3*f. Is -77 > l?
True
Let p = 46118 - 46093. Let t be ((-6)/4 + 1)*4. Is t less than or equal to p?
True
Let x be ((-1224)/(-40))/9 - 2. Which is bigger: x or 186?
186
Let a = -1 - -1. Let c = 0.8206 - 0.7806. Are a and c nonequal?
True
Let a = 0.3 - 0.29. Let q = 5.99 + -3.98. Let f = a - q. Which is bigger: f or 0.1?
0.1
Let o = 3.9 - -1.1. Let j = -4 + o. Let s = -33/14 + 13/7. Which is bigger: s or j?
j
Let n = 177 - 185. Let q be n/(-1390)*(-2)/(4/5). Is q at least -1?
True
Let k be (-4 + 3)/(7/2 - 32/8). Which is bigger: k or 12?
12
Let w = 38156 - 35050. Which is smaller: w or 3104?
3104
Let o(w) = 404*w**2 - 2*w + 2. Let z be o(-2). Is z not equal to 1622?
False
Let f(l) = 6*l - 35. Let v be f(9). Suppose -3 - 17 = -4*z. Suppose 0 = -5*p + z*n + 95, -5*p - n - n + 116 = 0. Is p equal to v?
False
Let x be (-14)/77 + (-42)/33. Let s(q) = -3*q**2 - 8*q + 3. Let d be (-7 - (-15)/2)/(1/(-6)). Let i be s(d). Which is smaller: i or x?
x
Let q = -8 + 5. Suppose 3*n - 12*n + 9 = 0. Let t be (-7)/q - n*-4. Do 5 and t have different values?
True
Let a = 294 + -306. Let x be a/56*30/(-9). Does x = 6/19?
False
Let w(d) = -16286*d**2 + d. Let b be w(-6). Let i be (9/2)/(b/1662). Let x = 2/2641 - i. Which is bigger: 1 or x?
1
Let q be -2432 + 33 + -28 + (2 - -1). Which is smaller: -2425 or q?
-2425
Suppose -4*k + 20*z = 18*z - 84, 3*z = -2*k + 26. Let w = 156 + -83. Suppose 9 = -2*s + 4*s - 5*j, 0 = -4*s - j + w. Which is smaller: s or k?
s
Let v be (-1 + 0 + 2)*1. Let w = -4368706 - -170410892/39. Let b = -804 + w. Which is smaller: v or b?
b
Let m be 2/6*11/(11/(-3)). Let o = -1692 - -255493/151. Which is bigger: o or m?
o
Let y(d) = d**2 - 9*d + 18. Let l be y(4). Let c be l + (-4 - -10) + 3. Let p be (1 + 1/c)*4/(-16). Is -1 at most as big as p?
True
Let b(i) = -2*i - 9. Let m be b(-8). Suppose 0 = -w + m - 1. Suppose -23 = -w*j + 25. Which is smaller: j or 9?
j
Let s(o) = -18*o**2 + 29*o - 245. Let h be s(9). Is -1 >= h?
True
Let g be 2/12 + 142/12. Let w be (0 - (-2)/g)*6/80. Which is bigger: 1 or w?
1
Let w = -2/1807 - -887241/3614. Do w and 245 have different values?
True
Let y = 758 + -254. Let i be 2/(-7) - (-218)/y*-10. Let x = i + 11999/2610. Which is smaller: 0 or x?
x
Suppose -2*k + 12 = -4*k. Let c(n) = n**3 + 6*n**2 + n + 5. Let o be c(k). Let t be (-28)/24 + 60117/50634. Which is bigger: t or o?
t
Let l be 6 + (-1 - 3) - (34 - 32). Which is smaller: -35/96 or l?
-35/96
Let z = -345580 + 2759675/8. Do z and -620 have the same value?
False
Let h(q) = -17*q - 4*q**2 + 141 + 2*q**2 - 328 + 147. Let m be h(-5). Let r(o) = -o**2 + 5*o - 2. Let z be r(6). Is z <= m?
True
Let g be (-2 - (2 - (-545)/(-50))) + (-14)/2. Is g bigger than 0.009?
False
Let v = -213 - -213. Let j = 0 - 1. Let c = v - j. Which is bigger: c or 0?
c
Let x = 14/57 + 1/228. Which is bigger: x or -4013?
x
Let j(y) = -y**3 - 56*y**2 + 172*y + 122. Let v be j(-59). Is 415 smaller than v?
True
Let q = -278.77 + 275.77. Suppose 5*t + 7*y = 3*y - 62, 5*t + y = -53. Let j be (1 + -2)/(2/t). Is j not equal to q?
True
Let h be (-14264)/(-3564) - (-4)/(-1). Suppose 12*p + 93 = 81. Which is greater: h or p?
h
Let x(g) = g**3 + 5*g**2 + 3*g + 11. Let c = 17 - 27. Let p be x(c). Let w = p - -2584/5. Is -3 greater than w?
False
Let h = 6460 - 6459. Are 6/2849 and h nonequal?
True
Suppose -3 = -l - 2*l + 3*c, 5*l - 10 = 4*c. Let v be (-130)/(-52) + (-2)/4. Let d be ((-20)/(-30))/(v/l). Is -2 >= d?
False
Let r = 38050 - 35615. Is r >= 2434?
True
Let p(o) = o**2 - 7*o + 9. Let g be p(11). Let b = g + -52. Is b greater than -1/207?
True
Let s = -422 + 432. Which is bigger: 21 or s?
21
Let y be (-6)/(-3) - (-19)/2. Let z(o) = -7*o - 173. Let w be z(-25). Let f be (0 + (-144)/42)/(w/(-7)). Which is bigger: f or y?
f
Let i = -173 + 209. Let j be ((-54)/i)/((-3)/(-98)). Which is smaller: j or -47?
j
Let z = -100 + 85. Let m = z + 35. Let p = 15 - m. Which is greater: -2 or p?
-2
Let u = -0.74 + -0.26. Let k = -0.953 - u. Let c = k - 0.047. Which is bigger: 0.47 or c?
0.47
Let a(q) = -2*q**3 - 195*q**2 - 1010*q + 177. Let x be a(-92). Let j(z) = -z - 4. Let u be j(0). Is u less than x?
False
Suppose 0 = -2*m + 5*g + 12, 4*m - 24 = -6*g + g. Suppose -m*j = -226 - 968. Do j and 198 have the same value?
False
Let l = -75 + 91. Let o(s) = 2*s**2 - 31*s - 19. Let r be o(l). Let p(w) = 3*w**2 - 5*w - 18. Let a be p(r). Which is bigger: a or 23?
a
Let n = 173.431 + -174. Let k = n - 0.431. Is 225 greater than k?
True
Let r be (-4)/(-10)*15/21. Suppose g = 48*d - 49*d, 3*d + 4*g = -3. Let s be (-2)/(-72)*d*(-14)/(-49). Which is bigger: s or r?
r
Let z = -33237896297/4794 + 6933228. Let y = z - -14/51. Which is greater: y or 2?
2
Let u(h) = h**3 - 8*h**2 + 2*h - 9. Let n be u(8). Let y(m) = m**3 - 5*m**2 - 31. Let c be y(n). Is c at least as big as 67?
True
Let l be 18/3*-1*(-45)/6. Let s = l + -38. Let h(k) = -k**3 + 6*k**2 + 6*k + 15. Let c be h(s). Which is bigger: 7 or c?
c
Let s be 26/(-52) - (-7905)/10. Which is greater: s or 789?
s
Suppose -2*o + 5*o + 5*f + 8300 = 0, -2768 = o + 2*f. Does o = -2760?
True
Let u = 2101.18 - 2089. Is 1 != u?
True
Let p = 0.5 - 4.5. Let g = -3 - p. Let j be 1925/176 - 4 - 7. Is j at most g?
True
Let d = 39502835/1966 - 20093. Is 1 >= d?
True
Let d = -146751/236963 + 162/263. Which is smaller: d or 1?
d
Suppose -42*w - 5878 + 20956 = 0. Is 2147/6 smaller than w?
True
Let o(d) = -d**3 + 7*d**2 + 9*d - 11. Let i be o(8). Let t be 110*(7 + -5 - 5). Let n = t + 327. Is n at most as big as i?
True
Let a(m) = -5*m**2 + 3*m + 4. Let b be a(3). Let c(f) be the third derivative of -f**5/60 - f**4/4 + 3*f**3/2 - 2*f**2 + 7. Let z be c(4). Is b <= z?
True
Let v = 720 - 701. Is v <= 50?
True
Let v(z) = -2*z**2 - 95*z**3 - z + 92*z**3 + 4*z**2 + 2. Let n be v(1). Suppose 0*o - 4*x - 195 = 3*o, n = -3*o + 5*x - 168. Is o bigger than -62?
True
Let y(l) = l**3 - 14*l**2 - 59*l + 651. Let z be y(15). Do z and -175/19 have the same value?
False
Let j = -17.561 + 3260.561. Does 0 = j?
False
Let j = 14.207 - 14.007. Let n = 24 + -20.3. Is n > j?
True
Let y = 2834 + -2835. Which is bigger: 3/3107 or y?
3/3107
Let x = 168889/25 - 6755. Which is greater: x or -1.2?
x
Let l(w) = -50*w - 140. Let z be l(-6). Suppose 0 = -z*p + 171*p. Is 6/319 less than p?
False
Suppose 5599 - 879 = 10*b. Suppose -3*o + 121 - b = 0. Is o < -116?
True
Suppose -7001 = -18*p - 4571. Are 138 and p unequal?
True
Let d be 2/2 + -1 + (-65)/39*-3. Is -10/57 <= d?
True
Let t be (-25)/(-4) - 6*3/(-24). Let y be -1*5/(-20) - t/12. Is -49 < y?
True
Let d = 11.9 + -3.2. Let y = -35.3 - d. Let n = 69 + y. Is 2 bigger than n?
False
Suppose -19 = -3*m + 2. Suppose 2*p - t = m, 5*t - t = p. Suppose -6*h + h = p*a - 1, -a - h = 0. Which is bigger: a or 2/11?
2/11
Suppose z = -22*z - 50*z. Let k(u) = 4*u**2 + 1. Let b be k(-2). Let q = -7 + b. Which is smaller: z or q?
z
Let n = 0.0114 - 20.3114. Let m = -20.1 - n. Which is smaller: m or 245?
m
Suppose 0 = -5*l + 10*l - 20. Let g be -2*(0 + 42/l). Let d = -30 - g. Which is greater: 0.2 or d?
0.2
Let b = 749.2216038 + -0.0850038. Let v = 0.1366 - b. Which is bigger: v or -0.1?
-0.1
Let s be 6/(-3) - (2 + (-2 - 6)). Suppose 2*z = -s*z. Which is greater: z or 3/175?
3/175
Let y = 53 - 41. Let o be -1*(15/9 + y/(-18)). Which is smaller: o or 2/221?
o
Let n be ((-390)/143)/5 - (-8493)/15147. Is n smaller than -1?
False
Let m be (34 - 0 - 1)*(-59)/(-3363). Which is bigger: 0 or m?
m
Let g = 530 + -529. Is -29/80 < g?
True
Let a = -5411 - -6398. Is a <= 989?
True
Let j