d(i) + 3*z(i). Let p be y(7). Let u be ((-6)/(-14))/((-9)/12). Which is smaller: p or u?
u
Let a = 183 + -181. Let m be 0 - 2*3/(-5). Which is bigger: a or m?
a
Suppose -5*w = -12 + 192. Let a be (-2)/(-2) + 28/w. Which is bigger: a or -1?
a
Let c be (-39)/(-9) + (-4)/(-6). Suppose v + 5 = 0, 2*b + b - c*v - 25 = 0. Which is smaller: b or 1?
b
Suppose -2*t + 2 = 5*u, -3*u + 1 = -4*t + 5. Let q be 1 + 0 + 13/(-15). Which is smaller: u or q?
u
Let l = 2.9 - 2.5. Let i = -1 + 0. Which is smaller: i or l?
i
Suppose 0*t - 5*t - 5 = 0. Which is bigger: -6/7 or t?
-6/7
Let s be 25/(-5) + (-4 - -2). Is s at most -2/7?
True
Suppose 2*w = -q - w, 5*q + 4*w = 11. Suppose -6*b + b - 3 = q*s, s = -2*b - 2. Let j(h) = -5*h. Let i be j(1). Do b and i have different values?
True
Let q = -2 - -3. Let t = 15 + -15.1. Which is greater: t or q?
q
Let w be (-6)/(-21) + (-132)/70. Suppose -c + x + x - 5 = 0, 0 = 5*c - 5*x + 15. Which is greater: w or c?
c
Let c be 14/(-6) + 2/(-3). Which is bigger: -4 or c?
c
Let k = 27/4 + -13/2. Let g = -4.2 + 4.5. Does k = g?
False
Let l be -9 + 10 - (-1 - 0). Is 12/11 equal to l?
False
Let o be (2/(-6))/(1/15). Is -5 less than o?
False
Let k(j) = j + 4. Let o be k(-6). Let l(i) = i**3 + 3*i**2 - 3. Let g be l(-3). Which is smaller: o or g?
g
Let x be -1 + (-70)/76 + 2. Let q = 179/342 - x. Which is smaller: q or -1?
-1
Let n(z) = 3*z**3 - z**2 - z + 1. Let u be n(1). Let k = 4 - u. Which is bigger: k or 3?
3
Let r be 3/54*226/(-16). Let k = r + 9/16. Suppose 0 = 3*s - 0*s - 4*n + 17, 5*n - 26 = -s. Which is greater: k or s?
s
Suppose 0 = -3*r + 4 - 1. Let c(f) = f**2 - 14*f - 6. Let n be c(11). Let q = n + 116/3. Which is bigger: r or q?
r
Let i = -17064/7 + 2433. Is i at least -5?
True
Let t = 81 - 73.9. Let a = t + -0.1. Which is smaller: 3/5 or a?
3/5
Let u = -98 + 97. Which is bigger: 0.4 or u?
0.4
Let r be (2/(-3))/((-1)/6). Suppose -r*w - 2*a + 1 = 5, 0 = -w - 3*a - 6. Are w and -2/5 nonequal?
True
Suppose -2*w = -5*u - 37, 4*u + 29 = 3*u - 5*w. Which is smaller: u or -8?
u
Let a = 1 + 1. Let c = -5 + -13. Let l be ((-12)/8)/(c/8). Is a != l?
True
Suppose 0 = -q - 3*c + 5, 0 + 2 = 4*q + 3*c. Let f = 131 - 925/7. Is f smaller than q?
True
Let c be 1/6*-2 + 0. Let q = -3 - -4. Which is bigger: c or q?
q
Suppose 4*m = -3*i - 1 - 14, -3*i + 9 = -4*m. Let l = i - 0. Let t = 1 + l. Which is greater: t or 1?
1
Let d = -48 - -25. Which is bigger: 0.1 or d?
0.1
Suppose o + 5*l + 0 = 25, 2*o + 20 = 4*l. Let k be o/(-3) - 2/7. Which is bigger: k or 0.2?
0.2
Suppose -2 - 2 = -j. Which is greater: 1 or j?
j
Let m(i) be the second derivative of -i**4/24 - 7*i**3/6 - 2*i**2 - 4*i. Let w(p) be the first derivative of m(p). Let c be w(-8). Is c less than 1?
False
Let y be 2*3/(-6)*3. Are y and -0.02 unequal?
True
Let b = -0.4 + -0.6. Which is bigger: -2 or b?
b
Suppose 2*g + 29 = g. Let l = g + 30. Is l > 4/7?
True
Suppose -5*w + 7 + 3 = 0. Suppose -14 = -2*p - w*p - 5*j, -4 = -2*j. Let a = -155 + 779/5. Is p greater than or equal to a?
True
Let o(a) = 4*a + 1. Let h be o(-1). Let k be 165/130*(-10)/6. Let x = -5/13 + k. Which is greater: x or h?
x
Suppose -11 = 5*y + 24. Let l = y - -5. Let q be ((-1)/l)/(2/(-3)). Is -2 less than or equal to q?
True
Let a = -5 + 8. Suppose -3*j = -0*j - a. Suppose j = 2*v - 1. Which is smaller: v or 2?
v
Let d = 19 - 17. Is 2 greater than d?
False
Let v(z) = 4*z**3 - 2*z**2 + z. Let c be v(1). Let y(q) = -7*q + 1. Let h be y(1). Let k = h + c. Which is smaller: 1 or k?
k
Let h be (-2)/(-18) - (-255)/135. Which is bigger: h or 8/5?
h
Let q be (-16)/(-6) - (-7)/21. Let r = 0.3 + -1.3. Let g = r - 0. Is g <= q?
True
Let v(n) = n**2 + 10*n - 10. Let k be v(-11). Let g be (1/2)/(k/44). Let i be 4/(-16) - g/(-24). Is 1 > i?
True
Suppose 0 = -0*l + l - 2, -2*u - 5*l + 18 = 0. Suppose -3*h + 5*g - 7 = -0*h, 0 = 2*h - u*g + 6. Let f = h - 3. Are -1 and f nonequal?
True
Let c(i) = -8*i. Let l be c(-5). Suppose -4*r - r = -l. Suppose 22 = -4*n + 5*f, r*n + 5*f = 5*n + 1. Are n and -3 non-equal?
False
Let c = -58 + 71. Which is smaller: c or 14?
c
Let g be (-14 + 12)*(2 - 0)/26. Is 0 less than or equal to g?
False
Let a = 4.2 + -4.5. Which is smaller: a or 1/5?
a
Suppose -8*j + 430 = -162. Is 0 less than j?
True
Let m be 1/1*(-6 + 5). Is m smaller than 2/71?
True
Suppose 2*x - z = 5*x - 271, -4*x + 4*z = -356. Let o be x/(-24)*(-2)/25. Which is smaller: o or -1?
-1
Let u(m) = -m**3 + m**2 + m + 2. Let j(t) = t**2 + 14*t + 15. Let w be j(-13). Let a be u(w). Is a at least as big as -0.1?
True
Let f = -5 - -3. Is -5/2 less than f?
True
Let n = 20 + -18.2. Let v = -38 + 36. Let q = n + v. Do -0.1 and q have the same value?
False
Let f = -2.2 - -0.2. Let h = -0.2 + -0.8. Let q = h - -1. Which is bigger: f or q?
q
Let y be 2/3 - (-104)/(-174). Is -1 smaller than y?
True
Suppose -5*l + 2*l + 10 = -5*u, l - 2*u = 3. Suppose -l*n = -2*q + 5, 5*q - 24 = -2*n + 3. Which is smaller: 4/3 or n?
n
Suppose 4*x + 5*b - 58 = 8*x, x - 5*b = -22. Let q be (-3*1/x)/1. Let y = 3.8 - -1.2. Which is greater: y or q?
y
Let l be 2*2 + 1947/(-396). Is -2 < l?
True
Let l = -1 - 1. Let s be (1/2)/((-1)/l). Which is greater: s or 0?
s
Let x be ((-48)/(-20))/(-2 - 0). Are -0.1 and x equal?
False
Let v = 5 + -3. Suppose -4*o + v*g = -3*g + 54, -2*o + 2*g - 26 = 0. Let d = o - -31/3. Is d >= -2?
True
Suppose 0*d - d = -7. Suppose 0 = -d*k + 2*k. Let t = k - 0. Is 0.1 at most as big as t?
False
Suppose -9 = 5*d + 11. Let c be (-12)/d - (0 + 0). Suppose -20 = 4*p, p + 13 = 2*g + 2*g. Are g and c equal?
False
Let s = -52.1 - -50. Let c = 2 + s. Which is smaller: 4 or c?
c
Let c(d) = 5*d**2 - 15*d + 24. Let m(j) = 3*j**2 - 10*j + 16. Let q(r) = -5*c(r) + 8*m(r). Let g be q(-6). Let z = -50 - -51. Which is bigger: g or z?
g
Let b = -0.069 - -0.057. Which is smaller: b or 1?
b
Let l = -7.2 - -7.2. Is 11 less than or equal to l?
False
Let d be 4*2/32*0. Which is smaller: d or 1/85?
d
Let s(l) = -2*l + 3. Let i be s(2). Let d be (-2 + -1)*i/1. Suppose -d*h + 4 - 7 = 0. Which is bigger: -2 or h?
h
Let m = 41 + -62. Which is smaller: -19 or m?
m
Let t(h) = 2*h**2 + h - 30. Let i be t(0). Is i equal to 0?
False
Suppose -j + 24 = -5*j. Let x be -4 - j - 20/11. Let r be -1*(-1 - 1 - -1). Is x < r?
True
Suppose 2*o + 14 = -2*n, -12 = n - 2*o - 2*o. Which is smaller: n or -7?
n
Let g(b) = b**2 - b - 3. Let s be g(-3). Let y be 3*4/(-3) - -12. Is s equal to y?
False
Let x = 64 - 604/9. Let c = -158/45 - x. Is c smaller than -1?
False
Let m = -53 + 56. Is m less than 6?
True
Suppose 2*k - 13 = -3. Is 6 >= k?
True
Let w(i) = -i - 5. Let m be w(-5). Is 1/42 less than or equal to m?
False
Let p = 5 - 2. Suppose 4*m = 7 - 27. Let w = m + p. Which is greater: w or -4?
w
Let i = -1 + 0. Let n be i*((-4)/2)/2. Let d be n/(-5)*10/4. Which is smaller: -1 or d?
-1
Let y = -0.09 - 3.41. Let p = y - 0.5. Let m = p - -3.9. Which is smaller: 1 or m?
m
Let t(z) = -z + 33. Let q be t(0). Suppose -y + q = 2*y. Suppose 2 + 4 = 3*o + 4*c, o = 3*c - y. Which is smaller: o or -1?
o
Let c = 3.07 + -0.07. Let k = 2.7 - c. Let s = k - 0.7. Which is smaller: s or -0.02?
s
Let m(h) = -3*h - 1. Let c(w) = -w. Let f(a) = -5*c(a) + m(a). Let z be f(1). Let p = 1 - 0. Is p greater than or equal to z?
True
Let j = -203/9042 - -1/137. Is j at least as big as -1?
True
Suppose -n + 3*n = 6. Is -1/3 at least n?
False
Suppose -2*c + 0*c + 2 = 0. Suppose n + 1 = 2. Is n equal to c?
True
Let r = -11 - -10.9. Is r < -1/10?
False
Suppose -2*z = 2*z. Suppose z = -2*i + 5 - 3. Which is smaller: 2/15 or i?
2/15
Let n be (1*2)/((-21)/7). Is n bigger than -3?
True
Let m be 3/6*(0 - -2). Let f be ((-2)/8 + m)*-4. Suppose -5*c + 0*c = 5*n + 35, 17 = n - 5*c. Is f at least as big as n?
True
Suppose 0 = 4*v - 2*y - 20 + 6, -5*y = -3*v + 14. Suppose -4*s + 52 = 2*q, -v = 2*s - 9. Suppose -q = -4*m, -5*m - 7 = -5*u - 37. Are u and 1 equal?
False
Let r = 14 - 10. Suppose r*z + 3 = -5. Is z at least -1?
False
Suppose -t = -3 + 7. Let q be 44434/126 - t/(-18). Let k = -353 + q. Is -1 smaller than k?
True
Let z = 3 + 4. Suppose -9*m = -8*m + z. Are m and -7 equal?
True
Suppose 2*q = -2*q - 3*m + 4, -3*q = 2*m - 4. Let z = q + -10/3. Suppose 0 = 5*o - o. Is z <= o?
False
Let n = 3575/142 + -1444801/57794. Let i = 