= -219*m - 759. Let v be 3/369*(-135)/(-10). Are m and v nonequal?
True
Suppose 363 = w + f, 0 = -3*w + 12*f - 17*f + 1081. Which is greater: w or 368?
368
Let y be (-25)/(-3) - (-2)/(-6). Let a = 5392 + -5381. Which is smaller: y or a?
y
Let y = -377.7 - -399. Let q = 12.7 - y. Let i = -8.6 - q. Do -0.1 and i have the same value?
False
Let g be ((-4)/(-6))/((-1)/(-3)). Let k(y) = y**g + 2 + 17 - 2*y**2 + 0. Let h be k(0). Which is smaller: 20 or h?
h
Let a = 116 - 126. Let q(k) = -2*k + 13. Let p be q(a). Suppose 4*g + 9 = p. Which is smaller: 8 or g?
g
Let u = -18 - -31. Let r = -13.1 + u. Let s = -170.6 + 168. Is r less than s?
False
Let b be (-9 + 42/7)/2. Are 1/37 and b unequal?
True
Let q = -55 + -11. Let m be (q/15)/((3 + -2)/(-30)). Which is bigger: 133 or m?
133
Let q = 1325 - 17194/13. Suppose 3*k - 15 = -139*z + 142*z, 4*z = 2*k - 18. Which is smaller: q or k?
k
Let a be 1/(2 + 147/(-73)). Let f be -1 + -84 - ((-14)/42)/((-4)/(-144)). Is f at least a?
True
Let q be (-54)/(-25) + -76 + 74. Which is bigger: 1/6 or q?
1/6
Suppose 4 - 9 = -g. Suppose -15 = g*u - 0*u. Let d be 1/(-5) - (-6)/10*u. Which is bigger: d or -4?
d
Let u = -542.8878 + -0.1122. Let c = -547 - u. Which is smaller: c or -1/2?
c
Suppose -15*j = -10*j + 10. Let g be 1 + -18 + j - (27 - 22). Is g != -24?
False
Let h(t) = 111*t**3 - t**2 - t + 1. Let k be h(1). Suppose 82 + k = 4*p. Suppose 142 = 5*q - p. Is q > 38?
False
Suppose 0 = -4*t - 2 + 6. Let g be t - -1 - (59901/(-31))/3. Let k = g - 646. Is 1 less than or equal to k?
False
Let x be ((-1324)/1264 + 1)*(-190)/(-15). Is x bigger than 0?
False
Let u = -4072 + 4122. Is u <= -13?
False
Let z = -400 + 399.93. Which is smaller: -207 or z?
-207
Suppose 0*i + 3*i = -12, -2*i + 142 = 5*z. Let c be 46*3/z - (-2)/5. Which is greater: c or 29?
29
Let o be (3 - (-16)/(-6))*9. Suppose 4*v = 2*x - 28, 0 = -o*x + 9 + 3. Let i be v*(3 - (-58)/(-10)). Is 14 at most i?
True
Let a(g) = -3*g**2 + 6*g + 7. Let s be a(-2). Let w = -15 - s. Suppose -3*u + 17 = -w*u. Is u at least as big as 16?
True
Suppose m + 3*a - 2 = 0, 8*a - 4*a = -5*m + 10. Let s be -4 - (m - -3)/((-8)/24). Which is greater: s or 9?
s
Let l(k) = -k**3 + k**2 + 9*k - 7. Let c be l(3). Suppose -2*s - 10 = -h - c*h, 0 = -5*s - 10. Let o be ((-4)/(-80)*h)/((-1)/(-8)). Is o smaller than 4?
True
Let z = -32 + 31. Let p = 40 - 15. Suppose p = -4*v - 7. Which is greater: v or z?
z
Let l(d) = d**3 + 4*d**2 + 3. Let f be l(-4). Let q(v) = 7*v - 21. Let i be q(f). Is 2/201 at most i?
False
Suppose 3*j - 6 + 0 = 0. Let r be (3*(-65)/(-15) - 4) + j. Are 13 and r non-equal?
True
Let v be (-6)/(-76)*((-134)/(-603))/((-1)/6). Is 6/5 less than v?
False
Let g = -50 + 599/12. Let l = 7/12 - g. Which is greater: l or -4/19?
l
Let j = -1/965 - -26083/27020. Let a = j + -3/4. Suppose 0 = 20*q - 24*q + 4. Which is bigger: a or q?
q
Let c = 997 - 1004. Which is smaller: 5.8 or c?
c
Suppose 6*j - j - 4*l - 4 = 0, 2*j + l + 1 = 0. Let k = -345 + 875. Let i = -2646/5 + k. Is j < i?
True
Let m = -55693275/2719 - -20483. Is m > 1/2?
False
Let o be 657/2628 - ((-10666)/(-42536) + 0). Which is smaller: o or 0?
o
Let x = 8 - 0. Suppose 48*r = 52*r - 688. Let l = r - 174. Which is smaller: x or l?
l
Suppose 88*h + 7 - 133 = 25*h. Which is bigger: 20/9 or h?
20/9
Suppose -2*j - 5*m = 0, m = j - 5*m - 0*m. Is j smaller than -26/1275?
False
Suppose -4 = -3*i + 26. Let g = -20078 - -100443/5. Which is bigger: g or i?
g
Let v = -401 - -654. Let t = 216 - v. Is t smaller than -38?
False
Let y = -37643 - -8469343/225. Let v = y + 14/9. Let r = 1818 + -1819. Is v at most as big as r?
False
Let z be 172 - 28 - 2/((-4)/(-10)). Suppose 5*k = 16 + z. Do k and 31 have different values?
False
Let t = 1.038 - 1.03. Let y = t - -71.992. Is 1/4 less than y?
True
Let x = -865 + 1423. Let s = x + -559. Which is bigger: 3/245 or s?
3/245
Let b = -9927341/15 + 661310. Let p be 36/(-8)*114 - 0. Let t = p - b. Is t greater than -1?
True
Let p = 5926 + -5929.82. Which is smaller: 7 or p?
p
Let a be ((-15)/(-50))/(13944/15). Is 0 not equal to a?
True
Let r be (8 + -9)*3/1. Let b(w) = -4*w**2 + 4*w - 8. Let p(k) = 7*k**2 - 9*k + 16. Let t(q) = r*p(q) - 5*b(q). Let g be t(3). Is g less than 7?
True
Let a = -0.02 + 0.22. Let d = -1075 - -817.2. Let y = -260 - d. Which is bigger: y or a?
a
Let a(z) = 10*z - 14. Let u be a(2). Let f be (((-36)/(-3))/u)/1. Is f less than or equal to 15/29?
False
Let a = 27.117 + -27.279. Which is bigger: a or -5?
a
Let d be -545*((-9)/(-7) - (-18)/945*-15). Are -546 and d equal?
False
Let f be (-21)/(-9 + 2) + 1 + -1. Let b = 1 - 1. Suppose 0 = 2*g + f*c + 9, -3*c - 9 = -b*g - g. Which is bigger: g or -1/4?
g
Let g = 190 - 75. Suppose 3*v = 8*v - g. Let i(q) = q - 13. Let z be i(34). Which is greater: v or z?
v
Let v be (-3 + (-15)/2)*12/(-2). Let j be 6/2 + (v - 5). Is j less than 60?
False
Let g be (-257)/(-2040) + (-2)/(-10). Let j = g - -1/136. Is j > 14/13?
False
Let l(a) be the second derivative of 0 - 5/6*a**3 + 29*a + 13/2*a**2. Let c be l(0). Which is smaller: 37/3 or c?
37/3
Let z = -4839 + 4820. Which is smaller: -24 or z?
-24
Suppose 91*r + 367 = 2095 + 2094. Suppose 2*v + v = 111. Is r <= v?
False
Let i(f) = -f**3 + 8*f**2 - 6*f - 8. Let v(a) = a**3 - 8*a**2 + 6*a + 8. Let j = -28 - -33. Let q(d) = j*v(d) + 6*i(d). Let r be q(7). Are r and -2/9 unequal?
True
Let h(d) = -d**2 + 28*d - 53. Let b be h(2). Let v = 199 - 204. Is b <= v?
False
Let i(q) = -11*q**2 - 14*q - 13. Let h = -330 - -329. Let v be i(h). Are v and -9 unequal?
True
Let v = 1 + 6. Let b(q) be the second derivative of -q**5/20 + 2*q**4/3 - 2*q**3/3 - 4*q**2 - 134*q + 2. Let c be b(v). Is c >= 12?
True
Let i = -9.05 + 9.45. Which is greater: -34.5 or i?
i
Let x = 74232/55 - 1321939/495. Let h = -1321 - x. Which is greater: 0 or h?
0
Suppose 38*k = 14*k - 384. Let r(o) = o**3 - 8*o**2 + o. Let s be r(8). Let t be ((-44)/s - 2)*k/(-6). Which is bigger: t or 0?
0
Let b = -5877 + 5844.2. Which is smaller: 0.5 or b?
b
Suppose -19*p = -165626 - 22284. Let j = 1532944/155 - p. Which is smaller: 0 or j?
j
Let v = 304 + -337. Let a be 3/((-27)/2) - v/27. Which is smaller: a or -3?
-3
Let s = 73467/41972 - 4/10493. Let x(g) = 2*g**2 - 12*g. Let c be x(9). Let h = 268/5 - c. Which is smaller: s or h?
h
Let j(r) be the second derivative of -r**5/20 - 3*r**4/4 - 3*r**3 - 7*r**2 + 52*r. Let m be j(-7). Which is greater: m or 15?
15
Suppose 13*w = 16*w + 21 - 18. Is w <= 3/10819?
True
Let r = -1312 - -995. Is -325 < r?
True
Suppose 0 = -27*a - 309 + 282. Which is smaller: a or 34/215?
a
Let c(v) = -3*v. Let x be c(-2). Suppose -18 = -7*n + 10*n. Let i = n + 9. Which is bigger: x or i?
x
Let b be 22 + (-11 - -2 - 95). Which is greater: -404/5 or b?
-404/5
Let a = -569 + 549. Let u = 0.005 + -22.005. Let f = u - a. Is f at most -3/2?
True
Let n(j) = j - 12. Let t be n(12). Let s be (-12)/(-14) - (-11792)/(-14476). Is t < s?
True
Let i be 35 - ((-5 - 3) + 13). Let o be (i/135)/(4/(-18)). Is -2/1729 less than o?
False
Let t = -50 - -64. Suppose t - 16 = m. Is m at least -11/6?
False
Let s = 4877 + -5376. Are -497 and s equal?
False
Let t = -9899 - -9971. Is t at least -14?
True
Let f = -2627837/53 + 49579. Do f and -3 have the same value?
False
Suppose y + 23391 = 4*w, 5*y + 425 = -w + 6299. Do w and 5849 have different values?
False
Suppose 1132 + 128 = -14*k. Let t = 113 + k. Is t equal to 10?
False
Suppose -190*m = -101*m - 89. Is m < -8/2441?
False
Suppose -a + 89 - 28 = n, 5 = 5*a. Which is smaller: 1036/17 or n?
n
Suppose 0 = -2*c + 529 - 1603. Is c at least as big as -540?
True
Let m be 6/(-90)*(-1650)/(-1860). Is m less than 1?
True
Let s be (78/65)/(4/(-10))*1. Which is bigger: -47/13 or s?
s
Let d = -3.64 - -8.44. Let l = -0.1 - -0.1. Which is greater: d or l?
d
Let r(f) = 3*f**2 + 3*f + 23. Let b be r(-7). Suppose 0 = -5*g - b - 116. Are -53 and g nonequal?
False
Let q = 19.34 + -184.24. Let y = q - -166. Which is greater: -5 or y?
y
Let s = -5132 + 5737. Is 605 < s?
False
Let j be ((-3252)/21 + -2)/((-6)/56). Suppose -1459*s = -j*s. Is s at least as big as 7/143?
False
Let y be 4/5 - (-4)/20. Let b be (-4)/(-11) - (-608)/5676*-6. Which is smaller: y or b?
b
Let i(z) = 43*z**2 - 1419*z + 3. Let x be i(33). Is 42/11 >=