2 + -7.98. Which is smaller: g or 3/4?
g
Suppose -4*l - 4*m + 12 = 0, -m = -3*l + 3*m + 30. Suppose l = -2*y - 0. Let b = -2 - y. Is b at most as big as 2?
True
Let i(r) = -r. Let s be i(-3). Suppose -2*x - 5*j + 21 = -0*x, 0 = -3*x + j + 6. Is s equal to x?
True
Suppose 3*r = -4*o, 2*r + 5*o + 0*o = 0. Suppose 3*k + 2*l - 5 = -2, 4*k + 5*l - 4 = r. Let n be (-1)/(-9) + (-14)/(-63). Is k bigger than n?
True
Let k be -10 + 14 - (-50)/(-13). Which is greater: 2 or k?
2
Let r be ((-64)/(-6) - -1)*-3. Let g be 2*1 + 63/r. Is -1 at least g?
False
Let q be (-12)/(-56) - (-2)/(-4). Which is bigger: q or 0?
0
Suppose -4*u = -4*j + 8, 3*u - j = -u + 4. Suppose 0*y = -5*z - y - 1, 0 = z + u*y - 7. Is -1 at most z?
True
Let h(z) = -z**3 + 3*z**2 + 2*z - 6. Let w be h(4). Let t be 21/w*20/3. Which is smaller: -9 or t?
t
Let h be 3 + (-4 - (1 + 0)). Is -5/2 at least as big as h?
False
Let p be (-30)/75*20/(-18). Is p less than or equal to -1?
False
Let u = 3.84 - -0.16. Is 0.08 greater than or equal to u?
False
Let j(l) = -4*l + 11. Let b be j(7). Which is bigger: b or -16?
-16
Let a = -8473/756 - 8/189. Let c = 213/20 + a. Suppose u - 5 = 4*b, 0 = 3*b - 5*b - 4*u - 16. Which is smaller: c or b?
b
Suppose -3*t + 2*t + 3 = 0. Suppose -g - 8 = 2*d, 0*g = t*d - 2*g + 5. Does d = -1?
False
Let q be (-92)/12*((-6)/15 + 1). Which is smaller: q or -4?
q
Suppose -2*s + 7*s + 5 = 0. Let f be ((-8)/42)/(s/(-3)). Does -2 = f?
False
Let r be (-2)/10 - (-6)/15. Let b = -2 - -3. Let d be 0/((b + -4)/(-3)). Which is bigger: d or r?
r
Let c = 6 + -9. Let b = -2 + 3. Is b less than or equal to c?
False
Let p = -2 + 2. Suppose p = 3*w - 11 + 2. Let k = 3 - w. Which is bigger: k or -2/17?
k
Let p(q) = q**2 + 6*q - 11. Let b = -18 - -10. Let r be p(b). Suppose -j - 2*z = -r*j - 2, -2 = 2*z. Is -4/3 greater than j?
False
Let u = 29.87 - 30. Let z = u - -0.63. Do -0.1 and z have the same value?
False
Let o be 0/(3*(14/(-6))/(-7)). Suppose 4*z - z = 12. Let c(v) = -v + 3. Let s be c(z). Which is smaller: o or s?
s
Let r = -80 - -80. Is r > 2/11?
False
Let w be 12/(-80) - (-2)/(-8). Let x be (-4)/(-6) - (-1)/(-2). Which is greater: x or w?
x
Let g = -11 - -20. Suppose 7*w - 4*w = g. Let u(t) = -5*t - 1. Let h be u(-1). Is w at least as big as h?
False
Let n = 0.64 + -0.44. Is 5 at most n?
False
Let b(y) be the second derivative of y**4/12 + 2*y**3/3 + 3*y**2/2 + 2*y. Let f be b(-2). Let g be 0 - f/(0 + 1). Is 1 not equal to g?
False
Let h(p) = -5*p + p - p**2 - p. Let b be h(-4). Suppose -4*w + 41 - 9 = b*f, -4*f + 20 = w. Which is smaller: 3 or w?
3
Suppose -2*h - 16 = 2*h, 4*k + 28 = -4*h. Let x be -3 - (136/(-22) - k). Let o = -3 - -4. Which is smaller: o or x?
x
Let h = 133/430 - 2/215. Which is greater: h or 1?
1
Suppose -2*w + 6*w + 2*f + 10 = 0, 2*w = f + 5. Let o be (w - 1)/((-12)/3). Which is smaller: 0.1 or o?
0.1
Let w be (4 + (-80)/21)/(4/(-6)). Which is greater: w or -9?
w
Let x = -6 - -4. Does -2 = x?
True
Let w = -1 + 1. Suppose -f - 3*u + 1 + 10 = w, 4*f = -u + 22. Suppose 0 = q, 3*n = -f*q - 1 + 4. Is n greater than or equal to 1?
True
Let h = 9 - 3. Let c be (-5)/h - 6/(-9). Is 0 less than or equal to c?
False
Let j = 8 + -5. Suppose 3 = 2*x - 7. Let s = -1 + x. Is j less than or equal to s?
True
Suppose -2*p - 4*f - 20 = 2*p, -3*p + f + 1 = 0. Let v = 36 + -29. Which is smaller: p or v?
p
Let z = 6.9 - -0.1. Let f = z - 3. Let s be (-2 + 1)/(1/(-1)). Do s and f have the same value?
False
Let n = 10 - 2. Let a = n + -8.2. Which is smaller: -3/7 or a?
-3/7
Suppose 4*f - 2*f - 8 = 0. Let r = f - 0. Let j be r/5*(-15)/(-6). Which is smaller: j or 4?
j
Let b be 4*1*21/6. Let i = -27/2 + b. Which is bigger: i or -5?
i
Let v(h) = -h**3 - 9*h**2 + 9*h - 10. Let u be -1 - (-1 + (3 - -7)). Let s be v(u). Is s > 1/3?
False
Let j = 3 - 1. Suppose 6 = -4*l + 2*l, 0 = -3*q - l + 3. Is q < j?
False
Let i = 0.3 - 2.3. Let g = i - -2. Let j = -0.3 - 0.1. Is g greater than or equal to j?
True
Suppose 2*u + 2 = -0. Let p be u - 2/((-12)/10). Which is smaller: 0.07 or p?
0.07
Let g = 2447 - 12277/5. Let q = -8 - g. Let n = 1 - 1. Which is greater: n or q?
q
Suppose -2*p - 3*r + 13 = 0, 4 + 1 = r. Is p at least -1/12?
False
Let z(n) = 2*n. Let x be z(1). Let j(k) = -k**2 - 4*k + 3. Let b be j(-4). Suppose -3 = -b*d + 2*d. Which is smaller: d or x?
x
Suppose 0 = 2*g - 0 - 2. Let n = 22 - 87/4. Are g and n unequal?
True
Let z = 192 - 393/2. Do z and -4 have the same value?
False
Let l = -0.02 + -0.18. Which is smaller: -1 or l?
-1
Suppose 5*c = -0*c + 10. Let l = -21 - -22. Let q be -2*l*(-8)/10. Are c and q nonequal?
True
Suppose -4*y + 6 = 30. Let h = y + 2. Suppose 3*p + 25 = -2*p. Is p less than h?
True
Let b(z) be the third derivative of -z**5/60 - z**4/4 + 3*z**2. Let h be b(-6). Let y be -1*(h - 2 - -3). Which is greater: y or 2/5?
2/5
Let h = -4.4 + 5. Let m = 0.4 + h. Is m bigger than 8/3?
False
Let i = 6238/145 + 301/29. Let r = i + -53. Do 1 and r have the same value?
False
Let c = -5 + 4.98. Let y = c - -0.02. Let p = 4 + -6. Which is bigger: p or y?
y
Let u = -43 - -60. Does 17 = u?
True
Let f = 17 + -9. Is f less than or equal to -1?
False
Let o(b) = -3*b - 46. Let j be o(5). Which is smaller: j or -60?
j
Let u be (-3)/555*67 + (-1)/(-5). Which is smaller: 1 or u?
u
Let w = -0.08 - 0. Let i = 0.12 + w. Is 2/7 less than or equal to i?
False
Suppose -12*r + 16*r = 0. Are 2/11 and r non-equal?
True
Let r = -19 + 17. Is 0.3 less than or equal to r?
False
Let t(o) = -o - 4. Let w be t(-5). Let m be (w + -2 + 4)/1. Is m > 4?
False
Let j = 42 + -44. Which is smaller: 1 or j?
j
Let g be 10 + (1 - -2 - 3). Suppose p + p = -y - g, 10 = -2*p + 3*y. Which is smaller: p or -4?
p
Let u(z) = -2*z**3 + 2*z**2 - 1. Let y be ((-6)/(-9))/((-2)/(-3)). Let k be u(y). Which is bigger: k or 1?
1
Let z(o) = o**3 - 4*o**2 + 4*o - 4. Let x be z(4). Let n be ((-27)/x)/((-1)/4). Suppose -n = 4*q - 2*a - 1, a = -5*q - 10. Is q < -1?
True
Let t = -6/19 - 7/38. Let h = 1 + -1. Suppose 0*r - r = h. Which is bigger: r or t?
r
Let r = -693846431/140 + 4956201. Let p = r + -621/4. Let q = -3/14 + p. Is 0.2 > q?
True
Suppose 0 = -3*j - f - 2, 4*j = -j + 4*f + 8. Which is bigger: j or -0.07?
j
Suppose -5 = 4*x - 2*x + y, -4*x = -3*y - 15. Which is smaller: x or -1/18?
-1/18
Suppose 0 = -4*z - 10 - 6. Is z at most -4?
True
Let a = -1.1 - 1.1. Let u = 2 + a. Is 1/2 greater than or equal to u?
True
Let c be (-8)/490*((-60)/(-8))/3. Is c <= 0?
True
Let s = 5161/2 + -2693. Suppose -5*a + 585 = -5*x, -3*x + 0*a = 3*a + 339. Let t = s - x. Which is bigger: t or 4?
4
Suppose -4*v - 2*u + 0*u = -78, 0 = 5*v - 3*u - 81. Let h be 3/(v/15)*2. Suppose 5*i = -h*m, -m - 8 = -4*m + i. Is 3 >= m?
True
Let p be 3 + ((-3)/1 - 5). Which is greater: -7 or p?
p
Let a = -2.7 + 3. Let c = -1.7 - a. Is -2 < c?
False
Let y = -16 + 78/5. Let v = -0.1182 - 8.8818. Is v != y?
True
Suppose t = -t + 9*t. Is t greater than 10/7?
False
Let m = 27 + -3. Suppose -m = 5*h - h. Is -6 at most as big as h?
True
Let d = 10/629 - 95029/3145. Let r = -30 - d. Is -5/2 > r?
False
Let v be 2/((-24)/(-45) + -1). Let x = v - -157/35. Are 2/5 and x equal?
False
Let g be 42/(-110) - 6/(-33). Suppose -2*j + 0*j + 10 = 0. Suppose 3*l - 11 - 1 = -4*d, 0 = j*d - 15. Which is smaller: l or g?
g
Suppose u + 5 = 2*u. Suppose y - 4*p = -3 + 6, -u*p - 10 = 0. Let w(g) = -g - 3. Let k be w(3). Do k and y have different values?
True
Let l(p) = p**2 - 4. Let f(j) = -j**2 + j + 4. Let g(b) = 4*f(b) + 5*l(b). Let a be g(-4). Let x = a + 10. Is x greater than or equal to 6?
True
Let j = 0.12 - 0.22. Which is bigger: j or -13?
j
Suppose 0 = -2*c - 2*i - 2*i + 4, 3*c = 5*i - 5. Let z = 71/15 - 22/5. Is c at most z?
True
Let y(x) = -x - 6. Let o be y(-5). Let l = -9 - o. Let p = 6 + l. Which is bigger: -1 or p?
-1
Let k(d) = -d**2 - 11*d - 9. Let n(x) = -2*x. Let b be n(5). Let l be k(b). Let h = -68/261 + 14/29. Is l equal to h?
False
Suppose z + 42 = 4*o + 6*z, 2*o = -3*z + 22. Are o and 8 unequal?
False
Suppose 2*o = -2*o + 16. Let z(k) = 3 + 10 - 10 - 2*k**3 + 4*k**2 - o*k. Let t be z(2). Which is bigger: t or -4?
-4
Let p be 807/(-30) - (-2)/5. Let k = p - -27. Do 2 and k have different values?
True
Let x be 1/4 - (-2)/(-16)*10. Suppose 5*q = -i + 2*i - 2, -2*q 