n q?
False
Let i be 14/2 + (-1 - 2). Suppose 27 = i*y + 5*h, 10 = -3*h + h. Is 12 < y?
True
Let j = -2 - -7. Suppose -2*i = -j*p + 5, 2*i + 3*p = p - 12. Is i <= -5?
True
Let n(d) = 12*d - 33. Let x be n(3). Do x and 42/23 have the same value?
False
Let o be (-57)/10*160/192. Is -2 equal to o?
False
Let x(t) = -t**3 + 4*t**2 + 2*t - 5. Let p be x(4). Suppose 3*k + 5 - 8 = 3*i, 0 = -5*k - p*i - 11. Is k less than or equal to 4/11?
True
Let t(h) = -h**3 - 10*h**2 + 3*h - 6. Let x be t(-10). Do x and -1 have the same value?
False
Suppose 45 = 7*u + 2*u. Is -2 >= u?
False
Suppose 2*a + o = -2*a - 38, 5*a = -3*o - 51. Let v be (558/(-138) - -4)*a. Which is smaller: -1 or v?
-1
Suppose 25 = d - 2*d. Let o = d + 74/3. Let i = 14 + -13.9. Is o smaller than i?
True
Let l(y) = -3*y + 5. Let n(j) = j - 1. Let h(f) = -3*l(f) - 12*n(f). Let c be h(-3). Suppose 0 = -0*p + c*p. Which is bigger: p or -2/27?
p
Let j be 15/(-4)*((-26)/(-5))/(-13). Which is greater: j or 1.71?
1.71
Suppose -4*h + 0*h - 4*s - 84 = 0, -5*s = 15. Let n be (-852)/56*4/h. Let g = -19/6 + n. Is -1 at most as big as g?
True
Suppose 8*d + 504 = -1184. Is d greater than -212?
True
Let t(f) = 157*f - 19. Let r be t(-1). Is -176 equal to r?
True
Let d = -2731 - -3451. Which is smaller: d or 721?
d
Let h be (1 - -27)/(-2) + 0. Suppose 3*x = -x - m, -m - 8 = -4*x. Let b = x - 15. Is b > h?
False
Let c = 16 + 10. Suppose -2*f = -d - 18 + 44, -52 = -2*d - 5*f. Is c not equal to d?
False
Let x = -50 - 4. Let h = 55 + x. Are 3 and h unequal?
True
Suppose 3*o = 3*y - 342, -3*y - y - 456 = 4*o. Let t be -1 + -1 - (o/66 + 0). Let x = 0.01 + 1.99. Which is bigger: t or x?
x
Let w = -466 + 6052/13. Let o be 2*(2 - 3) + 8. Let z be o/9*6 + -3. Are z and w unequal?
True
Let t = 11 + -16. Let j = t - -5.1. Suppose 4*c = 2*g, -5*g = -2*g - 6. Which is smaller: c or j?
j
Let o = 0 - -22. Let i = 22 - o. Do 4/9 and i have different values?
True
Let q be (-52)/(-24) - 1*(-5)/(-2). Let g = -11 + 15. Let v be g - (3 + -5 + 5). Is q at most v?
True
Let s = -75 - -77. Suppose m - s = 3*m. Let u = -2 - -5. Is u >= m?
True
Let f = 49 - 47. Suppose -2*c = f*t + 4, -c + 1 + 0 = -2*t. Is c bigger than 2/3?
False
Let s be (7 - 10) + (-1719)/(-21). Is s greater than or equal to 80?
False
Suppose 4 = f, 2*m - 53 = -5*f - 11. Let b be (3038/(-40))/(-7) + 20/50. Which is smaller: b or m?
m
Let x = 215 + -141. Is 74 at most as big as x?
True
Let u(i) = -2*i - 8. Let d(g) = g - 1. Suppose -j = -3*c - 5*j + 20, -3*c = -2*j - 8. Let f(v) = c*d(v) + u(v). Let p be f(10). Does p = 8?
True
Suppose -95 = -o - 4*o + 4*d, -5*d + 20 = 3*o. Let b be 2/(-6)*o/(-35). Are 0 and b equal?
False
Suppose -58*p - 1274 = 1452. Which is smaller: -25 or p?
p
Let u = -211 + 210.833. Let w = 0.037 + u. Is 2 > w?
True
Let q = -2 + 4. Let y(w) = 21*w**2 - 5*w - 6. Let u be y(-2). Let i be (-170)/136 + 158/u. Is i smaller than q?
True
Suppose 0 = 2*v - 4*j, 2*v = 2*j + 6 - 0. Let t be 1/v - (-4)/12. Let m be 35/(-33) - (-2 + 1). Which is greater: t or m?
t
Suppose 44 = -36*f - 8*f. Let c be 6/(-8)*(-3)/(-9). Which is smaller: f or c?
f
Let b be (0 - 8)*14/(-28). Suppose 0 = -2*r + 4*u - 2, b*u = 4*r + 2*u + 4. Do 3 and r have the same value?
False
Let z(r) = 6 - 2*r - 4*r + 5*r. Let v be z(4). Suppose 0 = s - 5*o, v*s = o - 6*o. Is s < -1/29?
False
Suppose 41*m = 116*m + 45525. Is m bigger than -607?
False
Suppose t = g - 16, -t + 2*g = 20 - 3. Does t = -20?
False
Let t = -864 + 865. Suppose 3*p = 4*p + 2*f - 1, 0 = -3*p - 4*f + 3. Let s = p + 0. Is t at most s?
True
Let u be 1763/2709 - 2/9. Suppose 7 = -5*c + 2. Is c greater than u?
False
Suppose 10 = -b + 4*x, -2*x - 22 = 3*b + b. Suppose -71*u + 69*u = 4. Which is bigger: b or u?
u
Let h = -0.05963 + 31.08963. Let y = -31 + h. Let m = y - 0.13. Which is bigger: m or 1.4?
1.4
Let h = 400.2 + -400. Is h equal to -69/7?
False
Suppose -7*m = 25 - 4. Is -20/13 greater than m?
True
Let i(r) = -r**2 - 8*r + 1. Let w be i(-8). Let y = w - 1. Suppose y = -0*t + t + 3. Is t at most -2?
True
Suppose -n - 5*u = 36, -3*u + 5 + 1 = 0. Let i be (0 + 2 + -2)/(n/(-23)). Which is smaller: i or 2/89?
i
Let q = -1162 + 1161. Is 6/7 less than q?
False
Let y = 0.33 + -22.33. Let x = y + 22.9. Let u = 0.8 - x. Which is greater: u or 1?
1
Let h(m) = -183*m**2 - 181*m. Let w be h(-1). Suppose -6*t = -2*t + 8. Do t and w have the same value?
True
Let x = -758 - -857. Is x less than 106?
True
Let m = 1240452483/1349 + -919536. Let j = m + 22/19. Is j < 0?
True
Let u = -28 + 27. Let j = -11/12 - u. Which is smaller: j or 0?
0
Let c = -3.2 + 3. Let v = 479.05 + -479. Which is greater: v or c?
v
Let q = 38 - 22. Let w be (-1)/5 - q/20. Which is smaller: -2/135 or w?
w
Let q(c) = c**3 - 8*c**2 - 11*c + 28. Let z be q(9). Which is smaller: 13 or z?
z
Let u be (5 - 0)*(-42)/105*8. Which is smaller: u or -12?
u
Let k(d) = -6*d - 14. Let l be k(8). Let j = l - -59. Which is smaller: -0.02 or j?
j
Let h be (-1 + 37/16)*2. Let x = -97/40 + h. Let z = -3 - -2. Is x != z?
True
Suppose 0 = -53*r + 13600 - 2735. Which is bigger: r or 213?
213
Let n be 0 + 2 + -4 + 1. Let s be (2/(-4))/n*34. Suppose s = -2*r + 3*w, 5*r - 3*w + 10 = -10. Is 3/11 smaller than r?
False
Suppose f - 79 = -v - 0*f, -4*v = 3*f - 312. Suppose v = -11*w + 16*w. Which is greater: 16 or w?
16
Let m(q) = -2*q**2 + 41*q + 27. Let y be m(23). Is y >= -88?
True
Let y be 3*(-20)/(-15)*-2. Let c = -301/22 + 68/11. Is y greater than c?
False
Suppose -957*n + 953*n = -16. Which is smaller: -48 or n?
-48
Let d be (-575)/28 - (-27)/(-36). Let m = d + 21. Suppose 0 = 2*z + 3*b + 10, -4*b = -3*z + 7*z + 12. Are z and m non-equal?
True
Suppose 2*l + 28 = -0*c - 2*c, -2*c - 25 = -l. Which is greater: -49/4 or c?
-49/4
Let u be (5 + 75)/5*1. Is u at most as big as 22?
True
Let m(n) be the second derivative of n**2 + 14*n + 4/3*n**3 - 1/12*n**4 + 0. Let y be m(8). Which is smaller: y or -4?
-4
Let v be (3/9)/((-2)/(-30)). Suppose j - 66 = -v*z + 14, j + 25 = 2*z. Let s be ((-5)/(z/(-6)))/(-2). Which is bigger: 2/29 or s?
2/29
Let d(q) = -q - 15. Let h be d(-13). Let a = 5 + -9. Let b = -5 - a. Which is smaller: h or b?
h
Let d = 0.31 + -0.01. Suppose 4*c = -3*t + 193 + 48, 5*t - 425 = -2*c. Let x = 433/5 - t. Is x less than d?
True
Let n = -0.117 - 70.883. Let s = -73 - n. Is 4/11 greater than or equal to s?
True
Let u = -1001 + 1000. Suppose 1 = -4*b + 9. Suppose 3*k + b*k = -15. Which is bigger: k or u?
u
Let f be (1*6)/((-9)/(-12)). Let d be f - (20/4 + -2). Suppose -d*z - 6 + 16 = 0. Is z greater than or equal to 2?
True
Let i(l) = -l**3 + 4*l**2 - 3*l + 4. Let g be i(4). Let n = 16 + g. Suppose n*z + 10 = 3*z. Is z not equal to -3?
True
Suppose 152*l = 121*l - 31. Which is smaller: l or 4/43?
l
Suppose -3*r + 9 = -0*r. Suppose -7 + 1 = -r*t. Which is bigger: 17/5 or t?
17/5
Let p = 151 + -138. Let r(v) = -2*v**2 + 33*v - 30. Let h be r(p). Is h at most 60?
False
Suppose -x - 1 = -5. Let v be 0 + 43/9 + (-12)/(-54). Suppose -4*i - x = 4*d, -v*d - 4*i = -2*d + 7. Is -2 at most as big as d?
True
Let c = -998 + 30943/31. Which is greater: -4 or c?
c
Let a be 0/(3/(4 - 7)). Suppose a = 3*v - 4*h + 5, -5*v + h + 2*h - 1 = 0. Is -1/3 < v?
True
Suppose 2*z = -10*a + 8*a - 4, -3*a = 6. Which is bigger: z or -1/39?
z
Let m be (1/3)/((-3)/(-162)). Suppose 3 = -15*z + m*z. Do 2/77 and z have the same value?
False
Let f be ((-102)/(-68))/((-21)/(-4)). Which is bigger: f or 0?
f
Suppose 5*m - 25 = 5*y, -y = -6*y - 20. Let x be (3/6)/(m/(-2)). Is x < -1/9?
True
Suppose -3*q = 5*u + 177, 3*q - 3*u + 168 = -5*u. Let a be q/(-10) + -5 - 78/220. Which is smaller: -0.4 or a?
-0.4
Suppose -3*m - 5*s + 425 = 2*m, 4*m = -3*s + 339. Let l be 2 + -2 + 5/m. Let d = l - 317/1092. Is 0 < d?
False
Let r = 2/4247 + -8516/46717. Is -0.059 < r?
False
Let i be ((-3)/(-4))/(18/48). Suppose 5*p - 17 = i*v - v, -3*p = -4*v - 34. Is v <= -6?
True
Let u = -145.819 + 146. Let i = 0.049 + u. Let q = i + 0.77. Which is smaller: q or -6?
-6
Let y = 7 + -2. Let b(m) = -m**3 + 4*m**2 + 2*m - 7. Let i be b(y). Which is smaller: -21 or i?
i
Let c(j) = j**3 + 8*j**2 + 13*j - 1. Let x be c(-6). Let a = x + 3. Is a at least -1?
False
Let s(o) = -25*o + 77. Let g be s(11). Are g and -193 unequal?
True
Let q = -83 + 87