 = 5*h + p, -3*p + 314 = -2*h + 883. Let r = h + -599. Does r = -307?
True
Let v be (5 - 90)*(-1)/(-1). Let m = v + 209. Let k be (-2)/(m/6)*7/(-42). Is 0 less than or equal to k?
True
Let q(a) = -80*a**3 - 5*a**2 - 70*a - 107. Let d be q(-5). Is 10118 less than d?
False
Let h(w) = -17*w**2 - 24*w + 423. Let l be h(10). Is l smaller than -1518?
False
Suppose 2*z + 2*z = 0. Let c = -5509/2924448 + 5/4458. Which is smaller: z or c?
c
Suppose 4*k + 6 = -2*g - 2, -5*g + 4*k - 20 = 0. Let z be 80/(-1200) + 2 + 1774/(-390). Is g != z?
True
Let j(v) = -v**2 - 3*v - 96. Let n be j(-12). Let p = n + 149. Which is bigger: p or -163/3?
-163/3
Let p = 10705 + -10709.169. Which is bigger: p or 0?
0
Suppose 4*s - 8644 = 8*s. Let c be 90/15*s/63. Let t = 206 + c. Is t at most 0?
False
Let w = 87 - 82. Suppose 0 = -9*l + w*l + 348. Suppose 18 + l = 7*t. Is 16 at most as big as t?
False
Let r be (-3)/((-2)/(4/3)). Suppose 21*n + 6 = 22*n - 4*q, 3*n + 4*q = 2. Suppose 4*m + 2*h - 10 = 0, 5*m + 5 + n = 4*h. Which is smaller: m or r?
m
Suppose -o - 36*o + 134 = 97. Which is smaller: o or -7/58?
-7/58
Suppose 5*b = 3*a + 4*b - 408, 2*a = 3*b + 272. Let g be (-16)/a - 6/(-51). Suppose -31 = -m - g. Which is greater: 30 or m?
m
Let f = -3.823 + 3.863. Which is smaller: -27 or f?
-27
Let o = -5.1 + 5.138. Let c = o - -0.033. Let q = c + 0.009. Do 3 and q have different values?
True
Let y = -19 - -29. Let m be (-2 + 5 + -4)/(y + -3). Suppose q - 10 = 6*q. Is q smaller than m?
True
Suppose -62 + 75 = -13*s. Is s smaller than 17/60?
True
Let d(c) = -48*c + 2942. Let m be d(-30). Is 4380 < m?
True
Let s = -250 + 374. Let t = s - 212. Let g = t - -105. Do 16 and g have the same value?
False
Let q = -817 + 827.7. Let s = -12 + 22. Let v = q - s. Is v at least -3?
True
Suppose 5*i = p + 402, -2*p + 71*i = 66*i + 834. Is p greater than -437?
True
Let p = -0.5 + -3.5. Let r = -1.832 + 2.55. Let h = -0.318 + r. Do h and p have the same value?
False
Let b be -218 + -1 - 154/22. Let c = b - -222. Are -10 and c equal?
False
Let a = -2 - -1.9. Let r = 0.014 - 0.033. Let g = 0.074 + r. Is a less than g?
True
Let u = 856 - 845. Let c = 36 - 22. Let b = c + -14.2. Which is greater: b or u?
u
Suppose -3*v + 4*v = 9. Let r be (-6)/v*4/(-16)*6. Is r less than or equal to -1/91?
False
Let b be ((-15)/105)/((-1)/4). Let t be ((-38)/(-6) + -1)*3. Suppose -3*d - c - 22 = 4*c, 3*c = d - t. Which is greater: b or d?
d
Let o = -5811 + 5843.57. Let j = o - 32.6. Which is bigger: j or -14?
j
Let i = -0.01445 - 0.60555. Is i at most as big as -0.09?
True
Let q = 0 - -1. Let f = -3896/27 + 557146/3861. Are q and f non-equal?
True
Let o be -36 + -10*((-42)/(-12) + -3). Let h = o + 368/9. Which is bigger: h or -18?
h
Let u = 37 + -29. Let c = u - 5. Suppose -c*k - 16 - 23 = 0. Which is bigger: -15 or k?
k
Let r be (-38)/513 + (0 - (-25490)/27). Which is smaller: r or 946?
r
Let r = -42.6 + 85.2. Let i = 43.6 - r. Which is smaller: 2.32 or i?
i
Let u(z) = -z**3 - 2*z**2 + 9*z + 23. Let h be u(-3). Suppose -26 + 48 = s + h*t, -2*t = -8. Suppose 0 = 3*o, l + 2*o + 2 = 3*o. Which is smaller: l or s?
l
Suppose -56*l + 60*l - 52 = 0. Let v = l + -41. Is v at most -30?
False
Let h(u) = 6*u**2 + 66*u - 10. Let x be h(-11). Let q be (56/(-120))/(x/(-105)). Does -6 = q?
False
Let w be 2/(-1 - 20/(-12)). Suppose 6*h = 5*h - w, -2*c + 10 = 2*h. Which is bigger: -3 or c?
c
Suppose -4*u + 5*y + 15 = 0, u - 45*y + 43*y = 6. Which is smaller: 7699 or u?
u
Let b be (-3)/(3/(-5)) + 383/(-1). Let z be 1*(-72)/(-203) + 108/b. Is z at least -1?
True
Let l = -163 - -167. Suppose 4*i - 5 = l*h - 1, -h + 11 = 2*i. Is 39/17 greater than or equal to h?
False
Let j = 6499 + -6509. Which is smaller: -51/5 or j?
-51/5
Suppose 3*u - 4*u + 1 = 0, 156 = -4*d - 4*u. Let p = -41 - d. Does -9/28 = p?
False
Suppose 4*b - 132 = -2*v, v - 15*b = -10*b + 87. Suppose -61*m + 363 = -v*m. Let d = -48 + 15. Do m and d have the same value?
True
Let c = -2408 + 2481. Which is greater: c or 1?
c
Suppose 0 = -f - 0 + 1. Let y be ((3/6 - 0)*-3)/6. Which is greater: f or y?
f
Suppose -4*q = 1253 - 3449. Is q <= 551?
True
Let u = -23013 - -240232706/10439. Let v = 2/429 + u. Which is bigger: 0 or v?
v
Suppose 4 = 2*u + 2. Let c = 460897/83 + -5553. Which is smaller: u or c?
c
Suppose -2*u + 54 = -2*h, h + 564*u = 567*u - 23. Which is smaller: -492 or h?
-492
Let n(j) = -j**3 + 27*j**2 + 5*j + 72. Let y be n(28). Let t = -573 - y. Is t greater than or equal to -1/555?
False
Let y = 12637 - 12723. Let k = -288 + 200. Let b = y - k. Which is smaller: b or 0.1?
0.1
Let j be -6 + 6/(-48)*0 - -5. Is -3/3062 less than or equal to j?
False
Let s = 62879/16 + -3929. Which is smaller: 2 or s?
s
Let f = -5137 - -5160.67. Let i = 3.33 + f. Is i greater than or equal to 0?
True
Let n be (-1)/(-4 + 248/64). Let r be (-539)/(-35) - (n*-1 - -3). Which is greater: 19 or r?
r
Let i = -23395 + 34577813/1478. Which is bigger: -1 or i?
i
Let o = -0.238765 + 0.022435. Are -1 and o equal?
False
Suppose 0 = -0*k + 4*k + 5*u - 43, 0 = -u - 5. Let q(i) = 2*i + 1 + k - i**2 + 5*i. Let r be q(9). Is r not equal to -2/23?
True
Let b = -10 + -1. Let c = 11 + -9. Suppose 0 = -4*l + c*l - 24. Which is bigger: b or l?
b
Let f(a) = -a**3 - 38*a**2 - 435*a + 13. Let v be f(-24). Is 2389 <= v?
True
Let h = 0.42024 - -0.57976. Let c = -66 + 125. Is h less than or equal to c?
True
Let t be (3 - -5)*(-8)/192*-3 - 2. Let b be 1*-1 - 195/(-192). Is b bigger than t?
True
Let n be (-7)/1 - (1979/(-4))/(4496/64). Is 0 <= n?
True
Let y be (-14)/(-5) + (-5)/(-25). Suppose -y*v + 4*m = 3, 5*m - 7*m - 5 = 5*v. Which is greater: v or 10?
10
Let f(d) = 14*d**3 + 140*d**2 + 23*d + 170. Let z be f(-10). Suppose 0 = 4*l + 250 - 6. Which is smaller: l or z?
l
Suppose 4*c - 1416 = 3*t, 0 = 5*t - 9 - 11. Let f be (-876)/c - 6/51. Which is smaller: f or -2?
f
Let j = -7034/391 + 384/23. Let f = -21/17 - j. Suppose 3*z - 2*l + 0 = -1, -4*l = 4*z + 8. Which is smaller: f or z?
z
Suppose -8*i + 274 = -54. Suppose 3*b - 4*b - i = 2*a, -4*b + 135 = -5*a. Let w(j) = -j**2 - 2*j + 1. Let z be w(4). Does a = z?
True
Let h(g) = -50*g**3 + 49*g**3 - g + 5*g**2 + 3*g**2 + 10 + 0*g**2. Suppose -2*m + 5*v = -19, m - 5*m - 2*v = -26. Let z be h(m). Is z > 51?
True
Suppose -6*x - a = -x - 404, -400 = -5*x - 5*a. Suppose 0 = 9*n - x. Let t be 20/135*-3*-21. Do n and t have the same value?
False
Suppose 4*j + 93 = -a, 90 - 26 = -2*j + 2*a. Suppose 0 = 2*f + 4*t - 94, f = -4*f + t + 191. Let p = f - 63. Which is bigger: p or j?
p
Let r = 7.431 - 7.931. Are r and -146/9 equal?
False
Suppose 4*m - 209 = 5*s - 43, -3*m - 139 = 4*s. Is s at least -16?
False
Let z(h) = h**3 + 125*h**2 + 2187*h + 492. Let d be z(-104). Let i = -348 + 528. Is d < i?
False
Let t = 1539279/8 + -191985. Is 424 smaller than t?
True
Let f = -0.40213 - -0.00213. Which is greater: -239 or f?
f
Let b be (-2)/(-8) - ((199 - 184) + (-970)/66). Does 1 = b?
False
Let i = 122.58 - 122. Let p = 1.58 - i. Which is smaller: 4/13 or p?
4/13
Let f(j) = 2*j**2 + 2*j. Let p be f(0). Suppose -4*k - 3*d + 253 = p, 4*k - 2*d = 3*k + 77. Is 67 smaller than k?
False
Suppose 4*p + 84 = -12. Let w = 1.21 + 1.17. Let k = w - 4.38. Which is bigger: k or p?
k
Suppose m + 4*s = 3*m - 28, -2*s - 44 = -4*m. Suppose 3*h - 4*p + 251 = -11, -2*h - p - 193 = 0. Let a be ((-3)/(-4))/(h/32 + 3). Is a equal to m?
False
Let p = 3 + -52. Let l = 153 - 203. Let o = l - p. Which is bigger: -2/211 or o?
-2/211
Let h(a) = a**2 + 14*a - 29. Suppose 14 = -s - 2*v, s + 3*s = 4*v - 68. Let k be h(s). Suppose 2*r = r - 2, -r + 4 = -k*b. Which is greater: -3 or b?
b
Suppose -2*d = 4*m - 18, 5*m - 1 = -5*d + 24. Let b = 387 + -295282/763. Which is bigger: b or d?
d
Let b be (-1)/2 + (-30)/12 + 7. Suppose 7*a = 5*x + 6*a - 16, 0 = -4*a - b. Is x < -28?
False
Suppose 0*w - 4*w = 5*b + 72, 5*b - w = -57. Let o = -603.1 + 587.1. Is b at most as big as o?
False
Suppose 0 = -23*i + 60 - 83. Which is bigger: i or -38/47?
-38/47
Let c = -280135/13 - -21559. Is 1/3 at least c?
False
Let s = -2995 + 2469. Let f = -5 - -5.1. Is f greater than or equal to s?
True
Let n be 9*12/(-888)*12. Is n not equal to -1?
True
Let c(p) = p**3 - 15*p**2 + 24*p - 73. Let j be c(14). Suppose 0 = j*f - 75*f + 520. Is 67 