 - 1. Let k be z(1). Let w be t(k). Do w and n have the same value?
False
Let g = -15 + 23. Let h be -214 + (30/g)/(-5). Let k = h + 216. Which is bigger: k or 2/3?
k
Let x(o) = -2*o - 31. Let s be x(-11). Let w be 4/(-10) - (-74)/10. Let c = w + s. Is -3/5 at least c?
True
Suppose 5*n - 23 = -2*h, -h = 4*h - 4*n + 25. Let a be 1 + 0 + (-7)/9. Is a greater than or equal to h?
True
Let t = 4 + -8. Which is bigger: -5 or t?
t
Let v be (2/(-276))/((-2)/8150408). Let g = v + -29531. Let n = g + -3/23. Are n and -0.1 nonequal?
True
Suppose 23*n - 85 = 28*n. Which is bigger: n or -1/2?
-1/2
Suppose 0*c = -4*c - 4. Which is smaller: 2/19 or c?
c
Let x(t) = -t**3 + 8*t**2 - 6*t - 9. Let y be x(7). Is -1 less than y?
False
Let m(i) = i**2 - 2*i. Let o be m(2). Suppose -3*r + 2*r - 4*s + 9 = o, 0 = -3*s. Which is greater: 10 or r?
10
Suppose -3*r - 4 = 2. Let v be (-1)/r*(-2 - -2). Suppose v*z - 3*z + 3 = 0. Which is bigger: -2/3 or z?
z
Let r(j) = -2*j + 1. Let y(b) = 6*b - 3. Let d(n) = -17*r(n) - 6*y(n). Let h be d(1). Let z = 15/28 + -1/4. Which is smaller: h or z?
h
Let q = -168.16 - -174. Let m = -0.16 - q. Let k = 8 + m. Which is bigger: 2/3 or k?
k
Suppose 2*q + 2*t = 7 + 9, 5 = q + 4*t. Is q at most 9?
True
Let z = 11.8 + -12. Let s = -1.1 - -0.8. Let u = s - z. Which is greater: 0.3 or u?
0.3
Let l be 3/2*8/6. Suppose l*k + 14 = 4*k. Let h be (-8)/70 - 2/k. Which is bigger: h or -1?
h
Let l = 5 - 5. Suppose 2*p - 5*p = l. Let u = 2 - p. Is u greater than or equal to 3/5?
True
Suppose -24*r = -27*r + 48. Is r smaller than 16?
False
Let n be 12/5*(1 - 30). Let c = n - -70. Which is greater: -3 or c?
c
Let c = 2.8 + -0.8. Which is bigger: c or 0.2?
c
Let z = -3 - -2.8. Let q(n) be the third derivative of -n**5/60 + n**4/24 + n**3/6 - 2*n**2. Let a be q(2). Which is smaller: z or a?
a
Let l = 0.3 + -0.1. Suppose b + 8 = 7. Which is smaller: l or b?
b
Let q be (-1094532)/63*3/2. Let s = -25979 - q. Let z = -81 + s. Which is smaller: z or 0.1?
0.1
Let v(u) = 3 - 4 - 3*u + 6 - u**2. Let j be v(-4). Let d be (10/(-200))/(4/(-10)). Is j less than d?
False
Suppose 0*m - 4*m = 0. Let p(a) = -2 + 2 + 5 - a. Let k be p(5). Do k and m have the same value?
True
Suppose -35 = -5*j + 2*x, -j = 2*x - x. Which is smaller: j or -2?
-2
Let b be (-85)/(-2) - (-7)/(-14). Let o be (-35)/b - 2/(-12). Which is bigger: o or 4/3?
4/3
Let y = 3 - 4. Let h = y + 0.7. Is h equal to -0.5?
False
Let q be 2*1/(-10)*-1. Which is smaller: q or 0?
0
Suppose -5 = -3*i + 25. Which is smaller: i or 5?
5
Let a = -11 - -8. Let f be a/(-12) + (-36)/16. Which is smaller: -1 or f?
f
Let p(x) = x**3 + 6*x**2 + x + 2. Let y(j) = -2*j**3 - 13*j**2 - 3*j - 5. Let a(w) = -9*p(w) - 4*y(w). Let g = -5 + 2. Let c be a(g). Which is smaller: c or -1?
-1
Let s be (-76)/14 - 8/14. Do -3 and s have the same value?
False
Let c be ((-4)/6)/((-1)/(-3)). Let z = 884/63 - 134/9. Which is smaller: z or c?
c
Suppose -5 = v + 15. Let k be v/(-5)*10/(-32). Which is smaller: k or -2?
-2
Let d = 712/21 - 34. Which is smaller: d or 1?
d
Let f be 2 - (-2)/(2/(-2)). Let w(r) = -r. Let g be w(-9). Suppose -4*y + 12 = -4*s, 0*s = y + 5*s + g. Which is greater: y or f?
y
Suppose -2*v - 5*n = 20, v + 3*v + 5*n = -20. Suppose 4 + 5 = k. Suppose 4*j = -k - 7. Is v at most as big as j?
False
Let n be (-649)/11 - (-2)/2*-2. Does -61 = n?
True
Let w = -3 + 0. Let p = 3.1 + w. Let f be 2/3 - -1 - 2. Which is smaller: f or p?
f
Let j(w) = 9*w - 25. Let u be j(-2). Is u greater than -44?
True
Let h(o) be the second derivative of -o**4/12 - o**3 + 3*o**2/2 - 3*o. Let k be h(-7). Let x be k/(-10) - (-6 + 6). Is -1/3 equal to x?
False
Let a be (-1)/(2*(-2)/148). Let w = a + -57. Is w less than -19?
True
Let u = 3864 + -30987/8. Is u at most as big as -10?
False
Let v(d) = -d - 6. Let n be v(-5). Suppose 0 = h - 3*h + 8. Let o be h/(-6) + (3 - 2). Are o and n non-equal?
True
Let f = 8 - 13. Suppose 0 = 3*u + 2*d + 38, 54 = -3*u - d + 20. Let q = 4 + u. Is f > q?
True
Let k = -266/429 + 10/39. Which is smaller: k or 0?
k
Suppose 5*i + 0 = -2*t + 6, 4*i = 2*t + 12. Which is bigger: t or -4?
t
Let b = 9 + -16. Let q be (3 + b/2)*-4. Let r be ((0 + 2)/1)/2. Is q at least r?
True
Let p = 27 + -24.8. Let w = -2 + p. Which is smaller: -2/5 or w?
-2/5
Suppose -4*n - 2 = d, -3*d + 4*n + 14 = -12. Let g be 6/(-9) + (-2)/d. Is g smaller than 1/3?
True
Let m = 41 + -41. Which is bigger: -1/8 or m?
m
Let d = 12 + -12. Let k be -1 - d - (-8 + 6). Suppose 3*t - 2*o - 8 = 3, -2*t = -o - 6. Is t less than or equal to k?
True
Let m be 0/(2*(1 + 0)). Suppose 7*f = 9*f + 2. Which is greater: m or f?
m
Let i be ((-2)/6)/(3/9). Is i at least -2?
True
Let a be 0 + 2 - 48/27. Is -0.22 at least a?
False
Let s = 1 + 0. Let l = 7 - -0.2. Let i = l + -7. Which is smaller: s or i?
i
Suppose 2*k + 2*j = -1 - 51, -3*k = -j + 94. Are -30 and k non-equal?
False
Suppose -3 - 1 = -2*g. Let j be 1*(0 + g)*-1. Suppose -1 = -2*k - 7. Which is smaller: k or j?
k
Let p = 20.4 + -57.5. Let j = -33 - p. Let z = j + -4. Is 1/3 > z?
True
Let s = 15.3 + -20.3. Suppose j - 5*j - 4 = 0. Which is smaller: j or s?
s
Let s(o) = o + 1. Let b be s(-4). Let w = -2 - b. Which is smaller: w or 1/2?
1/2
Let s = 0.9 - -0.1. Suppose -68 = -3*a + p + 4*p, p - 5 = 0. Let f = -123/4 + a. Which is greater: s or f?
s
Let j(w) = 4*w**3 - 2*w**2 + 2*w + 2. Let s be j(2). Let r be 1/(2/s*3). Suppose -5 = -r*o - 20. Are -3 and o equal?
True
Suppose 8*g = 3*g + 15. Let z(b) = -11*b + 9. Let d(l) = 5*l - 4. Let x(p) = -13*d(p) - 6*z(p). Let u be x(g). Which is smaller: 3 or u?
u
Suppose 0 = -2*p - 5*r - 6, 5*r - 4*r + 10 = 4*p. Let t = p + 1. Suppose -4*b + 8 + 4 = 0. Is t at least as big as b?
True
Let i be 0/(2/(-2) + 2). Suppose -25 = -g + 6*g. Let s = g + 7. Which is greater: i or s?
s
Let w be -1*3*(-10)/(-15). Let g = -1 - w. Which is smaller: 4/3 or g?
g
Let g = -18 - -16. Let o = -15 + 12.9. Let h = o - -2. Do h and g have the same value?
False
Let s = -39 + 101/2. Is 13 less than or equal to s?
False
Let v be (-24)/4*1/2 + 2. Let w be (-2)/(-2)*(-2 + 1). Is w <= v?
True
Suppose k - 6 + 1 = 0, -q = -2*k + 11. Let f be q*2/4*0. Which is bigger: 3/20 or f?
3/20
Let o be -12*3/(-6) + -4. Suppose -o*v = f - 11, -4*f - 2*v = -2 - 12. Does f = 7/8?
False
Suppose -v + 1 + 2 = 0. Let b be v*(5/(-3) - -2). Let y be (0/(-1))/(-3)*1. Is y greater than or equal to b?
False
Let s = -13/79 - -2107/12324. Let u = -193/312 - s. Which is smaller: u or -1?
-1
Let m = 71.1 + -71. Is m at most as big as -0.013?
False
Let s = 0.36 - -0.64. Suppose v = -v + 3*k + 23, -3*k + 5 = 5*v. Do s and v have different values?
True
Suppose -20 = -4*v, 5*v = -0*q + 2*q + 23. Do -16 and q have different values?
True
Suppose 5*s - 123 - 67 = 0. Suppose 22 = 4*d - s. Suppose 0*p + 5*p = d. Which is bigger: 4 or p?
4
Let v(i) = -10*i**2 - i**3 + 2*i**3 + 0*i**3 - 11 + 0. Let m be v(9). Let k be (-2)/(-7) - m/(-28). Which is smaller: k or 0.1?
k
Let k be 8/12*(-15)/2. Let d be 6/(3 + k) + 10. Is 6 smaller than d?
True
Let r = 4 - 5. Let x = -0.26 + -0.04. Let a = x - -0.4. Which is smaller: a or r?
r
Let i(h) = h - 14. Let n be i(11). Which is greater: n or -1?
-1
Suppose -3*u + 6 = -0. Let d be ((-12)/(-9))/u*3. Let x = -2.2 - -2. Which is smaller: d or x?
x
Let y be (2/4)/(2/12). Let k be (-5 + y + 1)/1. Which is bigger: -2 or k?
k
Suppose 2*p - 3 = 3. Suppose 0 = -p*l - 0 - 12. Let s be l/(-12) - 1/21. Which is bigger: s or -0.3?
s
Let n be (-3)/52*(-16)/(-30). Is n greater than 1?
False
Let z(g) = -4*g - 1. Let k be z(-1). Which is smaller: k or 4?
k
Let f be ((-1*9)/3)/(-3). Let l be 0 + -3*2/(-4). Is l < f?
False
Suppose 3*x = 2*x. Let h = -4/15 - -2/3. Which is bigger: h or x?
h
Let s = -4 + 5. Let u be (0/(1 + 0))/s. Let y = -4/3 + 14/15. Are u and y equal?
False
Suppose 5 - 11 = 2*d. Let j(g) = -g - 3. Let q be j(0). Are q and d unequal?
False
Let a = -93 + 557/6. Suppose 0 = -5*g - 0*g + 5. Let w be g*(-3 - -7)/(-4). Which is greater: w or a?
a
Let q(o) = 137*o**2 + 2*o + 2. Let a be q(-2). Let f = 15836/29 - a. Is f at least as big as 0?
True
Let t = 15 + -26. Let c = t + 18. Is c at least as big as 7?
True
Let d be (-17 - -19)/(2/24*14). Which is smaller: 1 or d?
1
Let l(i) be the first derivative of -i**2 + 2.