/3
Let q = -3.068 - 0.032. Let c = -3 - q. Which is greater: 4 or c?
4
Let j be 2*(-2 + (-14)/(-4)). Let w = 12 - 8. Are j and w nonequal?
True
Let k be 1/(-4) + 40/160. Which is smaller: k or -17?
-17
Let s be 90/(-102) - (-2 - -1). Which is bigger: 0.3 or s?
0.3
Let d = 9103/4 + -2332. Let c = d - -56. Is -1 bigger than c?
False
Let t be (2/(-4))/((-7)/28). Which is smaller: t or 3?
t
Let c(d) = 0*d + 2 + 7 + d - 1. Let b be c(-7). Suppose -2*r - 2 = -6. Which is smaller: b or r?
b
Let h = 0.22 - -2.38. Let v = h + -0.6. Let o = -288/5 - -58. Is o greater than v?
False
Let u(c) be the first derivative of -c**4 - 2*c**3/3 + c - 4. Let m be u(-1). Let t be (-2 - -1)*(m - 2). Which is greater: t or -2?
t
Let q(c) = 2*c**2 + 18*c + 14. Let a be q(-8). Which is smaller: a or -6?
-6
Let i = 947/4 + -235. Do 1 and i have the same value?
False
Let d be (2 - 1)/((-2)/(-16)). Are 8 and d nonequal?
False
Let j(o) = 3*o - 2*o - 3*o. Let u be j(-3). Suppose 4*t - u = -2. Is 0 at most as big as t?
True
Let a = -272 + 22305/82. Are a and 0 equal?
False
Let k = -3 + 4. Let h(d) = -d**3 + d**2 + 4*d - 3. Let v = -5 + 7. Let n be h(v). Do n and k have the same value?
True
Let q = -23 - -20.9. Let f = q + 0.1. Let z = 3 - 2. Which is smaller: f or z?
f
Suppose 1 - 6 = -5*z. Suppose -3*s + 3 = s - 5*l, 3*l - 9 = -3*s. Which is greater: s or z?
s
Let w = 2.6 + -3. Do -0.1 and w have the same value?
False
Let i(b) = -b**2 - 9*b - 4. Let v be i(-8). Suppose -26 + 2 = -6*g. Is v at least as big as g?
True
Suppose 2*a - 6 = -0*a. Suppose 0 = n + 5*k + 21, -a*n - 2*k - 7 = -k. Let m = 99/2 - 51. Is m < n?
True
Suppose 3*b - 12 = -5*m, -m + 0*b + 2 = b. Suppose 4 = 5*c + m*i, 2*c + 3*i + 2 = -0*i. Let s be -4 + c + 0/1. Which is smaller: s or -3?
-3
Let a(u) = u + 1. Let m be a(4). Suppose c - r = -5, -4*c + 17 = m*r - 8. Let s = 101 + -305/3. Is c <= s?
False
Let r(u) = u**3 - 3*u**2 - 5*u + 6. Let z be r(4). Suppose 29 - 9 = 4*c + z*o, -2*o = 0. Which is smaller: c or 4?
4
Suppose 8*l - 3*l - 5 = 0. Which is smaller: l or 6/7?
6/7
Let d be -3 + 0/1 + 7. Let w = 4 - d. Are -2 and w unequal?
True
Suppose 0 = -5*t + 3*t + 3*r - 12, 0 = -2*t - 3*r + 12. Suppose -4*n + 12 = -4*y + 4, t = 2*n - 4. Let z be (-44)/(-12) + -3 - 10/24. Which is smaller: z or y?
y
Suppose 3*d + 0 = -3. Let g(b) = 3*b**2 + 2. Let p be g(-2). Let i be (-2)/6 + p/(-30). Are d and i nonequal?
True
Let l = 633 - 46211/73. Is -1 < l?
True
Let z(b) = b**3 + 23*b**2 + 43*b + 14. Let l be z(-21). Suppose -4*r = 26 + 2. Is r at most l?
True
Let b be 0*2/(-6) - -5. Suppose 26 - 1 = -b*d. Suppose 28 = -2*g + 3*x + 2*x, 3*g - 2*x = -20. Is g at least d?
True
Let f = 10482 - 10142.02. Let b = f + -337. Let p = -3 + b. Which is bigger: 0 or p?
0
Let t = 3.8 + -4. Let k = -0.5 + -1.5. Is k smaller than t?
True
Let s(b) = b**2 - 21*b - 24. Let w be s(22). Which is smaller: -5 or w?
-5
Let a be -4 + (-10)/3*30/(-25). Which is greater: a or -4/5?
a
Suppose 2*f - l + 3 = 0, f + f - 2*l = -8. Let r be 0*(-2 + (-6)/(-4)). Is r equal to f?
False
Let a = 23 + -23. Is a smaller than -6/17?
False
Suppose -5*s + 0*s + 5*h = 20, 3*h = -5*s - 4. Which is smaller: -1 or s?
s
Let x be 1 + (3 - (0 + 1)). Let z = 2 - x. Which is greater: z or -1/3?
-1/3
Let x be 7*(256/28 - 4). Is x at least 36?
True
Let h = -19.9 + 14.2. Let z = h - -6. Which is greater: -2 or z?
z
Suppose 3*t = -0*t + 3. Let s be t/3*12/10. Which is bigger: s or 0.2?
s
Suppose -8 = -3*o + 5*g - 3*g, 0 = -4*g - 16. Let x = o - -1. Are x and 1/4 unequal?
True
Let u = -1/11 - 17/55. Which is smaller: -4/7 or u?
-4/7
Let w(n) be the third derivative of -n**6/120 - n**5/5 + 7*n**4/12 + 7*n**3/3 - 3*n**2. Let y be w(-13). Are y and -1 non-equal?
True
Suppose -21*l + 21 = -18*l. Which is greater: 6 or l?
l
Let x = -4 - -8. Is x less than or equal to 0.01?
False
Let t = 0.7 - -2.3. Let w = t + 6. Are -2/3 and w equal?
False
Let z(p) = p - p - p**2 - p. Let u be z(-1). Which is smaller: -2 or u?
-2
Let j(h) = -h + 4. Let w be j(5). Let t = 22/21 + -12/7. Which is bigger: t or w?
t
Let q(s) = s + 4. Let m be q(-3). Is m >= 2/9?
True
Suppose -3*l + 8 = -1. Which is greater: 0 or l?
l
Let n be (-1)/(-3)*3/(-1). Let y(u) = 4*u - 1. Let s be y(n). Which is greater: -6 or s?
s
Let c = 131 - 183. Is -2/7 <= c?
False
Suppose 6*v - 17 = -23. Which is smaller: 1/19 or v?
v
Let v = -1.15 - -0.05. Are 3/7 and v non-equal?
True
Let l = 0.009 + -0.989. Let k = l + 0.9. Let i = k + -0.92. Do -0.1 and i have the same value?
False
Let x = 0.06 + 0.54. Let l = x + 1.4. Let r = l - 1. Is 3 < r?
False
Let i(r) = r - 6. Let c be i(4). Let s = 11 - 7. Suppose -p = 4*m + 6, 5*p - p = s*m - 4. Is m less than or equal to c?
False
Let w(h) = 10 - 14 + 0*h**2 - h**2 + 6*h. Let n be w(4). Let c be (n/70)/(5/(-25)). Which is bigger: -1 or c?
c
Let s = 1 + -3. Let d be -5 - (2 - 3)/1. Which is greater: s or d?
s
Suppose 6 = -11*z - 16. Is z != 46?
True
Let s = 7 + -8. Let b = -2 + s. Which is smaller: b or 1?
b
Let c = 29 - 44. Is -15 at least as big as c?
True
Let o = 2 - 5. Let q = o - -2. Suppose r + l + 6 = -4*l, 3*l + 8 = -5*r. Does r = q?
True
Let h be ((-3)/(-8))/((-3)/2). Let f = 2 + -3. Which is bigger: h or f?
h
Let u = 37 + -32. Is 11/3 <= u?
True
Let a be -12*(-16)/(-60)*5/1. Which is smaller: -18 or a?
-18
Let v be ((-2)/(-254))/(3 - 1). Let l = v - 319/381. Which is smaller: 0 or l?
l
Let x(m) = m**3 - 2*m**2 - 2*m - 2. Suppose r + 3*y = 9, -2*r + 17 = r + 4*y. Let d be x(r). Is 2 greater than d?
True
Suppose 54 = 3*y - 0*k + 3*k, 4*k - 85 = -5*y. Which is greater: y or 12?
y
Let f = -42 + 21. Are f and -21 equal?
True
Let u be (-16)/(-30)*(-24)/(-16). Let t be 3/4*(-3 + -1). Let g be (2/(-3))/(2/t). Are u and g non-equal?
True
Suppose 3*f + 3*p - 18 = 0, -2*f + 2*p + 12 = 6*p. Which is greater: f or 11?
11
Suppose -v + 4*y = -7 - 12, 16 = 4*v - 4*y. Let z = -7 + 3. Let i be z/(-18) - 2/(-18). Do v and i have the same value?
False
Suppose 7 = -0*a - a. Let t = a - -7. Let y = t + -1/2. Is 0 != y?
True
Let v = -0.8 + -0.7. Which is smaller: 2/3 or v?
v
Let z = -2 + 4. Let h(l) = l - 7. Let q be h(6). Which is smaller: q or z?
q
Let o be (-2)/((-20)/2) + 2/(-10). Let c = -0.4 - -2.4. Do c and o have the same value?
False
Let l be -1 + -5 + (1 - -2). Suppose 4*f - 4*r - 7 - 25 = 0, -5*f = -4*r - 38. Suppose 0 = -3*k - 6 - f. Do k and l have the same value?
False
Suppose -5 = 4*d - 5*o, 0*d + 4*d + 5*o - 5 = 0. Is -5/28 > d?
False
Let d be 4/22 + 53/11. Suppose -d*x + 6 = -4, -4*x = 3*f + 4. Which is smaller: f or 1/4?
f
Suppose k - 36 = c, 3*c + 128 = -3*k + k. Are c and -39 nonequal?
True
Let m be (3 - 21/9)*6. Suppose 5*c - o = 6, 5*o = 3*c + m*o - 4. Which is greater: -1 or c?
c
Let u(m) = m**3 + 6*m**2 + 6*m - 7. Let i be u(-5). Which is bigger: i or -9?
-9
Let b = -24 - -23.9. Which is smaller: b or 4?
b
Suppose 2*g - 96 = -96. Is 7/6 != g?
True
Let z be (9/12)/(30/35). Which is greater: 0 or z?
z
Let y = -16 - -46/3. Let f = -8/51 - 1/102. Is f greater than y?
True
Let n = -20193/61 - -331. Which is greater: n or -1?
n
Let m = -0.64 + -50.36. Is m smaller than -1/3?
True
Suppose 3*p = 5*k - 38, 2*p = 4*k - 29 - 1. Suppose -2*j - k = -5*q, 0*q - 2 = -j - 3*q. Which is smaller: 2/13 or j?
j
Let q = -2/7 - -11/14. Let h = -4 - -3. Which is bigger: q or h?
q
Let k = -2 + 3. Suppose -g - 6 = -34. Let w be (-4)/(-14) - (-34)/g. Which is smaller: k or w?
k
Let c = -653/5 - -130. Which is smaller: c or -2?
-2
Let k = -35 - -25. Is k at most as big as -9?
True
Let v = -3 + 1. Is v >= 0.06?
False
Let q(f) = -31*f**3 + f**2. Let r be q(-1). Let n = r - 129/4. Is 1/5 bigger than n?
True
Let t be (3 - -3)/((-3)/(-2)). Suppose 3*x = 15, 2*x = t*k - x + 23. Is -1 at most k?
False
Suppose 2*t - 6*d = -2*d - 2, 4*t - 5*d + 7 = 0. Let n be (1 - (-21)/(-27))*t. Which is smaller: n or -2?
-2
Let y be 36/(-33)*(-1)/2. Which is bigger: 2 or y?
2
Suppose -4*u = -7*u - 45. Which is smaller: u or -17?
-17
Let g = -15 + -13. Is g < -28?
False
Let t = -13 + 13.4. Let l = t + -3.4. Do l and 1 have different values?
True
Let l = 0.2 + 0. Which is smaller: l or -3?
-3
Suppose -5*j + j - 2*m = -592, 5*j - 3*m = 762. Let k be (8/j)/(2/5). Which is greater: 2/3 or k?
2/3
Let p = -0.4 + -2.6. Are -1 and p e