3*v = -4*p + 15. Which is greater: 0 or v?
0
Let u = -7 - -12. Suppose -2*a + 3*c - 2 = 1, -u*a = 2*c - 2. Which is smaller: a or -3/13?
-3/13
Let g be (-6)/(-15)*(-3)/(-2). Let h be (-5)/10*(-8)/1. Suppose -h*u = 4*y + 4, 0*y + y = -3*u - 5. Are y and g equal?
False
Let i be 1*5 - (-8 + 12). Is 0 not equal to i?
True
Let a(s) = -2*s**2 - 6*s + 12. Let i be a(-6). Does i = -26?
False
Suppose 81*q = 75*q. Let n be 0 - 8/18 - 0. Is q smaller than n?
False
Suppose -10 = 16*c + 6. Is c equal to 2/549?
False
Suppose -3*n + 1 = 2*d, -d + 2*n + 2*n = -17. Let c(i) = -i**2 + 4*i + 5. Let z be c(d). Let t be 2*(-1 - (-4)/8). Which is smaller: t or z?
t
Suppose -4*n - 8 = 2*z, 4*n - 4*z + 4 = -4. Is n greater than or equal to -3?
True
Let o be (0*4/12)/(-1). Suppose 5 = -r - o. Is -5 not equal to r?
False
Let q = 0 + 0. Suppose 2*a - 4 = 2*w + 8, q = -5*a - w. Is a bigger than 3/8?
True
Let v be 15/39 - (1 - 8/12). Is v at most as big as 0?
False
Let g = -207/2 - -6007/58. Which is bigger: g or 1?
1
Let b be (-1)/((2 + -3)*-1)*1. Which is greater: -2/11 or b?
-2/11
Let u(i) = -i**3 + 4*i**2 - 4*i + 3. Let n be u(4). Let t = -16 - n. Suppose -5*z = 31 - 11. Is z at least as big as t?
False
Suppose 0 = -3*p - p + 4. Let m be 0/(p - (-2 - -2)). Let i = 5 + -6. Which is bigger: i or m?
m
Suppose 4*r - f - 4*f - 201 = 0, 0 = r - f - 51. Is 54 bigger than r?
False
Let g be (-8)/(-4) - (3 + -1). Is -3/13 >= g?
False
Let x(z) = z**2 - 13*z + 17. Let s be x(13). Let p be s/4 - 2/(-8). Which is bigger: p or 6?
6
Let m = 8 - 8. Let t be (-1 + m)/2*-12. Is t smaller than 6?
False
Suppose -4*v - 16 = 0, -3*w + 2*w + 2*v + 9 = 0. Are 2/3 and w equal?
False
Suppose 0 = -2*q - 6, 5*k - 2*k - 2*q = 0. Let t = k - -1. Let y be (16/20)/(t/5). Is y > -4?
False
Let d(z) = -2*z**2 + 1. Let a be d(1). Let v be -1 + 6*a/(-2). Let f = 24/5 + -22/5. Which is greater: f or v?
v
Let u = 82/7 - 916/77. Let m = 11 + -7. Let n(r) = -r**2 + 4*r. Let o be n(m). Do u and o have the same value?
False
Let r = -560 + 563. Let v = 3 + -4. Is v at least r?
False
Let t = -2.36 - -2.1. Let n = t - -0.45. Let d = n + 0.01. Is d greater than or equal to 3/5?
False
Let s = -134 + 78. Let z be 48/70 + 16/s. Which is smaller: -1 or z?
-1
Let f = 1/65 - -379/715. Let r = -35/44 + f. Let m = 104/3 + -36. Do r and m have different values?
True
Let j = -4 + 12. Let a be (j/138)/((-20)/(-30)). Which is greater: 0 or a?
a
Suppose 2*g = 8 - 2. Suppose -4 = -g*m + 5. Does 3 = m?
True
Let d be 82 + (-3 - 2)/(-5). Is 84 > d?
True
Let i = 11/42 - 3/7. Let h(t) = -t**2 - 5*t + 6. Let y = -8 - -2. Let c be h(y). Which is smaller: c or i?
i
Suppose -t + 4*h + 5 + 8 = 0, -2*t = h + 1. Is -3/22 > t?
False
Suppose -3*x + 4 = -4*x + 3*s, -2*s + 4 = 0. Let k = x - 3. Is k equal to -1?
True
Let w(d) = 2*d + 2. Let t(n) = n + 2. Let u(y) = 6*t(y) - 4*w(y). Let r be u(4). Let v(z) = -z - 3. Let o be v(r). Are o and 0 equal?
False
Let p = 13 - 9. Let x = 0 + 0.1. Is p bigger than x?
True
Let t = -1216/3 - -414. Which is smaller: t or 10?
t
Let l = -2.03 - -0.03. Let o(i) = -4*i**2 + 4*i**2 + 6 - i**2 + 2*i - 8*i. Let g be o(-7). Is g != l?
True
Let d(x) = x - 7. Let s be d(6). Let g = -0.052 - -4.052. Which is smaller: g or s?
s
Let q = -17 + 24. Let z(d) = -d + 1. Let o be z(q). Is -1 > o?
True
Let z be (210/33)/2 - 3. Let a(l) = -l**3 - 3*l**2 + 5*l + 3. Let c be a(-4). Let y = 1 + c. Which is greater: z or y?
z
Suppose 6 = 17*c - 20*c. Suppose 0*b = -2*w - 2*b + 4, -5*w - 2*b + 10 = 0. Let x be (0 + w - 0)*c. Is x at most as big as -1?
True
Let y = -0.1 - 0.3. Let b = -1.6 + y. Is -0.1 smaller than b?
False
Let n be 103/(-7) + (-4)/14. Which is bigger: n or 1?
1
Let g be 2/8 + 3/(-6). Let c(a) = -4*a**2 - 7*a - 4. Let p be c(-6). Let j = p + 532/5. Do g and j have the same value?
False
Let n = 2 - 1. Suppose 5*i + 21 = g, 6*i = 4*g + 2*i - 20. Is n < g?
False
Suppose -4*l + 3*b + 0*b + 66 = 0, 0 = b - 2. Suppose k = 5*g - 6, 2*g - g - 5*k = -l. Are g and 16/7 non-equal?
True
Let c = -9 - -4. Let y = -3 + 6. Let r = c + y. Which is smaller: r or -1?
r
Let g be (-21)/(-6)*24/14. Let z be 4/g*(2 - 0). Let p(i) = i**2 - 3*i + 3. Let s be p(2). Which is bigger: s or z?
z
Let f(l) = -6*l + 5. Let v be f(-5). Let s = v + 20. Let n be s/(-75) + (-2)/(-6). Is 0.1 greater than n?
True
Let y = 25 - 14. Do 13 and y have the same value?
False
Let g be (-1170)/(-444)*(-5)/36. Let s = -1/111 + g. Does s = 0.1?
False
Suppose -7*j + 14 = -2*j + 3*x, 5*x = 3*j + 12. Let f be 1 - (-5)/(15/(-6)). Is j > f?
True
Let l = 0 + -1. Suppose -6*m + 4*m = -8. Let t = m + -6. Which is smaller: t or l?
t
Suppose 9 + 0 = 3*z. Suppose 2*j = 7 - z. Is j at most 1/2?
False
Let y = -1.76 + 1.9. Is y < 0?
False
Let n be (-1 - -2) + 0 + -3. Let c be -1*(n/(-8))/(-1). Let y be (-2 - 2 - -3)*-1. Is y >= c?
True
Let y = -7 + 9. Let c = -3 + y. Is c >= -1?
True
Let v(u) = u**2 - 1. Let h be v(-2). Let l = 2 + 0. Let c be l/(-2)*(1 - 2). Which is smaller: h or c?
c
Suppose 0 = -4*k + 8*k - 4. Suppose -u = k, -4*u - u = -v + 5. Which is smaller: 2/85 or v?
v
Let l = 1 + -3.1. Let o = -2 - l. Is -0.3 at least o?
False
Let g(i) = i**3 + 6*i**2 + 6*i - 3. Let j be g(-6). Let t = j + 73/2. Which is bigger: t or 2/3?
2/3
Let n(h) = h**3 - 6*h**2 + 6*h. Let z be n(5). Suppose 0 = -z*j + 2*j. Let s(m) = 2*m - 8. Let l be s(4). Is l < j?
False
Let n = 2.7 + -2.83. Which is smaller: n or 0?
n
Let x = 0.07 + 0.13. Let s = -6 + 5.4. Is s less than or equal to x?
True
Let f = -3 - 4. Let w = f + 7.5. Let a = w - 0.8. Which is greater: a or 2/5?
2/5
Let l = 2.2 + -2.3. Let p = -1 - -1.1. Let u = p - 0.4. Is u > l?
False
Let f = 1.069 - 0.069. Is -0.7 at most f?
True
Let b = -1 + 4. Which is greater: b or -2?
b
Let h = -4 + 4. Suppose h = -d + 3*d. Let j(l) = l + 1. Let m be j(d). Which is bigger: m or -1?
m
Suppose 3*t = -0*t - 6. Is t greater than -3?
True
Let l be 2/5 - 18/45. Let c be l/2*(-5 - -6). Which is greater: c or -2/3?
c
Let a = 4 - 6. Let w = -3 + 3. Let r = -2 - w. Is r smaller than a?
False
Let o = -6 - -4. Let x be 0/((-1)/(3 + -2)). Are x and o unequal?
True
Suppose 0 = -3*i - i + 16. Suppose -2*f - 13 = -3*c, c = i*f + 4*c - 19. Is f < 1?
False
Suppose 0*m = m - 1, 0 = 3*i + 5*m - 17. Let h be ((-8)/70)/(i/10). Does -2/7 = h?
True
Let b(v) = 2*v + 2. Let m be b(-3). Let z = -3 - m. Let n = 1 - z. Is n bigger than -2?
True
Let z = -1 + 1. Let p(t) = 4*t + 2. Let x(g) = -3*g - 2. Let f(r) = -4*p(r) - 5*x(r). Let m be f(z). Which is greater: 1 or m?
m
Let j = 1356/7 + -194. Let c = 37 - 38.7. Let a = c - 0.3. Is a < j?
True
Let i = 48 + -15. Is i != 32?
True
Let h be (-16)/(-40)*(-10)/6. Let q = 29/42 - 5/14. Is q less than h?
False
Let t(u) = 3*u + 5. Let z(y) = 5*y + 10. Let m(g) = -7*t(g) + 4*z(g). Let a be m(3). Let c be -2 + 3 + 0/1. Which is smaller: c or a?
c
Let r(w) = 4*w**2 + 14*w + 32. Let c be r(-4). Which is smaller: c or 41?
c
Let u(c) = c + 10. Let h be u(4). Is h greater than 10?
True
Let z be (-24)/(-171)*(-3)/(-4). Is 1 <= z?
False
Let t be (-1)/2*(-20)/2. Suppose 0 = -t*x + 3*n - 7*n - 45, -3*n = 3*x + 30. Let s = x - -4. Which is smaller: -5/3 or s?
-5/3
Let n be 161/21 + (-2)/(-6). Let k = 8 - n. Which is smaller: k or 2/9?
k
Let g = 167/12 - 41/3. Are g and -59 nonequal?
True
Let m be (4/8)/(1/4). Suppose 16 = -3*f - 5*t, -4*t - 12 = 3*f - 1. Which is bigger: f or m?
f
Let b = -0.8 - 2.2. Let t = -1 - b. Which is greater: t or 1/2?
t
Let v = 530 + -1547/3. Which is bigger: 13 or v?
v
Suppose 0*c - 10 = -2*c. Suppose -c*z + w = 75, w - 59 = -0*z + 4*z. Let l be ((-2)/z)/((-4)/8). Which is smaller: -2 or l?
-2
Let p(l) = l + 7. Let h be -6 - (-1 - (-2 - -1)). Let t be p(h). Let z be (2/(1 + t))/(-1). Is -1 greater than or equal to z?
True
Let i be 19/5 - 3/1. Which is greater: i or 2?
2
Suppose 4*s - 7 = 5. Suppose 4*m - 3*x = -4, 4*m + 6 = -2*x + 22. Suppose -s = 2*v - m*i - 13, -5*v + 25 = -4*i. Which is smaller: v or 4?
4
Suppose -2*s - 2*k - 2 = -4, 9 = s - 3*k. Suppose -42 = -3*i - 4*w, 14 = -s*i + 4*i - 3*w. Let b be 0/(-2) - 4/i. Is 0 greater than b?
True
Let f(p) = -9*p**3 + 2*p**2 + 1. Let n be f(-1). Is 13 equal to n?
False
Let i be (0 - 0 - -2)*1. Suppose 0*h - i = -h. Are h and 2 non-equal?
False
Let k be 1*26/(-10) + 2. 