rue
Let o = -4 - -4. Is o >= 8?
False
Let w be -4 + 2 + (-2)/(-1). Suppose w = -u - 3 + 1. Let g = u - -2. Is 5/7 at least as big as g?
True
Let w = 305/2737 + 1/161. Which is smaller: -1 or w?
-1
Let t = 4 - 3. Let p = 2.1 + -0.1. Is t not equal to p?
True
Let t = -9.1 - 0.9. Are 2 and t unequal?
True
Suppose 3*z - m = 6, -m - 2*m = 5*z - 10. Let s = -1 + z. Let r be 2/(-13) + 0/s. Which is greater: -1 or r?
r
Let d(a) = a**2 + a - 1. Let b be d(-1). Let w be ((-2)/4)/(b/10). Let i be 2/w*(-10)/18. Is 1 at least as big as i?
True
Suppose -5*o = -4*c + 19, -3*o + c - 33 = 4*c. Let t be 1304/o - 1 - 2. Let x = -189 - t. Which is bigger: x or -1/3?
x
Let t = 14 + -13.7. Let r = -4/5 - -2/15. Which is smaller: t or r?
r
Let u(i) = -i - 5. Let d be u(-5). Suppose d*w = 5*w. Suppose w*n - 1 = n. Is n at least 0?
False
Let m = -6.7 - -3.7. Which is greater: 4/15 or m?
4/15
Let t = -0.1 + 0. Let a = -31 + 29.7. Let y = 0.3 + a. Which is bigger: y or t?
t
Let h = 4.3 + -6.4. Let z = -2 - h. Let f = 3 - 3.5. Is z not equal to f?
True
Let n = -10 - -30. Let m be 8/n - (-12)/5. Which is bigger: m or 4?
4
Suppose 34*r - 36*r - 2 = 0. Which is smaller: r or 2/15?
r
Let z = -0.45 - -0.24. Let c = z - 0.79. Is c less than or equal to 4?
True
Let a = -5 - -5.04. Let x = 1.96 + -2. Let t = a + x. Is t less than 2?
True
Suppose 5*a = 5*m - m - 49, -3*m - 12 = 0. Let g be a/51 + (-2)/6. Let r = -101/85 - g. Is -2 > r?
False
Suppose 0 = -2*u - 3*u + 15. Suppose 3*x + x = u*z + 7, 0 = 5*x + 5*z - 35. Which is greater: x or 1?
x
Let v(x) = 2*x - 10. Let y be v(7). Let h be y*(28/16 - 2). Suppose -7 = -3*t + 5*j, -3 - 5 = 4*j. Is h less than t?
False
Let x = 16 + -18. Is x equal to -4/5?
False
Let q be ((-4)/(-6))/(4/(-3)). Let z = 1.8 + -2. Which is smaller: z or q?
q
Let a = 5.4 + 15.6. Let w = -23.2 + a. Let n = -2 - w. Is n at most as big as -1?
False
Suppose -c + 2 = 2*b, 4*c = -4*b + b + 23. Suppose 2*d = c*d + 12. Is d greater than or equal to -11/4?
True
Suppose -4*t - t + 20 = 0. Suppose 0 = q + q - t. Are q and 2 equal?
True
Suppose 0*t - 15 = -t. Is 16 less than or equal to t?
False
Suppose -3*j - v + 96 = -4*v, -52 = -j + 5*v. Suppose 5*u = 5*a - 210, -143 = -3*a - 2*u - j. Let r = a - 85/2. Which is smaller: r or -4?
-4
Let z(u) = -u - 2. Let m be z(-3). Let v(r) = -r**2 - 10*r - 7. Let b be v(-9). Is m smaller than b?
True
Let r = 9 - 3. Suppose -r*l + 4 = -2*l. Suppose -19 = -3*k + 4*x, 5*k + 3*x = 2*x + l. Which is greater: -1/6 or k?
k
Let y = -0.6 - -0.61. Let g = y + 1.99. Are -0.3 and g nonequal?
True
Suppose -4*f + 2*k - 3 = 9, 4 = -k. Let g be (-2 + 1)/1 - -2. Let l = g + -7. Which is greater: l or f?
f
Let v = -2.9 + 3.1. Is v at most -0.03?
False
Let j = -8 + 5. Let d = j + 3. Which is smaller: -3 or d?
-3
Let p(d) = -d**2 + 7*d + 5. Let x be p(7). Suppose 4*t + 3*a = -6, -4*a + 3*a - 13 = x*t. Which is bigger: t or -4?
t
Let p be 2/(-5) + 12/(-20). Let v be (p - 2)/(3/(-2)). Is v smaller than 4?
True
Let r(y) = 4*y**2 - 6*y - 2. Let n be r(2). Do n and -27 have the same value?
False
Suppose -2*j + 5 = -j - 2*s, 3*j + 5*s = -7. Let z(i) = -i + 1. Let q be z(4). Is q >= j?
False
Let r(w) = -7*w**2 - 10*w - 9. Let s(h) = 6*h**2 + 9*h + 8. Let k(t) = -5*r(t) - 6*s(t). Let u be k(-2). Is 1 < u?
False
Let h = -0.05 - 0.85. Let z = h - -0.7. Let i = 3 - 5. Is z greater than or equal to i?
True
Let m = -3.01 + 0.01. Which is bigger: m or -20?
m
Let b = 18.8 - 1.8. Let v = 20 - b. Is v < 0.3?
False
Let a(n) = -2*n**3 + 14*n**2 - 3*n - 22. Let i be a(7). Is -44 greater than i?
False
Let g(v) = -v - 2. Let f be g(-4). Let t be (f + -7)*(-4)/10. Is t at most as big as 6?
True
Let t be 26/(-4) + (-1)/2. Let c = t + 8. Which is bigger: c or 3/8?
c
Let o = 24.4 - 14.1. Let n = o + -6.2. Let f = -4 + n. Do f and -0.4 have the same value?
False
Let x(i) = -4*i. Let l be x(-1). Suppose -4*w + 0 + l = 0. Let z be 5/(-10) - 1/4. Is z smaller than w?
True
Suppose 3*t + 0*t + 3 = 0. Do -1/11 and t have different values?
True
Let c = 6 - 5. Let d be (2 - 4)*c/(-2). Which is greater: -2 or d?
d
Let m = -7 - -5. Let z be 6/(-24) + m/8. Which is smaller: z or 0?
z
Let g = 0.25 - 0.05. Let m = -17.96 + 16. Let t = 0.04 - m. Which is smaller: g or t?
g
Let u be ((-6)/(-5))/((-2)/(-5)). Suppose 2*w - 3 + 2 = 5*h, 0 = -u*w + 4*h - 2. Let z = w + 0. Which is greater: -3 or z?
z
Let j be 132/55*(4 + 1). Let u = j - 15. Is u at least as big as -1?
False
Let g be -2 + -1 + 13/4. Let z = -3.6 + 4. Let j = -1.6 - z. Is g at most j?
False
Let x(t) = t**3 - 4*t**2 - 4. Let r be x(4). Let a be (-2)/r - (-20)/(-70). Which is bigger: a or -1?
a
Let o = -1.94 - 0.06. Let l = -0.01 - -2.01. Is o greater than or equal to l?
False
Suppose -2*h - 2*x + 0*x + 6 = 0, 0 = 3*h - x + 3. Suppose -5*b + 2*w = h, 4*b + w = 5*b. Is b < -4/3?
False
Suppose -5*t = -2*t - 6. Suppose c - 3 + 2 = 0. Which is smaller: c or t?
c
Suppose z = o + 7, -5*o = -z + 3 - 16. Suppose 4*x - 7 - z = b, 2*b + 3*x = 17. Suppose 2 = 4*h - 2*h. Is b less than or equal to h?
True
Let y be 4/(1/(-5)*1). Let v = 19 + y. Is 2/17 greater than v?
True
Let m be -27*(-5 - -4)/3. Which is smaller: 10 or m?
m
Suppose 0 = -0*m + m. Suppose -2*c = -m*c - 14. Is 7 greater than c?
False
Let a = 0 + 0.5. Let v = a - 0.3. Let z be (-36 - -34)/(-1 + -1 - -6). Which is smaller: v or z?
z
Let f be 4/10 - (-36)/(-15). Let h = 20 - 16. Does h = f?
False
Suppose 4*n + 5 = 1, -a = 4*n + 6. Let t be ((-2)/3 - -2) + a. Is t < -1?
False
Let s be 3/(1/((-6)/9)). Let c be s/(-2 - (2 - 2)). Let u = 0.4 + -0.7. Is u greater than c?
False
Let i = -2095482 - -898961279/429. Let s = i - 1/286. Which is smaller: s or 0?
s
Let j be (-2 + 12)/1 + -2. Suppose -4*m + j*m = 4. Which is smaller: -1/11 or m?
-1/11
Let j(h) = h**2 - 13*h + 7. Let n be j(13). Are 16 and n equal?
False
Let b = -92 + 47. Which is smaller: 0.1 or b?
b
Let v(x) = -x - 3. Let j be v(-6). Suppose -s - 33 = 11. Let z = -85/2 - s. Which is smaller: z or j?
z
Let i = -0.2 + 0.1. Let p = i - -1.1. Which is smaller: 2 or p?
p
Let c(g) = -2*g**3 - 3*g**2 + 4*g + 1. Let u be c(-3). Is u greater than 16?
False
Suppose -v + 3*v = -8. Let b = 23 + -15. Let k be b/(-20)*(-6)/v. Which is greater: k or -2?
k
Let b(m) = m**3 + 3*m**2 - 1. Let a be b(-1). Is a greater than or equal to -6?
True
Suppose 2*l - 77 - 53 = 0. Is l not equal to 63?
True
Let d = 84 - 83. Which is smaller: 5/6 or d?
5/6
Let c = -1.097 - -0.047. Let g = c - -0.05. Which is smaller: 3 or g?
g
Let n = 2 - -2. Let b be 3*1*(-6)/9. Let d = n + b. Is d >= 2?
True
Suppose 0 = 3*t + 5*h + 38, 0 = -0*t - 2*t - 5*h - 32. Let a = 10 - 10. Which is bigger: t or a?
a
Let p = 0.1 + -1. Let y = -0.6 - p. Let j = -0.1 - y. Which is bigger: j or -0.1?
-0.1
Let b = 0.077 - -0.123. Is 1 greater than or equal to b?
True
Let a = 1/2 + -1/6. Is a greater than 1?
False
Let q = -17.5 - 1.5. Let p = 18.9 + q. Is p at most as big as 21?
True
Let r be (-1)/(-4)*3*6/9. Which is smaller: 15 or r?
r
Suppose -c = 3*i - 1 + 11, 0 = -4*c - 4*i - 32. Is -7 <= c?
True
Let r = 935/42 + -107/6. Is 5 less than r?
False
Let k = -10 + 11. Let n be 1/12*(k - -1). Suppose 4*y - 11 = 5*h, -10 = -5*h + 3*h - 2*y. Which is bigger: h or n?
h
Let i(p) = 2*p - 12. Let f be i(-6). Let k = -25 - f. Which is greater: 1/10 or k?
1/10
Let r be -26*(-6)/8*10/(-15). Which is smaller: r or -57/4?
-57/4
Suppose 8 = 4*z, 3*z + 0*z + 84 = -2*a. Let i be ((-39)/a - 1)*-3. Is i at least -2/3?
True
Let k(r) be the third derivative of -r**5/60 + 7*r**4/12 + 7*r**3/3 + 4*r**2. Let y be k(15). Is y at most -6/13?
True
Suppose -114 = -5*f + 201. Let t be 12/(-2)*(-14)/f. Which is smaller: 2 or t?
t
Let b(t) = -t**2 + t. Let g(k) be the second derivative of k**5/20 + k**4/12 - k**2/2 - k. Let s be g(1). Let x be b(s). Does x = 1/4?
False
Suppose 0 = 2*w - 3*x - 11, 2*x = 3*w + w - 10. Let i be 4/15*(-10)/(-4). Which is smaller: i or w?
i
Let u be (-2 - -3)/(2/1). Let q be 1 - (-6)/(4 - 2). Suppose -a + q = 3. Which is smaller: u or a?
u
Suppose -2 = 3*t + a, 3*a + 0 - 4 = t. Let o be 4 - (1 - (2 - 1)). Suppose 0*p = -o*p. Is t at most as big as p?
True
Let d = 31.1 - 31. Is d bigger than -0.03?
True
Let x = -0.04 - -2.04. Let i be 1/(5/(-3) + 2). Let n = -2 + i. Is x smaller than n?