/1. Let n = -61 + 303/5. Which is greater: n or x?
x
Let q be (2/(-10))/(18/(-6) + 4). Is q smaller than -0.2?
False
Let z(v) = -v**3 + 7*v**2 - 3. Let q be z(7). Let h be 5 + (2 - 7 - q). Is h >= 3?
True
Let q = -8971/114 + 236/3. Which is smaller: q or 1?
q
Let l = 2/379 + -776/3411. Are l and -1 unequal?
True
Let z = -1 - -3. Suppose 0 = -2*r - z*r. Is r < -2/13?
False
Let o be (-6)/(-4) + 1/(-2)*1. Which is greater: o or 2/9?
o
Let z = 4 - 9. Let p = z - -6. Which is smaller: p or -0.1?
-0.1
Let x be ((-20)/(-75))/4*-1. Is 1 bigger than x?
True
Let x be (-399)/1260 + (-4)/(-10). Is 1 smaller than x?
False
Let d = -25 - -177/7. Is 5 >= d?
True
Suppose -r = 2*r. Let c = -2 + r. Let y be 6/c + -1 + 3. Is y >= -1?
True
Let p = 44 + -218/5. Let s = 1/57 - -109/285. Do s and p have the same value?
True
Let f(w) be the first derivative of -w**3/3 + 3*w**2/2 - 3*w + 1. Let t be f(2). Let s(b) = -b + 9. Let m be s(11). Is m != t?
True
Suppose 3*a = -0*a + 192. Let v = 385/6 - a. Which is smaller: v or -3?
-3
Let o = 101 - 129. Is o at most as big as -26?
True
Let j = 1 - 3. Let r(c) = c**2 + 5*c - 17. Let k be r(-7). Which is smaller: k or j?
k
Let g = 1 - 4. Let k be (4/30)/((-1)/g). Suppose -2*z - 3*z = 5. Is k at least as big as z?
True
Suppose 8*f = -3*f + 3*f. Let r = 0 - 5/7. Is f greater than r?
True
Let p = 0.043 - -0.117. Are 0.2 and p nonequal?
True
Let y = 14 - 13.4. Do y and 1 have different values?
True
Let f(n) = n**3 + 8*n**2 + 2*n + 15. Let m be f(-8). Is m equal to -3/7?
False
Let c = 23 + -36. Let d = c + 64/5. Does d = 1?
False
Suppose -11*b - 260 = -b. Which is smaller: b or -27?
-27
Let g be 2/(-9) + 32/(-18). Let h be (-1 + 2)/(1 - (2 + 0)). Is h at most as big as g?
False
Let h be 5*2/15*3. Let u be (6/(-10))/(-9*5/50). Which is bigger: u or h?
h
Let t(s) = 2*s. Let c(k) = -3*k. Let d(g) = 3*c(g) + 4*t(g). Let z be d(-13). Is 0.1 greater than or equal to z?
False
Let d be (646/(-225))/(40/(-25)). Let m = d - 2/45. Which is smaller: m or 3?
m
Let d = -287 + 194. Which is smaller: d or -1?
d
Suppose -28 - 16 = -4*p. Does 11 = p?
True
Let d be 9/(-3) - -2*3 - 2. Let r = -987/5015 - -6/295. Are r and d equal?
False
Suppose 4*d - 2*r = -32, 5*r + 4 - 14 = 0. Is -6 smaller than d?
False
Suppose 0 = 4*o + o - 60. Let n be 18*(4/o)/1. Which is greater: 7 or n?
7
Let f be 100/(-66) - 45/(-30). Which is bigger: 0 or f?
0
Let i = 2.2 + -20.2. Let z = -17.9 - i. Is z not equal to -2?
True
Let p(g) = g - 6. Let w be p(6). Let h be 2/(-2 - -4)*3. Let o be (-1)/h - (-1)/3. Is o greater than w?
False
Suppose 3*l - 2*c = 14, 0 = l + 3*c - 0 - 1. Suppose 0*v + 4*v = l. Suppose t - 1 = -0*t. Is v at least t?
True
Let i = -61.9 - -62. Which is bigger: i or 16/11?
16/11
Suppose 3*x + 6 = -6. Let r = x - -7. Is r at most as big as 3?
True
Suppose -3*x = -7*x + 8. Is x equal to 24/7?
False
Let q = -20.1 - -20. Is 41 <= q?
False
Suppose -s = 5*x - 14 - 51, -57 = -3*x + 3*s. Let p = x - 9. Let j be 5/(-1)*(-4)/5. Which is bigger: p or j?
p
Let a = 0.13 + -4.13. Is 0.2 at most as big as a?
False
Let p = 36665095/63 - 581971. Let b = p - 104/7. Which is smaller: 0 or b?
b
Let s be 1/(-6)*16/(-212). Let t = s - 61/636. Is t at most 1?
True
Suppose -2*h = -h - 2. Let q be 7/14 - (-1)/h. Which is greater: -1/8 or q?
q
Let l = 44224 - 89553602/2025. Let k = l - 24278/22275. Which is smaller: 0 or k?
k
Let x = 3 - -1. Let v = -2 - -7/4. Which is smaller: x or v?
v
Let i = 4.96 + 0.04. Let j = 2 - i. Suppose 0 = -2*b - 3 + 1. Is b equal to j?
False
Let m be (-1 - 2) + (-4 - -5). Which is greater: m or -3/5?
-3/5
Let n(v) = -3*v - 26. Let t be n(-9). Which is smaller: 3/40 or t?
3/40
Let y be 2 - -7 - (-1 + 1). Which is smaller: y or 0.1?
0.1
Suppose -3*x = 3*j + 24, x - 2*j = -2*x - 34. Let g = -19 + 18. Which is bigger: x or g?
g
Let h be (-188)/336 + (-2)/8. Let t = h - -8/7. Which is smaller: -2 or t?
-2
Let p = 42 - 41.99. Is p at least as big as -2/3?
True
Let k = -38.05 + 0.05. Which is smaller: -0.1 or k?
k
Let x(o) = -o - 1. Let d be x(-10). Let m be -3 - -3 - (-2)/d. Which is smaller: 1/4 or m?
m
Let x be 0/5*(-2 - -1). Is 2 <= x?
False
Let d = 628742/801255 + -1/12327. Let t = d - 5/13. Let y be (3/6)/(1/(-2)). Which is smaller: y or t?
y
Let h = 0.3 - 0.4. Let d = 4.1 + -4. Which is smaller: h or d?
h
Let x be (-2)/(-5) - (-6 - (-102)/15). Let l be ((-4)/66)/((-2)/(-6)). Which is bigger: l or x?
l
Let n(d) = d**2 - 2. Let r be n(2). Suppose -r*j + 0*j + 6 = 0. Let c be (j/(-27))/(4/16). Is 0 at least c?
True
Let b be 3/(-18)*-2*36/(-6). Which is greater: 3 or b?
3
Let m = -2 + -12. Let s = m - -14. Is 0.06 <= s?
False
Suppose 0 = 3*c - c - 22. Let n be (-9)/c*14/(-21). Is 2 at most n?
False
Let y(a) = -9*a**2 - a - 11. Let l(m) = -13*m**2 - 2*m - 16. Let b(u) = -5*l(u) + 7*y(u). Let k be b(-2). Let x be k*((-22)/10 - -3). Which is smaller: 3 or x?
3
Suppose -4*a + 5*r + 11 = -3*a, 4*a = 4*r + 28. Let u be (-3)/a + 9/6. Are 0 and u equal?
False
Let w(q) = -q**2 - 7*q - 11. Let p be w(-4). Is p greater than 1?
False
Let m = -8.14 - -8. Which is bigger: m or 0.1?
0.1
Suppose 2*y - 3*y - v + 6 = 0, y = -4*v + 21. Let o be 9/(-5) - (1 - 4). Is y >= o?
False
Suppose -6*y = -2*y + 5*m + 18, -2*m = -2*y. Let t = -4 - -2. Let h be (5/25)/(t/(-10)). Which is smaller: y or h?
y
Let l be 7*((-24)/8 + 32/11). Which is greater: l or -1?
l
Suppose -19*k = -16*k + 225. Are k and -76 equal?
False
Let u = 1921/7 + -274. Suppose -d = 2*d + 3. Which is smaller: u or d?
d
Let b = -6.8 - -7. Let p = 0.3 + -0.5. Let s = -0.3 - p. Is s bigger than b?
False
Let o be (-15)/(-20) - 4/(-2). Is 3 <= o?
False
Let w = 14 + -12. Is w < 1?
False
Let j be 0/(-1) + 4/(-4). Let h = 0.1 - 0.3. Let w = h - 0. Which is smaller: w or j?
j
Let m = 24.7 - 25. Is m >= -2/3?
True
Let w = 40 - 47. Is 0 at least as big as w?
True
Let h = -243 + 2675/11. Which is smaller: 8 or h?
h
Let q(z) = z + 9. Let d be q(0). Suppose 5*u + d = 4*k, 5*k + u + 1 = 5. Which is smaller: k or 2/49?
2/49
Let x = 1 - 0. Let g be (-12)/8 + 1 + x. Let a = -0.1 - 0.4. Which is smaller: a or g?
a
Suppose 6*u = 2*u + 3*b + 3, 2*b = 6. Let c be 0/(3/u) - 1. Let m = -5/9 - -1/3. Which is smaller: c or m?
c
Let h = 13 - 6. Let b = 0.09 - 5.09. Let s = h + b. Is s less than 1/4?
False
Let g(k) = k - 1. Let z be g(5). Suppose z = w - 3*w. Let s be (-2)/5*(w + 1). Which is smaller: 1 or s?
s
Let w(q) = 2*q**2 + q + 4. Let g be w(-6). Suppose r - 6*r + g = 0. Let c be r/6 + 2/(-6). Which is greater: 1 or c?
c
Let u be 2 - 5 - (2 - 3). Let q be 1007/(-323) + (-4)/(-34). Are u and q non-equal?
True
Let d = -10.8 - -1.8. Let y = -7 - d. Is y at most 2?
True
Suppose -2*i - 3*s + 9 = 3, 4*i = 4*s - 8. Do 2/57 and i have different values?
True
Let b = 10 - 9.98. Let f = -0.02 + b. Is f != 0.1?
True
Let d be (3 - (-95)/(-30))*-3. Let j be (-80)/38 + (-4)/(-2). Which is smaller: d or j?
j
Suppose i - 4*k = 2*i - 9, -i = -4*k - 1. Which is smaller: i or 6?
i
Suppose -r = 4, 0*d + 5*r = 5*d - 180. Suppose 5*t + m = -39, t = -3*t - m - d. Let f = t + 5. Which is bigger: f or -3?
f
Let t(p) = 4*p**2 - 3*p - 1. Let u(n) = 3*n**2 - 4*n - 1. Let l(q) = -4*t(q) + 5*u(q). Let r be l(-8). Let a be (-5)/(-4) - 2 - -1. Which is smaller: r or a?
r
Let p be 4/(-2)*(-1)/(-2). Is p greater than -2?
True
Suppose 0 = -3*h - 3*l + 30, 0*h - 4*l - 32 = -2*h. Let u = -13 + h. Which is smaller: u or 1?
u
Suppose -2*u + 4*u = -20. Let g be (-8)/u*4/24. Suppose 2*x + 2 = -0*x. Which is smaller: x or g?
x
Let a = -2 + 2.2. Let b = 0.2 + a. Let s = 143 + -143. Which is smaller: b or s?
s
Let z = 1.6 + -1. Let x = 2.6 - z. Which is greater: x or -1?
x
Let l = 6 + 5. Let t(b) = b - 14. Let f be t(l). Is f greater than -1?
False
Suppose z - 2*z = 0, 2*f - 5*z + 162 = 0. Let g = -241/3 - f. Let d be (-1)/(2 - 9/3). Is g greater than d?
False
Let q(k) = 5*k**3 - k**2. Let i be q(1). Suppose 23 = i*j + 3. Is j less than or equal to 5?
True
Let w = 0 + 0.1. Suppose 9*n = 4*n - 30. Is w greater than or equal to n?
True
Suppose 0 = -5*h - 172 + 82. Is h at least -3/5?
False
Let p(k) = 7*k**2 + 6*k - 4. Let m be p(-4). Let q = 925/11 - m. Which is greater: q or 0?
q
Let y = -23/2 + 12. Is y <= -2/9?
False
Let g = 40 - 28. Suppose -4*x - g = -7*x. Which is greate