False
Let j(n) = n**3 + 21*n**2 + 16. Let c = -29 + 8. Let s be j(c). Is 16 smaller than s?
False
Suppose 0 - 3 = -d. Suppose 24 + 0 = d*k. Let w be k/7 + 4/(-28). Which is smaller: -1/5 or w?
-1/5
Let t = 34 - 34. Let h = 5 - 6. Which is smaller: h or t?
h
Suppose -3 = -4*v + 3*v. Suppose -6 = -3*u - 3*t, -u = v*u + 3*t - 7. Is u < -42?
False
Let w = -790/143 + 54/11. Let u = 53 - 48. Suppose -3*z + u*z = -4. Which is smaller: w or z?
z
Let l(w) = w**2 - 22*w + 22. Let k be l(22). Suppose k*y - 23*y + 64 = 0. Does 65 = y?
False
Let u = 455 - 427. Which is smaller: 10 or u?
10
Let i(f) = -10*f + 12. Let d(x) = 9*x - 11. Let h(l) = -7*d(l) - 6*i(l). Let w be h(2). Is -4/15 greater than or equal to w?
True
Let r(i) = i**2 - 27*i + 26. Let d be r(26). Does d = -6/19?
False
Let i be (0*(-2)/(-6))/1. Suppose i = -2*u + 6. Let s be (-105)/15*(-3)/7. Is s >= u?
True
Let y = 1293 + -1293.1. Are y and -472 non-equal?
True
Let l = 192286 + -29227367/152. Let c = l - -7/38. Is 0 greater than c?
False
Suppose -13*m = -29*m - 96. Suppose 0 = -4*i + 1 + 7. Suppose 2 + i = -l. Which is smaller: l or m?
m
Suppose -5*x = -0*x. Suppose -4*g = -3*a + 3, -2*g - 3 + 9 = 0. Suppose -5*z - 10 = 0, -n = -a*n + 5*z + 22. Is n at most x?
False
Let r = -1/10 - 12/5. Let o = 9 + -13. Is r > o?
True
Suppose 5*f + 85 + 138 = -4*n, -5*n = 5*f + 285. Let i = n - -47. Is -16 < i?
True
Let c be 2/(-9) + (-75)/27. Let z = 24 + -27. Let u = z + 3.1. Which is smaller: u or c?
c
Let a = -1676 + 82134/49. Are a and -1 non-equal?
True
Let w(i) = i**3 - 16*i**2 + 20*i - 44. Let a be w(7). Are a and -346 unequal?
True
Suppose 26*n = 32*n + 6. Let c be 0 + 0 - 42/(-49). Let d = c + -17/28. Which is greater: d or n?
d
Suppose 10*z - j = 15*z - 20, 0 = -4*z + 3*j - 3. Which is smaller: z or -25?
-25
Let q = 6.5 - 2.6. Let p = 1.75 + -0.65. Let x = q + p. Which is bigger: x or 1/2?
x
Let f = 39 + -16. Let c = f - 22. Is -1/4 <= c?
True
Suppose -5*h - 3*x = 91, 16*h + 83 = 12*h + x. Suppose 0*i = -5*s + i + 15, -5*s - 2*i = 0. Let m be (s + 0)/(h/4). Which is bigger: m or 1?
1
Let x = -5153/6860 + 2/1715. Let t(m) = m**3 + 5*m**2 + 4*m + 2. Let n be t(-4). Suppose -3*q - 2*q = 2*b - 21, -n*b = 4*q - 16. Is x != b?
True
Let x = -123175/8 + 15470. Which is greater: 72 or x?
x
Let k be 4/(-3)*(-252)/(-56) - -5. Which is bigger: k or -2/75?
-2/75
Let d = -108 + 107.965. Is d not equal to 2/3?
True
Suppose -27*h + 364 = -23*h. Is -1/4 <= h?
True
Let m be 13 + 1*(-2 - -4). Let g = 18 - m. Suppose p + 11 = -3*s, g*p - 5*p = 2*s + 2. Which is smaller: p or 2?
2
Let l(c) = -c**2 + 13*c - 60. Let v be l(13). Let k = -26 - v. Does k = 33?
False
Let a = 872 - 982. Which is smaller: -111 or a?
-111
Let d = -8816/15 + 588. Let p(u) = 18*u - 6 - 8*u - 6*u - u. Let m be p(2). Is m less than or equal to d?
True
Let p be 1/2*6 + 3 + -4. Suppose o = -0*o + p*o. Is -35 greater than or equal to o?
False
Let b = -3145/57 - -55. Is b smaller than 0?
True
Let l = 91 - 5. Let g = -92 + l. Which is greater: g or -14?
g
Let b be (-6)/(-16)*-2 - 13566/(-15960). Suppose -2*p + 10 = 0, -4*w - p + 5 = w. Which is bigger: w or b?
b
Let r be (-1906)/(-20) - 0 - (-196)/980. Which is bigger: r or 96?
96
Suppose 0 = -f + 2*h - 5, 2*f - 6*h = -5*h - 4. Is f at least 785?
False
Suppose -a - 13 = d, a - 46 = 2*d - a. Let x be 30/36 + (-3)/d. Does -0.6 = x?
False
Let k be -6 - (-3)/((-6)/(-26)). Which is greater: 29/5 or k?
k
Let b = -0.25 + 1.55. Let h = 1.3 - b. Let w = h + -0.1. Are -0.2 and w equal?
False
Let a be (1368/(-27))/(10/12). Which is smaller: a or -60?
a
Let x = -1606/609 - -82/29. Suppose 5*v = 25 + 10. Suppose -3*n - 4 = -v*n. Is n not equal to x?
True
Let u be 11/((-264)/(-16))*(-3)/2. Which is smaller: u or -35?
-35
Suppose 2*z = 5*z - 5*o + 28, o = 4*z + 9. Which is smaller: z or 2/293?
z
Let f(l) = l**2 - 20*l - 40. Let u be f(19). Which is smaller: u or -58?
u
Let d = -7 + 18. Let q = d + -11. Let m = q + 0.12. Is 0 bigger than m?
False
Let u = 18.97 - 18.66. Let n = -1 + 0.9. Which is greater: u or n?
u
Let t = 62 + -60. Suppose 3*n + t*n - 25 = 2*u, -3*n = u - 15. Which is smaller: 3/8 or u?
u
Let n = -1.06 + 6.06. Which is bigger: -120/13 or n?
n
Suppose -2*o - 24 = -x, 4*o = 2*x + 3*o - 42. Let s be (-1)/(-2) - 18/x. Which is greater: s or -6/7?
s
Let n be ((0 - -1)/1)/1. Let k(f) = -f**3 - 3*f**2 + 2*f + 1. Let o be k(-2). Let v = o + 7. Are v and n unequal?
True
Suppose -4*v = 3*u - 8 + 41, -v - 2 = 2*u. Let n = 3 - 7. Let t be n - v/(3/(-1)). Is -13/2 bigger than t?
True
Let a = 4.866 - 4.926. Let i(w) = w**3 + 2*w**2 - 3*w + 2. Let n be i(-3). Is a > n?
False
Let n be (-4069)/(-9527) - 21/49. Is -1 at most n?
True
Let u be 1 + ((-252)/(-27))/(-14). Let h = -3.3 + 0.3. Which is greater: h or u?
u
Let r = -32 + 32.28. Let q = 26.28 - r. Which is smaller: -0.1 or q?
-0.1
Let r(x) = -x**2 - 34*x - 165. Let h be r(-6). Does h = 21/10?
False
Suppose 6*w + 5*m - 15 = w, 2*w - 2*m + 10 = 0. Which is bigger: w or 2/931?
2/931
Let l be (-700)/(-8)*18/(-15). Is l bigger than -96?
False
Let o = -814/117 + 64/9. Suppose 0 = -4*y + 21 - 1. Suppose y*j - 4*i = -2*i - 8, -8 = -5*j - 2*i. Which is smaller: o or j?
j
Let x = 0.0331 + 267.9669. Let u = -266 + x. Suppose -5*r = -3*r - 16. Which is smaller: r or u?
u
Suppose -f + 26 = 4*n - 2*n, 5*f - 130 = -2*n. Let v = -26 + f. Suppose 4*k + 5*g - 3 - 5 = 0, v = 5*k - 2*g + 23. Is -1 at most as big as k?
False
Let y = 107 + -211. Let q = 67 + y. Let i = q + 110/3. Which is smaller: i or 0?
i
Suppose -5*i = 3*l - 23, 4*l - 3 - 1 = 0. Suppose i*b + 4*s = -20, -5*b = -3*b + 3*s + 9. Is b greater than or equal to 1/2?
False
Let d(i) = 5*i - 11. Let b be d(16). Let u = 68 - b. Which is smaller: u or -3/13?
u
Let d = 562 - 554. Which is greater: -23 or d?
d
Let z = -90 - -76. Let y be 6/(-40) - z/35. Are y and -7 unequal?
True
Suppose 5*w = -2*v - 7, w - 4*v = -0*v + 3. Let s = 85 - 51. Which is greater: w or s?
s
Let i = -4307/481426 - -3/1738. Are 0 and i unequal?
True
Let s be (-3 + (-106)/(-36))*-196. Let q = s + -2441/225. Which is bigger: q or 0?
q
Let l be 6/2 + 1 + -9 + -1. Let v be (-4)/(-2) + (1 - -2). Let h = v + l. Which is smaller: h or 7?
h
Suppose 4*l + l = 20. Suppose 26 = 5*k - l*b, -2*b + 3*b = -2*k. Let y be (-4)/22*k/4. Which is smaller: 0 or y?
y
Let v(c) = 2*c - 4. Let q be v(5). Let n = q - 7. Which is smaller: n or 2?
n
Suppose -2*c + 73 = -5*p, 140 = 4*c + p - 5*p. Which is bigger: c or 1?
c
Let l be 150/(-4)*84/(-70). Let p = l - 44. Which is smaller: p or 2/179?
2/179
Let p = 120.75 - 124. Is p greater than -1?
False
Let o = -11 - -16. Suppose -30 = 2*l - o*d - 0*d, 0 = 4*d. Let m be ((-4)/1 - l)/(-1). Is m at least as big as -10?
False
Suppose 0 = 8*q + 6*q + 14. Is q at least as big as 3?
False
Let j = -0.098 - -12.998. Let s = -13 + j. Let z be (4/(-6))/((-2)/3). Is s >= z?
False
Let o = 4 - 2. Suppose -5*h + 66 = -o*h. Is 23 less than h?
False
Let s = 61.49 + -61.5. Which is smaller: -1/3 or s?
-1/3
Let o be (-2)/(-3) + (-664)/(-12). Let h = o + -57. Let j = -12015/17 + 707. Which is bigger: j or h?
j
Suppose -3*l + 413 = -5*t, 4*l - 16*t + 17*t - 543 = 0. Is l at least as big as 134?
True
Let n(r) = r**3 - 16*r**2 + 17*r - 24. Let t be n(15). Let c = -2 - -5. Are c and t unequal?
True
Let v be (-112)/(-84)*(-1380)/(-8). Is v greater than 230?
False
Suppose -15 = -5*q, 2*q + 154 = 4*f + 4*q. Let g be (-7)/(21/2)*327/(-6). Let w = g - f. Is -1 smaller than w?
True
Let g(q) = -q**2 + 8*q + 83. Let u be g(-8). Is -47 less than u?
True
Let q be (2764/(-1384) + 2)/((-9)/(-6)). Is q at least as big as -1?
True
Suppose r = 3*x + 18, -r = 4*r - 3*x - 30. Let t be (-6)/((-1)/(-2)*r). Suppose 0 = 14*a - 3*a + 22. Are t and a unequal?
True
Let w(u) = -u**2 + 8*u + 10. Let j be w(9). Let x be (-1 + -2 + 0)/(-1). Suppose r = x - j. Is r equal to -3?
False
Suppose 12 = -4*h, -3*h - 6 = 4*y - 7*y. Which is smaller: 3/170 or y?
y
Let b = -8/13 - -53/65. Suppose 14*u - 4*u = 50. Let h = u + -5. Which is smaller: h or b?
h
Let o be ((-3)/2 - -3)*4/3. Suppose 0 = o*m - 14 + 4. Which is smaller: 2 or m?
2
Let d = 34 + 148. Suppose -s - 5*g + 147 = 0, -2*s + 2*g = -s - d. Let c = s - 1202/7. Which is bigger: 0 or c?
c
Let p = 5 - 3. Let b = 29 - 32. Let s = p