+ 2. Do n and u have the same value?
False
Let m = 158093689/228439 - -27/7369. Let c = m - 692. Do 0 and c have different values?
True
Let y be ((-5)/(-50))/(1/2). Suppose -4*z + 9 = 3*x, 4*z - x + 5 = 2. Which is bigger: z or y?
y
Let f = 105 - 743/7. Is -1 < f?
False
Let q(h) = h**3 + 5*h**2 + 5*h + 4. Let z = 10 + -14. Let k be q(z). Is k smaller than 3?
True
Suppose 0 = -5*b + v + 19 - 78, 4 = -4*v. Do b and -12 have the same value?
True
Let x = 0.86 + -0.16. Let q = x - -0.3. Is 1 greater than or equal to q?
True
Let x be (36/(-7))/((-8)/28). Suppose -4*g = -3*k + 30, 2*k + 0*g - x = 2*g. Is -1 less than or equal to k?
True
Let z = -3 + 5. Let f(d) = 3*d + 32. Let r be f(-10). Is r smaller than z?
False
Let r be 4*(-2)/16*-1. Which is bigger: r or 8?
8
Let j be (-6)/(-15)*(-5)/(-1). Let z be (j - 2) + 12/3. Let v be (-3)/9 - (-13)/3. Is z smaller than v?
False
Let p be 4/(-14) - (-25)/14. Let v = 0.2 - 11.2. Let x = -10.9 - v. Which is bigger: x or p?
p
Let l = 2.8 + -3. Let o = l + 0.15. Is o smaller than -0.1?
False
Let g = -6 + 1. Let a = -22 - -152/7. Is g greater than or equal to a?
False
Let v be (-1)/1 - (-2)/(-8). Is v bigger than 2?
False
Suppose -5*b + 38 = 4*o, 0 = b - 4*o + 2. Are b and 6 nonequal?
False
Let f = 57 - 52. Is 23/4 at most f?
False
Let i = 0.77 + 0.23. Are i and -1 unequal?
True
Let w = 0.3 + -0.6. Let p = 5.3 - 5. Let t = 0.4 - p. Is t > w?
True
Let t = -6/7 - -3/7. Let a = -3 - -3. Is a at most t?
False
Suppose -1 = -7*a + 13. Do a and 15/17 have different values?
True
Let b = -10/7 + 19/28. Which is bigger: 0 or b?
0
Let x = 2.9 - 3. Let p = -3 + 3.1. Let y = p - 1.1. Which is bigger: y or x?
x
Let b = 3729/16 - 233. Which is bigger: 1 or b?
1
Let k = -3 - -2. Let x = -258 - -2061/8. Which is bigger: k or x?
x
Let b be (-44)/(-203) - (-2)/(-7). Is 0 bigger than b?
True
Let j = 1234428/4763 - -438/433. Let s = j - 260. Which is smaller: 1 or s?
s
Let r = 7 + -3. Suppose 3*c + 44 = 4*x, -3*x - 7*c + 2*c + 4 = 0. Let b = -3 + x. Is r less than b?
True
Let j = 54 + -14. Which is smaller: j or 38?
38
Let p be 20/42*18/(-24). Is p < -1?
False
Let j = 10 + -2. Let q = j - 6. Suppose -2*g = -0*g. Is q <= g?
False
Let y = 1/257 - 2317/1028. Let t(s) = s - 3. Let c be t(3). Which is greater: y or c?
c
Let v = 25/9 - 13/9. Let q(m) = -m**2 - 5*m. Let u be q(-5). Do v and u have the same value?
False
Let j = -0.03 + 4.03. Let f = -8 - -3. Let a = j + f. Is 3/2 at most a?
False
Suppose 15*n = -7*n - 2156. Is n not equal to -98?
False
Let x(y) = -y**2 - 6*y. Let z be x(-6). Suppose z = -2*w - w - 9. Suppose 15 = 3*j - 5*v + 42, 4*j + 5*v = -1. Which is bigger: w or j?
w
Suppose -4*a + 4*b + 4 = 0, 0 = -2*a - 5*b + 2. Which is bigger: a or -3/7?
a
Let o = 57 - 74. Is -17 >= o?
True
Let z(k) = k**3 + 11*k**2 + 18*k + 4. Let h be z(-9). Let l = 3/106 - 227/530. Which is smaller: h or l?
l
Let v(w) = -2*w + 1. Let s be v(3). Let t(i) = -i**3 - 4*i**2 + 2*i - 3. Let b be t(s). Which is smaller: b or 11?
11
Let u = 17 - 14. Let r = -2.5 + 0.5. Let g = u + r. Is 0.05 >= g?
False
Let v be 2/7 + (-75)/(-7). Let j = v + -7. Suppose -j*d - 3*c + 1 = 0, 0*c + 2*c = 2*d - 18. Is d less than 3?
False
Suppose 0*q + 2*q - 2*d = -10, 5*q = -5*d - 25. Let l = -4 + 4. Is l at most q?
False
Suppose -1 = -p + c, p + c = -4 + 3. Which is greater: p or 1/22?
1/22
Let z(l) = l**3 - 7*l**2 - 7*l - 10. Let v be z(8). Let p be (v + 6)*3/6. Is p greater than or equal to 0?
True
Let f be (-4)/10 - (-76)/(-10). Let i = 2 + f. Let u be ((-2)/3)/(i/9). Is 0 at most as big as u?
True
Let t be 4/12*(-1)/(-2). Which is smaller: 0 or t?
0
Let b = 79/15 + -1207/195. Which is greater: b or -2?
b
Let p(o) = -11*o + 2. Let r be p(-3). Let z = r - 104/3. Suppose -2*x + 9 = -v, -4 - 8 = -3*x. Do v and z have the same value?
False
Suppose 3*m + 5*i + 21 = 0, 4*m - 5*i = -2*i + 1. Is m equal to -5?
False
Let o be (9*3/198)/(-1). Are o and 0 nonequal?
True
Suppose 0*u + u = -28. Which is bigger: u or -27?
-27
Let i be (1344/310 - 2) + -2. Let x = 2/31 + i. Which is smaller: 0 or x?
0
Let i = -1 + 3. Suppose 6 = -c - c. Let b = c + i. Which is smaller: b or 0?
b
Let x(f) = -23*f**3 + 2*f**2 - 1. Let i be x(1). Which is greater: i or -0.1?
-0.1
Let u(d) = 8 - 3 + d**2 + 0*d - 5*d - 2*d. Let q be u(6). Is 2/27 at most as big as q?
False
Let j be (-1)/3 - 4/6. Let m be 0*j*(-1)/(-2). Does m = -4?
False
Let y = -42 + 44. Which is greater: 14/9 or y?
y
Suppose -4*o - 24 = 3*b - 5*b, -4*o = -3*b + 30. Let q be b/2 + 2 - -2. Suppose 6*c - 7 = -4*x + q*c, -x + 16 = -5*c. Which is smaller: -2/9 or x?
-2/9
Suppose -4*k = -9*k. Let d = -2/215 + 1517/1290. Which is smaller: k or d?
k
Let t = 0.02 - -0.68. Let y = t + -0.5. Is y >= -3?
True
Let f be (-8)/(-6) + (-14)/(-21). Let x = 0 + f. Which is greater: x or 3/5?
x
Let v be (-4)/2*1/2. Let i be ((-2)/(-24))/(18/(-5360)). Let n = 224/9 + i. Which is smaller: v or n?
v
Suppose -71 = s - 11. Which is bigger: s or -61?
s
Let k be ((-1)/2)/(-6 + 565/90). Let n = 790/9 + -88. Do k and n have different values?
True
Let w = 12/59 + -331/177. Suppose -2*x + 2*h = 10, 3*x + 2*h + 5 = -0*x. Which is greater: w or x?
w
Let p(o) be the first derivative of -o**4/4 + 2*o**3 + 3*o**2 + 8*o + 2. Let h be p(7). Is 0 not equal to h?
True
Let u = 0.4 - -1.6. Let w = 2 + -2. Let p = w + u. Which is greater: p or -1/3?
p
Let l = -47 + 32. Which is greater: -16 or l?
l
Let i = 0.0054 - -0.1946. Let x = -1127/228 + 48/19. Let m = x + 11/4. Is m greater than i?
True
Suppose 28 = -2*d - 5*d. Let x be 1/2*(-9 + 1). Is d > x?
False
Let c be ((-618)/21)/2 - 3. Let y = -599/35 - c. Let o = 3 - 1. Is o smaller than y?
False
Suppose 0*v - 140 = 20*v. Which is greater: v or -8?
v
Suppose 16 = -x - 3*x. Let k be -5 - (x + 3/1). Which is smaller: -3 or k?
k
Let c be ((-72)/360)/(4/10). Let s = -0.1 - 0. Let y = s + -2.9. Is y >= c?
False
Let v(s) = -s**2 - 5*s + 6. Let q be v(-7). Let c = q + 5. Let n = 7 + -11. Which is smaller: c or n?
n
Let g = -4 - -3. Which is smaller: -4 or g?
-4
Let m = 20 + -21. Let i be 2 + (-1)/(-1)*-2. Suppose z + z = i. Which is smaller: m or z?
m
Let k = 6 + -256/43. Which is bigger: k or -1?
k
Suppose -5*f = -f - 12. Suppose -56 = -4*i + l, i = 3*i + f*l - 28. Let a be i/(-49) - (-2)/56. Which is greater: 1 or a?
1
Let i = 5/194 + -126/3007. Let d = 131/434 + i. Let l = 0.3 + -0.1. Is d <= l?
False
Suppose 12 = 5*v - 13. Is v at most 6?
True
Let n = -2.3 + 2.23. Do n and -2 have the same value?
False
Let t = 4 - 3. Let h = 26/27 - 257/351. Which is smaller: t or h?
h
Suppose 4*t + 4*t = -32. Which is smaller: t or 1?
t
Let a(s) = -11*s**2 - 29*s - 23. Let v(r) = -7*r**2 - 19*r - 15. Let g(y) = -5*a(y) + 8*v(y). Let d be g(-6). Are d and 2/11 unequal?
True
Suppose -v - 93 = -5. Let x = v + 1233/14. Which is smaller: 1 or x?
x
Let g(f) = f**3 - 2*f**2 - 8*f + 1. Let y be g(4). Is y < 0?
False
Let v be ((-10)/8 - -2)/(81/(-24)). Which is bigger: v or -1?
v
Let s be (-3)/93*(0 + 2). Let w = 0 - -2. Let z be 1/2*(4 - w). Which is greater: z or s?
z
Let h = 0.07 - 1.97. Is h < -0.2?
True
Suppose 0*n - 5*n + 45 = 0. Let y be (-1)/((12/n)/4). Which is greater: y or -2?
-2
Let t be ((-6)/(-9))/(1/3). Let f = 6.04 - 0.04. Let y = f + -3. Do t and y have the same value?
False
Let b = -2 + 8. Let f be 32/14 - b/21. Is f at most 3?
True
Let o(v) = -199*v - 1. Let s be o(-1). Let h be (3 - 0) + (-1954)/s. Let z = -78/11 - h. Which is smaller: z or 0?
z
Let s(i) = 6*i - 25. Let d be s(4). Suppose j + j = 0. Which is bigger: j or d?
j
Let f = -116/7 + 17. Let p be 4/(-20) + 4/(-5). Which is smaller: p or f?
p
Suppose 5*h = 2*k + 35, -k = -4*h - h + 35. Suppose -b + 3 = -g, 3*g + g + 11 = 5*b. Let r(m) = -10*m - 2. Let p be r(b). Which is smaller: h or p?
h
Let d(k) = -k**2 + 5*k. Let f be d(4). Suppose -5*n + f = -n. Which is bigger: -2/11 or n?
n
Let m = 1 + 0. Let z = -81 - -89. Is z less than m?
False
Suppose -4*o + s + 14 = 0, 3*o - 5 + 1 = 4*s. Let w = -16 + 18. Is w less than o?
True
Let t be 3 + 140/(-32) + 1. Is t at most -2?
False
Suppose 14 = -w - 5*h - 6, 12 = 4*w - 3*h. Suppose -5*u = -u. Let m = u + -2. Is m at most w?
True
Let w = 347/10 + -69/2. Let h(s) be the third derivative of -s**5/60 + s**4/6 - s**3/3 + s**2. Let g be h(3