alse
Suppose 5*n + 0*q - 2 = 2*q, -n - 3*q + 14 = 0. Let r be 3/((-54)/(-4))*3. Is r smaller than n?
True
Let p = 163 - 487/3. Suppose 4*h + 0*h = 5*d + 11, 2*h = -2*d - 8. Let j = d - -3. Which is smaller: j or p?
j
Let r be 2*1 + 350/(-45). Let z = -6 - r. Do 1 and z have different values?
True
Let t be (-6 + 3)/3 + -1. Let n(q) = -q + 7. Let r be n(7). Let s = r - 3. Is s not equal to t?
True
Let d = 583 + -1748/3. Let o = 15 + -22. Is d equal to o?
False
Suppose 9*n = 37 + 44. Let q be (17/(-4))/(2/8). Let j = q + n. Which is greater: -9 or j?
j
Suppose 0 = -3*y - 2*l - 7, -4*y + 0 = -3*l + 32. Suppose -5*j = 35 - 5. Is j > y?
False
Suppose 2*c = -2*u, -5*u - c = -u + 9. Let f = -10/3 - u. Suppose 0 = -r + 2*g + 3*g - 24, 5 = g. Is r >= f?
True
Let g = -0.1 - 0.1. Let p = -0.1 + -0.4. Let y = p - -0.4. Which is bigger: y or g?
y
Suppose 5*a - 3*v = 7, 2*v + 3 = 5*a - 0*v. Is 2/39 smaller than a?
False
Suppose 2*x - 4 = 0, -2*k - 3*x + x = -4. Which is smaller: -1/5 or k?
-1/5
Let u = -13 - -36. Suppose 2*b - 5*y = -2*y + u, 21 = 4*b - y. Let f = -6 - -10. Is b > f?
False
Let z be (7/18)/(-7) + -3. Let a = -17/6 - z. Which is smaller: a or 0?
0
Let n(h) = -4*h**2 + 2*h - 1. Suppose 5 = f + 4. Let y be n(f). Is y greater than or equal to -3?
True
Let m = -0.45 - -1.45. Let b = 3 + -2.8. Which is smaller: m or b?
b
Suppose -3*w + n = -1, 0 = -4*w + 3*w - n - 5. Is w at most -1/39?
True
Let i = 12 + -11.95. Is i >= -9?
True
Let g(x) = x**2 + 8*x - 14. Let n be g(-10). Let p = -6 - -4. Let s = p + n. Is s equal to 1?
False
Suppose -k - 3*x + 3 = 0, 5*x = -4*k + 17 + 9. Which is smaller: 8 or k?
8
Let c be 2 + (-14)/(-8)*-1. Suppose -3*f - 1 = 5*a, a + 3*a = 2*f - 14. Let i = f + 0. Which is smaller: i or c?
c
Suppose -4*i = -2*j - 6, 4*i - j - 5 = 4. Is i less than 0.4?
False
Suppose 8*f = 3*f + 8*f. Which is bigger: f or -11/2?
f
Let i = 1 - 2. Let s(u) = -u**2 - 5*u + 6. Let b be s(-6). Are b and i equal?
False
Suppose 6*p - 11*p = 55. Is -9 at least as big as p?
True
Let v = -0.001 - 0.019. Is v not equal to 1?
True
Let q = -31/90 - 1/18. Suppose -5*p + 4 = -4*p. Suppose -9*a - 10 = -p*a. Which is bigger: a or q?
q
Let i be (-2)/4 + (-2)/4. Is -2/11 greater than i?
True
Suppose 20 = 14*x - 10*x. Suppose 2*m = -x + 11. Is m smaller than 1?
False
Let w(t) = -t**3 + 2*t + 25. Let i be w(0). Which is smaller: i or 26?
i
Suppose 0*z - 35 = 5*z. Let s(r) = -r**2 - 7*r + 2. Let g be s(z). Suppose -g*n = -6*n. Is n > -3/7?
True
Let v(z) = z**2 - 10*z + 23. Let d be v(7). Let i be 2/(-8) + 3/(-36). Is i < d?
True
Let m(i) = 3*i - 9. Let t(o) = 2*o - 6. Let h(n) = -5*m(n) + 7*t(n). Let r be h(5). Which is smaller: r or -1?
r
Let g = -29.7 - -31. Let n = 1 - g. Which is greater: n or 1/4?
1/4
Let h be 60/250*5/(-8). Which is bigger: 1 or h?
1
Let g be 12/(-30)*5/11. Suppose -5*u + 12 = 3*p, -5*p + 2*p - 4*u = -9. Which is smaller: g or p?
p
Let q(y) = -y**3 + 3*y**2 + 2*y - 2. Let v be q(3). Suppose -v*o + 12 = -o. Let g(w) = w**3 - 3*w**2 - 4*w. Let n be g(o). Does n = -3/8?
False
Let n be (-27)/4 - 1/4. Let a = 3 + n. Let v = 9/2 + a. Which is smaller: v or 2?
v
Suppose 0 = 4*a - 7*a - 12. Let r(g) = -10*g - 8. Let z be r(-2). Suppose 3*t + 3 = 0, 0 = 5*n - 0*n + 2*t + z. Is a at most n?
True
Let r be (3/(-18)*-4)/((-4)/(-18)). Suppose -4*k + 5 = -3. Which is smaller: k or r?
k
Let d = -356 - -2861/8. Which is smaller: d or 1?
1
Let i = 5.1 - -0.9. Let a = i + -6.1. Which is greater: a or 0.1?
0.1
Suppose 3*x + 5*a = 6*x - 11, 5 = -5*a. Let j be (-3)/9 - 1/(-3). Which is bigger: j or x?
x
Let i be 6/21 + 2/(-7). Let m be (-1)/1 + 0 + i. Are m and -1 non-equal?
False
Let a be (-9)/(-6)*20/(-45). Which is smaller: a or -0.4?
a
Let t(x) = x**2 - 1. Let u be t(2). Suppose 5*l + 25 = -4*p - p, 0 = 2*l + u*p + 14. Suppose 4*v = 7*v. Is l smaller than v?
True
Let q(g) = -g**3 + 4*g**2 + 2*g - 5. Let i be q(4). Which is bigger: i or 4?
4
Suppose 2*v + 96 = 36. Do v and -31 have different values?
True
Let y = -0.99 - -0.99. Which is greater: 19 or y?
19
Let j be ((-60)/64)/((-2)/104). Let y = -48 + j. Is y greater than or equal to 1?
False
Let v = 278 - 278.117. Which is smaller: v or -0.1?
v
Let l = 46 + -26. Suppose 5*o - 5 = l. Is 5 greater than or equal to o?
True
Let y = 0.01 - 0.91. Let b = -0.9 - 0.1. Let f = b - y. Is f at most as big as 0.3?
True
Suppose 2*o = 3 + 1. Let z be (-5)/10*o/13. Which is greater: -1 or z?
z
Let m = -22 - -29. Which is smaller: m or -2?
-2
Let s(y) = -y**2 + 6*y + 9. Let z be s(7). Suppose -2*q - 4 = 2*c, 3*c - z*c - 4 = q. Is 2 at most as big as c?
False
Let j = 4.8 + -0.8. Let h = -4.05 + j. Which is smaller: 0 or h?
h
Let m = -0.02 - 0.01. Let j = -0.07 + m. Does j = 0.08?
False
Let y(m) = 2*m + 1. Let x be y(1). Suppose 5*z - 19 = 2*c, 4*c + 0 = -x*z + 1. Let u be (-1 - 0)/(c/(-4)). Which is bigger: u or -1?
-1
Let o = -2/19 + -24/133. Which is bigger: o or -0.11?
-0.11
Let z = 52 - 67. Which is greater: z or 3/2?
3/2
Let h = -0.1 - 0.1. Let j = 0.06 + -0.03. Let x = j + 0.97. Is x smaller than h?
False
Let f = 0 + -0.1. Let z = -3.2 - f. Let d = z + 3. Which is bigger: -0.3 or d?
d
Suppose g + 5 = -0*g. Let m be 8/(-70) - 2/g. Let h(u) = u**3 - 23*u**2 + 22*u. Let b be h(22). Is b > m?
False
Suppose -3*k = -4*z + 23, 4*z - 2*z = 5*k + 29. Let f(b) = 4*b - 2. Let v be f(z). Is v less than 6?
False
Suppose b + 18 = -b. Let f be 82/(-41) - 1*6. Which is smaller: f or b?
b
Let y be -2*3/18*0. Suppose y = 6*p - p - 25. Is p equal to 4?
False
Let f = -1/5 + -7/15. Let j(c) = c**2 + 7*c - 2. Let i be j(-7). Which is smaller: f or i?
i
Let v = 7 - 3. Suppose v = 3*i - 4*m - 2, 4*i - 8 = m. Suppose 0 = i*s - s + 1. Are s and 1/7 equal?
False
Let w(l) = -l**3 + 8*l**2 + l - 7. Let u be w(8). Let q = 7 + -2. Which is smaller: q or u?
u
Suppose -8*v = -97 + 401. Which is greater: -41 or v?
v
Suppose 0*s + 12 = -4*s. Is s bigger than 0?
False
Suppose -5*s + 2 + 2 = -2*z, 4*z = -8. Which is smaller: -2/41 or s?
-2/41
Suppose 0 = -v + 4 - 1. Suppose -5 = 3*h + 2*f + 9, 3*h - v*f + 24 = 0. Let p = h - -4. Does -3/2 = p?
False
Let i(y) = -2*y - 20. Let b be i(-8). Is -0.1 bigger than b?
True
Let k(c) = -c**3 - c**2 + 3*c + 3. Let s be k(-2). Let v = -3 + s. Are v and -1 non-equal?
True
Let h be (-8)/24 - 7/(-12). Let g = -2 + 3. Which is smaller: g or h?
h
Let y = 22 - 21.6. Let m = 0.3 - 0.5. Let g = -0.1 - m. Is g bigger than y?
False
Let a = 10 + -13. Let j = a + -2. Is -6 at most j?
True
Let v = 18 + -20. Let p = 143 + -575/4. Are p and v unequal?
True
Let x be (12/18)/((-4)/66). Which is smaller: x or -10?
x
Let i(c) = -c**3 + 9*c**2 + 9*c + 9. Let t be i(10). Is t > -3?
True
Let v = -3 + 2. Let s = v - 3. Let k = -3.9 - s. Is k at least 2?
False
Let l = -19.5 + 3.5. Are 1 and l non-equal?
True
Let h be -8 + 4 - 88/(-29). Let g = 1258/1363 + h. Is -1 < g?
True
Let k = 11 - 23. Let o be (-4 - 39/k)*8. Which is smaller: o or 0.2?
o
Let f(x) = -4*x**3 + x**2. Let p be f(-1). Suppose 5*q = -n - 36, -p*q + 3*n - 18 = 14. Is -7 < q?
False
Let y = 275/3 - 3584/39. Is -1 smaller than y?
True
Let y = -84 + 85. Which is bigger: y or -1/22?
y
Let d = 106 + -105. Which is smaller: -4/59 or d?
-4/59
Let o(q) = q**3 - 9*q**2 + q - 5. Let k be o(9). Suppose 2*l + 10 = 4*l. Which is bigger: l or k?
l
Suppose 5*i + 5*o + 35 = 0, -3*i - 6 - 13 = 5*o. Is i at least as big as -7?
False
Let b = -2321/6 + 386. Is b <= -2/7?
True
Suppose 0 = -3*d - 93. Which is smaller: -32 or d?
-32
Suppose -2*x + 3 + 0 = 5*n, n + 2*x + 1 = 0. Which is smaller: n or -8/19?
-8/19
Let b = -2 + 2.11. Let p = -2.61 + b. Let c = 3 + p. Does -0.1 = c?
False
Let b = 33/2 + -16. Let m = 0.1 + -0.3. Which is bigger: m or b?
b
Let w(l) = -2*l**2 - l + 18. Let k be w(0). Is 17 <= k?
True
Suppose z = 5 - 3. Let r(w) = -2*w - 7. Let i be r(-6). Suppose i*j - 15 = 0, 3*j - z*j = -3*d - 9. Is d less than or equal to -3?
True
Let a = 46.9 - 47. Is 22 <= a?
False
Let l(b) = -b**2 - 2*b + 22. Let m be l(-5). Is 6 greater than m?
False
Let x be (-12)/(-54) + 48/27. Is x smaller than 4/5?
False
Let s be -4 + (-7)/((-7)/4). Which is greater: s or 4/3?
4/3
Suppose -6*q = -3*q + 15. Let u = -3 - q. Which is smaller: -2/7 or u?
-2/7
Let c(o) = -4*o - 6. Let u be c(0). Which is bigger: 0.