*h - 6 = 3*f. Does k = h?
False
Let y = -449 - -448. Which is smaller: 2/145 or y?
y
Let x = 0.144 + 1.256. Let d = -1.398 + x. Which is smaller: d or -1?
-1
Let k be ((-1)/(-2))/((105/(-56))/15). Let u be (4 - (1 - k)) + -4 + -2. Is u <= -5?
True
Let t(a) = 73*a - 34. Let z be t(7). Let k = 16697/35 - z. Are k and 0 non-equal?
True
Suppose -2*u + 5*a = u - 27, u - 3*a = 13. Suppose l - 13 = -3*l + 3*k, 3*k + 5 = -u*l. Which is greater: 2/33 or l?
l
Let o = 0.12 + 3.88. Let s = o + -5. Let y = s - 0. Which is greater: -0.5 or y?
-0.5
Let p = 601 - 615. Do -0.018 and p have the same value?
False
Let a be 183/6 - 2/4. Suppose 0 = 3*f + 5*k + a, -3*f - 3*k + 2 = 26. Is f greater than -7?
True
Let g be ((-1)/2)/(3/6). Let v = -2598 - -2594. Is g < v?
False
Suppose -2*a = -2*x - 37 - 49, -a = -3*x - 37. Suppose -7 + a = 3*f. Suppose -15*s + f*s - 10 = 0. Is s < 2?
True
Let m be (28/90)/(0 + 8/10). Which is smaller: m or 0?
0
Let t(v) = -v**2 - 8*v - 2. Let p be t(-7). Suppose -p*o + 45 = 5*z, o - 3*z = -2*o - 3. Let w be (o*4/8)/(-5). Which is greater: w or 0?
0
Let g(f) = -f**3 + f + 1. Let u be g(-1). Let t be 4 - u - (12 + -4 + -5). Let j be (4/(-3))/(10 - 0). Is j at least as big as t?
False
Let h be 54/(2/(-4) - -2). Let c be ((-2)/4)/(18/h). Let k be -2 - (-2 + -4) - -1. Which is greater: k or c?
k
Suppose -12*k = 5*k - 29716. Let d = k + -166062/95. Which is greater: -1 or d?
d
Suppose -34*m + 1831 + 6771 = 0. Is 253 != m?
False
Suppose 0 = -4*f - 4*f + 80. Suppose a - f = 3*a. Which is greater: a or -4?
-4
Let z = -7 + -13. Let a = z + 20.2. Is a not equal to 5/7?
True
Let o = -202.6 - -204. Suppose 0*b + 4*b - 4 = 0. Is o at least as big as b?
True
Let s be ((-1)/4)/((-9)/64). Suppose 9*u = -5*u + 42. Suppose -4 = d - u*j - 0*j, j = 5*d - 8. Which is bigger: d or s?
d
Suppose 2*u - 3*r = -2, 3*r = -3*u + 6*r - 3. Is 1/69 at most as big as u?
False
Let v = 216 + -227. Which is smaller: -14 or v?
-14
Let w be (-3)/(25/2*3/(-5)). Which is smaller: -552 or w?
-552
Let q = 7 - 6.9. Let j = -0.051 + 0.551. Does j = q?
False
Suppose -4*l + 4 = -3*r + 1, 15 = 4*r + l. Let n be 2/4*(3 - 3). Suppose 4*z = 0, 2*z - 9 = -3*b - n*z. Is b less than r?
False
Let g(j) = -j + 6. Let u be g(-5). Suppose 5*h + 21 = 5*r - 4, 3*r = 2*h + 13. Is r greater than or equal to u?
False
Let f(c) = -2*c**3 + 4*c**2 - 4*c + 8. Let r be f(2). Is r at least as big as -5/87?
True
Suppose -2*t = -6*t + 16. Let y be -1*130/(-4)*-2. Let q = -61 - y. Is q greater than t?
False
Let c be (16/6 - (-4)/3) + -12. Let v be (-14)/(-112) - 15/c. Which is smaller: 8/15 or v?
8/15
Suppose 0 = 9*i - 12*i. Is i bigger than -20/19?
True
Let n = -1223/3 + 402. Let o = -6 - n. Let p = -4 - 3. Is o at most p?
False
Let f(p) = -24*p - 248. Let i be f(-7). Which is smaller: -89 or i?
-89
Let d be (-3237)/(-13)*(1 - 4/3). Is -337/4 <= d?
True
Let g = 0.7 + -0.37. Let p = g + -4.03. Let k = p + 3.8. Which is smaller: 5 or k?
k
Let t = -0.267 + 0.167. Which is greater: t or -37?
t
Let c = -11 + 12. Let p be (((-3)/18)/(-1))/(21/(-14)). Is p at least as big as c?
False
Suppose 0 = 78*j + 2964 + 3276. Which is smaller: -79 or j?
j
Let v(y) = y**3 - 6*y**2 + 4*y + 1. Let o be v(4). Let b be 2 + (-1666)/105 - (-2)/(-15). Is b smaller than o?
False
Suppose -5*f = -5*j - 5, -11*f - 4*j - 1 = -12*f. Let r = 285 - 7123/25. Is r at least as big as f?
False
Suppose -5*a = 4*j - 48, j + a - 6 = 5. Suppose -j*d + 27 = -190. Are d and 29 equal?
False
Suppose 5*y - 9*y = -3*h - 7, -8 = 4*h - 4*y. Let g be 1/(-21)*(-4)/(-10)*h. Do g and 1 have different values?
True
Suppose v = -p - 3, -92*v + 3*p + 7 = -96*v. Which is bigger: 18/25 or v?
v
Let x = -444 + 443. Is x smaller than -1/2?
True
Let g(n) = -15*n - 214. Let b be g(-15). Is b less than 9?
False
Let u be (-9)/(-9) + 4/2. Let c(h) = 2*h - 10*h**2 - 5*h + 4*h**2 + h**u + 3*h**2. Let l be c(4). Which is bigger: l or 5?
5
Let b = -30.17 + 0.17. Let v = 30.1 + b. Let t = 0.2 + 0.8. Which is smaller: v or t?
v
Let s(c) = 2*c**3 - 2*c**2 - 2*c + 4. Let o be s(2). Suppose -o*m + 196 = -6*m. Let p = m + -492/5. Which is smaller: 2/13 or p?
p
Suppose -5*j + 22 = 4*w - 3, 0 = 3*j - 15. Suppose w = -4*c - 12, -2*c - 6 = p + 2*p. Is -7/6 at most as big as p?
True
Let t = 267/4 - 67. Is -29 < t?
True
Let m be (3 - -120)*8/6. Suppose 5*f - 166 = m. Let g be (-2)/4 - f/(-84). Which is bigger: -1 or g?
g
Let h be (3 + 1)/(226/2). Let c = -940/1017 + h. Let n = c - -2/9. Is 0 greater than or equal to n?
True
Suppose 88 = -5*u + 3*s, 0 = 3*u + 2*u + s + 84. Is -16 equal to u?
False
Let a be -1 + 1 - 26/1235. Which is smaller: a or -1?
-1
Let p(q) = 2*q + 1. Let c be p(-2). Let v = -15.85 + 14.85. Which is smaller: c or v?
c
Suppose 0 = b + 5*n + 13, 0*b + 3*n = 2*b - 13. Suppose 15 = -3*r - 2*r. Which is greater: b or r?
b
Suppose -r - 4*u = -2*r - 25, -6 = -3*u. Let a = r - -20. Suppose -3*q = a, 2*y = -y + 3*q + 6. Is 12/7 not equal to y?
True
Let q be 2/(-6)*0/(-2). Let f = -39/5 + 8. Is q bigger than f?
False
Let k = 346.6 + -385. Which is smaller: k or 0?
k
Let d be 1/3 - (-1)/(-3). Suppose 5*n + 0*n = 665. Let h = -663/5 + n. Is d equal to h?
False
Let b = 37.25 + -29. Let g = b - 0.25. Is -1 at least as big as g?
False
Let b be -1 + 1/1*1. Suppose b = -m - 1 + 24. Is m greater than 22?
True
Let j(m) = m**3 + 4*m**2 - 14*m - 9. Let f be j(-6). Suppose 43 = 7*r - 3*r - 3*u, 5*r - 53 = f*u. Let t = -0.2 - -0.1. Are t and r unequal?
True
Let q = 41 + -10. Let z = -33 + q. Is -4 smaller than z?
True
Let k be 1/(-6)*2/(-6)*-4. Let f = -1.03 + 0.83. Is f < k?
False
Suppose 3*t - 7 = -3*m - 1, 2*t - 1 = -m. Let r = 0.15 + 0.25. Which is smaller: r or m?
r
Let d = 86/57 - -31/57. Is d equal to 2?
False
Let r = 31 + -28. Suppose 2*k + 6 = -4*g, -r*g - 9 = -g - k. Is -8/5 != g?
True
Let r = 367/2 - 152. Is r <= 31?
False
Let x be (-837)/(-12) - ((-99)/(-12))/11. Are x and 68 non-equal?
True
Let s = -199 - -199. Let n = -5/11 + 14/55. Which is greater: n or s?
s
Let x = 70 + -67. Is -0.1 smaller than x?
True
Let d be 2/(1*6/66). Suppose 3*o = -2*y + 2*o + 6, 5*o + d = 3*y. Is 4 greater than or equal to y?
True
Let a be (-8)/(20592/(-15))*10/75. Which is smaller: -1 or a?
-1
Let n = -2 - -3. Let t = 32 + -33. Let c(s) = -3*s - 2. Let v be c(t). Are n and v equal?
True
Let y = -65 - -65.01. Which is bigger: 8 or y?
8
Let c be (3/(-279))/((-9)/162). Let j = 21 + -22. Is c less than j?
False
Suppose 0 = -3*u - 0*u + 66. Let q = -118 + 124. Let h be q/(u/(-6) - -3). Which is bigger: -8 or h?
-8
Let x(y) = y**3 - 2*y**2 - 3*y - 2. Let u be x(3). Let l be 1/4 - 284/(-16). Suppose -l = w - 3*a, 0 = -5*a + 38 - 13. Which is greater: u or w?
u
Let f = 0.9 - -0.1. Let s = -7 - f. Let w = 44/5 - 122/15. Which is smaller: s or w?
s
Suppose -6*w + f = -5*w, -f + 3 = -4*w. Let t = -287/6 + 2587/54. Which is greater: t or w?
t
Let j = 42 - 58. Let c = 17 + j. Is 3/82 equal to c?
False
Let q = 11 - 34/3. Let o = 0.059 + -0.349. Let a = 3.29 + o. Is q <= a?
True
Let w be 0 - (17 + 1)*539/33. Which is bigger: 2 or w?
2
Let l(o) = -5*o + 50. Let u be l(10). Which is smaller: u or -2/3105?
-2/3105
Suppose -3*z + 7 = -5*k - 0*z, 0 = 4*k + 2*z - 12. Let q(y) = -6*y - 2. Let x be q(k). Let g be (x/170)/(10/25). Which is smaller: -0.2 or g?
-0.2
Let w = 20 - 20.09. Let l = w + 0.07. Let i = -0.98 + l. Does -2/17 = i?
False
Let v(f) = f**2 + 8*f - 16. Let t be v(-9). Which is bigger: -11/2 or t?
-11/2
Suppose 5*o = 2*a - 15, 3*o + 90 = 81. Which is greater: a or -1/968?
a
Let q be (-1 + 3)*324/(-8). Let m = q + 75. Which is greater: m or -10?
m
Let j = -8 + 1. Let v(x) = -2*x - 14. Let z be v(-3). Are j and z non-equal?
True
Suppose 31 - 199 = -5*u + 4*w, 0 = 4*u - 2*w - 132. Which is smaller: 27 or u?
27
Let d = 3106 + -363398/117. Let q = -277/4680 + d. Which is bigger: 0 or q?
0
Let b(q) = -186*q**2. Let m be b(-1). Is -187 greater than or equal to m?
False
Let f be (1 - 5) + (-69 - (4 - -2)). Is -79 > f?
False
Let m = 6791/133 - 715/14. Are 0 and m equal?
False
Let u(v) = v + 12. Let z be u(9). Let s = 31 - z. Suppose -s*j = -5*j - 5. Is j less than or equal to 14?
True
Let i(s) = -s**3 - 6*s**2 - 7*s - 6. Let b be i(-5). Suppose -1 + b = -l. Let w be (l + (-3)/(-1))/1. Which is smaller: 2/3 or