y. Suppose c + y*c = 1. Suppose 2*w = c - 3. Which is smaller: 2/33 or w?
w
Let g = -2.2 + 2. Let t = 2.8 + -3. Is g smaller than t?
False
Suppose 4*b + 7 = 5*b. Is 6 at most as big as b?
True
Let m be 4/2 + (-161800)/254. Let p = m + 635. Let v = p + -121/762. Is -1 greater than v?
False
Let r(b) = 3*b**2 + 14*b + 16. Let y be r(-6). Is y < 40?
False
Suppose a = -0*a + r + 16, 2*a = -4*r + 14. Do a and 9 have the same value?
False
Suppose -h = -1 - 2. Let d = -6 + h. Let j(x) = -x**3 - 7*x**2 - 6*x - 3. Let a be j(-6). Do d and a have the same value?
True
Let t be 396/(-42) + ((-4)/7)/(-1). Is -10 at least as big as t?
False
Let f be (-1)/(-3) - (-2)/3. Suppose f - 4 = 3*w. Let d be w/2*4/(-10). Is 1 greater than d?
True
Suppose -5*v + 40 = -5*o, -o + 0*o = 5*v - 4. Is -6 less than o?
False
Let h be (-10)/55 - 27/33. Let z(f) = f**2 + 12*f + 11. Let a be z(-11). Is a at most as big as h?
False
Let h be 4 - (-1)/(-2 - 1 - -4). Which is smaller: 1 or h?
1
Let w = 33 - 32. Do w and 15/7 have the same value?
False
Suppose 5*i + 4*f - 7 = 94, -f - 64 = -4*i. Is i bigger than 17?
False
Let w(x) = 5*x + 4. Let t be w(10). Let k be (-12)/t - (-1487)/(-18). Let i = 83 + k. Which is bigger: 1 or i?
1
Let m = 0.36 - 0.3. Let z = -0.22 - -0.08. Let j = m - z. Which is smaller: -2/5 or j?
-2/5
Let c(d) = -d**3 + d - 4. Let o be c(0). Let k(t) = -t**3 - 4*t**2 - 4. Let j be k(o). Is -5/2 smaller than j?
False
Let s be 3 + -1*(1 - 2 - -4). Which is bigger: s or -2/37?
s
Let u = 24 - 24.2. Suppose 2*q - 2*y - 8 = 0, -4*y - 1 = -q + 12. Is q greater than or equal to u?
True
Let n = 3 - 3. Let b be 0/(-1 - -3 - n). Is b less than or equal to -1?
False
Let c = -4 + 27. Is c at least -1?
True
Let l(u) = -u**2 + 8*u - 3. Let i be l(7). Let t = i - 4. Let c be (t - 9/21)/1. Is c >= 1?
False
Let l be (2 - 5) + (3 - 2). Let j be (-2 + l)*1*-1. Which is smaller: 2 or j?
2
Let m = -2350 + 47021/20. Let f = m + -4/5. Let t = -1 - -1. Do f and t have the same value?
False
Let k be (-2)/(-12)*(-2)/28*-3. Let f be -2 + (-2)/(-2*1). Is f <= k?
True
Let j be 4 + -1 + -2 + -4. Let o = j + 2. Let h(x) = -x**3 + 4*x**2 + 5*x + 1. Let t be h(5). Is t equal to o?
False
Let s = -7 + 3. Is -5 less than s?
True
Let t(y) = 2*y**2 + 42*y + 3. Let u be t(-21). Is u greater than or equal to 7?
False
Let a(h) = -h + 7 - 2*h + 2*h. Let r be a(9). Let o be r*2/20*1. Do o and 2 have the same value?
False
Let x = -4 - -6. Let v(m) = 7*m + 1. Let k be v(x). Let s be (-1)/2 - k/(-18). Which is bigger: -0.2 or s?
s
Let f(i) = 5*i + 19. Let a be f(-6). Which is smaller: a or -10?
a
Let x = 1349/2265 + 2/453. Let t be (-12)/10*-5 + -4. Suppose 2*m + t*m - 8 = 0. Which is greater: x or m?
m
Let z = -6/173 - -585/1903. Is z at most -1?
False
Let o be (-3)/(-1) - (6 - 5). Which is smaller: o or -5?
-5
Suppose -u + 17 = 2*x - 0*u, 10 = 2*u. Does 4 = x?
False
Let h = -0.8 - 0.2. Let s = h + 1.2. Suppose f - 4*f + 4*p + 13 = 0, -p = 4. Is s smaller than f?
False
Suppose 90 = -2*s + 90. Is s != -0.85?
True
Suppose 4*w = -4*n - 0*n + 24, -50 = -3*n + 5*w. Suppose -5*u = 5*h - n, -3*h = -0*h + 5*u - 6. Suppose 2*t + 4*j = 3 + 9, 6 = h*j. Is 0 less than t?
False
Let o(v) = v**3 + 9*v**2 + 10*v + 7. Let k be o(-8). Let a = 7 + k. Suppose 0 = 3*f - 4*p + 3, -3*p + 2 = -f + 1. Is f at least a?
True
Let v(l) = -l + 0*l - l**2 - 1 - l. Let q be v(-1). Suppose q = 3*t + 2*b + 2*b, 0 = 4*b. Is t at most as big as 2/9?
True
Suppose 71*s - 6 = 68*s. Are 2 and s unequal?
False
Let g(x) = x**3 + 5*x**2 + 4*x - 1. Let d be 11/(-4) + (-3)/12. Let v be g(d). Suppose t + 2*p - 2 = p, v = -5*p. Which is greater: t or 4?
4
Suppose 97 = 3*k + 2*p, -2*k - 2*p + 82 - 14 = 0. Which is greater: 30 or k?
30
Let q = -292/699 - -4215032/3495. Let v = q + -1321. Let k = v + 115. Which is bigger: 1 or k?
1
Suppose 0 = 3*g + g + 36. Let h = g + 7. Is h != 3?
True
Let h(k) = 0*k**3 - 8 - 3*k + 3 - k**3 + 6*k**2. Let y be h(5). Let r = y + -3. Is r bigger than 2?
False
Suppose -6*n + 4*n + 2 = 2*v, 2*v - 10 = 0. Let i be 2/n - 22/(-20). Which is greater: 2 or i?
2
Suppose -5*j - 2 = -5*g - 17, 2*g = j. Let b(z) = z - 4. Let o be b(j). Suppose 3*h = -2*s + 6, -s + 0*h + o = h. Which is smaller: 1/19 or s?
s
Let h = 8.4 + -1.4. Let i = -18 - -25. Let c = h - i. Is c at most 3?
True
Suppose 2*j - 215 = -k, -5*j + k = -4*j - 100. Let b be 5/(j/9) + 1. Is b greater than or equal to 1?
True
Let c = 0 - 3. Let p = c + 3. Which is bigger: p or 2/7?
2/7
Let n = -23.51 - 0.49. Let f = 25 + n. Is f at least as big as -2?
True
Let i be 280/55 + -2 + -3. Which is smaller: 0.2 or i?
i
Let k be (5 - 2) + (-187)/77. Let d be (3/3)/(1/4). Let y = 4 - d. Is y greater than or equal to k?
False
Let v be 1/4 - 1/4. Suppose u + u = v. Is 0 greater than or equal to u?
True
Let f be (-108)/(-48)*4/(-7). Is f < -2?
False
Let h(x) = -x**2 + 6*x - 4. Let q be h(4). Let i = 12 + q. Let u be 60/i - 2/(-8). Do 1/3 and u have different values?
True
Let q(a) = -6*a + 3. Let r be q(1). Which is greater: r or 1?
1
Let a(u) = -u - 2. Let b be a(-5). Let y = 1 + b. Let z be ((-6)/4)/(2/y). Which is smaller: z or -2?
z
Let l = 2.1 + -2. Let p = 15 - 15.9. Let w = p - 0.1. Which is smaller: l or w?
w
Let a = 956/255 + -66/17. Which is bigger: -1/5 or a?
a
Let p(t) = -t + 7. Let a be p(3). Suppose -2*z + 1 = 5*f, -4*f - a = 3*z + z. Is f at most as big as 2/7?
False
Let i be 2/6*6/(-8). Let t = 12 - 12.2. Let v = t + -2.8. Is i not equal to v?
True
Let k be (2 - (-10)/(-25)) + -2. Let t be (-1)/((3/1)/3). Does k = t?
False
Suppose -2*w = 2*w. Let g = -1/10 + w. Suppose -8 = -4*v, -4*d = -d - 2*v + 1. Is d > g?
True
Suppose w - 2*k - 12 = -4*k, 5*w - 5*k = 45. Suppose -3*r + 4 = w. Let q = -114/65 + 15/13. Which is smaller: q or r?
r
Suppose 5*t = t. Suppose t = o + o - 4. Suppose 0*k = k + o. Are -1 and k unequal?
True
Let c be (14/(-56))/((-93)/8). Is 1 less than c?
False
Let k = -1491 + 16413/11. Which is bigger: k or 2?
2
Let s = -134 + 131. Which is smaller: -6 or s?
-6
Let h(x) = -3*x**2 - 4*x + 47. Let v be h(6). Is -85 bigger than v?
False
Suppose s - 2*h - 11 + 4 = 0, 2*s + h + 1 = 0. Let k be (-4 + -2)*8/6. Let c be (-1)/(-4) + 2/k. Is c at most s?
True
Let z be 27/12 - (-4)/(-16). Suppose -z*a + 1 = -x + 3, -x + 2 = -3*a. Is a bigger than 0?
False
Let t = -52 - -366/7. Suppose 2*q = -0*q. Is q > t?
False
Let t = 2.1 + -2. Is -15 != t?
True
Let d = -38/3 + 0. Which is bigger: 1 or d?
1
Suppose -5*a = -4*l + 34, -3*l - 2*l = -5. Let g = a + 7. Let u = 78/11 - 1003/143. Are g and u equal?
False
Let z be (1/2)/((-18)/(-60)). Which is bigger: z or 2?
2
Let k = -0.51 - 1.79. Let b = -2 - k. Which is smaller: -1 or b?
-1
Suppose 0 = -q + 3*n, -21 = q + 2*n + 2*n. Do q and -7 have the same value?
False
Let k = 12 + 0. Which is greater: 10 or k?
k
Suppose -4*r + 1 = -3. Which is bigger: 3 or r?
3
Let y(h) = h**2 + 6*h + 7. Let q be y(-6). Suppose 0 = -u - 0*u + a - 3, 4*u + 2 = 2*a. Suppose -3 = u*j + q. Which is smaller: j or -4?
j
Suppose -3*d + 8*d = 0. Let b(g) = g**3 + 4*g**2 + 3*g + 1. Let q be b(-3). Let c be (q/14)/(1/4). Is c at least d?
True
Let c = 0.1 + 0.3. Let x = -0.6 - c. Is -5/4 greater than or equal to x?
False
Let o = 0.032 - -21.968. Let p = 22.11 - o. Which is bigger: -0.1 or p?
p
Let g be (-2)/5 - (-126)/(-10). Let d = g - -18. Suppose -7 = -d*s - 32. Which is bigger: -4 or s?
-4
Let y be 2/3*(2 - -1). Suppose 7*b - y*p = 2*b - 4, 4 = 4*b + 2*p. Let m = -2 + 1. Which is bigger: b or m?
b
Let f(k) = -1. Let s(j) = j**3 + 8. Let m(a) = 6*f(a) + s(a). Let x be m(0). Let g = -1 - -3. Is x at least g?
True
Let z be -2 + (-24)/(-9) + 356/(-12). Which is smaller: -31 or z?
-31
Let w be (16/(-44))/(-2 - -4). Suppose 0*x = -2*x. Do x and w have the same value?
False
Let y(g) = -2*g + 8. Let d be y(3). Is d at most as big as -3?
False
Let f = -4 + 24. Are f and 19 equal?
False
Suppose 2*a = -2*a - 16. Let b(z) = -2*z + 6 + 0*z**3 - 8*z**2 + 12*z + z**3 - 2*z**3. Let w be b(-9). Which is smaller: w or a?
a
Suppose -w + 2*w + 12 = 0. Let n = 13 + w. Is 2 at least n?
True
Let w(a) = a - 8. Let x be w(8). Which is smaller: -4 or x?
-4
Let y = -12 + 13. Which is bigger: -3/2 or y?
y
Suppose 0 = -t + 2, -3*h - 6 = -4*t - 16. Is h equal to 5?
False
Let p(f) = -2