se
Let z = 8 - 5. Let p be 39/27 - (-4)/18. Which is smaller: p or z?
p
Let v = -13 - -11.7. Let m = v - -1. Let l = m - -0.4. Is 1 > l?
True
Let i = -2 + 11. Let n = -10 + i. Which is smaller: -0.12 or n?
n
Let q = -37/93 + 2/31. Which is greater: q or -52?
q
Suppose 2*h - 7 = -53. Is h greater than -23?
False
Let j = 1151903/568 + -2028. Let y = -1991/1704 - j. Which is greater: y or -2?
y
Suppose 2*d - 2*a + 2 = 30, 5*d - a - 54 = 0. Let p be 0/(-3)*2/2. Suppose 7*s - 2*s + d = p. Which is greater: s or -3?
s
Let f = -85.2 - -85. Is 2/11 less than f?
False
Suppose 0 = q + 1 + 4. Which is smaller: -7 or q?
-7
Let u be ((-2)/3)/((-4)/(-6)). Which is smaller: 0.01 or u?
u
Let g be 3*(-6)/15*5. Let z be (g/(-6))/(1/31). Let v = -61/2 + z. Is 1 at least as big as v?
True
Suppose n - 3*n = 0. Suppose n = -4*x + 4, 0 = v - 5*x + 3*x + 2. Let m be 1 + (0 - (v - 0)). Which is bigger: m or 2?
2
Let n be (18/(-15))/(2/(-5)). Let k be n*-2 + 3/1. Which is bigger: k or -4?
k
Let m = -29 + 41. Suppose 0*g + m = 4*g. Which is smaller: 7/3 or g?
7/3
Let n be 1/18*4*1. Suppose 0 = p + 2*s + 9, p - 4*s - 6 - 15 = 0. Which is smaller: p or n?
n
Let h be 5/2*(-4 - (-1056)/255). Which is smaller: h or -1?
-1
Let w = 0.008 - 3.408. Is 1 greater than w?
True
Let l be 764/(-105) - 24/(-180). Which is bigger: l or -6?
-6
Let s = 0 + 5. Suppose -8 = 4*r + b, s*b + 21 = -0*r - r. Let y = -13/2 + 19/3. Is y less than r?
False
Let g = -6.2 + 1.2. Let o = 6 + g. Does o = -2?
False
Let w be ((-1)/(-1))/((-7)/(-35)). Which is bigger: 14/3 or w?
w
Let x = 18 - 18. Let z be 9/(-68) - 4/(-16). Is x <= z?
True
Let u = 1 - -1. Suppose -2*s = u*s. Suppose 4*z + d = -2 - s, 5*d - 6 = -4*z. Which is greater: z or 0?
0
Let t = 6 + -5.6. Let a = 1.8 - 0.4. Let h = t - a. Which is smaller: 0 or h?
h
Let b = 21 + -70/3. Which is greater: -1 or b?
-1
Let j(f) = -f**2 - 7*f - 4. Let m be j(-6). Let l(z) = 20*z**2 + 3*z - 2. Let a be l(m). Let i = 423/5 - a. Are i and 2 non-equal?
True
Let z = 0.4 - 0.6. Is -2/3 less than z?
True
Suppose -4*d + 4*i + 17 = -d, i + 2 = 3*d. Is 1/28 <= d?
False
Let o(m) = m + 1. Let y be o(1). Suppose y*h = -1 - 3. Is h less than -4?
False
Let y be (0 + -2)/((-2)/(-2)). Which is greater: -10/11 or y?
-10/11
Suppose 8 = -2*u + 22. Let t be u/10 + 4/(-10). Is t greater than 1?
False
Let h = 0.027 - 0.127. Is h equal to 5?
False
Suppose -1 = 2*o - 9. Suppose -o = 4*v - 0*v. Is v not equal to 0.2?
True
Let g(u) = -u**3 - 7*u**2 + 6*u - 6. Let x be g(-8). Suppose -5*m = -x*m. Let o be 1*1/(-2)*m. Which is bigger: 1 or o?
1
Suppose 2*n + 2*t = 6, -5*t + 35 = -n - 4*n. Let z be 7/(-6) - (n - -1). Let m = -2 + 1. Which is greater: z or m?
z
Let g be (-2)/4*0/1. Let c = 2 + g. Suppose -1 = 3*u + 4*y - 14, c*u + 10 = 2*y. Is u at least as big as 1/9?
False
Let v = -87 - -86.948. Are v and -1/4 non-equal?
True
Let p = 0.31 + -0.11. Let l = -0.8 + 0.4. Is l at most as big as p?
True
Let o = 2 - 1. Suppose v = -4*x - v - 46, -3*x = -2*v + 17. Let k be (4/(-42)*x)/(-2). Which is greater: k or o?
o
Let s be -1*(-2)/3 + -1. Suppose -32*o = -33*o. Which is smaller: o or s?
s
Let c be 4 + 1 - (5 - 6). Suppose -50 = -g + c*g. Is -10 <= g?
True
Let h be 1*-3*-2 + -1. Let u(k) = -k - 18. Let q be u(0). Let j be -4 + 2*q/(-4). Is h at most as big as j?
True
Let i = -52143/62 - -841. Which is greater: i or -1?
i
Let z be -11 - -10 - 75/(-82). Let d = 4/4483 + -83099/7719726. Let c = d + z. Is c not equal to 0?
True
Suppose -4*j - 20 = -8*j. Suppose -20 = -j*u, 2*u = 5*a - 3*u + 10. Is a equal to 1?
False
Let n = -1.4 + 0. Let z = n + 7.4. Is z greater than or equal to 1?
True
Let m be (-2 + 10/4)*4/2. Let s = 3 - 7/3. Is s <= m?
True
Let s(q) = -q**2 - 5*q. Let j be s(-5). Suppose j = x - 5*x + 28. Let i(k) = k**3 - 6*k**2 - 7*k + 2. Let h be i(x). Are h and 3 unequal?
True
Suppose 0 = -0*d - d. Is d > -1/18?
True
Let j = 902 + -40588/45. Let h = 41/90 + j. Is -1/3 equal to h?
False
Let q(r) = 6*r - 4*r + 1 + 17. Let y be q(-12). Which is bigger: y or -9?
y
Let g(z) = -2*z - 6. Let s(c) = -c - 8. Let v be s(-5). Let l be (30/(-18))/((-1)/v). Let a be g(l). Is 4 <= a?
True
Suppose 0 = -r - 0*r - 1, 4*l + 2*r + 114 = 0. Let v = l + 27. Which is smaller: v or -3?
-3
Suppose 0 = 5*d, v - 3*v + 4*d - 6 = 0. Is -3 at least as big as v?
True
Let o = 295 + -14453/49. Are o and -1 non-equal?
True
Let k be 810/(-26) - (-4)/26. Let o = k + 216/7. Let d be (0 - 1) + -1 + 1. Is o less than or equal to d?
False
Suppose -3*y - 1 = 3*o - 2*y, -5*y + 15 = -5*o. Let g be (-2)/(-4)*6/(-27). Which is greater: g or o?
g
Suppose 2*b = -3*j - 1, -3*j + b + 17 = j. Suppose -r - 32 = j*r. Which is bigger: r or -10?
r
Let t be 2 + 2/(-4)*0. Let g(a) = a**3 - 11*a**2 + 2. Let p be g(11). Is p less than t?
False
Suppose 0 = 3*s - 2*g - 40, 72 = 4*s + s + 2*g. Suppose s = -2*b - 0. Are -8 and b nonequal?
True
Let f(p) = -14*p**2 - 1. Let h be f(-1). Does -14 = h?
False
Let g = -30 + 88. Which is smaller: g or 57?
57
Let r be (1/3)/(9/(-6)). Are 9 and r equal?
False
Suppose -4*p + 0*p = -196. Suppose -3*w + p = 5*t, 0*w + 20 = 2*t + w. Suppose 5*a = -3*o - 2*o + 10, 0 = -2*o + 5*a + t. Is 2 greater than or equal to o?
False
Let y = 116.97 - 117. Is y less than or equal to 3?
True
Let t(f) = f. Let i(k) = k**3 + 6*k**2 - k - 9. Let j(o) = -i(o) - 3*t(o). Let w be j(-5). Let p = -11 - -6. Are p and w equal?
False
Let r = -6 - -8. Let s = -3 + r. Let i be -2 + 0 + 0 + -1. Is i bigger than s?
False
Suppose -5*n + 36 = -2*m - 25, 0 = 3*m - 4*n + 109. Let u = -29 - m. Let l be (-4)/(-18) - u/(-18). Is -1/4 > l?
False
Let i be 2/(40/12)*115. Which is greater: -1 or i?
i
Let a be 172/(-85) + 5 + -3. Is 1 >= a?
True
Suppose 15 + 19 = -2*h. Is -16 equal to h?
False
Let d be (24/30)/(4/(-10)). Let n = -6 - -12. Let z be (-2)/(-6) + (-8)/n. Are z and d equal?
False
Let v(q) = -q**2 - 4*q - 1. Let x(b) = b**3 - 11*b**2 + 11*b - 14. Let u be x(10). Let i be v(u). Which is smaller: 2/33 or i?
i
Let n = 0.1 + -0.1. Let c = -7/9 + 5/18. Which is smaller: c or n?
c
Suppose -3*k - 5 = -o + 8, -24 = 2*o + 4*k. Which is smaller: o or 1?
o
Let q = 91 + -89. Let f be 22/6 - 1/(-3). Is q at least f?
False
Let w be 20/(-6)*(-6)/4. Let a = w + -5. Suppose 4*q - 8 = -a*q. Which is greater: 2/3 or q?
q
Let y(p) = 2*p**2 + 4*p + 2. Let n be y(-2). Suppose 0 = n*l + 4 - 18. Let b be (-4)/l*7/(-3). Which is smaller: 0 or b?
0
Suppose 0 = -b - 2*b - 30. Let u be -2*(b/9 - -1). Which is bigger: u or -1?
u
Let w(p) = -p**3 + 4*p**2 + 5*p - 1. Let n be w(-1). Let b be 2/(-12)*4/3. Which is bigger: b or n?
b
Let g(h) = h**3 + 6*h**2 - 7*h - 1. Let r be (42/3)/(0 - 2). Let b be g(r). Is b >= -2/19?
False
Suppose 5*m = 3*m. Which is smaller: m or 2/17?
m
Let c be 5/2 + 3/(-6). Suppose 5*n = 5*l + 20, 5*n - 6*l - 16 = -c*l. Which is smaller: n or -3?
-3
Suppose 2*z + 7 = 3. Which is smaller: 7 or z?
z
Let v(z) = -z**3 + 5*z**2 + 6. Let t be v(5). Let m(p) = -14*p - 12. Let a be m(-1). Which is bigger: t or a?
t
Let d = -0.027 - -0.027. Is d not equal to -10?
True
Let i = 3 - 2.94. Let m be (-2)/(-2) - 4/12. Do i and m have the same value?
False
Let m be 39/130 - (-1 + 1). Are m and 1 equal?
False
Let q = 0.32 + -0.24. Is q at least as big as -1?
True
Suppose 5*q + 19 - 159 = 0. Let c = 6 - 4. Suppose -c*m = y + 3*y + q, 4*y - 4*m = -4. Is -5 > y?
False
Let m = 3 - 3.1. Let f = -17.4 + 17. Is m > f?
True
Let w(c) = 5*c + 8. Let i be w(2). Suppose 0 = g - 5 + 1. Suppose -n - i = g*d, n - 2 - 4 = 2*d. Is n less than -3?
False
Suppose -2*v = -0 + 2. Which is bigger: -5 or v?
v
Let j = -13 - -14. Let w = -0.9 + j. Is -1/6 <= w?
True
Let u(c) = 201*c**3 + c**2 - 2*c. Let p be u(2). Let j be ((-3)/6)/(3/p). Let q = -3486/13 - j. Is -1 less than q?
True
Let f = 2.919 + 0.081. Is f less than 0.1?
False
Let s be (-4)/1*(-3)/4. Let v be -2 - ((2 - -1) + -2). Let j be v/(-4)*(0 - -4). Is j != s?
False
Let r(s) = 5*s - 54. Let j be r(11). Which is greater: -81 or j?
j
Let u be -1 + 1 + (-2)/(-8). Suppose 17 = 3*o + 2. Suppose 6*g - g = o. Which is bigger: u or g?
g
Let t be (-3 - (-4 - -1))/2. Suppose t = q - 0 + 1. Is 2 at most as big as q?
False
Suppose -5 = 4*k - 1. Which is smaller: -7/6 or k?
-7/6
Let r(a) = a**2 - 7*a. Let y be r(9). Let p be 4/6*y