rue
Let y(n) = -4*n + 8. Let h be y(6). Let f be h/(-154) + (-6)/21. Is 1 <= f?
False
Let n = -4 + 4. Suppose -2*o - 4*q - 4 = n, 2*o = -o + 4*q + 4. Is o smaller than 1?
True
Let i(r) be the second derivative of r**4/12 + r**3 - 9*r**2/2 + 8*r. Let u be i(-6). Suppose -25 = -3*w - 5*l, -3*w + 5 + 10 = 3*l. Is u less than w?
True
Let p = -3 + -1. Let b = -4 - p. Are b and -0.1 equal?
False
Suppose -t = t - 4. Let y(a) = -a**2 + a + 2. Let b be y(t). Let g = -12/13 + 35/52. Which is bigger: b or g?
b
Let f = 21 + -24. Which is smaller: f or -2?
f
Let d(w) = -w + 6. Let u be d(5). Let r = -10 - -9. Does r = u?
False
Let n = 10 - 2. Suppose -3*v - 25 = -n*v. Suppose 4 = -2*s - 0*s, v*i = -s - 7. Which is greater: i or -1/5?
-1/5
Let r = -629/10 - -63. Which is smaller: 1 or r?
r
Suppose -3*p - 196 = -7*p. Is p < 49?
False
Suppose -8*o = -5*o - 6. Let z = -1 - -1. Suppose z*a = -a + 2. Is o smaller than a?
False
Let p(z) = z**2 + 5*z - 2. Let s be p(-6). Let x be 0 + 9/(126/s). Is x bigger than -1?
True
Let l = -53/58 + 12/29. Which is smaller: 0.11 or l?
l
Let l = 6 - 3. Suppose -l = -0*y - y + 3*r, -5*y - r = -15. Suppose y*m = 5*m + 6. Which is smaller: -2 or m?
m
Suppose -5*i = -4*a - 8, 4 = -5*i - a + 2. Suppose i*q = q - 1. Let h = q - 0. Which is smaller: h or 1/3?
1/3
Let q = -41/5 - -39/5. Let h(n) = n**2 - 4*n. Let i be h(3). Let l be (i/(-9))/(1/(-1)). Which is greater: q or l?
l
Let l be ((-2)/112)/(2/(-158)). Let d = l - 9/8. Let z = -38 - -40. Which is smaller: d or z?
d
Let r(c) = -c**3 - 2*c**2 + 4*c + 1. Let g be r(-3). Let q = -20 + 23. Do q and g have the same value?
False
Let l = -165 + 166. Which is bigger: l or 3/20?
l
Suppose 4*b - 14 = 50. Suppose 4*g + 4 = b. Suppose 8*w = g*w. Is w greater than 1/18?
False
Let f = -0.03 - 3.97. Let s = 4.1 + f. Let x = -0.9 - s. Which is smaller: x or -0.1?
x
Let d = -64 - -249/4. Does -2 = d?
False
Let b be ((-5)/35)/((-1)/7). Let m = 11 + 0. Which is smaller: b or m?
b
Let q = 0.2 + 0. Let h = -11 - -21. Let v = h - 11. Is v smaller than q?
True
Let n be 1*1/(-99)*-1. Is 0 at least n?
False
Let f = -29 - -50. Is 0 at most as big as f?
True
Suppose 0 = -4*g - a + 10, -2*a = g + 2*a + 5. Suppose -g*i - 42 = -0*i. Let m be 3/(-15) - i/20. Which is greater: m or 5?
5
Let o = 1787/35 + -51. Is -1 greater than o?
False
Let q(y) = 5*y + 7. Let a(w) = -w - 1. Let f(d) = 4*a(d) + q(d). Let o be f(-5). Is -1 < o?
False
Suppose m + 5*p - 5 = 6*m, 2*p + 16 = -4*m. Let i be m/10*(-8)/(-6). Suppose 0 = -8*b + 3*b. Does b = i?
False
Let c = 5 - 11. Let r = c + 8. Let u = -2 - -3. Is r equal to u?
False
Let k be 1*2/(-2)*-1. Let d be -2 + k/((-6)/(-10)). Is d less than 0.1?
True
Suppose -5 = -4*i + 7. Suppose -i*p + 17 = j, 0 + 5 = 5*j - p. Suppose 3*v + j*v + 15 = 0. Is -3 at least as big as v?
True
Let u = -8.15 + 0.15. Are u and 2/7 nonequal?
True
Suppose -r - 1 = -b, -3*b - r = 2*b - 29. Which is greater: 8 or b?
8
Suppose 0 = 5*j + 16 + 9. Let l(v) = v**3 + 6*v**2 - v - 7. Let s be l(-6). Which is smaller: j or s?
j
Suppose 9*o + 15 = 8*o. Does o = -15?
True
Let u = -5 - -4.8. Let l = -16 + 17. Do u and l have different values?
True
Let p = 0.01 + 0.59. Let i = p - 0.4. Are 2/7 and i unequal?
True
Let p be 1*16*(-1)/2. Suppose 4 - 20 = 2*t. Is t > p?
False
Let b = -11 - -4. Let t = -8 - b. Which is bigger: t or 1?
1
Suppose -2*m + 0*f - 3*f - 1 = 0, 2*f = 6. Let c = -14 - -8. Which is bigger: m or c?
m
Let p(c) = -c - 1. Let h be p(-3). Let b be (4/(-6))/((-4)/6). Which is smaller: b or h?
b
Let f = -6.6 - -6. Let y = -0.3 + f. Let b = y + 1. Which is greater: b or -0.1?
b
Suppose 4*f + 4*l = -l - 47, 2*l + 30 = -3*f. Let y be -6*(-2 + f/(-6)). Suppose 2 = y*s - 10. Which is greater: 2 or s?
s
Suppose 2*k - 5*k = 0. Let m be k/(-2)*(-2 + 3). Which is greater: 1/8 or m?
1/8
Suppose 4*f + 2*i - 32 = -6, -5*f + 5*i = -10. Which is greater: 16 or f?
16
Let t be 4/10 + 31/(-90). Suppose 0*r - r - 3*r = 0. Is t > r?
True
Let y be (-12)/(-2 - 3/(-2)). Suppose 5*t = -2*f - y, 0 - 6 = -f + 2*t. Is f equal to -1?
False
Let f(t) = 1 - 7*t**2 + 6*t**2 + 7 - 5*t. Let s be f(-7). Let m = -9 - s. Is -2 less than or equal to m?
False
Let r = 3073/10310 - -2/1031. Which is greater: 1 or r?
1
Suppose 72 = -5*b - 13. Which is smaller: -18 or b?
-18
Suppose -b - b = 2. Is b less than -12/13?
True
Let r(s) = -s**3 - 3*s**2 + s + 3. Let p be r(-3). Let l = -1 + p. Suppose 3*j = -5*x + 7*j - 20, 0 = -j + 5. Is x less than or equal to l?
False
Let c = 66 + -66.2. Is 8 smaller than c?
False
Suppose 5*d - 4 = -4*s, 0 = -s - 3*d + 4*d + 1. Let j(q) = 14*q - 1. Let n be j(s). Which is smaller: 12 or n?
12
Let x = 0.3 - 0.4. Let j = -0.6 - -0.7. Does x = j?
False
Let k(h) be the second derivative of h**5/120 - h**4/2 - 2*h**3/3 + 2*h. Let p(l) be the second derivative of k(l). Let y be p(9). Which is smaller: y or -4?
-4
Let g = -13 + 11. Is g >= -3?
True
Let o = 8.1 - 12.1. Let v = 0 - 1. Let p = v - -1. Is o smaller than p?
True
Let s = 24 + -25. Which is smaller: s or 2?
s
Let i be (2/(-6))/(2/(-12)). Suppose s = i*s. Let h(x) = -x**2 - 4*x + 5. Let m be h(-5). Do s and m have the same value?
True
Let u(a) = -a**2 + 9*a + 10. Let k be u(8). Which is smaller: 14 or k?
14
Let o = -0.06 + -0.09. Let j = o + 0.15. Which is smaller: j or -0.01?
-0.01
Suppose -3*f - 13 = -4*n + 10, -29 = -5*n + 4*f. Suppose 17 - 105 = -22*z. Is n > z?
True
Suppose 277*b = 272*b - 160. Is -31 smaller than b?
False
Let o be ((-18)/12)/(1/2). Let y(c) = -c**3 + 4*c**2 - 4*c + 1. Let g be y(3). Is g bigger than o?
True
Let s = -12.07 + 12. Let m = s - -3.07. Are m and -0.2 unequal?
True
Let o be (-46)/36 - (-9)/6. Which is bigger: o or 0?
o
Let q(f) = 2*f**3 + 3*f**2 - 5*f + 6. Let m be q(3). Which is bigger: m or 71?
m
Suppose -i - 37 = -4*i + w, -5*i = 2*w - 58. Suppose g - v = -3, g + v = -g - i. Is g at least as big as -5?
True
Let q = -497/3575 + -3/143. Which is smaller: -1 or q?
-1
Suppose 0 = -3*x - 2*x + 4*s - 30, 0 = 4*s - 20. Is x at least 0.3?
False
Let g be 4 - -46*15/(-175). Is 1 greater than or equal to g?
True
Let j = 2 + -1. Let u be 78471/(-273) + (-2)/(-7). Let v = -287 - u. Which is bigger: v or j?
j
Suppose 7 + 5 = 2*b. Let z = -7 + b. Is z less than or equal to -5?
False
Let i be (-2 + 1)/((-3)/3). Suppose -c = i - 0. Is -2/35 at least c?
True
Let t = -15 - -15.3. Is -0.6 > t?
False
Let y = -38/9 + 163/45. Suppose -66 = 6*d - 66. Which is greater: d or y?
d
Let u(d) = -d + 4. Let y be u(4). Let o = 77/205 - -1/41. Which is bigger: o or y?
o
Suppose -5*a + 253 + 32 = 0. Which is greater: 56 or a?
a
Suppose -4*o = 4*x + 20, 0 = 4*x - 2 - 6. Let k(s) = s + 7. Let a be k(o). Suppose j = -a + 2. Is 2 not equal to j?
False
Let n = -56 - -57. Which is smaller: n or -2/73?
-2/73
Let m(j) = j - 8. Let x be m(9). Let a be 1 - (-4 + (2 - x)). Which is greater: 5 or a?
5
Suppose x = -x - g - 38, -82 = 5*x - 4*g. Let k be 43/(-9) + 4/x. Is 1/3 greater than k?
True
Let a = -13.8 - -14. Let h = -0.4 + -0.1. Is a <= h?
False
Suppose 0 = -0*r - r. Let c be (1 - r)*(-1 - 0). Do c and 0.2 have the same value?
False
Let d = 11 + -21. Let c(t) = t**2 + 10*t - 1. Let f be c(d). Which is greater: -2/49 or f?
-2/49
Let k = -0.9 + 0.4. Let h = k + 0.5. Is h greater than or equal to 4?
False
Let s = -2 - 0. Let j = s + 3. Which is greater: j or 2/5?
j
Let m be (-2)/(-1)*(1 + 1). Suppose -7*q + 2*q = m*z + 7, -q - 3*z = -3. Is -3 greater than or equal to q?
True
Suppose -c - c = 0. Let r(s) = -s**2 + 3*s + 1. Let y be r(2). Let t be (3 - c)*y/9. Is t greater than -2/7?
True
Let s = -122 - -116.7. Let x = 5 + s. Let z = -227/4 - -57. Is z at most as big as x?
False
Let u = -2867/10 - -579/2. Let s = 113/35 - u. Which is smaller: 1 or s?
s
Let q(y) = -2 - y**2 + 3*y + 2 - 2. Let x be q(2). Are -2/5 and x non-equal?
True
Let o be (0 + 0)/(-1 + -1). Let m(p) = 2*p + 35. Let t be m(-18). Is t at least o?
False
Suppose 6*a + 9 = 3*a. Suppose 0*c = c + 2. Let j = c - 0. Is j bigger than a?
True
Let g(b) = b**2 - 4*b - 4. Let u be g(5). Let y be u/((-2)/10 - 0). Are -5 and y nonequal?
False
Suppose 2*g = 3*i - 6*i + 16, -5*g + 19 = -3*i. Suppose -i*h + 6 = -0*h. Is h >= -1/2?
True
Suppose 43 = 4*a - 5*j, -a + 7*j - 6*j + 12 = 0. Let n(p) = p**3 - 2*p**2 - 4