ues?
True
Let u be 8/(-5) - (-2)/(-5). Let h be 2 - (-4 - (2 + u)). Suppose -r + 7 = -5*p, 0 = p - h*p + 2*r - 9. Do 2/13 and p have different values?
True
Suppose -4*h + 29 + 19 = 0. Suppose 4*i - q = 4, -4*i = -5*i - 3*q - h. Which is smaller: i or -3/5?
-3/5
Suppose -64 = -5*u - 424. Let q be (4/u)/(2/4). Let r be (0/(3/1))/(-2). Which is greater: q or r?
r
Let k = 85/48 + -5/48. Suppose -3*m + 2 = h, -6 = -0*h - 3*h + 2*m. Is h > k?
True
Suppose 10*q - 54 = 4*q. Is q at most 3?
False
Let h(p) = -p + 2. Let i be h(4). Which is smaller: i or -1?
i
Let n be ((-2)/(-5))/((-8)/35). Which is smaller: -3 or n?
-3
Let h(u) = -6*u - 5. Let i be h(-3). Let q = -12 + i. Do 2/7 and q have the same value?
False
Let c(v) = v + 13. Let x be c(-9). Suppose x*f - f = -18. Let a be (f/20)/(1/2). Does -2 = a?
False
Let x be (4/8)/(6/(-9)). Which is bigger: -2 or x?
x
Let j = -11 - -18. Let w = j - 6. Do w and -1/17 have the same value?
False
Let x(j) = j**2 - 2. Suppose -5*f + 2*f = 0. Let z be x(f). Let r be (1 - 22/10)/z. Which is bigger: r or 0?
r
Let u be 248/18 - (-6)/27. Do u and 14 have different values?
False
Let m = 2.4 + -2.3. Is m less than -1/4?
False
Let v(t) = -t**3 - 21*t**2 - 20*t - 1. Let l be v(-20). Is l at most as big as -9?
False
Let y be (5/(10/8))/2. Suppose 5*r + 0*j = -5*j + 50, -3*j = -r + 22. Let h be r/20 + y/(-8). Is 1 at most h?
False
Suppose -n + 25 = -6*n. Is n equal to -4?
False
Let o(k) = -2*k**2 + 3*k + 3. Let g be o(3). Let b be (-14)/(-147)*(-14)/g. Is b at least as big as 0.2?
True
Let b = -45 + 45. Is 1/24 < b?
False
Let h be (-16)/6 - (-2)/3. Let y(d) = -10*d. Let x be y(-2). Let t be x/(-48) + (-1)/4. Is t greater than or equal to h?
True
Let u be (-3 + (-14)/(-6))/((-38)/(-6)). Which is smaller: u or -1?
-1
Suppose -1 = -2*c - x, -2*c = 4*x - x - 7. Is c bigger than -7/4?
True
Let g = 203/4 + -51. Are 3 and g non-equal?
True
Let m = 2 + 3. Let x(j) = m*j - 2*j + 9 - 1 - 4*j. Let i be x(8). Is 2 bigger than i?
True
Let b be 1 + 2 - (-2 - -5). Suppose -v + 1 + 0 = b. Does v = 0?
False
Let h = 21/11 + -138/55. Is 0 at least as big as h?
True
Let i = 2 + -3. Let q(a) = -a**3 + 4*a**2 - 3*a - 2. Let o be q(3). Is o < i?
True
Let r = -0.049 + -0.871. Let d = 0.08 - r. Let q = -4 - -3. Which is bigger: d or q?
d
Suppose -3*v = 5*a + v - 28, 4*a - 26 = -5*v. Which is smaller: a or 0.2?
0.2
Let l be (4 - 1) + (-3 - (-48)/8). Is l < 23/4?
False
Let j = -1 + 0. Let c be 0 + 0 - (-2)/(-5). Which is smaller: c or j?
j
Let z(c) = -3*c**2 + 5. Let t be z(0). Suppose -k + 8 = 4*j - 1, -4*j + 24 = 4*k. Is k <= t?
True
Let k = 96 - 197/2. Which is bigger: k or -4?
k
Let y = -2 - -5. Suppose -6*s - 17 = -2*c - y*s, -s = c + 4. Let t be c/2*(1 + 1). Which is smaller: -1/4 or t?
-1/4
Suppose 3*p = m - 23, -6*p - 5*m - 65 = -p. Which is smaller: p or -11?
-11
Let g be 9/(-84) - -1 - 1. Is 1 equal to g?
False
Let c be (-4)/6 + 7/6. Let y be (1/2)/(4/56). Suppose y*v + 5*n = 4*v - 2, -5*v = 3*n - 2. Is v at most as big as c?
False
Suppose 0 = -3*q - 4*z + 33, -3 = -z - 0*z. Suppose 2*t - 5 = -4*w + 5, -5*w + 3*t = -q. Let y be 306/168 + (-4)/7. Which is bigger: w or y?
w
Let l(j) = -j**3 + 16*j**2 - 17*j + 21. Let n be l(15). Let c be n*(-3 - 21/(-9)). Is c less than or equal to 4?
False
Suppose 0 = 2*l - 5*l + 4*q + 1, 0 = l - q. Suppose 0 = -3*x - 2*j - 8, 2 = -4*j - 2. Are x and l nonequal?
True
Let r = -7 + 15. Let t = 0.08 - 8.08. Let i = r + t. Which is bigger: i or 2/7?
2/7
Let o = 0.078 - 0.178. Which is smaller: o or -59?
-59
Let k = 0.64 - 0.85. Which is smaller: k or 2?
k
Let w = 14 + -22. Let u = -0.5 - -5.5. Let k = w + u. Is k at least as big as -0.1?
False
Let q(b) = 3*b - 4. Let l be q(-1). Which is bigger: -5 or l?
-5
Suppose -4*d = 2*q - 24, 0 = 3*q + 3*d - d - 28. Is 8 < q?
False
Suppose 7*a = 2*a - 180. Which is smaller: a or -35?
a
Let a = -28 - -1. Let w(y) = -y**3 - y**2 + 3*y. Let m be w(-3). Let g be m/a*(-3)/(-4). Which is smaller: g or 0.2?
g
Let z = -3 - 6. Let r = z + 5. Which is greater: -5 or r?
r
Let o be 18/20*(-20)/16. Is 0 smaller than o?
False
Suppose 14 = -4*j - 2*v, -2*j + 0*j + 2*v - 16 = 0. Which is smaller: -1 or j?
j
Let f(b) = b + 1. Let r be f(-1). Let p(q) = 3*q**2 - 3. Let t be p(2). Let o = 11 - t. Which is greater: o or r?
o
Let k(f) = f + 6. Let o be k(-4). Suppose -4*z + 3*d = -29, -d - o*d - 4 = z. Which is smaller: 6 or z?
z
Let h(w) = -16*w + 17*w + 4 + 10. Suppose j + 5*v = 10, -j + v = -3*j - 16. Let g be h(j). Is 4 greater than or equal to g?
True
Suppose -h = -6*h. Is h > 7/13?
False
Let n be 0/2 + 2/1. Suppose 2*d = -4*h + 6, -n*h - 5 = -4*d - 23. Does d = -4?
False
Let z = -17 - -16. Is -5 smaller than z?
True
Let s = 2 - 1. Let x = 150 - 454/3. Let w = 1 + x. Which is bigger: w or s?
s
Suppose -10 + 2 = 4*x + 4*c, 0 = 5*x - 2*c + 31. Is -12 < x?
True
Let y be (97 - -4)*(-9)/(-21). Let w = y - 43. Let l = 2.8 - 3. Is w at most l?
False
Let u(p) = p**3 - 12*p**2 - 2*p + 24. Let l be u(12). Let i be ((-4)/(-10))/(1/(-5)). Let o be i/(-6) - (-6)/9. Which is smaller: o or l?
l
Let l be ((-3)/(-135))/((-4)/6). Is l less than 1?
True
Let c = -21 + 18. Let y be 0 - 1 - (5 + -2). Which is greater: c or y?
c
Suppose 0 = -0*d - d + 2*d. Suppose 0 = 4*v + v - 220. Let w = -133/3 + v. Which is bigger: w or d?
d
Let m = -3/10 - 11/30. Is -0.1 > m?
True
Suppose -5*n + 2*t - 8 = t, 0 = 5*n + t + 2. Which is bigger: -4 or n?
n
Suppose -14 = 3*q - 17. Is 1/3 smaller than q?
True
Let b = 7.2 + -2.6. Let s = -5 + b. Are 0.1 and s equal?
False
Let h be 2/(-5) - 231/585. Let c = h - -4084/5187. Let t = 145/1596 + c. Is t smaller than 0?
False
Let d = 22 + -22.09. Let w = 1.09 + d. Which is greater: w or 1/13?
w
Let s(p) = -p + 2. Let y be s(1). Suppose 2*o + 5*w = 11, 0*w + 5*w = 5. Suppose 2 = -5*h - o. Which is smaller: y or h?
h
Let b(l) = -4*l + 1. Let w be b(1). Suppose 4*u - 1 = 5*z, -2*u + 3*u - 16 = -4*z. Suppose 3*i = k - 2, -3*k + 3*i - z = 3. Which is greater: w or k?
w
Let f = -40 - -46. Let u(l) = l**2 - l. Let y be u(-1). Suppose -2*n - 2*a - f = 0, -y*a - 4 = -2*n - 18. Do n and -5 have different values?
False
Let i = -109 + 108. Is i less than -2/5?
True
Let l be ((-4)/(-20) - 0)*-2. Is l equal to -1?
False
Let f = 27.7 + -29. Are -1 and f equal?
False
Suppose 2*j = -5*z + 26, -2*z + 7*z - j = 17. Let p = -0.52 + 1.52. Which is greater: p or z?
z
Suppose b = -0*f + 3*f + 13, 2*f - 5*b - 13 = 0. Let u be 3/18*f/4. Let q be (1 - (-1 + 2))/2. Is q > u?
True
Let l be 1/(-2) - 45/10. Let u(n) = -n**2 - 5*n - 1. Let t be u(l). Let c be (-1 - 27/(-21))*-3. Are c and t unequal?
True
Suppose 6*r = 4*r + 10. Let w be -3 + 0 + -1 + r. Is w equal to 4/3?
False
Suppose 0 = 2*c - 7 + 1. Which is greater: 1 or c?
c
Let g be 1/((-16)/(-5) + -3). Suppose g*p + 5 = -0*p. Which is smaller: p or -5/4?
-5/4
Let p = -7 + 13. Let d be 2 + (-22)/p + 1. Which is smaller: -0.1 or d?
d
Let j = -6 - -10. Which is smaller: j or 2?
2
Let w = 259 + -5441/21. Which is smaller: w or -1?
-1
Suppose -4*s + 5*p = 5, 4 = -5*s + 4*p - 0. Suppose -5 = 4*g - z, 0 = g + 5*z + 1 - 26. Are s and g nonequal?
False
Let x be 46/(-6) - 1/3. Let a be (-4)/10 + x/(-20). Which is smaller: a or 1/3?
a
Let v = 4/17 - 33/68. Let c = -219 + 1973/9. Is c less than v?
False
Let r be (-4)/10*15/6*1. Which is smaller: 1/52 or r?
r
Let y be 15/(-14)*468/(-65). Let u = y - 8. Which is smaller: 6 or u?
u
Let n be (-157)/155 - (-6)/(-18). Let k = n + 2/155. Let i(z) = -z**3 - 6*z**2 + 7*z - 1. Let y be i(-7). Which is smaller: y or k?
k
Suppose -3*s = s + 3*n + 129, 0 = 4*n + 12. Do 2/3 and s have the same value?
False
Let m = 127 - 130. Is 3 at most m?
False
Let a(y) = y - 1. Let v be a(6). Let p be (-2)/3 + 11/3. Suppose v*k - 2*l = -p, 0 = -4*k - l - 2*l - 7. Does k = -2/11?
False
Let t be 4*(3 - 276/88). Is t at most 1?
True
Suppose -h - 13 = 24. Let z = h + 775/21. Let u be (-1 + 1)*(4 - 5). Do z and u have the same value?
False
Let h be 4*(-1 + 32/30). Which is smaller: 0 or h?
0
Let h(g) = g**3 - 6*g**2 - 6*g - 5. Let d be h(7). Suppose 14 = 2*j + d. Let v be j/10*8/(-12). Is v <= -1?
False
Let w = 5 + -4.6. Let q = 0.3 + -0.1. Let o = q - w. Which is smaller: o or -1?
-1
Let z = -0.62 - 0.08. Let x = -0.76 - z. Is x greater than 2/3?
F