0. Suppose 3*y = -3*q + j + 2, 3*y + 2*q = 10. Are y and 3/29 unequal?
True
Suppose 2*a + 2*a - 16 = 0. Suppose 0 = -3*m + 3*p + 9, -9 = -3*m - 2*p - 2*p. Let f = m - a. Does 0.06 = f?
False
Let v(s) = -s**3 + 16*s**2 + 20. Suppose 3*p - 16 = 2*p. Let r be v(p). Let k be 76/(-110) + 12/r. Do k and 0 have different values?
True
Let x be 1/(1 + (-60)/63). Let h(f) = f**3 + 28*f**2 + f + 49. Let j be h(-28). Do j and x have the same value?
True
Let z = 25420 + -4092638/161. Let f = z - 4/23. Which is bigger: f or -10?
f
Let g be (-750)/9*(-2)/3705. Let s = -16013/77805 - g. Let o = 1/35 + s. Which is smaller: o or -1?
-1
Let d(g) = g - 16. Suppose 0 = 4*n - 14 - 26. Let v be d(n). Is -6 > v?
False
Let f = 3.3 + -2.76. Let u = -18.54 + f. Are -0.1 and u equal?
False
Let m be 6/14 - ((-627)/(-189) + -2). Which is greater: m or 0.2?
0.2
Suppose -s = s + 8. Let v be -19*((-4)/s - 2). Suppose -v = 3*c + 17. Which is bigger: -10 or c?
-10
Let c be -4 + 1 - (0 + -1 + -3). Do c and -4/13 have the same value?
False
Let r = -3809/114 - 62/57. Which is smaller: -34 or r?
r
Let a be 2 + 44/(-572) + (-202)/78. Which is bigger: 1/75 or a?
1/75
Let f(w) = w**2 - 7*w - 6. Let o be f(8). Let j(g) = 9*g + g**2 + 17 + 4*g - 5. Let p be j(-12). Is p less than o?
True
Suppose 0 = -0*b + 5*b - s - 32, 4*s = b - 14. Let c be 8/(-10)*b/(552/(-10)). Which is bigger: -1 or c?
c
Let b = -340 - -348. Which is bigger: 3.3 or b?
b
Let r = 0.095 + -0.195. Which is smaller: -7.1 or r?
-7.1
Let j = -6725/8 - -842. Is j greater than 0?
True
Let w = 6 - 19. Let l = w - -7. Which is smaller: l or -7?
-7
Let y = 51 + -59. Suppose l = -4*t - 28, -3*t - 21 = 5*l - 0. Which is smaller: t or y?
y
Let m be (-1)/20*1005/(-134). Suppose 4*u + 3 = -1. Which is smaller: m or u?
u
Let b be (24/126)/(420/(-98)). Which is bigger: -0.2 or b?
b
Suppose y - 225 = 6*y. Let r = 47 + y. Is 2 < r?
False
Let p be (-10)/(-15) - 4472/(-6). Let n = p + -12686/17. Which is smaller: 1 or n?
n
Let s = 58.2 - 10.2. Is s at most as big as -1?
False
Let n be 12/27*(-27)/(-6). Suppose -5*b - 3*k - n = 1, 4*b + 3*k = -3. Which is bigger: 2/15 or b?
2/15
Let u be (-2 - -4)/((-402)/(-18)). Which is greater: -1 or u?
u
Suppose -3*v = -12, 4 = 2*a + 5*v - 28. Let t be (-612)/(-30) - a/15. Which is smaller: 21 or t?
t
Let l be (-18)/(-12)*3/(-9). Do 17/24 and l have the same value?
False
Suppose 9*u - 2 = 7. Let w = 9 + 22. Let d = w + -61/2. Is d != u?
True
Let b = -222 + 228. Which is bigger: 36/5 or b?
36/5
Let m = -458 + 439. Let o = 0.435 - 19.735. Let u = o - m. Is u at least 7?
False
Let h be (-18578)/(-882) + 4/(-14). Which is bigger: 21 or h?
21
Let j be (-5 + 6)/((-3)/6) - -5. Let u be (14/56)/(j/8). Which is smaller: -6/5 or u?
-6/5
Suppose 4*f = 10*f. Suppose f = 5*a - 11 - 9. Suppose j + a*j + 2*v = 55, j - 11 = -2*v. Is j at most as big as 11?
True
Let x be (10/6)/((-246)/9). Let h be ((-9)/6396)/(30/(-8540)). Let q = h - x. Are 0 and q equal?
False
Let l = 3 + -3.05. Let p = -1.05 - l. Let m(z) = -5*z - 10. Let v be m(-3). Which is smaller: p or v?
p
Let b(u) = 3*u - 1. Let n be b(2). Suppose 6 = n*w - 24. Let f be 95/225 - w/27. Is f at most as big as 3?
True
Let h = -125 - -193. Suppose -3*m = -16 - h. Suppose 0*o - 3*o - 4*k = -m, -16 = -3*o - k. Which is smaller: 6 or o?
o
Let f = -1163 + 1163. Which is smaller: -0.07 or f?
-0.07
Suppose 3*i - 5*y - 7 + 5 = 0, 2 = -i - y. Are i and -7/33 equal?
False
Suppose 4*v = -3*i - 76, -i + 3*i = -v - 59. Which is smaller: -22 or i?
i
Let j(m) = 6*m - 28. Let i be j(4). Let v = 25 + -17. Let p = 6 - v. Which is greater: p or i?
p
Let u = 916 - 901. Which is bigger: -1.1 or u?
u
Let p = 2.572 + -0.572. Let r = -15/4 - -7/2. Which is greater: r or p?
p
Let n be (-28)/22617*3/2. Is n bigger than -1?
True
Let x be (3036/(-207))/((-8)/78). Which is bigger: x or 141?
x
Let r = 0.1 - -1.9. Let n = -1 + r. Let p = -1983 + 1985. Which is greater: n or p?
p
Suppose -2*v = 5*m + 25, v + 0 = -m - 8. Is -2/65 bigger than m?
True
Let h be 918/440*2/(-129). Let f = h - -1/110. Suppose 2*t = 6*t. Is t greater than f?
True
Let u(v) = -v**2 + 10*v + 21. Let q be u(11). Let o be q*(-9)/(-12)*-2. Is o greater than -16?
True
Let k = -15 - -9. Let r = -11 - k. Suppose t = 5*z - 1, -2*z - 5 = 3*z. Is t != r?
True
Let v = 281/536 + -10/67. Is -7 <= v?
True
Let w = -0.15 - -2.15. Which is smaller: -14.9 or w?
-14.9
Suppose 0 = 5*r - r - 4*v - 68, 2*r = 5*v + 25. Let c = -152 + 185. Suppose 3*y = -5*z - 0*y + r, -y = -4*z + c. Do 9 and z have different values?
True
Let d = 311 + -337. Which is smaller: -420/17 or d?
d
Let r = 332 + -640. Is r bigger than -307?
False
Let u be (-2)/7 + (-12)/(-42). Let p be (-1)/(-2)*u/3. Suppose p = -0*s + s + 1. Are s and -1 equal?
True
Suppose -10*l - 66 + 306 = 0. Suppose l*p = 4*p + 20. Which is smaller: p or -1?
-1
Let m be -5 - (69/(-5))/3. Let o = 50 + -48. Is m >= o?
False
Let a = 50 + -30. Let o = 19 - a. Which is greater: o or -7/8?
-7/8
Let u = -1034 - -218178/211. Which is bigger: -1 or u?
u
Let h(i) = i - 6. Let c be h(0). Let z = 33 - 11. Let m = -31 + z. Which is greater: m or c?
c
Let y = -2 - 1. Let f = -390.9 - -391. Is y > f?
False
Suppose -13 + 0 = -13*t. Is t >= -42?
True
Let r be 0*((-210)/(-50) + -4). Which is greater: r or 24/157?
24/157
Suppose 36*f + 10*f - 11960 = 0. Which is greater: f or 1?
f
Let q(u) = u**2 + 2*u + 2. Let w be q(-4). Let x = w - 6. Suppose -2*p - x = -p. Which is smaller: p or -5?
-5
Let d = -382143 - -215292. Let j = -2332817/14 - d. Let k = j - 221. Which is bigger: 0 or k?
k
Suppose -j + 10 = 3*k, -4*j + 4*k = 3*k - 40. Suppose 0 = -4*t + j + 26. Is 10 greater than t?
True
Let r be (-4 + 7 + -3)*(-1)/2. Do 1/99 and r have different values?
True
Let l be ((-10)/8)/((-7)/(-364)). Let z = l - -15. Let k be z/10 - -2*2. Are -1/19 and k equal?
False
Let f = 1.083 - 467.083. Which is greater: 2 or f?
2
Let z(m) = 142*m**2 + 7*m - 5. Let g be z(4). Let r be (-68)/g*(-10)/12. Which is smaller: r or -1?
-1
Suppose 40*v + 3978 = -542. Do v and -115 have the same value?
False
Suppose -8*j = -5*j. Let c be (22 - 4) + (7 - 3). Let m be ((-2)/c)/((-9)/27). Which is smaller: j or m?
j
Suppose 324*p - 321*p = -48. Is -4 < p?
False
Let y = 771 - 775. Is y smaller than 3?
True
Let m be 7 - 4 - (-42)/(-12). Are -0.107 and m unequal?
True
Suppose -16 = 34*g - 33*g. Let q be 3/(-6) - (-87)/(-6). Are g and q equal?
False
Suppose 5*z = -17 - 8, -3*a - 5*z - 43 = 0. Let m be (1/1)/(16/112). Suppose 5*f + m*f + 84 = 0. Are a and f unequal?
True
Let u = -48 + 73. Let p be -93*u/(-60) + (-2)/(-8). Is 40 less than or equal to p?
False
Let h = -2253 + 2191.04. Let u = h - -0.96. Are u and 0.1 nonequal?
True
Let u(f) = f**3 + 5*f**2 - 8*f - 7. Let o be u(-6). Let t(x) = 3*x**2 + x**2 - 15*x - 5 - o*x**2. Let g be t(-13). Is g less than or equal to 21?
True
Let i(w) = -2*w + 87. Let u be i(44). Is u > 6/77?
False
Suppose z - 269 = -104. Suppose -z*f + 160*f = 0. Is -2/79 at least f?
False
Suppose -4*m + 1 = 9. Let r be -1 + -1 + 5 + m. Let i = 47/3 - 311/21. Which is greater: r or i?
r
Let c(j) = -j**3 + 8*j**2 - 5*j - 1. Let m be c(7). Let w(l) = 3*l**2 - 41*l + 10. Let h be w(m). Are h and -16 equal?
True
Suppose -3 = -3*l + 3. Suppose -3*q + 5*m = 15, -q + m = l*q + 3. Is q at least 1/12?
False
Let k = -13 - -2. Let p(f) = f**2 - 8*f + 1. Let n be p(6). Is k at most as big as n?
True
Let r(k) be the third derivative of -k**4/24 + 2*k**3/3 - 3*k**2. Let v be r(3). Let q be (3/(-7))/((-30)/100). Are q and v nonequal?
True
Let k be -1 + 7 + (-784)/136. Let h = 3 + -2. Which is smaller: h or k?
k
Let x = -157 + 232. Let p be 1/(-18)*x/(-50). Which is smaller: p or 1?
p
Let n = -444 - -640. Suppose 0 = 200*o - n*o + 200. Which is greater: -52 or o?
o
Let b be (-9)/72 + 116/1312. Is 6 < b?
False
Suppose -5*o + 2*c - 15 - 15 = 0, 5*o + 3*c + 5 = 0. Let f(i) = -3*i - 8. Let y be f(o). Let j be (-1)/28 - y/(-14). Which is smaller: 0 or j?
0
Suppose 0 = -17*c + 8*c - 387. Let b = c - -44. Which is bigger: 3/52 or b?
b
Let m(v) = -23*v - 67. Let g be m(-5). Let z be ((-22)/30 - -1)/(g/120). Which is bigger: -3/28 or z?
z
Let d = 28 - 69. Which is bigger: d or 0?
0
Let o be 3/4*2*(-2)/12. Let d = -11 - -12. Which is smaller: d or o?
o
Let