ue?
False
Let w be -1 - (-5)/(30/174). Is w bigger than 80/3?
True
Suppose 0 = -5*r + 9*r + 8. Is r not equal to -5/2?
True
Let z be 2 - ((-8)/(-4) - 15). Is 14 at least z?
False
Let p(h) = -6*h - 1. Let i(u) = -u**2 + 2*u + 2. Let s be i(3). Let l be p(s). Let y = -2 + l. Is 3 at least y?
True
Let u = 10 - -103. Let i = u - 1466/13. Which is smaller: i or -1?
-1
Suppose -16 = -i - 9. Suppose 5*w - i*w = 0. Which is bigger: w or 8?
8
Let d = 51 + -50. Are 2/9 and d equal?
False
Let p(u) = u**3 + 8*u**2 + 3. Let o be p(-8). Suppose 5*d + 4*z = 0, 5*d = o*z - 14 + 49. Let j be (2 + -2)*2/d. Which is smaller: j or 2?
j
Let k = -43 - -42. Let q = -85/9 + -1/18. Let f = 9 + q. Is k >= f?
False
Let x = -4 - -2. Let j be 1/(-1)*x + -1. Let h = 6.3 - 4.3. Is j at least as big as h?
False
Let z(q) = q. Let c(i) = -3*i - 3. Let w(d) = c(d) + 4*z(d). Let a be w(7). Suppose 2*x + 4 = x - 2*b, a*b = 3*x - 8. Which is bigger: x or 1/2?
1/2
Let k be (4/2 + -4)/2. Let z be (9/(-12))/(2/(-48)). Let d be k - (z/(-15) - 0). Is 0 at least as big as d?
False
Let j(g) = -g**2 + 12*g + 11. Let s be j(13). Is 42 smaller than s?
False
Let v = -83/105 + 4/21. Let w = 0 + 0. Suppose w*t + 1 = -t. Is t <= v?
True
Suppose -2*h + 3 - 1 = 0. Let q be 5 + 1*(1 - 2). Let c be ((3 + -3)/q)/(-2). Is c < h?
True
Let g(q) = -3*q - 2. Let u be g(2). Let c be (-1)/4 - 26/u. Let s = 2 - c. Is -2 less than s?
True
Let g(b) = -b - 3. Let w be g(-7). Let i be 22/24 + (-1)/w. Let m = -0.1 + 0.2. Which is smaller: i or m?
m
Let u(n) = n**3 - 2*n**2 - 1. Let x be u(3). Which is smaller: 6 or x?
6
Let k be ((-4)/(-6))/((-24)/387). Let f = -11 - k. Is 1 > f?
True
Let q = -11 - -17. Let a be (q/(-9))/((-4)/(-18)). Suppose 2*b + 5 = -0*k + 3*k, 0 = -4*k - 4. Is a greater than or equal to b?
True
Let w(t) = -7*t**3 - 25*t**2 + 5*t + 9. Let y(v) = 4*v**3 + 12*v**2 - 3*v - 5. Let b(r) = -3*w(r) - 5*y(r). Let g be b(-15). Is g at least as big as -1?
False
Let b be ((-3)/((-441)/(-12)))/(-2). Which is smaller: -1 or b?
-1
Let w = 117/70 - 15/14. Suppose -5*q + 2 = -3. Are w and q unequal?
True
Let h = -104 - -102. Which is bigger: h or 23?
23
Let x = 744/5 - 6746/45. Which is greater: -2 or x?
x
Let z be (-2)/(-24) + (-12)/(-48). Does z = 40?
False
Let k be 5/3 + 3/9. Let i be 5/k + (-6)/(-4). Is i at least as big as 4?
True
Let d(f) = -f**3 + f**2 - f. Let i be d(1). Is 36 >= i?
True
Let u = 3.51 + 28.79. Let d = u - 31. Let t = d + -1. Which is smaller: 0 or t?
0
Let b = -17275499/22 + 785078. Let h = -172 - b. Is -1 >= h?
False
Let m(j) = -j**3 + 3*j**2 - 2*j + 3. Let s be m(2). Let d be 0/(2 - s/3). Suppose 4*g + d*n - 2*n = -8, 8 = 4*n. Do -2/9 and g have different values?
True
Let r be 30/4*16/24. Suppose -d + u - 67 = -r*d, d = 4*u + 38. Let p be 2/(d/15) + -1. Is p less than 0?
False
Let m(j) = j. Let i be m(3). Suppose p - 4 = i*s, -4*p + 12 + 4 = 4*s. Suppose 3*l = 2*d + 1, -p*d = 3*l - 10 + 3. Which is bigger: l or 2/7?
l
Suppose 12*x + 12*x = 27*x. Is x less than 0?
False
Let n(z) = -z**2 + 12*z + 1. Let c be n(12). Let r be (3/(-3))/c + 0. Is -8 smaller than r?
True
Let l(s) = -s**3 + 10*s**2 - 10*s + 10. Let i be l(9). Which is smaller: 1/2 or i?
1/2
Suppose 0 = 5*f - f + 52. Let x = -16 - f. Let g = 0.1 + -2.1. Which is bigger: g or x?
g
Let x = 334/731 + -50/43. Is -1 <= x?
True
Suppose 0 = 4*a + 2*f + 6, -3*a - f + 4*f - 18 = 0. Let d = a + 2. Let b be 4*(-1)/(-2)*d. Which is bigger: b or -1?
-1
Let k = 1/156 + -8741/780. Which is smaller: -11 or k?
k
Suppose -i = -6*i + 15. Suppose -1 = i*f + 5. Let c = -81/14 + 30/7. Is c at least f?
True
Let l be -9 - -5 - (-33)/6. Is l < 2?
True
Let d = 0.2 - 0.3. Let b = d + 0. Let t(j) = j - 12. Let u be t(8). Are u and b nonequal?
True
Suppose -2*v + 3 = -1. Suppose 2*h = -4*o + 8, -h + v*o = -0*h. Which is greater: h or 5/6?
h
Suppose 5*o - 6 = -3*i, -2*o = 2*o - 2*i - 18. Suppose 4*d - u + 112 = u, o*d = -3*u - 66. Let r = d + 55/2. Which is smaller: r or 2?
r
Let a = 636/11 - 58. Let v = 0 - 0. Which is smaller: v or a?
a
Let x be (-2)/(-4) - 213/1242. Let p = -5/23 + x. Which is smaller: -1 or p?
-1
Suppose -5*r - 7 = 3*m - 51, 0 = -4*m - r + 36. Let z be (m/16)/(6/(-4)). Is -0.5 less than or equal to z?
True
Let g = 2223/16 - 139. Which is greater: -1 or g?
g
Let i = -4 + 4. Suppose i*t = 2*t. Suppose 0 = 8*p - 5*p + 6. Which is smaller: p or t?
p
Let u = -5.9 + 6. Which is greater: u or -4/7?
u
Let i = -0.197 + 0.097. Are 5/8 and i equal?
False
Let q be (2 + -1)/(3/6). Suppose g + 5 = q*r, -2*r - g - 15 = 2*g. Which is smaller: 1 or r?
r
Let h(k) = -6*k**2 + 2*k - 1. Suppose 2 = 5*p - m, 3 - 14 = 4*p - 5*m. Let t be h(p). Is -5 < t?
False
Let o(y) = y + 2. Suppose -2*f = 2*f. Let n be o(f). Let h = 8 + -7. Does n = h?
False
Let r(l) = -4*l + 3 - 5*l - l**2 + 0*l**2. Let h be r(-9). Are 2 and h equal?
False
Let t = 9 + -7. Let d = 3 - t. Suppose u + 0 + d = 0. Is u bigger than -1/4?
False
Suppose -v + y - 26 = -4*y, -3*y + 11 = 4*v. Let w be ((-6)/5)/(2/30). Let j be 0 + (4/w)/(-1). Is v <= j?
True
Let r(b) be the second derivative of -b**3/3 - b**2/2 + 4*b. Let m be r(-1). Is 5/8 bigger than m?
False
Let g(i) = i - 12. Let u be ((-16)/(-20))/((-2)/(-25)). Let l be g(u). Let z = 3 + -6. Which is bigger: z or l?
l
Let x = 157 + -167. Do -10 and x have different values?
False
Let j be -18*(-3)/6*-1. Let w = -14 - j. Which is bigger: w or -3?
-3
Suppose -k = -2*k - 1. Suppose -2*i = -3*x + 176, -5*x + 157 = -5*i - 278. Let l = 933/11 + i. Is k not equal to l?
True
Suppose -7 - 9 = 4*a. Which is bigger: a or 0.2?
0.2
Let r be (-128)/(-20) - (-4)/(-10). Let s(m) = 2*m - 4. Let g be s(r). Suppose 3*t = g*t - 30. Is 6 greater than t?
False
Let m(k) = k**2 + k - 2. Let q be m(-3). Which is bigger: 3 or q?
q
Let l = 16 + -9. Let s = l + -7. Let o = -208/45 - -38/9. Is o less than or equal to s?
True
Let o = 2 + -2.1. Let j = 34 + -29. Are o and j non-equal?
True
Let d be 2*(-5)/((-10)/4). Let q be (-12)/d - (-13)/2. Let l = q - 3. Is l >= 1?
False
Let c = -3/80 + 187/720. Let p = -0.61 - 2.31. Let r = p + -0.08. Is c at most as big as r?
False
Let i be (2 - (-4)/(-3))*3. Let r(x) = -x**3 - 6*x**2 + 8*x + 2. Let s be r(-7). Let n be (1 - 0)*(s + 8). Is n != i?
True
Let a = -53 + 52. Is a at least as big as -1/40?
False
Suppose 0 = -4*b + b + 2*q - 4, 5*q = -b + 10. Suppose -4*u + 3 = -b*u + i, -u + i = -2. Is 1/11 >= u?
False
Let d = 113 - 70. Which is smaller: 44 or d?
d
Let h = -5 + 3. Let y(k) = k**2 + k. Let m be y(h). Do m and 7/5 have the same value?
False
Let l be 12/(-8)*(-6)/(-9). Let j be (-27)/62 - (-1)/2. Which is smaller: j or l?
l
Let t be (-1 - 0)/(3/(-15)). Suppose -2*u - h - h = 12, t*h + 12 = u. Is u less than or equal to -4?
False
Suppose 0 = -2*n + 4 + 20. Let z be n/(-45) + (-2)/(-3). Which is greater: 0.2 or z?
z
Suppose r = -4*b + 30, -7*b + 2*b + 4*r = -48. Suppose 6*n = b*n. Which is smaller: -6/11 or n?
-6/11
Suppose 4*r + 48 = 2*r. Let m = -73/3 - r. Is 1 at most as big as m?
False
Suppose 2*u = 4*u - 4*a + 62, -3*a = -6. Which is smaller: -28 or u?
-28
Let y = -175/342 - -2/171. Is 24 greater than y?
True
Let k(r) = -r**2 + 5*r + 6. Let b be k(6). Which is smaller: b or -3?
-3
Suppose -26 - 7 = -c + 4*m, 2*c - 22 = -3*m. Let l = c - -3. Suppose -4*a = -9*a - l. Is a less than -4?
False
Let u = -6 - -6. Which is bigger: u or 3/10?
3/10
Let o = 0.04 + -2.04. Let v be ((-6)/14)/(6/(-4)). Which is smaller: o or v?
o
Let l = -14 - -8. Let z(j) be the second derivative of j**5/20 + 5*j**4/12 - j**3 + 5*j**2/2 - j. Let r be z(l). Is r less than or equal to 5?
True
Let g(t) = t**2 - 3*t + 2. Let l be g(1). Let b be 7/1 - (1 + l). Is b less than 19/4?
False
Let s be (5*-31)/(-6 + 2). Let n = -39 + s. Is n at most as big as 0?
True
Let z = -8 - -9. Let g be (z/3)/((-1)/71). Let s = 23 + g. Which is greater: 0 or s?
0
Let a be (-2091)/119 + ((-12)/(-14))/(-2). Which is greater: a or -16?
-16
Let a be (-8)/12*3/(-2). Let i = -23 - -24. Are i and a unequal?
False
Let l be -1 - -1 - 9/((-27)/42). Which is bigger: l or 2/7?
l
Let d be (2*1)/((-12)/(-18)). Suppose -2*k = -1 - d. Is 1/3 smaller than k?
True
Let f be ((-4)/(-26))/((-1)/(-3)). Is 1 at most as big as f?
False
Let g be 0/(0 - 3/(-3)). Suppose -5*c + 2*b - 3 = 4, -c +