e
Let w = -195 + 195. Which is greater: w or 6?
6
Let j = 1578673/9240 + -4097/24. Let l = j + 4/105. Let p(a) = -a. Let f be p(-1). Which is bigger: l or f?
f
Let k = -4/39 + -22/39. Which is smaller: k or -8/3?
-8/3
Let v be (-7)/(-3*(-4)/12). Let m(d) = 2*d + 10. Let x be m(-8). Is x < v?
False
Let h = 0 + 1. Let p(w) = 4*w - 48. Let c be p(12). Let g be -2 + 1 + h + c. Which is smaller: g or 6/13?
g
Let z(t) = -t**3 - 10*t**2 + 15*t + 4. Let w be z(-11). Does -43 = w?
False
Suppose 3*a - 2 = 4. Let y be 2/a - (1 + 12). Let q be (2/(-4))/(y/8). Which is greater: 0.4 or q?
0.4
Let c be ((-26)/8)/(11/(-44)). Let l = c + -14. Which is smaller: l or -5?
-5
Let c = -33 - -26. Suppose 2*n + 9 = 3*n. Let j be n/c - 4/(-14). Is 0 >= j?
True
Let s(p) = p**3 + 2*p**2 - 4*p + 2. Let w be s(1). Which is greater: w or 8/5?
8/5
Let p be 225/((-1)/(3/(-3432))). Let a = 3/88 + p. Which is smaller: a or -1?
-1
Let t be (-4)/(-6) - (-35)/(-21). Is -1/6 at most t?
False
Let h = -7 + 7.1. Let k = 6 - 8. Let q = k - -4. Which is bigger: h or q?
q
Suppose 1 = -d + 3*o, o - 9 = -6*d + 2*d. Let i be 9/d + (-1)/(-2). Which is smaller: 1 or i?
1
Let i be -5 + 0 + 5 - 0. Which is bigger: i or 2/297?
2/297
Let u = 5 + -5.07. Does 0 = u?
False
Let u = 0.2 - 0.4. Let d = u - -1.2. Suppose -2*q + 24 = -q - 5*v, 4*q + 19 = -3*v. Is q > d?
False
Let s = 6.1 - 0.1. Let v = 6 - s. Does -1 = v?
False
Let b = 0.09 + 6.91. Let w = 5 - b. Which is smaller: w or 1?
w
Let w be 222/(-7) + (-12)/42. Let m be 90/5*2/4. Let n be 2/m - w/18. Is n at least 5/4?
True
Let y = 115/7 - 895/63. Which is bigger: 3 or y?
3
Suppose -k + 5*k - 8 = 0. Suppose r = -k*r. Suppose -2*j + 2*f = 2, -j - 2*f + r*f + 2 = 0. Which is greater: 2 or j?
2
Let c be (-5 + 2)*(2 - 3). Suppose -12 + c = 3*l. Are -2 and l unequal?
True
Suppose -2*m + 5 + 1 = -g, -2*m - 4*g = -26. Suppose 0*z + 15 = m*z. Suppose -2*a - a + 15 = 0. Which is smaller: a or z?
z
Suppose -3*u - u = -20. Suppose 0*i + i = -u. Is i less than or equal to -4?
True
Let h be ((-2)/(-5))/(3/(-15)). Let l be h/(-6) - 80/150. Is l less than 1/4?
True
Suppose -2*p - l - 4 = 0, 3*p - 3 = l + 1. Suppose 5*k + 61 = -104. Let q be k/153 + (-2)/(-6). Which is greater: q or p?
q
Let f be 47*(-3)/(-21) + 12/42. Are 6 and f nonequal?
True
Let f = -0.17 - 2.83. Do 1/3 and f have the same value?
False
Let v = -0.01 - -2.01. Let b be (0 - 5/2) + 3. Is v bigger than b?
True
Suppose -18 = -10*l - 28. Let w be 4/(-15)*(-15)/66. Is l != w?
True
Let m = 0.12 - 0.22. Is m > 3/13?
False
Let k be ((-5)/10)/(2/(-36)). Suppose -i = -3 + k. Is i at most -6?
True
Suppose 0*s + 2*b + 6 = -2*s, -s + 2*b = -6. Let j = -268/5 + 54. Is s at least j?
False
Suppose 4*r + 5 = -3*v - 2, -2*v + 3 = -5*r. Let i(g) = -9*g**2 - 4*g - 1. Let l be i(5). Let x = 2704/11 + l. Which is greater: x or r?
x
Let s = -2.7 - -6.7. Do s and 0.1 have different values?
True
Let v = -1.9 - -1.92. Which is smaller: v or 0.1?
v
Suppose 4*x = j + 17, 3*j - 3*x + 4 = -11. Which is smaller: 3/32 or j?
j
Let i = -141.52 + 144. Let n = 0.82 + i. Let d = n - 0.3. Does -1 = d?
False
Let s be 20/9 - (-8)/(-4). Let y(u) = -u**3 - 6*u**2 + 3. Let x be y(-6). Let r = x - 3. Are s and r non-equal?
True
Let r be (13/5 - 0) + -4. Which is greater: 0 or r?
0
Let b = -29 + 21. Let z = 8.1 + b. Which is bigger: z or -1/4?
z
Let q be (-3 + (0 - -2))*-4. Which is smaller: 5/2 or q?
5/2
Let w = -32 + 27. Does -7 = w?
False
Suppose 1 = -5*n - 4. Let k be 489/36 + (-2)/6. Let h = k - 105/8. Is n smaller than h?
True
Let g(w) = w**2 + 9*w + 5. Let h be g(-9). Suppose h = -2*d - 3. Let k be ((-20)/6)/((-4)/(-6)). Which is smaller: d or k?
k
Let a = 3.251 - 3.3. Which is smaller: -1 or a?
-1
Suppose 3*o - 73 = -34. Is o less than 13?
False
Let x be (-8)/(-6) + 24/(-18). Let i be -4 - (-1 - x)*-3. Is i at least -7?
True
Suppose 0 = 3*j - 0*y - 2*y + 22, -5*j - 4*y = 22. Let r be (-8)/j - (-4)/(-12). Suppose 2*s - 4 = 5*u, -s - 5*u = -4*s + 6. Are r and s non-equal?
True
Let x = 93 + -66. Let d be (-15)/x + 4/18. Let h(w) = -w**3 + 6*w**2 - 4*w - 4. Let n be h(5). Is d not equal to n?
True
Let b = 0 - -1. Let t = -39/671 + -2/61. Which is greater: t or b?
b
Let s be 40/(-10) - (-3 + 0) - 0. Is 1/19 smaller than s?
False
Let q be (4/(-6))/(2/3). Let c = -52 - -154/3. Is c <= q?
False
Let a = 0.03 + -0.13. Which is bigger: a or 7/2?
7/2
Let f(v) = -v**3 - v**2 - 5*v - 4. Let s be f(0). Is -9 >= s?
False
Let v = 417/20 + -81/4. Is v at least 2/5?
True
Suppose 5*n = n - 8. Let a be ((-1)/(-6))/(n/(-6)). Are a and 1 non-equal?
True
Suppose 5*v = 3*n + 22, 0*v + 3*n = -3*v - 6. Let g be -3*v/(-6) + -2. Is 1/2 <= g?
False
Let i be ((-4)/10)/(15/75). Suppose 2 = -3*c - 7. Which is bigger: i or c?
i
Let f(x) = -2*x**2 - x + 19. Let s(r) = -r**2 - r + 10. Let n(c) = 2*f(c) - 5*s(c). Let h be n(-5). Which is bigger: h or -3?
h
Let y = -0.444 - -0.044. Which is smaller: y or -3?
-3
Suppose -6*c - 48 = -54. Is 4/57 at most as big as c?
True
Let j = 0.113 + -3.073. Let k = -3 - j. Do 0.1 and k have the same value?
False
Let p(t) = 2*t**2 - 24*t + 33. Let c be p(9). Which is smaller: c or -22?
-22
Let j be 75/3 + (0 - -2). Suppose -k + 32 = 4*z - j, 0 = -5*z + 5*k + 55. Suppose -z*f + 11*f + 15 = 0. Which is smaller: f or 3?
3
Let r be 1/(-4) - (-6)/(-8). Let u be r/(-4) + (-4)/16. Which is smaller: 2/9 or u?
u
Let c = 2.4 - 1.2. Let s = c + -0.2. Let y = 11 - 10.9. Is s greater than or equal to y?
True
Let f = -12 + 19. Suppose 0*t - 36 = -3*t. Let u be (-2 - f/(-3))*t. Is 3 smaller than u?
True
Let b be 2/8 + (-1)/2. Is -1 at most as big as b?
True
Let n be -3*-1*2/(-2). Let c = -3 - n. Let k = c + 0. Which is smaller: -1 or k?
-1
Let q(i) = i - 3. Let v be q(5). Suppose -3*b + 18 = 3*t + 3, -3*t - 9 = -5*b. Let f = v - b. Is f smaller than 2/7?
True
Let y be 11/(-2) + 3/(-6). Which is smaller: y or 1/3?
y
Suppose 2*i - 2*z - 24 = 0, 2*i - 3*z - 10 = 19. Are i and 6 nonequal?
True
Let p = 126 + -48. Let m be (-4)/30 + p/(-90). Is m less than 2/91?
True
Let s = 48/49 - 5485/147. Let v = s - -36. Which is smaller: v or 1?
v
Let m(v) = -v - 1. Let u(p) = -p**2 - 2. Let s(z) = -2*m(z) + u(z). Let i be s(2). Which is greater: i or -1/13?
i
Let g be 36/28 - (-2)/(-7). Which is greater: g or 2/17?
g
Suppose 2*s = s + 600. Let j be 415/s - (-1 - -3). Let k = j - -11/8. Which is smaller: k or -1?
-1
Let l = 111 + -557/5. Are -1 and l unequal?
True
Let f(i) = i**3 + 4*i**2 - 5*i - 5. Let b be f(-5). Let n be (4/(-4))/(b/3). Which is bigger: 0 or n?
n
Let c = -0.069 - -0.069. Let t = -0.2 + 0.1. Which is smaller: c or t?
t
Suppose 3*s + 3*v + 32 = -2*v, 2*s + 13 = -5*v. Is s not equal to -19?
False
Let n = -328/7 - -3650/77. Suppose -3*f + 5 = 2. Is n > f?
False
Let p = 68252/91 + -750. Which is bigger: p or 0?
p
Let q(n) = -n + 2. Let c be q(0). Suppose 0 = d - 2*t + 5, d - 3*t - c*t + 8 = 0. Which is bigger: d or -2?
-2
Suppose -5*o = l - 16, -5*l + 5*o = 3*o + 1. Which is smaller: -4/31 or l?
-4/31
Let t be (-8)/(-8) - (-4 + 1). Suppose 0 = 4*m - t, 2*l + 2*m - 4 = -0. Which is bigger: 2 or l?
2
Let a(z) = z**3 + 10*z**2 + 3. Let h be a(-10). Suppose -h*j - 2*g = 26, 3*g + 2*g = -20. Does -4 = j?
False
Let v be 50/20*61/60. Let d = 15/8 - v. Which is bigger: d or 0?
0
Suppose -2*g = -2, -2*y = -y - g - 11. Let b = -83/7 + y. Let f = 0 + 0. Is f bigger than b?
False
Suppose 4*u = 2*u. Suppose -1 = y - 4*w, u = 5*y - 2*y + 4*w + 3. Which is greater: y or 0?
0
Let a = 0.08 - -3.92. Let q = a - 3. Let b = q - 0.9. Is 1/3 equal to b?
False
Let r = 16 + -23. Are r and -3 equal?
False
Suppose -6 = x + 3*u + 2, 0 = -5*x - 2*u + 25. Suppose 13 + x = -3*v + 4*h, 0 = 4*v + 2*h - 10. Let j be 1*5*(-58)/145. Which is smaller: v or j?
j
Let v = 102 + -89. Which is greater: v or 3?
v
Let x = -0.95 + 1. Let d = x + -0.1. Let u = -0.05 + d. Which is greater: -1 or u?
u
Suppose -40 - 25 = 5*j. Which is bigger: j or -14?
j
Let w be 15*3 + ((-20)/(-5) - 1). Is w equal to 48?
True
Suppose 5*l + 2 = 2*h - 0, 5*h + l - 5 = 0. Which is bigger: h or 4/3?
4/3
Let o(z) = z**2 + 1. Let w be o(2). Suppose -2*a - 5*c + 2*c = 17, 3*a = w*c + 22. Let x be (14/(-9))/(-2) + a. Which is greater: x or -0.1?
-0.1
Let w = 9/362 + 2041/34390. Let k = 26/2565 - w. Is 0 greater t