y + 15 - t = 0. Is -4 smaller than y?
False
Let z(b) = -b**3 + b**2 - b + 2. Let w be z(0). Suppose -w*p + 7 = -3. Suppose -4*u - p*r + 2 = -6, u - 3*r = -15. Which is smaller: -2 or u?
u
Let i = 42 - 60. Let w be i/1 + 2 + -4. Let u be (-8)/(-3)*6/w. Is u at most -1?
False
Let a(i) = i**2 - 4*i - 7. Let l be a(5). Which is bigger: l or -1/5?
-1/5
Let b = 3.8 + -4. Let z = 0.6 - 0.3. Let j = b + z. Is j less than or equal to 2/7?
True
Let s(r) = -r**2 + 5*r - 3. Let l be s(3). Let f be 8/l*3/1. Let j be (f/12)/((-2)/(-3)). Is j bigger than 0?
True
Suppose -3*b + 7*b = 2*k + 4, 0 = -5*k + 2*b - 2. Which is smaller: 6/19 or k?
k
Suppose 3*g - 10 = 2*s + 8*g, 4*s = -2*g - 4. Let c = 3/7 - 25/42. Which is smaller: s or c?
c
Let y = -192 + 324. Suppose 0*n - 4*n = -y. Let a be n/(-18) - 2/12. Is a at least as big as -2?
True
Let t be 3/2*8/12. Which is greater: 12/11 or t?
12/11
Suppose -4*o = 3*n + 71, -4*n - n = -3*o + 70. Is -16 smaller than n?
False
Let m = -13 + 7. Let j(z) = z**2 + 12*z - 70. Let d be j(-16). Are m and d non-equal?
False
Let n = 15.8 - 32.7. Let p = n - -17. Which is smaller: p or -5?
-5
Suppose -18 = -0*o - 3*o + 4*w, -4*o - 4*w = -24. Let m be 10/(-3)*o/(-5). Is m equal to 5?
False
Let h(r) = -4*r + r**3 + 5*r**2 + 6 - 5*r + 4*r. Let m be h(-6). Let p = 1 - m. Is p not equal to -1/4?
True
Let z = -241/22 - -126/11. Do 31 and z have different values?
True
Let q(r) = -r**3 + 4*r**2 - 3*r + 1. Let v be q(3). Let g be (-352)/1036 - 2/(-7). Is v less than g?
False
Let s be 2*(-1 - -2) - -1. Let p(q) = q**3 + 3*q**2 - 5*q - 2. Let r be p(-4). Suppose -3*a + 8 = 5*n, 24 = 6*n - r*n - 2*a. Are n and s unequal?
True
Let p(c) = 2*c. Let d be p(10). Suppose 0 = -3*g + z + 41, d = 3*g + 5*z - 9. Does 13 = g?
True
Let b(s) = -s - 2. Let x be b(-5). Let u be x/(-21)*28/(-16). Which is greater: u or -2?
u
Let l = -3 - -3.3. Let y be -2*(-2)/((-8)/(-10)). Suppose 1 = y*d + 11. Are d and l equal?
False
Let y = 6 - 11. Let j = -4 - y. Is j equal to -1/4?
False
Suppose 12*n - 217 - 47 = 0. Is 22 smaller than n?
False
Suppose 2 = 2*t - 0. Suppose 0 = -2*i - 4*s - 2 - 2, -i - 4 = 4*s. Let p be (i + 0)/(1 - -1). Is t != p?
True
Let s = -2 - -6. Let j(o) = o**2 - 4*o + 5. Let z be j(s). Suppose 0 = z*q + 4*t - 23, -q - 2*t - 8 = -5*q. Which is smaller: 2 or q?
2
Let m(n) = n. Let z(x) = -x. Let v(k) = -4*m(k) - 5*z(k). Let a be v(1). Let h be 2*(-2)/8 + 1. Which is smaller: a or h?
h
Let n = 961/18 + -160/3. Let t = n - 13/153. Let a = 8/17 - t. Which is bigger: -1 or a?
a
Let a(k) = -k**3 + 6*k**2 - 6*k + 5. Let v be a(5). Is v bigger than 5?
False
Suppose 0*f = 2*f - 2*c + 354, -c = 3*f + 515. Let a = f + 1381/8. Which is bigger: a or 0?
0
Let l = 5 + -4.5. Which is bigger: l or 1?
1
Let p be (6/15)/((-3)/30). Let j be p/(-6) + (-6)/9. Let z = -13 - -89/7. Is j less than z?
False
Let k(z) = -z - 7. Let c be k(-7). Let d be -1*1*(2 - 6). Let f be (-3 + d)*2/2. Which is bigger: c or f?
f
Let i be (17 - 14) + (-14)/(-8). Which is smaller: 4 or i?
4
Let d be (1/(-5))/((-3)/15). Is d smaller than 4/9?
False
Suppose s - 2 = -2*s + 4*g, -5*s = -2*g + 6. Suppose 0 = -p - 4*h + 12, -7 = 4*p - 5*h + 8. Which is bigger: p or s?
p
Suppose 124 = 3*t + t. Suppose t = -5*p + 4*h, p + 15 = 4*h - h. Let z(d) = d**2 + 6*d + 1. Let x be z(-5). Which is bigger: x or p?
p
Let a(t) = t - 6. Let b be a(-5). Let p = -12 - b. Let h be 0 - (-2)/(-1 + 0). Which is smaller: h or p?
h
Let l = -167/4 + 42. Which is greater: -4 or l?
l
Let s = 11.8 + 0.1. Let u = -12 + s. Which is smaller: 0 or u?
u
Let t = 15 + -28. Let c = -11 - t. Is -0.6 < c?
True
Suppose -5*y - 80 = 45. Is y smaller than -24?
True
Let y be (0 + 33)/(-3)*2. Let z = y - -22. Which is greater: z or 0.02?
0.02
Let t = 23 - 25. Is t at least -0.03?
False
Let y be 6/(-4)*5/(-15). Let z = 0.4 - 0.1. Let c = -0.1 + z. Is c >= y?
False
Let n = 0.52 + -0.02. Which is greater: n or 0?
n
Let q be ((-2)/(-5))/(4/(-20)). Let i be 0 - q - (2 - 3). Suppose 3*j - 4*n = -10, 6*n - 22 = -j + n. Which is greater: i or j?
i
Suppose 0 = o - 4, 2 = 4*v + 4*o - 18. Which is smaller: 2 or v?
v
Let t = 50.34 - -0.66. Let f = -53.9 + t. Let c = 3 + f. Which is smaller: c or -5?
-5
Suppose 1 + 1 = -b - 2*j, 5*b + j = -1. Suppose b = -a - a - 2. Let d = -8 + 15/2. Is a bigger than d?
False
Suppose -5*v - 4*s + 6 + 32 = 0, -43 = -4*v + s. Which is smaller: v or 9?
9
Let g be 46897/3 - (-6)/9. Let d = g - 1313147/84. Let k = 1/21 - d. Which is smaller: k or 1?
k
Let p = 13 + -18. Let h = p - -6. Is 1/7 != h?
True
Let b = -5 - -5. Let d = b + -3. Let q(t) = t - 3. Let f be q(0). Is d smaller than f?
False
Suppose 3*h - 2*h = 0. Suppose -3*o + h*v - v = -3, -v = 2*o - 3. Is o less than -3/5?
False
Let f = -1.998 - 0.002. Is f greater than or equal to 61?
False
Let y = 39 - 27. Let t be 3/36 - (-3)/y. Let p = -1 + 0. Which is greater: p or t?
t
Let n be ((-18)/(-42))/(2/(-4) - -2). Let g be -6*(0 - 1)/1. Suppose -g*q = -q. Is q smaller than n?
True
Suppose -a = -27 + 5. Suppose 5*i = 2*n + n - a, 0 = i - 5*n + 22. Let x = -1 - 0. Which is bigger: i or x?
x
Suppose -3*m - 3*r = -2*m + 12, 0 = m + 2*r + 7. Let a be ((-2)/(-4))/(7/70). Suppose a*v - 2*d - d - 8 = 0, 5*v = 4*d + 4. Which is bigger: m or v?
v
Let w = 1.5 - -5.5. Which is greater: -1 or w?
w
Let b be 19*-1*(-7 - -6). Suppose b = 5*d + 4. Which is bigger: 2 or d?
d
Let u be (-3)/(-2)*(2 - 0). Suppose 0 = -4*f - 3 + 7. Suppose 0 = u*j - 2 - f. Are j and 2/17 nonequal?
True
Let m be 6/24 + (-6)/(-8). Is -3/20 greater than m?
False
Let n = -47 + 3. Which is smaller: -1/4 or n?
n
Let l be 3/9 + 16/6. Suppose 5*w = -5*r - 20, 2*w + 8*r - l*r = -20. Let c = -1/2 - -1/4. Which is smaller: w or c?
c
Let c = -0.01 + 0.01. Does c = -0.8?
False
Let k = 8 + -6. Let v = -6 - -2. Let b = k + v. Which is smaller: b or -2/7?
b
Let u = 0.2 - 2.4. Let y = 2 + u. Let p = 38 + -36. Which is greater: p or y?
p
Let v = 1210 - 8448/7. Which is greater: 2 or v?
v
Let f(n) = 2*n**2 + 21*n + 3. Let v be f(-10). Are v and 0 equal?
False
Let v = -3 - -7. Let h be 1 + -4 + (-8)/(-4). Is v <= h?
False
Let p be 1*-1*(-31 - 2). Is p <= 0?
False
Let s = -2.1 + 4. Let x = 2 - s. Suppose -2*j = -o - 10, -4*o - 4 = -j + 8. Which is smaller: x or o?
o
Let c be -1*2 - (-1 + 1). Let p(n) = 1 + n - 3 - 4. Let o be p(5). Is o at most as big as c?
False
Suppose 5*v + 0*v = 410. Let z be (15/9)/1 + (-1)/(-3). Let b be v/140 + z/(-7). Which is greater: 1 or b?
1
Let z = 5849/5 - 1166. Is 3 at least as big as z?
False
Let l = -9 - -11. Suppose -l*i + i = -8. Suppose 5 - i = 3*q. Which is smaller: -2/33 or q?
q
Let n = -93/4 - -639/28. Let y be 1/(-2 - -5)*3. Which is smaller: n or y?
n
Let y be (-1*1)/(-2 + 1). Let d = -0.6 + 3. Let f = -0.4 + d. Is y at most as big as f?
True
Let n = 48 + -47.9. Which is smaller: 3/2 or n?
n
Let l = -20 + 60. Is 40 smaller than l?
False
Let a be (0 - (-18)/(-3))*-1. Suppose 49 = t - 2*n, 0 = a*n - n + 25. Let p be 2/(-6)*(-18)/t. Is -1 at least as big as p?
False
Let c be (-150)/(-315)*(-1 - -10) - 4. Let b be ((2/2)/(-1))/(-1). Let u = -1 + b. Which is greater: u or c?
c
Let h be (14553/70)/(-11) - 2/(-5). Are h and -19 unequal?
True
Suppose -4*x - 1 = 5*r, -3*r - 3*x = -0*r. Which is greater: -2 or r?
r
Let m = 5785/14 - 413. Let q be 99/165 - ((-24)/10 - -2). Which is greater: q or m?
q
Let z be 10/(-25) - (-602)/(-10). Let r = 61 + z. Suppose 0 = 6*y - y. Which is smaller: y or r?
y
Let x(h) = -h**3 + h**2 + h + 1. Let w(m) = 6*m**3 - 2*m**2 - 3*m. Let s(c) = -w(c) - 5*x(c). Let l be s(-3). Are l and -2/27 equal?
False
Let f = 6 - 16. Let r = f - -8. Let j = 2 - 1. Which is smaller: r or j?
r
Let i = 3 - 4. Which is bigger: 0 or i?
0
Let q = -0.3 - -0.7. Is 2/7 at most as big as q?
True
Suppose -k - 5*m = 5 + 14, -2*m = 2*k + 6. Is -4/61 at least as big as k?
False
Let h be 52/(-24) - 1/(-2). Suppose -3*u + 2*u - 48 = 0. Let y be 2/(-9) + u/27. Which is smaller: y or h?
y
Let o = 2 - 4. Let n be (-2)/5 - o/5. Let c = 10/21 + 1/42. Which is smaller: n or c?
n
Suppose -39*m = -44*m. Which is bigger: m or -2/157?
m
Let z(w) = w**3 - 12*w**2 + 11*w + 6. Let c be z(11). Let h(k) = -k + 7. Let f(r) = -3*r + 21. Let o(j) = 3*f(j) - 8*h(j). Let n be o(c). Is n at most -1/4?
False
Let p