k. Is p greater than or equal to t?
False
Suppose -4*g + 6*g = -6. Let d be g/(-6) - 2/4. Which is smaller: d or 1/2?
d
Suppose -30*b = -26*b + 256. Which is greater: -65 or b?
b
Suppose 3*m + 17 = 2. Let r be (-9)/(-6)*8*(-14)/(-12). Suppose 2*k = -2*t - r, 3*k = 4*t + 2 - 16. Is k smaller than m?
True
Let o = 43 + -42. Let i = 28 - 40. Let m = 10 + i. Is o at most m?
False
Let p be (-30)/25 - (-9)/(-105). Which is greater: 2/13 or p?
2/13
Let p = 11 - 6. Suppose -2*s + 5*h = 3*s - 170, -p*s = -2*h - 164. Suppose -5*y - s = 23. Is y bigger than -12?
True
Let v(k) = -2*k**3 + 12*k**2 - 18*k + 4. Let t be v(4). Are t and 46 non-equal?
True
Let y be (-632)/(-930) + 10/(-15). Let f be (2/3)/((-10)/(-15)). Is f bigger than y?
True
Let y = 128 - 126.3. Which is smaller: y or -2/9?
-2/9
Let u(f) be the first derivative of f**2/2 - 20*f + 17. Let v be u(18). Is v at least -1?
False
Let h = 2053 - 2054. Let w = -779/522 + -2/261. Which is smaller: h or w?
w
Let h = -329 + 332. Is 3 <= h?
True
Let p = 294.12 + -294. Which is smaller: 0.2 or p?
p
Let l = -0.15 + 0.15. Is -10/3 less than l?
True
Let x(t) be the second derivative of -t**3/6 - 7*t**2 - 4*t. Let u be x(6). Which is smaller: u or -22?
-22
Let j be 2/(12/(-231)) - (-3)/(-6). Let p = j - -20. Is p at least 0.2?
False
Suppose 5*l - 5 = 10. Suppose t - 3*t - 14 = -4*o, l*t + 4*o - 9 = 0. Are -1 and t unequal?
False
Suppose o + 4 = 2*h + 11, -7 = 5*o + 4*h. Let s be 4*(o - (-46)/8). Suppose a + 5*i + 19 = 0, -6*i + i - s = 3*a. Which is smaller: -5 or a?
-5
Let l(k) = -11*k + 1. Let n be l(-4). Suppose 0 = 2*j + n + 51. Let d be 666/j - 1/8. Is d not equal to -14?
False
Let l = -2.4 - -2.3. Let z = -165 + 174. Is l not equal to z?
True
Let x be 9 + 1 + (-2)/2. Let o be x/6*(-24)/9. Which is smaller: o or -18/7?
o
Suppose -7*k + 2*k + 17 = 7*j, 3*k = 2*j + 4. Which is bigger: k or 0.049?
k
Let s(t) = -8*t + 7 - 2*t + 11*t. Let d be s(-4). Which is bigger: 7 or d?
7
Let g be (3/(-42))/((-2)/8). Let a = -0.0023 + 0.0093. Is g equal to a?
False
Let m(r) = r - 3. Let b be m(3). Suppose -3*h - 108 = -b*h. Let i be 386/h + 2/9. Is i >= -11?
True
Suppose -16*l - 11*l = -297. Is l >= 15?
False
Let v(d) = -d**2 - 4*d + 1. Let r be v(-5). Let x(n) = n + 4. Let q be x(r). Is -2/21 at least as big as q?
False
Let d be 123/7 - (-24)/56. Let s = 23 - d. Is 4 at least as big as s?
False
Suppose 15*l - 18*l = q - 109, 183 = 5*l + 3*q. Is 20 greater than l?
False
Suppose 5*p - 504 = -99. Let t = p - 82. Is t at least as big as -2/39?
False
Let q be (1/(9/(-6)))/(52/3354). Which is smaller: q or -40?
q
Let o be 44*(6/(-4))/3. Let b = -21 - o. Let m = 1 - -1. Which is greater: m or b?
m
Let t = 450 - 480. Suppose 75 = -3*d - 0*d. Let r = t - d. Which is bigger: r or -6?
r
Suppose 5*j = 3*j - 4. Let f be 1/(1/8*j). Let p be (10/8)/((-35)/(-126)*6). Which is bigger: p or f?
p
Suppose -7*k + 5*k = -936. Suppose 11*x = -2*x - k. Is -35 equal to x?
False
Suppose 0 = r + 3, m + 4*r = -3*m - 12. Is 13/12 greater than or equal to m?
True
Let m(v) = v**3 - 11*v**2 - 8*v + 33. Let p be m(11). Is p >= -56?
True
Suppose 40 = 4*v + 2*h - 2, -3*v + 14 = -2*h. Let m = v + 5. Is m greater than 15?
False
Let d be 0*(3 - 40/15). Which is smaller: 1/24 or d?
d
Suppose 0 = 5*y - 2*y + 21. Let k be 4/y*(-3)/6. Let m(j) = -j**2 - 20*j - 65. Let f be m(-16). Is k < f?
False
Let m(l) = -l + 1. Let q be m(-4). Suppose 2*f - q*f - 9 = 0. Let a = f + -3. Which is smaller: a or -5?
a
Let j(b) = 11*b + 151. Let s be j(-13). Which is greater: s or 9?
9
Let m = 67 + -66.67. Let g = m - 0.43. Which is greater: g or 1/15?
1/15
Let y = -7/6450 - -44/129. Is 0 > y?
False
Let n be (442/(-88))/(35/(-40)). Let h = n - 60/11. Let z = -4.86 + -0.14. Does z = h?
False
Let m = -51 - -50.69. Let v = -0.41 - m. Is v > 8?
False
Let k be (3/(-4))/(5305/(-1060) + 5). Suppose -2*o = -5*n + k, n = -n - 3*o + 56. Which is smaller: 32 or n?
n
Let n = 16 + -17. Let l be -20*((-2)/(-12))/(-1). Let w = -4 + l. Which is greater: w or n?
w
Suppose -7512 = 10*r - 7432. Which is smaller: r or -117/14?
-117/14
Let p = -0.1 - -0.1. Let q = -55 + 138. Let u be (q/52 - 1) + 14/91. Are p and u non-equal?
True
Let p be 28/21*(-12)/(-152). Suppose b = -0*b + 13. Let w = -14 + b. Which is smaller: p or w?
w
Let h(p) = p**2 + 4*p - 6. Let n be h(-7). Let g = 15 - n. Is g <= -4/17?
False
Suppose -4*p - 98 = -4*i + 62, 3*p + 2*i + 110 = 0. Let d be (-3 + 1)/((-8)/(-148)). Is d at least p?
True
Let d be 35/(-10)*4/7. Which is smaller: -2/49 or d?
d
Let h be ((-5)/(-80))/(-11 - -10). Let t = -1 - -1. Which is bigger: t or h?
t
Let i(g) = -g**3 + 4*g**2 - 2*g + 6. Let u be i(4). Let b(l) = -l**2 + 14*l - 24. Let t be b(2). Is t < u?
False
Suppose 8*w = 13*w - 45. Let h be 0 + 2/4*0. Suppose -l + 5*a + h*a = -12, 2*a + 2 = 0. Which is bigger: l or w?
w
Let m = 10/33 + -16/33. Let l = m - -3/77. Does 1 = l?
False
Let r be 5/1 - (-7 + 6). Let l = -17/3 + r. Are l and 7 nonequal?
True
Suppose -7*b = -152 - 373. Is 74 greater than or equal to b?
False
Let q(z) = -z**2 - 7*z + 10. Let p be q(-8). Suppose -p*u - 40 = 20. Let h = -29 - u. Is h < -3/8?
False
Let s be -3*1/(-3) + 3. Suppose -7 = -5*t + 8. Let p be 1*3*5/t. Does s = p?
False
Let g = 19 - -2. Let r = -380 + 381. Is r less than or equal to g?
True
Let r be (-3)/(-1) + (-1)/(49/3409). Which is smaller: -68 or r?
-68
Suppose p = 4*p + 6. Let h be (-2)/8*p*-2. Is 4 equal to h?
False
Let y = -24.3 - -24. Is 1 > y?
True
Let x = 20426/299543 + -2/5077. Let o = x - 29/1298. Is 2/5 bigger than o?
True
Let z = 86 - 78.1. Let c = -6 + z. Let f = c + -2. Which is bigger: 1 or f?
1
Let h = 158 - 93. Let p be (h/159)/(24/(-18)). Let u = -3/53 - p. Which is smaller: u or -11/4?
-11/4
Let v be 8 + -5 - (2 - -1). Suppose g = 10 - v. Let c be (17 - g)/(5/3). Which is greater: c or 4?
c
Suppose 2*t + c - 113 = -2*c, 0 = -t + 4*c + 84. Suppose -h = -2*h - t. Is -65 at least h?
False
Let l be 66/63 + (-1 - 1). Let x = -2/7 - l. Is x != 0?
True
Let i be -14*1/(-4)*12/(-21). Suppose 4*h - 11 = 9. Suppose 0 = 4*s + h + 3. Are i and s non-equal?
False
Suppose 468 = 2*q - 12*r + 7*r, q - 228 = 4*r. Suppose -2*s + 3*u + 0*u = 174, 3*s + 4*u + q = 0. Are -85 and s non-equal?
True
Suppose 2*x + 745 = 5*w, 2*w + 4*x + 152 - 474 = 0. Is 151 <= w?
True
Suppose -6 + 0 = -3*b. Let t(x) = -x**3 - 6*x**2 + 6*x - 3. Suppose 3*z + 4 = -17. Let j be t(z). Which is greater: j or b?
j
Let z(p) = 3*p**3 - 8*p**2 + 14*p - 61. Let g be z(6). Which is smaller: g or 385?
g
Let s be 18 + 6*(-10 - -11). Which is greater: 23 or s?
s
Let u be 2*(-270)/2925*(-940)/(-6). Which is greater: u or -28?
-28
Let n(a) = -3*a + 6. Let k be n(-3). Let m be (6/9 + 0)*24. Are m and k non-equal?
True
Suppose -4*u = 10 - 2. Let n be -3 - 2*4/u. Let f = -13822/13 + 1064. Are n and f equal?
False
Suppose -b + 3 = -2. Suppose 21 = b*x - 29. Suppose 10*p - 5*p = -x, 5*m + 2*p = -4. Which is smaller: m or -1/7?
-1/7
Suppose 6*z = 10*z + 2*x + 98, -71 = 3*z + x. Which is smaller: z or -117/5?
-117/5
Let c = 116 + -115.9. Is 0.378 bigger than c?
True
Let n be (-435)/39 - 8/(-52). Let c = n + 11. Do c and 0 have the same value?
True
Suppose -2*k = 5*a - 10, a + 3*k - 15 = -0*a. Suppose -4*t + 15 = 3. Suppose -3*z + 11 = 2*v, -5*z + 8 = -t*z + 2*v. Are a and z equal?
False
Let a be (0 + -1)*(-3 + 7). Let v = -1 + 7. Suppose -4*f = u + u + v, -u = 3*f + 7. Is a smaller than f?
False
Let p = -13199/573342 - -5/3066. Which is greater: p or -1?
p
Let g(w) = -w**3 - 2*w**2 + w + 1. Let k be g(-2). Let n be -2 + (0 - 4/k). Suppose -4*h - 12 = n*x, 7*h - 4*h - 2 = 4*x. Are h and 0 non-equal?
True
Let p = 24/251 + -38021/1255. Let k = 30 + p. Let d be (-4)/(-10) + (-32)/55. Is d less than or equal to k?
False
Suppose 0 = -2*b + 3*i + 10, -3*b - 5*i = -10*i - 16. Let a be b/(7/((-35)/20)). Which is smaller: 17 or a?
a
Let y = 0.37 - 0.19. Let b = 1.42 + y. Let w = b + -1.3. Is 0.1 equal to w?
False
Let j = 2922 - 20450/7. Is 9 bigger than j?
True
Let a be 40/100*(-10)/(-2 - -1). Suppose -2*r - 10 = a*c, -20 = -3*r + 5*c - 2. Which is smaller: r or 2/73?
2/73
Let n = -104 + 106. Suppose 22 = -n*g + 7*j - 2*j, 2*g - 2*j = -10. Which is smaller: g or -15?
-15
Let h = 0.87 - 0.8. Let j = 0.07 - h. Let c = -0.08 