2*q + 3*z - 1690, -z + 846 = -2*q - 832. Is -835 equal to q?
False
Let g(h) be the third derivative of h**4/8 + 4*h**3/3 + 2*h**2 + 8*h. Let s be g(-3). Which is greater: 2/193 or s?
2/193
Suppose -5*l - 4 = -24. Suppose w = 5*w - l. Is w != 3/17?
True
Let i(w) = -w**3 - 12*w**2 - 9*w - 3. Suppose -c + 3*j - 23 = 0, -2*c = 2*c - 3*j + 56. Let m be i(c). Is -25 less than m?
False
Let p = 14.91 + 1.79. Let r = p + -17.1. Is 76 at most as big as r?
False
Suppose -z + 6*z = -f - 184, -182 = f + 4*z. Let j = f + 2606/15. Which is bigger: 9 or j?
9
Let n = 1404.33 + -143.33. Is -5 >= n?
False
Let c = 10858 + -10858.04. Is c not equal to 2/253?
True
Let x = 3922.1581 - 3922. Let t = x + -0.0581. Is t bigger than 354?
False
Let f be 4/3 - (-1973606)/5511. Is f at most as big as 358?
False
Let n be 24/10 - (-4)/(-10). Let s be (830/(-40))/((-15)/(-560)). Let k = s - -777. Which is smaller: n or k?
n
Suppose 0*k + k = 35. Let i = k + -35. Suppose -y + 12 = y - 3*d, i = -2*y + 2*d + 8. Which is greater: 1/66 or y?
1/66
Let o be (-2)/7 - 304/(-966). Let i = 297 + -259. Suppose 6 = -i*f + 32*f. Which is bigger: o or f?
o
Let r = -93 - -93. Suppose r = -3*n - 2*v - 9, n = 4*n - 2*v - 3. Do n and 6/91 have the same value?
False
Let f be 26564/(-8) + (-1)/2. Let n be 9/15 + f/(-2565). Which is smaller: n or 1/3?
1/3
Let x = -10400653/2380270 - 2/51745. Which is smaller: -4 or x?
x
Let x(v) = -v - 2. Suppose n + 26 = 4*n - u, 3*u - 3 = 0. Suppose 4*b - n = -3*p - 27, -2*b = -3*p. Let a be x(b). Are a and -5 equal?
False
Let f be (-8)/60*9 - 716/(-555). Do 1 and f have different values?
True
Let g(z) = -z**2 - 33*z - 76. Let a be g(-27). Suppose -78*i = -a*i + 8. Which is smaller: i or 1.57?
i
Suppose 0 = -5*o - w + 498, -5*o + 290 = 3*w - 214. Let n be -1*982/(-10) + 2. Let t = o - n. Which is greater: t or 0?
0
Let i = -148 - -150. Suppose -4*k = 2*d, -4*k - 15 = 5*d + k. Let z be -1*2/4*d. Is z != i?
True
Suppose 2*u = 6*u. Let b be (15/6)/(-5)*22/1. Let s be (-2950)/(-110) + (-2)/b. Do s and u have different values?
True
Let g = -2874022591/3861972 - -9/143036. Let m = 744 + g. Which is smaller: 2/5 or m?
m
Let k be 1/2 + (-10)/16. Let j be 486/(-15) + 105/(-70)*(-2)/(-5). Which is greater: j or k?
k
Let p = 5.833 - 5.8. Let z = -47287 + 47289. Which is greater: z or p?
z
Suppose 22807 = 100*z - 105*z - 4*d, 0 = -5*z - 5*d - 22800. Do -4566 and z have the same value?
False
Let z be (-10187223)/(-3855) - 7/(-5). Which is greater: z or 2645?
2645
Let l = 1594/88447 - 5/241. Let b = 26796/1835 + l. Which is smaller: 0 or b?
0
Let z = -1168/13663 + 9/1051. Which is bigger: z or -20?
z
Let g(j) = -126*j**2 - 1009*j - 53. Let m be g(-8). Let r = -765/7 + 109. Is r < m?
False
Let p(n) = n**3 - 17*n**2 + 44*n - 32. Let h be p(14). Let y be -7 - 8345/(-2781) - 16/h. Is 1 != y?
True
Let k(j) = -1240*j + 25. Let q be k(-5). Let i be 14/(-10) + 8765/q. Is i less than or equal to 1?
True
Let w = -99417/3524 - 34/881. Are -28 and w equal?
False
Let t = 189 + -191. Let b be ((-65)/(-10) - 8)/12. Which is smaller: b or t?
t
Let k be (6/(-3) - -2)*7/(-14). Is -228/191 != k?
True
Suppose 3*r = -6 - 9, 0 = -y - r + 19. Suppose y*u + 16 = 16*u. Let h = -9 + 5. Which is smaller: u or h?
h
Let w = 1462867117/2624375 + -9/201875. Let o = 2944/5 - w. Is o at least 30?
True
Let p = 23 + -23.008. Let s = -4.008 - p. Let d = s - -3.7. Does -0.07 = d?
False
Let b = 42 - 21. Suppose -b = -26*z + 19*z. Let s be 0 - (-3 + z + 2/4). Is s > -1?
True
Let q be (4652/8*1)/((-150)/(-1175)). Let u = q - 4552. Which is smaller: 4 or u?
u
Let z = -2.95 - -3.1. Let g = z + -0.19. Let m = 7.04 + g. Is -2/9 greater than or equal to m?
False
Suppose -4*z = 4*v - 4, 4*v - 6 = v. Suppose 11*g - 2600 = -2644. Let b(q) = -13*q**2 - 55*q - 11. Let x be b(g). Do x and z have the same value?
False
Let v = 1.14 - 1.018. Let f = v + -0.222. Which is bigger: 84 or f?
84
Let q = 0.5126 - 0.2453. Which is smaller: 0 or q?
0
Suppose -12 = 4*i - i - 5*w, 3*i + w = 6. Let j(u) = 329*u - 1. Let m be j(-1). Let r = m + 4954/15. Which is bigger: i or r?
i
Let f be 534/42 - ((-32)/14 + 2). Suppose -3*j = 4*z + 24, -9*j = -z - 5*j + f. Let o = -13 - -18. Is o smaller than z?
False
Let y be (-2)/(-7) - (-10595)/35. Let v = y + -10303/34. Suppose 4*i = -5 + 9. Which is greater: i or v?
i
Let y = -0.4 - 1.6. Suppose 3*g + 5 = 4*g + 2*l, 10 = 4*g - 2*l. Suppose -g*q = -q + w, -5*w + 10 = 0. Which is smaller: q or y?
y
Let a = -11/125 + 1881/5750. Do -2/3 and a have different values?
True
Let w be 8 - (2/(-2))/1. Let s be 1295/(-45) - 1 - (-2)/(-9). Let p be ((-16)/12)/(-3 - 86/s). Is w at most as big as p?
True
Suppose 25*b + 5*y - 66 = 23*b, 15*b + 2*y = 282. Let k(t) = t**2 + t - 3. Let w be k(-4). Is w greater than or equal to b?
False
Let b be (-1)/2 + 286/(-12). Let n = b - -428/15. Let r be (-1210)/(-968) + (-15)/(-4). Which is greater: r or n?
r
Suppose 272 = 16*p + 18*p. Suppose 0 = p*d + 35*d - 43. Which is smaller: d or -201?
-201
Suppose 16*x - 43286 = -165158. Is x at least -7617?
True
Suppose -4*f = 4 + 236. Let b be -1 + 21/15 - (-274)/f. Let i = 57/14 + b. Is i at most as big as -1?
False
Let v be (-100)/56*(-1 + 2 - -3). Which is smaller: v or 6?
v
Let x = 827834/72885 + 142/1695. Which is greater: 11 or x?
x
Suppose 3*i + 41 = -103. Let m be i/(-9)*2*(4 - 7). Which is smaller: -34 or m?
-34
Let v be -5 + 13698/(-81) + 3 + 0. Let r = 171 + v. Is -0.27 >= r?
False
Let f(o) = 631*o**2 - 321*o - 1907. Let w be f(-6). Is 22735 smaller than w?
False
Let s be (6/840)/(1/(-19)). Let x = s - 4/35. Suppose 0*l - 3*l - 9 = 3*n, 0 = -4*l - 5*n - 16. Is x at least l?
False
Let v(w) = -10*w + 80. Let r be v(7). Suppose 0*m - m - 15 = -3*g, -2*g + r = 0. Which is bigger: m or -143?
m
Let d be 9328/(-1272) + (-10)/6. Which is bigger: d or -171/17?
d
Let x(l) = 16*l - 459. Let t be x(29). Suppose -5*n + j = -j + 18, -2*j = -2*n - 6. Which is greater: t or n?
t
Let f = 449151037326137/12330982627040 - -33/1000891447. Let u = -7/1760 - f. Which is greater: u or -36?
-36
Suppose -19*j = 116657 + 72374. Are j and -9947 equal?
False
Let b = 866 - 865. Which is bigger: 0.1774 or b?
b
Suppose 96*t - 41898 - 569046 = 0. Which is bigger: t or 12725/2?
t
Let d = -35 - -35.196. Let v = -0.21 + d. Which is greater: -1 or v?
v
Let n(m) = -5*m - 4. Let x be n(-2). Suppose -4*f + x*f - 12 = 0. Let z be (-10)/f - 16/(-24). Is 5/3 >= z?
True
Let b be 4/(-18)*1 + 8/36. Let w = 233101/139 - 1677. Does w = b?
False
Let k = 77514 + -77513.41. Let l be 2 - 8/6*2. Which is bigger: l or k?
k
Suppose -617 = 54*d + 191*d + 118. Which is smaller: d or -97/29?
-97/29
Let x(q) = -407*q + 316. Let g be x(1). Is g <= -1534/17?
True
Let x = 792.7765 - -0.2235. Which is smaller: x or -0.2?
-0.2
Let f = 3750 + -3063. Which is bigger: f or 682?
f
Let h = -50.5 + -13.5. Let q = h + 54. Let c = q + 9. Is c < 2/7?
True
Let r be (-566)/8*(10 - (4 - -2)). Let o(w) = 21*w + 137. Let t be o(-20). Is r >= t?
True
Let j = 152 - 153. Let x be -1*(0 - -1)*-30. Let c be j/x*25/(-40). Is 1 < c?
False
Let x = -5252 - -5251.6. Suppose -o + 4*o = 2*a - 90, 234 = 5*a - 3*o. Which is smaller: a or x?
x
Suppose 3*u = 4*z + 12, -203*z + 6 = -205*z - u. Which is smaller: z or 292.8?
z
Suppose 556*u + 430 = -126. Which is smaller: u or -6790?
-6790
Let m = -6259 + 4680. Which is bigger: m or -2?
-2
Let p(k) = -k**3 - 12*k**2 - 13*k - 6. Let r be p(-11). Let w = 2681 - 2665. Let g = r - w. Which is bigger: g or -2/7?
g
Let d be ((-2504)/939)/(2/(-2238)). Is 2984 less than d?
False
Let h = -18741 + 18748. Let n = -32 + -15. Which is smaller: h or n?
n
Let k = 12 - 7. Suppose -k*o - 3*w + 2 = 0, o + 2 - 1 = -2*w. Which is smaller: o or -3/80?
-3/80
Let o = 0.0737 + -0.4767. Let y = -0.353 - o. Which is bigger: 1/4 or y?
1/4
Let l be (-2)/1*(-17543)/(-106). Let g = -139 - l. Is 192 at most g?
True
Suppose -37*s + 8307 + 55521 = -10*s. Is 2365 at most as big as s?
False
Suppose -126 = 7*m - 0*m. Let g be (-90)/(-48) + -2 + (-245)/14. Which is smaller: m or g?
m
Suppose -5*u + 2*j + 8 = -5, -3*j - 7 = 5*u. Suppose -5*x = -15, 4*y + 961 - 7690 = 5*x. Let a = -89352/53 + y. Is a smaller than u?
True
Let v = -116.54 + 106.54. Is v bigger than 3/326?
False
Let r = 0.165 + -2.505. Let 