alse
Let s be -54 - (6/4 - (-50)/(-20)). Let d(w) = -3*w**2 + 4*w + 4. Let p be d(5). Is p at least s?
True
Suppose 2*g - 5670 = 32*g. Are -188 and g nonequal?
True
Suppose 37*g - 40*g + 2 = 4*z, -3*z + 2*g + 27 = 0. Let i = 259/3 + -81. Which is smaller: i or z?
z
Suppose -3*x = -3*o + 15, 4*o + 5*x - 2 + 0 = 0. Let i(w) = -w**3 + 2*w**2 + 2*w. Let j be i(o). Let s be j/7*7/(-10). Is -1 smaller than s?
True
Let u be (1 + 0)*(-4)/202. Let b(g) = -g**2 + 7*g - 11. Let m be b(5). Let f be 2/(-4) - m/2. Which is smaller: u or f?
u
Let l be -8 + 15 + (-1763)/252. Which is bigger: 1 or l?
1
Let d be 22/(-55) + ((-17193)/3870)/(-11). Is 1 at most d?
False
Let i = 306 + -211. Let b = i + -95. Which is smaller: b or 3?
b
Let o be (-145)/5 - (-3)/3. Let w = o - -38. Suppose 0 = 2*c + 2*n - 20, -c + 4*c - 31 = -4*n. Is w at least c?
True
Suppose 0 = 3*x + v + 169, 5*v + 43 = -x - 18. Which is smaller: -386/7 or x?
x
Let o(b) = b**2 - 130*b - 536. Let y be o(-4). Let l = 2056/15 + -137. Which is smaller: l or y?
y
Suppose 9*v = -6*v + 210. Is 16 at most v?
False
Let m(q) = -q**3 + 8*q**2 + 28*q - 28. Let l be m(10). Is 55 >= l?
True
Let m = -6 + 8. Suppose -53*d + 8*d = 0. Is m >= d?
True
Let i be 3 - (-9 - (-12)/(-3)). Let d be 3/i*5474/(-255). Let p = d - -33/8. Is p not equal to -1?
True
Suppose 30*z = 28*z - 8. Suppose -3*a = a + 16. Is a less than z?
False
Let l be 1/(35/10*-6). Let v(y) = y**3 - 9*y**2 - 9*y - 10. Let n be v(10). Which is bigger: n or l?
n
Let z be (-540)/240 + 2/8. Is z greater than or equal to -2/13?
False
Let p = -40 + 46. Suppose -p = -4*a + 4*s - 2*s, 5 = -5*s. Let z be 1 - ((-29)/(-9) + -2). Which is greater: a or z?
a
Let r = -171 + 174. Let y be ((r - -7)/(-5))/((-2)/20). Suppose 0*d + 40 = 2*d. Do y and d have the same value?
True
Let m = -16 + 25. Suppose 39 + m = 4*z. Let w(v) = -v**3 + 12*v**2 + v - 15. Let d be w(z). Which is bigger: 2 or d?
2
Let z = -34 - -60. Suppose -5*y = x - z, -10 = -x - 4*y + 11. Let l be (0/3)/((-2)/(-2)). Which is bigger: x or l?
x
Let c = 3.9 - 1.4. Let w = 26.5 - c. Let z = 19 - w. Which is bigger: z or -0.3?
-0.3
Let j be (168/130)/((-3)/(-15)). Let y = j - 614/91. Let z = -1621 + 1620. Are y and z unequal?
True
Let g(m) = m**3 + 7*m**2 - 5*m + 26. Let w be g(-8). Suppose 0 = w*p - 3 + 5. Which is smaller: p or 5/18?
p
Let a(w) be the first derivative of 2*w**2 + 53*w + 10. Let s be a(-14). Suppose 2*v + 5 = 5*z, -13 = -3*z + 4*v + 4. Is s <= z?
True
Suppose 70 = -6*j - 26. Is -10 less than j?
False
Let x(y) = -7*y - 87. Let q be x(19). Is q at most -221?
False
Let m be (-4)/(-2) + 1 + -262. Which is bigger: -260 or m?
m
Suppose -5*t = -15, -4*f - 10*t = -7*t + 343. Let g be (-4 + f/(-20))*5. Which is smaller: g or -0.019?
-0.019
Let j = 0.55 - 0.15. Let o = -1.5 + j. Let b = 2.2 + o. Do b and 1 have the same value?
False
Suppose 6*d - 5*d = 35. Let z = -45 + d. Is z >= -12?
True
Let f = -3215/117 - -185/9. Suppose 0 = c - 6*c - 30. Which is smaller: c or f?
f
Let l = 1.1 + -1. Let d(b) = 89*b**2 - 2*b - 2. Let a be d(-1). Let o = a + -175/2. Are o and l equal?
False
Suppose -4*j - 3*l = -501, 123 = j + 2*l - 1. Let h = j + -1892/15. Let f = 4.1 + -0.1. Which is smaller: f or h?
h
Let l be (12500/(-175))/(4/(-14)). Is l at least 0.1?
True
Let r(z) = -2*z - 1. Let h be r(-1). Is h not equal to 1?
False
Let d be 40/12*6*4/5. Are 16 and d equal?
True
Let r(c) = -48*c - 1. Let y = -71 + 72. Let l be r(y). Is l less than -48?
True
Suppose 10 = 2*m, -2*v + 3*m - 21 = 8. Let p = -2477/5 + 489. Are v and p equal?
False
Suppose 3*n - 109 = -2*b + 1, 2*n - 95 = 3*b. Let m be 1 + 0 + 30/n. Let p(i) = -i**2 + i + 1. Let t be p(1). Which is smaller: t or m?
t
Let q = -0.6 - 8.4. Let g = -12.7 - 5.3. Let p = g - q. Is p equal to -1?
False
Let f = -38 - -41. Suppose -5*w = -3*n + 122, 45 = -w - f*n + 17. Which is bigger: w or -24?
-24
Let a = 0 - -8. Let u(t) = -2*t**2 + 3*t**2 - 7*t - 8*t + 6*t + 3. Let r be u(a). Which is greater: r or -3?
-3
Let c(w) = 3*w**2 - 2*w + 4. Let q(d) = 3*d**2 - 3*d + 4. Let k(r) = -6*c(r) + 5*q(r). Let x be k(-1). Which is bigger: x or 3?
3
Suppose 8 = 2*q - 2*a, -4*q - a + 3*a = -6. Which is smaller: q or 2/89?
q
Suppose 0*q = 5*c + 2*q + 180, -111 = 4*c - 5*q. Which is bigger: c or -0.02?
-0.02
Let u = 1 + 8. Let p = u - 9. Let i = p - -0.1. Is 0.3 != i?
True
Suppose -13 = 5*o - 28. Suppose 0 = 5*a + w + w + 54, 3*a + o*w = -27. Is -11 <= a?
False
Suppose 5*k - 2*j = 34, 4 = -j + 2. Let a be (k + -23 + 1)/((-1)/2). Which is greater: a or 33?
33
Suppose -5*y + 4*a + 25 = -a, 2*y - 10 = -a. Is 2/3 bigger than y?
False
Let s be 1*(2 - 1)*(-2 - -1). Which is smaller: -1/646 or s?
s
Let x be (-2)/(0/(-4) + -2). Let w be -2 + x + (0 - -1). Is 0 != w?
False
Let w(s) = -52*s - 248. Let p be w(-5). Is p less than 11?
False
Suppose 0 = 3*j - 16*j + 273. Which is greater: j or 0?
j
Let h = -8/101 + 629/6666. Which is bigger: h or 0?
h
Let s(j) = -4*j**2 + 64*j + 6. Let y be s(16). Is y not equal to 9?
True
Let o(m) = -m**3 - 10*m**2 - m - 3. Let l be o(-10). Let s be (-3)/(-21) - (-6)/l. Which is greater: s or -2/15?
s
Let s = -1 - -33. Is s greater than 3/2?
True
Suppose -21 = d + 2*f, -4*d - 2*f + 1 = 67. Let x be (-2 + (-33)/d)*(-2 + 5). Which is smaller: x or 1?
x
Let s = -0.0206 - 15.9794. Let m = 0.17 + -18.17. Let v = m - s. Which is greater: v or -1/2?
-1/2
Suppose 590*a - 20 = 592*a. Suppose -5*l - 4*r = 72, 0 = -2*l - r - 2*r - 33. Is a < l?
False
Let l = 2 + -9. Let p = 7 + l. Does p = -24?
False
Let o be (-4 + 5)*37*1. Suppose 0 = 4*x - o + 13. Suppose 0 = -0*z + 3*z - x. Is 0 equal to z?
False
Let o be -7 - -2 - 8/(-2). Are o and -16/7 nonequal?
True
Let o be (14/(-189))/((-1)/471). Which is smaller: 35 or o?
o
Let c = -305 - -665. Is c smaller than -1?
False
Let a = 21 + -21.27. Let d = a + 0.17. Let b be -2 - (0 + 1) - -18. Which is smaller: d or b?
d
Let m be 16/(4 + (0 - 2)). Let n = m - 3. Which is smaller: n or 3?
3
Suppose -4*m = 0, 0 = 3*g - 0*g - m + 3. Is g at least -2/267?
False
Let c = 4426/304215 - 8/1193. Is c at most -1?
False
Let y = 0.05 + 1.15. Let i = 13.4 - 13.2. Which is bigger: i or y?
y
Let g = 126 - 124. Suppose i = -0*i - g, b + 4*i = 7. Is 18 at most as big as b?
False
Suppose x = -7*x. Suppose 2*w - 4*w + 18 = x. Are 10 and w unequal?
True
Suppose 27 = -5*w + 2. Let m be ((-57)/w)/((-414)/(-12)). Let y = m + -3/23. Which is smaller: y or 1?
y
Let z = 270/7 - 39. Let y be 0/(-3) - (-2 + 2). Which is smaller: z or y?
z
Suppose -4115 - 106 = 21*u. Is -202 less than u?
True
Suppose 0 = -2*o + 3*w - 48, 0 = 5*o + 4*w + 43 + 123. Let h be (4/(-10))/(((-54)/o)/9). Which is bigger: -2/5 or h?
-2/5
Suppose 3*q = -u - 2*q - 6, -2*u - 12 = q. Let y be (-12)/30 + u/(-15). Do 1 and y have the same value?
False
Suppose -18 = -2*x - 4*c, -1 = x - 6*x + c. Let n be (-12)/15*-1*x. Which is smaller: 2 or n?
n
Suppose 3*a = 6*a. Suppose a = 2*x + x - 2*q + 46, 2*q = -5*x - 98. Do -2 and x have different values?
True
Let b = 75.9 + -82. Let d = b - -6. Which is greater: d or -1/7?
d
Suppose 14 = 6*d + 32. Which is smaller: d or 3/2?
d
Let j be 0/(5/(-1)) + 9 + 3. Let w(a) = a**2 + 13*a + 15. Let b be w(-13). Is b > j?
True
Let s be 626/(-12) + (-308)/231. Which is bigger: -55 or s?
s
Let a(v) = 28*v - 3. Suppose 0 = p - 5*p - 2*z + 142, -2*p = 5*z - 91. Let c be ((-11)/p)/((-1)/3). Let b be a(c). Is 25 smaller than b?
False
Suppose 5 = 4*b + 1. Suppose 2*g + b = g, 43 = -3*c - 4*g. Let u(l) = 357*l - 370. Let o be u(1). Is o equal to c?
True
Let s = -2 - -1.7. Let l(q) = -13*q**2 + 94*q - 17. Let a be l(7). Do s and a have the same value?
False
Let w be ((-3)/1)/((-1)/(16/(-1308))). Is 0 less than w?
False
Suppose 0 = 7*r - 8*r + 2. Suppose 6 = -r*v + 3*v + 3*t, 0 = -4*v + 3*t + 24. Is 0 not equal to v?
True
Let k = -325/19 - -17. Let z = -10 + 13. Let t = 4 - z. Is k bigger than t?
False
Let n = -0.309 + 0.309. Is n at least as big as -44?
True
Let p be (48/40)/((-4)/(-10)). Suppose 0*y = 2*a - y - 8, -3*y + 12 = 3*a. Suppose 5*q = -2*v - 3, -a*q + p = -3*v - 13. Is -2/11 less than q?
True
Suppose -4 = 8*i + 4. Is -4/97 bigger than i?
True
Suppose 0 = -4*x + 13 + 59. Let d be ((-16)/24)/((-4)/x)*-1. Let p = 0.3 - -2.7. Is d < p?
True
Let l(r) = -2*r**3 + 1