Let k be (-544)/12 + 46/(-6) + 6. Is k >= a?
True
Let c be -7*(45/(-35) - -1). Suppose c*o - 26 = 5*j, 4*j + 34 = -o - 4*o. Which is smaller: -8 or j?
-8
Suppose 2*t - 3*h = 49, -81 = -2*t - 5*h - 8. Which is bigger: 26 or t?
t
Suppose -10 = -2*a + 3*o, -5*a + 2*o = 1 - 4. Let g be ((-68)/(-32) - a) + -3. Is 0 at most g?
True
Let w(d) = -5*d - 7 + 2*d + 17. Let r be w(3). Are r and 2 equal?
False
Suppose 270*t - 4*q = 265*t + 4, 2*t - 2*q = 2. Is 33/31 > t?
True
Suppose 22*d = 26*d + 68140. Let b be d/(-6165) + -3 - 2/(-9). Are b and 0 non-equal?
True
Let k be (-10)/(0 - -1)*38/(-95). Let g(m) = m**2 + 5*m. Let y be g(-6). Which is greater: k or y?
y
Let d be 3/4 + 19177/(-1812). Which is greater: d or -10?
d
Suppose -38 = 4*n + 2*x, -3*n - 4*x - 1 = 15. Let k = n - -37/3. Let t = -2 - -4. Is k at least as big as t?
False
Let a be (-12)/(-70)*30/(-24). Let c(w) = w**2 + 2*w + 4. Let g be c(-3). Suppose -2*p + 9 = g. Are a and p equal?
False
Let q be (-1)/2 + 13/(-2). Let o = -12.66 + 1.56. Let k = o + 11. Is k at most q?
False
Let p be (-1 - (-4)/3)*(-72)/(-1652). Which is smaller: p or 0?
0
Let k = -0.355 - -12.355. Let y = 2.32 - -9.66. Let b = k - y. Which is smaller: 2/13 or b?
b
Let i(p) = 6*p**2 + 1 - 8 + p**3 - 1 - 8*p. Let d be i(-8). Let w be (d/16)/((-6)/(-8)). Which is bigger: w or -3?
-3
Let l(f) = f**3 - 11*f**2 - 12*f. Let v = 9 - 9. Suppose -3*t - 17 + 53 = v. Let s be l(t). Is 2/3 smaller than s?
False
Let m be 2/(1/1)*1. Let k(y) = -y**2 + 28*y - 45. Let x be k(26). Is x greater than or equal to m?
True
Let p = 0.07 - 1.47. Let c = -0.4 - p. Is c equal to 1?
True
Let h(a) = -a**2 - 41*a - 181. Let c be h(-36). Let m be (-66)/(-62) + (1 - 2). Is c greater than m?
False
Let a be 38/9 - (-2)/(-9). Suppose -3 = a*r - 7. Let g = 57/80 - 7/80. Which is smaller: r or g?
g
Let a(f) = f**3 - 6*f**2 + 2*f - 13. Let p be a(6). Let z be (p/2)/((-4)/(-224)). Let l be (-2)/7 - 64/z. Which is smaller: -1/6 or l?
-1/6
Let g be 24 + -21 - (-4 + (-1556)/(-212)). Is 0 less than g?
False
Suppose 4*u + 1145 = -5*h - u, 1190 = -5*h + 4*u. Let s = h - -22696/97. Which is bigger: 1 or s?
1
Let g = 23423 - 3630577/155. Which is bigger: g or 1?
1
Let f be 5 - (-1)/2*0. Suppose 3*z - 8*z + f = 0. Let o be (16/(-28) - 0)*(-35)/10. Which is smaller: z or o?
z
Suppose 4*p - 148 = 4*z, p - 4*z - 56 = -16. Which is bigger: p or 37?
37
Suppose b + 10 = 3*g, -4*b + 5*b = 5*g - 18. Suppose -2*v - b = -v. Suppose -4*c = d - 6*d - 15, 0 = 2*d + 5*c + 6. Which is bigger: d or v?
v
Suppose -2*v = i - 6, -4*v + 3*i = -0 - 12. Suppose -z + v = -4*z. Let q be -1 + 1/z - 10. Are -12 and q equal?
True
Let h be 126/(-35) - 2/5. Suppose j + 9 = 4*j. Let n be h/32*(1 - j). Which is greater: 2/13 or n?
n
Suppose 6*s - 2*s = 0. Suppose -3*k - 6 = -s*k. Let g be (3/7)/(3/k). Which is bigger: g or -4?
g
Let v = 1.5 + -2. Let y be 12/(-56) + (4/(-8))/(-1). Are y and v non-equal?
True
Let b be ((-156 + -1)*-2)/1. Is 313 at least as big as b?
False
Let d = 48367/606 + -479/6. Let r be (1 + -1 + 0)/(-1). Suppose 3*p + 0*p = r. Is d <= p?
True
Let k = -5.25 - -5.25. Which is bigger: -234 or k?
k
Let v = -85 + 85. Which is greater: v or -18?
v
Suppose -478 = -7*r - 5175. Is r at most -671?
True
Let z be 0 + 2 - (-7)/(-8). Let i = 1118 - 1118. Are i and z unequal?
True
Let b = -6 - 15. Suppose 0 = -9*n - 632 - 511. Let t = 637/5 + n. Which is bigger: t or b?
t
Let n(u) = -7*u**2 + 35*u + 28. Let s(a) = -3*a**2 + 17*a + 14. Let d(w) = -4*n(w) + 9*s(w). Suppose 48 = -0*r - 4*r. Let c be d(r). Which is smaller: 1 or c?
1
Let k = -23 - -45/2. Let n = -6.99 + -0.01. Let t = n - -7.1. Which is bigger: t or k?
t
Let l = -8.8 + 10. Let g = 1.5 - l. Let p = -7.7 - -8. Is g not equal to p?
False
Suppose -p = 5*d - 2007, 1 = d - 0. Which is smaller: p or 1/2?
1/2
Suppose 552*g = 555*g - 12. Let z = -3 - -6. Suppose -5*r + 27 - 2 = 3*j, -z*r = -3*j - 15. Are r and g nonequal?
True
Let t = 689/4 + -42019/244. Which is greater: -1 or t?
t
Let i = -94 + 109. Let c be ((-20)/8450)/(3/i). Is c != 1?
True
Let k be ((-22)/3)/(48/504). Let x = k - -77. Let q = 37/24 + -7/8. Which is bigger: x or q?
q
Suppose 4*l = 3*g + 112, 5*g - 13 = -2*l + 17. Let a = l + -30. Let t(i) = -i**2 - 4*i + 5. Let h be t(a). Is h less than or equal to 12?
True
Suppose -4*y - 113 = 3*f, -y = -f + 3*f + 27. Let h = y + 23. Is h less than or equal to -7?
False
Let r(s) = 2*s**2 - 13*s - 14. Let b be r(7). Suppose -5*h - 4*v = -72, 6*h = 3*h + 5*v + 21. Let j = h - 20. Is j at most b?
True
Let c = 26.5 + -26.5. Let h = -8.73 - 0.87. Let y = -1.4 + h. Which is smaller: y or c?
y
Let p = 26 - 13. Let f = -13.26 - -0.26. Let h = f + p. Is h greater than -2/27?
True
Suppose -5*t + 6*t = 3. Suppose -3 = -h + t. Which is smaller: h or 8?
h
Let n = -3 - -2.5. Let s = -1 - -1.1. Is n at most as big as s?
True
Let q = 3006 - 2909. Let i be 8/(-36) + 866/9. Which is smaller: i or q?
i
Let t(v) = -v**2 - 7*v - 2. Let h be t(-5). Let q be 38/h + 2/8 - 0. Is q greater than 3?
True
Suppose -2*g + 2 = -2*m, -3*g + 4 - 1 = m. Suppose 3*f - 257 = v, m = -v - f + 2*f - 255. Let t = -3808/15 - v. Is t equal to -1?
False
Let a = 2324 - 2322. Let m = 27 + -19. Let d be -1 + a - (-6 + m). Does -2/11 = d?
False
Suppose -2*z - 24 = -4*z. Suppose -3*a - 68 = -8*m, -14*m - 54 = -19*m - a. Which is smaller: z or m?
m
Let c(y) = y**3 + 4*y**2 - 13*y - 11. Let f be c(-5). Is 27 >= f?
False
Let u be 6/(-51) - 9656/(-67337). Are 0 and u unequal?
True
Suppose -2*w = -z + 18 + 8, 3*z + 3*w - 69 = 0. Suppose 0 = -t + z - 26. Let k(n) = -n**2 + 2*n + 2. Let o be k(3). Is o != t?
True
Let y = 9.8 + -10.8. Is 3/76 not equal to y?
True
Suppose 0 = 6*l + 9 - 57. Suppose 14*v - 15*v - l = 0. Which is bigger: -11 or v?
v
Let a = -244/13 + 19. Let n = 32 - 18. Let i = n + -15. Which is smaller: a or i?
i
Suppose 0 = -7*n + 2*n. Let g(x) = 5*x**3 + x**2 + 2*x + 2. Let l be g(-1). Let c be (n - -3)/((-66)/l). Does -0.02 = c?
False
Let u(q) = -q**2 + 11*q + 2. Let a be u(11). Suppose -a*y = -6*y - 12. Let o(p) = -p + 6. Let n be o(8). Is y at least n?
False
Let u = -439 + 455. Let r(h) = 3*h**2 + 2*h - 3. Suppose 3*b + 6 = b. Let j be r(b). Which is smaller: u or j?
u
Let y = -1.079 + -50.921. Which is greater: y or 3?
3
Suppose -5*z = -x - x + 232, -4*z = -4*x + 488. Which is smaller: 125 or x?
125
Let r = -0.86 + 43.86. Let o = r - 44. Is -48 < o?
True
Suppose 0 = 2*l + 10. Let x = 30 - 32. Let d = 3/2 + x. Are d and l unequal?
True
Let a be (32/20)/(1/(-10)). Let p = 18 + a. Is p greater than 3?
False
Let t be 20/(-50) + (-146)/10. Let a be 200/t + (-4)/(-3). Is -12 > a?
False
Let w = -34.2 - -34. Let a = -42.8 + 52. Let s = 9 - a. Is w at least s?
True
Let y = 20.8 + -1.8. Let u = 19 - y. Is u <= -22?
False
Let f = 0.118 - 0.028. Let q = -134 + 1069/8. Is q greater than f?
False
Let p = -79 + 78.977. Let j = p + 7.023. Which is smaller: j or -1?
-1
Let o(n) = n + 11. Let f be o(-5). Let z be (f/(-2) + 4)*1. Which is smaller: z or 1/16?
1/16
Suppose -m = 4*m - 2*t - 12, 5*m = 3*t + 13. Suppose -m = -c + 3*c. Which is bigger: c or 1/3?
1/3
Let u = -40603/39 - -1041. Is u smaller than 0?
True
Let i = 53 - -1. Let z be (i/(-15) - -1) + 3. Suppose -4*p = 5*k + 4, 4*p + 0 = 2*k - 4. Are k and z unequal?
True
Suppose 2*i = -21 - 15. Suppose 3*c + 15 = 51. Let b be (6/i)/(2/c). Is -2 > b?
False
Let c = 3 + 0. Let a(p) = p + 1. Let t be a(-6). Let w = -3 - t. Is w greater than c?
False
Let b(m) = -m**3 + 4*m**2 - m + 5. Let c = -31 - -35. Let r be b(c). Do 1/16 and r have the same value?
False
Suppose -3*f + 15 = 2*f. Suppose -o + f = y + o, -8 = -4*o. Which is bigger: y or 10/21?
10/21
Let x be ((-64)/4 + 6)*-1. Which is smaller: x or 12?
x
Let o = -280.169 - -280. Let p = 0.199 + o. Is p greater than or equal to 0.01?
True
Let x be (-1)/((-117)/(-3024)*6). Is x > -3?
False
Suppose 5*q - 5*m + 5 = 0, -q + 22 = 4*q + 4*m. Suppose -5*y + 3*v - 8 = -68, -5*y + 60 = -5*v. Suppose 0 = 3*b - q*a - a + 6, -a + y = 4*b. Is b at most -1?
False
Let r be (4/10)/(160/(-100)). Let a(u) = u**3 + 12*u**2 - 4*u - 24. Let n be a(-12). Which is bigger: n or r?
n
Let r be 14 + -2 + -2 + 0. Let m = r + -7. Suppose -n + 5 = 4*p, p - 2 = n + m. Which is smaller: p or 4?
p
Let o be (3/(-10))/