pose -35 = 131*j - 166*j. Let o = -277 - -3625/13. Let s = 2 - o. Which is greater: j or s?
j
Let v(q) = q. Let z be v(-16). Let j(h) = h**3 + 14*h**2 - 30*h + 29. Let d be j(z). Do d and -4 have the same value?
False
Suppose -8*f + 3*f + 20 = 0. Let o(r) = r**3 - 2*r**2 - 4*r - 258. Let h be o(0). Let v = h - -263. Which is bigger: v or f?
v
Let z(y) = 2*y - 8. Let m be z(5). Let k be m/2 - 6/(-3). Suppose 4*p = k*p + 5. Which is smaller: 4 or p?
4
Let m = -60 - -70. Let o(i) = m*i + 11*i - 18*i + 6. Let w be o(-4). Which is bigger: -11 or w?
w
Let f = -630 + 886. Let g be (-8 + 3)*f/(-5). Suppose 214 = -10*a - g. Do a and -47 have the same value?
True
Let u be 2*-3 + (1884 + -2)*4/8. Are 934 and u nonequal?
True
Let x be 5 + (7/49 - (-44)/(-14)). Suppose k - 4 = -k - x*q, 6 = 3*k + q. Is k greater than 21/16?
True
Suppose 0 = 4*f + f - 5*y + 400, -15 = -3*y. Let m = f - -78. Suppose 0 = j + a + m - 7, -2 = -3*j + 2*a. Which is greater: 1 or j?
j
Let j = -29357/1388310 + -3/6010. Which is smaller: j or 2?
j
Let z = -3.1 - 12.9. Let c = z + -14. Let r = 30.4 + c. Which is smaller: r or -6?
-6
Let d = 0 - 1. Let t = 161.958 + -162. Let g = -0.242 - t. Is d equal to g?
False
Let b = -389 - -338.1. Let f = 3.1 - b. Let n = f + -45. Which is bigger: -3 or n?
n
Let i = -56.9 + 98. Let j = 653 + -694. Let c = i + j. Is 0.1 at most c?
True
Let v(r) = -13*r**2 - 212*r - 23. Let j be v(-16). Is j at most 208/5?
True
Let r(l) = 18*l + 37*l + 24*l - 19 + 9*l**2. Let q be r(-9). Let y be ((-1)/(-2))/((-3)/6). Is q less than or equal to y?
True
Let h = 92353 + -3509429/38. Suppose 0*n - n + 1 = 0. Is h != n?
True
Let m = -17623 - -17620. Suppose -2*f - 30 = -3*f. Which is bigger: m or f?
f
Let o(r) = 5*r + 11. Let j be o(0). Suppose 10 = j*z - 6*z. Let w be 808/(-406) + 1 - (1 - z). Which is bigger: 1 or w?
1
Suppose 48 - 4 = 4*a. Suppose -k + a = 2*d, 3*k - 2 = 2*d + 7. Suppose 6*t + 10 = 4*t, -4*j + k*t = -21. Which is smaller: j or 3/19?
j
Let y be 0 + 4/(-30) - 105186/4230. Let q be ((-34)/3 + 2)*3. Which is bigger: q or y?
y
Let g(r) = 11*r**2 - r. Let f be g(-5). Suppose 2*v - 4*b = 4*v - 118, -3*b = -4*v + f. Suppose 2*q + 3149 = 49*q. Is q >= v?
True
Suppose 17*h + 14080 = 14097. Is h at most as big as 2/4741?
False
Let h = 14707 - 10043. Let x = h - 4546.68. Let b = x + -118. Is b < 1?
True
Let y = 274 - 230. Suppose y = 5*p - 3*t + 2, -3*t - 24 = -2*p. Which is smaller: 33/5 or p?
p
Let z = 1232 + -1041. Is 190 greater than or equal to z?
False
Let k be 6/15 + (-88)/120*-849. Let u = k + -600. Suppose -2*h = 3*h - 105. Which is smaller: u or h?
h
Suppose 0 = -2*k + 10. Suppose -22 = -5*t + o, 0 = 5*t + 3*o - k - 9. Suppose 2*r - t = i, 4*r = -5*i + 11 - 3. Which is greater: i or -4?
i
Let c = 9577/63 + -1033/7. Let m be 73/(-6)*60/144. Let k = c + m. Is 0 > k?
True
Let y = -249778/65 + 98246276/455. Let i = y + -212792. Let g = i - -705. Which is smaller: g or -3?
g
Let n = 87401 - 1579598271/18073. Which is smaller: 1 or n?
n
Let v = 8207 - 6417877/782. Which is smaller: 0 or v?
v
Let k = 371 - 371.003. Let i = -1.997 + k. Which is greater: i or -163?
i
Let y = 49999 - 50004. Let m be 10*1 - (-3 - -2). Is m greater than or equal to y?
True
Let a be 162/567 - (-1 + (-28599)/231). Which is bigger: a or 126?
126
Let t = 840/19 + -87/2. Is t > 2?
False
Let z = 219 + -216. Suppose -423 = 9*r + 189. Let u be (-256)/r + (3 - 5). Which is bigger: z or u?
z
Let r = 14532 - 319911/22. Is -2/3 greater than r?
True
Let d(f) = f**3 - 5*f**2 - f + 6. Let i be d(5). Let x be (-55)/33 - (-2)/146*(-766)/(-6). Which is smaller: x or i?
x
Let q = -0.0582 + 0.0382. Let u = -108 - -115. Which is bigger: u or q?
u
Let n(c) = -297*c**3 - 4*c**2 + c + 1. Let t be n(1). Let h(k) = -4*k**3 - 2*k**2 - 3*k. Let s be h(4). Is s at most as big as t?
True
Let q be (1 - -8)/((-3)/2) - -1. Let a be (q - 65/(-20))*(-2 + -2). Let w(k) = -k**3 + 6*k**2 + 8*k - 7. Let m be w(a). Is -25 at least as big as m?
False
Suppose -5*m + 12 = -m. Suppose 0*q - 24 = -m*q. Suppose -286*l + 221*l = -585. Is q at least l?
False
Let o = -7480 - -7478.8. Which is bigger: 43/3 or o?
43/3
Let a = 2605/4 - 644. Let o = 19/4 - a. Suppose -n + 2*z = z + 2, -2*n = 2*z + 4. Is n at least as big as o?
True
Suppose 0 = 5*p - 4*h - 130, 83*p - 5*h + 55 = 84*p. Let i(d) be the first derivative of 15*d**2/2 + 2*d + 2. Let b be i(2). Do p and b have different values?
True
Let y(v) = 4*v**2 + 114*v + 262. Let u be y(-25). Let b be (-58)/((4/(-3))/(-2)). Which is greater: u or b?
b
Suppose -18*s + 5*s = -78. Let u = s - -8. Suppose 142*d = 140*d + u. Which is smaller: d or 3?
3
Let t be 142/781 + 18158/(-44). Is -0.1 < t?
False
Suppose 0 = -2*r - 0*y + y + 43, -3 = y. Let v = 392 + -388. Suppose 0 = -v*o - r, 0*g + o = -2*g - 7. Which is greater: -4.8 or g?
g
Let a be 2/(-83)*(-82)/(-3034). Are a and -1 unequal?
True
Let n be (7/(-2) + 2)/((-2)/4). Suppose -5*f + 16 = -3*g - 7, f = -g + n. Which is smaller: 105/8 or g?
g
Suppose -u + 2 + 2 = 5*c, -3*u = -2*c - 12. Suppose u*z - 2*z - 30 = 0. Let q be (z - 16)*2/104. Which is bigger: 0 or q?
0
Let i(x) be the second derivative of 8*x**2 + 1/3*x**3 + 0 + 4*x. Let w be i(-8). Are 1/59 and w equal?
False
Let v = 71283/4 + -17822. Is v less than or equal to 121?
True
Let x = -83614/59872059 - 2/22249. Is -1 greater than x?
False
Suppose -5*h = 4*j - 89, -4*h + 69 = -24*j + 25*j. Suppose -2*l + 3*l = 34. Let u = l + -18. Do u and h have different values?
True
Suppose -6*m + 22 = -4*m. Suppose 0 = t + 1, -2*k + m = -3*t - 0. Let o(q) = -q**2 - q + 13. Let i be o(k). Which is smaller: i or -10?
-10
Let a = 80.96 + 1.04. Let f = a + -88.5. Let i = f + 7.8. Which is smaller: i or 2/7?
2/7
Let z = 115.14 - 116. Let q = 0.14 - z. Which is smaller: q or -28?
-28
Suppose 8894 - 1346 = -0*k + 6*k. Is k != 1266?
True
Let u(r) = -2980*r + 2320. Let m be u(1). Is -657 < m?
False
Let m = -164 - -196. Let k be (88/m - 3)/6. Let c(g) = g**2 + 2*g - 2. Let b be c(-3). Which is smaller: b or k?
k
Let i = 4 - -2. Let o be 4/i + (-4824)/(-54). Let t be (36/o)/(3/5). Is t at least 2?
False
Let y = -920 - -507. Let s = y - -413. Let i be 26/84 - 1/3. Do s and i have the same value?
False
Let p = -86496/7 - -12379. Which is greater: 23 or p?
23
Let x = -1 + -2. Let p be 0 + ((-10)/25)/(x/(-5)). Does p = 36?
False
Let t = 269827 - 269828. Let h = -264/25 - -878378/83175. Let y = 2156/103137 + h. Is y <= t?
False
Let f(z) = -z**2 + 8*z + 7. Let o be f(7). Suppose 2444 = o*p + 708. Suppose -4 = 8*l + p. Do -15 and l have the same value?
False
Let a(d) = d**3 - 3*d**2 - 49*d + 181. Let y be a(4). Which is greater: 3/2938 or y?
y
Suppose 8*n = 1177 + 543. Suppose -19*k - n = -14*k. Is k not equal to -40?
True
Let y = -9194 - -9194. Let i(o) = 101*o**2 + 2*o + 1. Let w be i(-1). Is w less than or equal to y?
False
Suppose 487 = -35*a + 452. Which is smaller: a or 6/1499?
a
Let t(z) be the second derivative of -z**4/12 + 2*z**3/3 + 12*z. Let y be t(2). Suppose 12 = -2*v - 4*p - 12, y*p = v. Are 1 and v non-equal?
True
Let b(k) = 2*k + 26. Let i be b(-12). Suppose -3*y + 1 = -6*y - i*f, -3*f - 12 = y. Let g be 2/y + 642/(-234) - -2. Which is smaller: g or 4?
g
Let h = -11479 + 11439. Is h less than 28?
True
Let q = -550 - -569. Suppose 18 = 4*b - 4*g - 106, -3*g = -5*b + 147. Let z = b - 28. Which is bigger: q or z?
q
Let g(a) = -a**3 + 2*a**2 + 6*a + 11. Let s be g(4). Suppose -s*f = 3*f - 18. Is f less than 1?
False
Let i = 59 + -59. Suppose -5*d - 3*w = -152, 2*w = -d - 7 + 36. Let b be 4 - (504/d)/4. Is b smaller than i?
True
Let r = 5099.042 + -5094. Let v = 5.3 - r. Which is bigger: 1 or v?
1
Suppose 28 - 56 = 28*r. Which is smaller: -41/52 or r?
r
Let v = 0.184 + 3.436. Let u = v + -3.82. Is u not equal to 2/73?
True
Let m = -273 - -274.25. Let x = 0.18 - -0.07. Let z = x - m. Does 42 = z?
False
Suppose -302 = -3*w + 5*i, 4*w + i - 356 = -4*i. Let q = -93 + w. Do 1/472 and q have the same value?
False
Let r be 9/(-12)*(-3 - ((-7)/3)/1). Which is smaller: r or -25?
-25
Let s = 322 - 323. Which is bigger: 3/133 or s?
3/133
Let d = -16235 + 16179. Does d = -169?
False
Let o = -1.2 - -1.2. Let z(h) = -2*h**3 + 12*h**2 + 2*h - 7. Let w be z(6). Let p be -3 + w/(-10) + 62/20. Is o less than 