< n?
False
Let q = 23 - 15. Let c = q - 13. Which is smaller: c or 6?
c
Suppose 3*h = -4*a - 344 - 408, 4*a - h = -736. Is -185 equal to a?
True
Suppose 0 = r - 3*r + 10. Suppose l - z - 13 = -0, r*z = -25. Suppose -5*p + p + l = 0. Is 2 < p?
False
Let l = 844/3 - 281. Which is smaller: 25 or l?
l
Let b = -179 - -258. Which is smaller: -0.2 or b?
-0.2
Let s(m) = 2*m**2 - 8*m - 4. Let g be s(6). Let t = g + -15. Let j = t - 6. Which is bigger: -1/5 or j?
-1/5
Suppose -4*c - 510 = -214. Let j = -73 - c. Is -3/16 equal to j?
False
Let m(q) = q**2 + 36*q - 229. Let b be m(-45). Which is bigger: 175 or b?
b
Suppose -3*a = 5*o - 276, -6*o + 3*o - 184 = -2*a. Which is smaller: 6 or a?
6
Let b be ((-32)/(-6) + -2)*12/(-308). Let d = 65/77 + b. Is d at least as big as 0?
True
Suppose -h + 25 = -4*h - o, -5*h = 2*o + 41. Let q be (5 + h/3)*-9. Suppose 6*t - 14*t - 144 = 0. Do q and t have different values?
False
Let p be (4 - 1 - 1)*8. Suppose -p + 5 = -a. Let t = -10 + a. Is t smaller than 1/4?
False
Suppose 315 - 95 = 4*f. Let n = 163/3 - f. Suppose -2*y = y. Which is bigger: n or y?
y
Let l(n) = n - 9. Suppose 19 = 2*c - a - 0, 3*a - 15 = -2*c. Let y be l(c). Let z = 14 + y. Is z greater than or equal to 13?
True
Suppose 0 = 2*g - 5 + 1. Let a be ((-7)/(-21))/((-3)/(-9) - (-266)/(-777)). Is g greater than a?
True
Let y(h) = h**3 + 19*h**2 + 37*h + 41. Let g be y(-17). Is 4 != g?
True
Suppose 3*s - 20 = -26. Let u = 3 + -1. Let z be 0 + u - 72/33. Which is bigger: s or z?
z
Let a = 170385 + -1352383/8. Let f = a + -1334. Let u = f - 367/120. Is -1 != u?
True
Let c(t) = t**3 - 4*t**2 + 4*t - 1. Let p be c(2). Which is smaller: 5/11 or p?
p
Suppose 0 = 5*d - 2*d + y + 35, 5*d + 51 = 2*y. Let z be 251/(-11) - (-2)/d. Which is smaller: z or -22?
z
Let z = 14 + -7. Let j = -11 - -17. Is z at most j?
False
Let y = -59 - -33. Let k = y - -25. Is -1/4 less than or equal to k?
False
Let z = -17936/105 - -854/5. Is z at most -0.2?
False
Let f(u) = -u**3 - 6*u**2 - 4*u + 6. Let z = 7 - 12. Let j be f(z). Let t(l) = l**3 + 8*l**2 + 1. Let b be t(-8). Is b greater than j?
False
Suppose -w - 1 = -2*w. Suppose -2*z + 1 + w = 0. Which is bigger: z or 8/15?
z
Let d = 758/2325 - 8/93. Does d = 11?
False
Let i = -92 - -91.652. Let w = i + 0.29. Which is bigger: w or -0.1?
w
Let x(g) = 3 - g**2 - 7 + 3 - 1. Let q(s) = s**2 + s. Let v(o) = 4*q(o) - x(o). Let t be v(-2). Which is smaller: 13 or t?
13
Let q = -2415 + 4829/2. Let f(r) = -r - 4. Let g be f(-6). Suppose -8 = -j + g*w, -2*j - 4*w = 13 + 3. Which is greater: j or q?
j
Let t be (-5)/(-4) - ((-198)/24)/11. Which is smaller: -3 or t?
-3
Let t be 575/(-2) - (-28)/(-56). Are -290 and t equal?
False
Let q be (8*3/(-15))/(8/(-100)). Is 22 at least q?
True
Let g = -763 + 808. Is g not equal to 44?
True
Suppose 2*q = 4*k + 184, 4*q + 2*k = -3*k + 303. Which is greater: 83 or q?
83
Let d = -759 + 791. Which is greater: -4 or d?
d
Let x be (10 + (-4 - -5))/((-10)/670). Is 1/2 equal to x?
False
Let o = -1158/29 - -331739/8294. Let w = 75766/715 - o. Let f = w - 106. Which is smaller: 0 or f?
f
Let p(u) = -u**3 + 5*u**2 + 10*u - 50. Let d be p(6). Which is bigger: d or -24?
-24
Let d = 142 - 144. Are -4/3 and d nonequal?
True
Suppose -2*f = -4*o + 9 - 31, -4 = o. Let t = f + -3. Suppose 3*d + 5*v + 22 + 7 = t, -17 = 2*d + v. Are d and -8 equal?
True
Let d = 400 - 1198/3. Which is bigger: -0.096 or d?
d
Let v = 47/12 + -1117/276. Which is smaller: v or -0.3?
-0.3
Suppose -2*p - 3 + 99 = 0. Let f be p/(-2 - 2)*-2. Let c = -26 + f. Which is bigger: c or -7/5?
-7/5
Let i = -1957/3 - -655. Which is greater: -2/5 or i?
i
Let p be -7 + 14 + 1 + -3. Let k(i) = 6*i**2 - 2. Let u(z) = -9*z**2 + 3. Let h(g) = p*u(g) + 7*k(g). Let q be h(-1). Is -2 smaller than q?
False
Let v(o) = -o**3 + 4*o**2 + 6*o - 6. Let a be v(5). Let i = a + 5. Suppose -9 = -i*r + 39. Which is smaller: 11 or r?
11
Let u = 1 - 0. Let d be -2*(-2)/((-1284)/9). Let h = 627/535 - d. Which is smaller: u or h?
u
Let w be (-28)/(-5)*(-375)/(-6954). Let r = 12/61 - w. Is r greater than 1?
False
Suppose 2 = 4*h + c - 0, 5*h + 5*c + 5 = 0. Let z(y) = y**2 + y + 1. Let a be z(0). Does h = a?
True
Suppose -4*b = n - 95, b + n - 5*n - 28 = 0. Let w(t) = 7*t. Let i be w(-2). Let o = i + b. Is 9 greater than o?
False
Suppose 0 = r - 2*a + 6, 3*r - 6*a + 18 = -4*a. Let c = -23 + 16. Do c and r have the same value?
False
Let b(s) = 2*s**3 + 8*s**2 - 5*s - 26. Let g be b(-4). Let t be (-1)/(-3) - 60/9. Which is greater: t or g?
g
Let b = 25 + -23. Let h be 33/(-12) - b/8. Let t be h/2 + (-27)/18. Which is bigger: t or 0.1?
0.1
Let r be -50*(-3 - (-15)/6). Suppose 5*k + 24 = 3*d + 9, -4*k = -5*d + r. Let t = 1359/5 - 273. Are k and t non-equal?
True
Let p(n) = 5*n. Let o be p(1). Suppose 4*f - 45 = -f + o*a, 0 = f + 5*a - 15. Suppose -5*c + 30 = f. Which is smaller: c or 5?
c
Let r(z) = -5*z**2 - 34*z + 9. Let y be r(-7). Do y and 14/3 have different values?
True
Suppose 205 = u - 6*u. Which is smaller: -36 or u?
u
Let i = -1588 - -1608. Which is smaller: i or 256/13?
256/13
Let k be 27/(-9) - (56/(-6))/2. Let u = k + -29/12. Which is bigger: -2/37 or u?
-2/37
Let k be (-1765)/(-45) - (-4)/(-18). Which is greater: k or 42?
42
Let t be 18*9/((-63)/28). Is t >= -73?
True
Let h(f) = -2*f**2 + 2*f**2 + 2*f**2 - 9 - 29*f. Let c be h(13). Is -47 equal to c?
False
Let l be (10/(-135))/((-7)/231). Which is greater: 0.6 or l?
l
Suppose -2*z + 8 = -0. Suppose 2*v - 4*h = 4, v + 6*h + 12 = h. Let d be (v/8)/(2/(-8)). Is d greater than z?
False
Suppose 28 = -4*v - 8. Let w be (-9)/6*66/v. Let g be (w/(-11))/((-37)/(-2)). Does g = 0?
False
Let u = -76 + 77.88. Let n = u + -2. Is -0.2 greater than or equal to n?
False
Suppose 5*p + 0*v - v + 3000 = 0, 5*v = p + 576. Is p at least -602?
True
Suppose -8*r - 25 = -13*r. Let h be (-1 - r)/(54/27). Do h and -3 have the same value?
True
Let f = -425187 - -62926895/148. Let m = f + 1/37. Let j(a) = -27*a + 320. Let w be j(12). Which is greater: w or m?
w
Let j = -2930/246123 + 4/943. Let c = -1123/1044 + j. Let f = -3/4 - c. Is 0 equal to f?
False
Let g be 3/(-18) + (-2)/(-12). Suppose g = 2*p - 4 - 14. Is 9 smaller than p?
False
Let v = 314/209 - 1/418. Is v smaller than 9.2?
True
Let j be (-32)/(-18) - 2 - (-12159)/55080. Is j at least as big as -1?
True
Let z = -9 + 12. Suppose -z*c + 5*c = 0. Let t = -7 + 6. Is t bigger than c?
False
Suppose 4*m = 2*s + 42, 4 = -4*s + 24. Let f = m + -8. Suppose -f*r + 2 = 17. Which is bigger: r or -7?
r
Let b be 1/(-2) + 154/44. Suppose -3*r = -8*r + 25, k - b*r = -24. Let p be -2 - k/(162/40). Is p >= 0?
True
Let r(j) = -j**3 - 9*j + 13. Let g be r(4). Is g >= -89?
True
Let w = 1772 - 8817/5. Which is smaller: w or 8?
8
Suppose 5*j - 18 = o, -o = -j + 4 - 2. Let i(q) = q**3 - 4*q**2 - 6*q + 6. Let w be i(4). Let v be 4/w - (-145)/45. Is v <= o?
False
Suppose -44 = -4*h - 3*t, 0 = h + 4*h + 2*t - 55. Let w(s) = s**3 - 10*s**2 - 9*s - 23. Let k be w(h). Which is greater: k or -2?
k
Suppose -2*s - 65 = -5*s + m, -4*s + 5*m + 105 = 0. Suppose 5*x - s = 3*l, -2*l + 4 = 5*x - 4*x. Suppose -6*j = -2*v - 5*j - 7, -v = -x*j + 21. Is 3/7 > v?
True
Suppose -7*q - 10 + 24 = 0. Suppose q*v - 5*v + 3 = 3*j, 3*v = 4*j - 11. Is v >= -2/17?
False
Let t(f) = f**3 + 11*f**2 + 9*f - 5. Let i be t(-10). Let a be (i + 55/(-15))*-3. Which is bigger: -3 or a?
-3
Let k be (-4)/(-28) - (-30)/(-14). Let z be 45/10 - k/(-4). Suppose 0 = -z*f + 19 + 25. Does f = 11?
True
Let k be ((-2)/3)/(2/(-21)). Let r = -22 + 27. Suppose 3*y + 3 = 4*c, -11 = -y - r*c + k. Which is greater: 5 or y?
5
Let k = 8 + -8.3. Let i = -325 + 406.8. Let q = i + -82. Is q < k?
False
Let y = 404 + -328. Is 75 > y?
False
Let i be (-52)/105 - 98/(-245). Are i and -58 equal?
False
Let u be (-932)/(-234) + (-3)/(3/4). Suppose -5*h + 10 = -n - 4*n, 2*h + 2*n + 4 = 0. Is h != u?
True
Let g = -399 - -381. Is g at least -7?
False
Let n = 66.7 + -66.7. Which is smaller: n or -203?
-203
Suppose 4*u - 2 = -3*d + 1, 1 = d - 3*u. Let g be ((-48)/84)/((-2)/d). Is 1.4 at least g?
True
Suppose 0 = 3*q - 4*q + 20. Let u = -14 + q. Let s be ((-2)/3)/((-4)/u). Is -2/19 less than or equal to s?
True
Let k = 233 + -296. Which is bigger: -64 or k?
k
Let g(n) = n + 15. Let v be g(-9)