ller: x or d?
x
Let n(f) = f - 4. Let u be n(-2). Are -4 and u equal?
False
Let a be (1 - -1)*10/4. Suppose 0 = a*l - 5*t + 2*t + 19, -2*t = -6. Let g be 4/(2/(-1)) - -1. Which is bigger: l or g?
g
Let c = -1.7 - 0.3. Let o = -9.77 - 0.23. Let k = -15 - o. Which is smaller: k or c?
k
Suppose 5*o - 5 - 35 = -5*k, -8 = -2*k. Let d be 2/o + (-90)/228. Which is smaller: 0 or d?
0
Let j be (-2490)/(-25) - (-4)/10. Suppose j = 3*z - 20. Suppose -5*g + 4*p + p - z = 0, 3*g - p + 14 = 0. Is g less than or equal to -3?
True
Suppose -2*v + 5*g = -v, -3 = 3*g. Let x = v - -7. Let b be -1*x/(-2)*1. Which is greater: -1/5 or b?
b
Let k = 3.4 - -3.1. Let q = 7 - k. Which is greater: 0.1 or q?
q
Let q = -15.91 - -16. Let m = -1.91 - q. Are 0.1 and m equal?
False
Let f = -1.1 - -1.9. Let a = f + -2.8. Which is bigger: a or 2/7?
2/7
Let i = -271 - -824/3. Is 5 greater than or equal to i?
True
Let v = 5 + -4. Let g = 4 + v. Suppose -5*o + 4*x + 24 - 8 = 0, 3*o - 4*x - 16 = 0. Which is smaller: o or g?
o
Let d(m) = -m - 2. Let z be d(-4). Let q be 6 - (1 - 1 - 1). Suppose -k - k = -u - q, z*k + u = 13. Are -1/3 and k nonequal?
True
Let g be (-117 + 5 + -2)/(-2). Is 56 bigger than g?
False
Suppose 0 = -u - 14 + 8. Which is smaller: u or -7?
-7
Let r be (14/(-448))/((-2)/12). Does r = -1?
False
Let g = -4 + 3. Let t = -2/19 + 71/494. Is t != g?
True
Let y = -5 - -7. Suppose -5*p - o - 16 + 36 = 0, 2*o + 4 = p. Which is smaller: p or y?
y
Let z(y) = y**3 - 23*y**2 + 24*y - 37. Let b be z(22). Is b smaller than 4?
False
Let g(t) = -9*t - 2. Let u be g(-1). Suppose u*y - 3 = 4*y - w, 0 = 4*y + 4*w - 12. Are y and 4 nonequal?
True
Let w(q) = -q**3 + 12*q**2 - 10*q - 8. Let r be w(11). Is 0 equal to r?
False
Suppose -2*t - 7 = -5*w, 4*w + 5*t = 2 - 3. Let n = -7 - -6.7. Let o = 0.3 + n. Does o = w?
False
Suppose 38 = 4*y - x, 3*y - 3*x - 19 = 14. Which is smaller: 10 or y?
y
Let y = 14 + -15.6. Let t = -1.5 - y. Let l be (2/4)/(3/(-2)). Is t less than l?
False
Suppose 0 = 2*l + 2*l + 3*y + 10, -8 = 4*l + 2*y. Is -2/5 at least as big as l?
True
Let t = -6 + 18. Let x = 11.9 - t. Do 0 and x have the same value?
False
Suppose o + 0*o - 20 = 0. Suppose -2*z + 10 = 4*m - 4*z, -m - 4*z - o = 0. Let p = 0.5 - 1. Which is smaller: p or m?
p
Suppose 0 = 8*b + 83 + 261. Is -44 not equal to b?
True
Let o be 475/(-15) + 2/(-6). Let r = o + 95/3. Is 1 at most as big as r?
False
Let l = 1 + 0. Let y be (-4)/((-16)/(-12)) + 1. Is y > l?
False
Let s = -374 - -10848/29. Does s = 1?
False
Let y be (-148)/(-20) + (-6)/15. Let c = -7 + y. Is c at least as big as -1/5?
True
Let q = -35.9 - -34. Which is smaller: 0.1 or q?
q
Let c = 4 + 1. Is 6 at least c?
True
Let l be 0 + -4 + 1 + 22. Suppose -5*j = 4*t + l, 4*j + 9 = -3*t - 4. Do t and -11 have the same value?
True
Let v be ((2 + -1)*-1)/(4/(-24)). Is 8 at most v?
False
Let p(f) = 4*f**3 + 5*f**2 - 7*f - 22. Let s(q) = -q**3 - 2*q**2 + 2*q + 7. Let c(g) = -2*p(g) - 7*s(g). Let l = -2 + 6. Let h be c(l). Are h and -5 non-equal?
False
Suppose -s + 2*s + 6 = m, -27 = -2*m + 5*s. Which is greater: m or 3?
3
Suppose -15 = -z - 2*z. Suppose -i - i - 11 = -5*y, -4*y - z*i = 11. Is 4/3 < y?
False
Suppose 3*z - 24 = -z. Let p = -7 + z. Which is bigger: -1/2 or p?
-1/2
Let r = 0.64 + -0.64. Which is smaller: -7 or r?
-7
Let a = -1 + 3. Let k = -226.3 - -226. Is a less than k?
False
Let w = 0.12 - -8.88. Let a = -10 + w. Is 0.2 less than or equal to a?
False
Let j = 40 + -161/4. Which is smaller: j or 4/3?
j
Let b(j) = -j**3 - 8*j**2 - 6*j + 7. Suppose 0 = -4*y - 2 - 26. Let l be b(y). Let r = 3 - l. Is r smaller than 3?
False
Let w = -0.1 + 0.1. Let z = -0.9 - -0.1. Let p = 1.2 - z. Which is bigger: w or p?
p
Suppose -3*n = 2*o - 12 - 14, 3*o = 2*n + 13. Suppose -4*j - 8 = -0. Let z be (-18)/14 - j/o. Is 0 <= z?
False
Let b = -0.3 - 6.7. Let m = b + 6.9. Is m smaller than -1?
False
Let u(k) = k - 5. Let j be u(6). Which is smaller: j or 1/20?
1/20
Let a be (-246)/(-10) + (-1 - -3). Let x = -27 + a. Do -1 and x have different values?
True
Let t = 6.37 + -6.7. Let n = t + 0.3. Let g = 0.13 + n. Which is greater: g or -2?
g
Let o(i) = -i**3 + 9*i**2 - 9*i + 5. Let z be o(8). Let v(x) = -x - 5. Let k be v(z). Let c(j) = j**2 - 5*j + 3. Let a be c(3). Is k >= a?
True
Let t = 3.23 - 3.4. Let j = t - 0.03. Which is bigger: 1 or j?
1
Let o = -2.8 + 2.9. Are o and -2/11 unequal?
True
Suppose 0*q + 4*q = 0. Let t be (0 - (q + -1)) + 2. Let g be (1/t)/(1/(-3)). Which is greater: g or -2/3?
-2/3
Let u be 2/4*2 + -1. Let b be (2/6)/(18/48). Are u and b equal?
False
Suppose 0 = -4*i - 1 - 83. Let f = 34 + i. Is 12 greater than f?
False
Let l = -227/147 + -6/49. Which is greater: l or -4?
l
Let m = -1.4 - -7.4. Let z = m - 3. Is 1 at most as big as z?
True
Let t(d) = 3*d - 32. Let v be t(16). Which is bigger: 17 or v?
17
Let b = 10 + -10. Is 2/9 less than b?
False
Let y = -40 + 33. Is y at least -1?
False
Suppose 0 = 5*k - k - 2*u, 2*u - 1 = 3*k. Is 12/29 at most as big as k?
True
Let j = -0.6 - -0.6. Let n = -0.4 - -2.4. Let f = j - n. Which is bigger: f or 0.2?
0.2
Suppose -3*l - 2 - 4 = 0. Let x = -16 - -31. Let h be (-10)/x*3/l. Is h bigger than 1/2?
True
Suppose 2*h + 4 = -0*h. Let f be (h - -2)/(-2 + 0). Suppose 3*i + 2*b + 7 = f, 4*i - 7 = 2*i + b. Which is greater: i or -2/17?
i
Let r be (-8)/(-52) + 232/182. Is 2 less than r?
False
Let p(q) = q**2 + q. Let h be p(1). Suppose -2*z = 4*s - 16, h*s + 12 = -3*z + 5*s. Suppose 0 = 3*f - 9, 1 + 6 = 5*b + 4*f. Is z != b?
True
Let h(f) = f**2 - 4*f - 12. Let a be h(6). Is a at least 0?
True
Let x(d) = -d**2 + 5*d - 3. Let p be x(4). Let l be (-2 + 3)*(0 + -1). Let k = l + p. Which is bigger: k or 4/5?
4/5
Let o = -13.7 - -14. Is 0.02 greater than o?
False
Let q = -55897/6 + 9339. Let s = q + -23. Is s less than or equal to 0?
True
Let c = 1/405 - -791/7695. Let j be 0/2*2/(-4). Suppose j = -5*k - 2*m - 9, -3*m = -k - m + 3. Are k and c equal?
False
Let i = -7973870823/21269626 - 1/1119454. Suppose 2*v = 184 + 566. Let a = v + i. Is 1 at most as big as a?
False
Suppose 5*a - 2 = -y, -2*a - 5*y = -5 - 5. Let k be (-3 - -2)/(a - -10). Suppose -2*f + f = -1. Is k >= f?
False
Let z be 7 + -9 - (-56)/(-2). Let s = 22 + z. Which is bigger: s or -7?
-7
Suppose 2*q + 35 - 35 = 0. Which is smaller: -3/23 or q?
-3/23
Let r = 25.7 - 25.7. Let m = -0.01 + 0.61. Is r greater than or equal to m?
False
Let b be (-6)/3 + 1 + -4. Let a = b - -7. Is 6/7 <= a?
True
Let m = -6 + 4. Let n = m - -2. Let z be (-2)/(-4) - (2 - 1). Is n less than or equal to z?
False
Let r = -1.6 + 0.6. Which is smaller: -0.03 or r?
r
Let r(k) = k**3 + 3*k**2 - 5*k - 4. Let t be r(-4). Are t and -3/7 nonequal?
True
Suppose -t = 5*p - 10, 0 = -5*t - 4*p - p + 10. Is t less than 2/17?
True
Let l = -97 + 125. Is 29 <= l?
False
Suppose -4*y = -4*w, -w - 2*y = -6*y - 12. Let p(q) = -q**3 - 6*q**2 - 6*q - 9. Let g be p(-6). Let l be g/(-12) - 2/8. Which is bigger: l or w?
l
Suppose 10*i - 6*i - 36 = 0. Suppose i*c = 6*c. Is 2 at most c?
False
Let q be 1 - (2 - -4)/(-2). Let v be q/(-10) - (-16)/(-10). Let x be 4/6*(8 - 14). Is v less than or equal to x?
False
Suppose 2*u - 17 = -13. Which is smaller: 11/7 or u?
11/7
Let g be (-1 + 0)/(5/(-35)). Let h = g - 10. Are h and -3 non-equal?
False
Suppose -v + 0*v + 29 = -4*b, 4*b = 3*v - 55. Let o be v/7 - (6 - 4). Does -1 = o?
False
Let a = 384/493 - 26/29. Let o(k) = k. Let t be o(0). Is a less than or equal to t?
True
Suppose -4*b + 4*t - 2*t = 18, 4*t + 12 = -4*b. Let f = -2 - b. Do 2 and f have different values?
False
Let m = -0.9 - -12.9. Let j = m + -9. Is 0.2 less than j?
True
Let r = 2.6 - 4.5. Let n = 1.5 - 0.6. Let d = n + r. Which is smaller: d or -3/7?
d
Suppose 4*p - 6*p - 4 = 0. Let w = -6 - p. Let c = 2 + w. Are -3 and c non-equal?
True
Let o(k) be the third derivative of -k**4/24 - 7*k**3/6 + 3*k**2. Let i be o(-8). Which is greater: i or 1/17?
i
Let f be (19 + -1)/(-6) + (-14)/(-6). Suppose 8 = -5*j - 4*i, j - 5*i - 10 = 3*j. Is j >= f?
True
Suppose -9*l = -5*l + 4. Is -1/3 >= l?
True
Let p(f) = -f**2 + 2*f + 5. Let u be p(4). Let s be (-1 - (-3)/2)*-4. Let d = -4 - s. Which is smaller: u or d?
u
Let l = -3 + 1.4. Let f = l + 0.6. Suppose 3*d + 0*d = 0. Which is greater: f or d?
d
Let c = -9 +