ich is greater: 30 or j?
j
Let q = -356 - -355. Is q < 206?
True
Let s = -1177.9453 - 0.0547. Let b = -1169.91 - s. Let z = -8 + b. Does z = -1?
False
Suppose 18 = 4*q - 2*q. Which is bigger: 39/4 or q?
39/4
Let c be (-653508)/(-2280) - 4/(-10). Let a = 287 - c. Which is smaller: 0 or a?
a
Suppose -4*o - 16 = -4. Let x be -1 - (-2)/3*o. Are x and -4 unequal?
True
Let n = 22 - 25.2. Let f = n - -3. Let j = 202 + -204. Which is smaller: j or f?
j
Suppose -4 = 2*s, 3*s + 3 = -2*d - d. Let q be (0/2 + d)*21. Let x be 4/6*(q - 6). Is 8 >= x?
False
Let l be 54/58 + 18/261. Is 1/961 >= l?
False
Let s be (-400)/(-28) + -2 + 3 + -7. Is 9 <= s?
False
Suppose 0 = -8*d - 1 + 41. Is 4 != d?
True
Suppose b + 0 + 0 = 0. Suppose b*p = p + 1. Is p < -4/7?
True
Let f = -336 - -368. Which is greater: 40 or f?
40
Let j(p) = 4*p**2 - 5*p - 4. Let f be j(-3). Let n = -49 + f. Which is greater: n or -4?
n
Let j be 8 + (-5 - (-1 - -4)). Let u be 864/435 + 0 + -2. Which is bigger: u or j?
j
Suppose m - 3*t + 9 = 0, 3*m - 2*t = 5*m - 6. Let f = 1/58 - 119/174. Which is bigger: f or m?
m
Let f be (-6)/((11 + -3)/(-4)). Suppose 0 = 3*d + d + 2*g + 8, 0 = -f*d + g + 4. Which is smaller: 3/10 or d?
d
Let y(c) = c - 7. Let s be y(7). Suppose s = 2*j + j. Which is greater: 10/7 or j?
10/7
Let d be ((-8)/(-42))/(1/12). Suppose -5*p + 2 = -3. Is d >= p?
True
Let i = -124 + 139.4. Let w = -14 + i. Let s = 1.3 - w. Is -0.08 greater than or equal to s?
True
Let p = 29 + -13. Which is greater: p or 81/5?
81/5
Let k(x) = -x**2 - 7*x + 9. Let o(f) be the second derivative of -2*f**3/3 - f. Let b be o(2). Let y be k(b). Is y >= 0?
True
Let o be (-28)/30*(-130)/104. Do 1/3 and o have the same value?
False
Let i(p) = -p**3 - 14*p**2 - 12*p + 18. Let t be i(-13). Suppose -409 = j - r, -t*j + 2*r = -r + 2049. Let k = -2885/7 - j. Is k >= 0?
False
Let l = 0.0604 - -117.0396. Let b = l - 118. Which is smaller: b or 0.04?
b
Suppose -7*l + 90 = -176. Which is smaller: 34 or l?
34
Let i = 815/4 + -204. Is i greater than 0.021?
False
Suppose 3*v - 40 = -v. Let l be (-4)/v + 69/(-15). Let t(k) = -k**2 - 6*k - 5. Let h be t(l). Which is bigger: 2 or h?
2
Let t(s) = s - 3. Let z be t(8). Suppose 4 = -z*w - 6. Let v be 3/(-5) + 4/(-10). Are w and v unequal?
True
Let z = -389 - -408.7. Which is smaller: -0.1 or z?
-0.1
Let v(y) = -5*y + 2. Let j be v(2). Let d be (-57)/j + (-8)/64. Suppose 3*k = d*k + 72. Are k and -17 non-equal?
True
Let j = -3/8525 + 3584/25575. Which is smaller: j or 0?
0
Let h = -2.9 - -26.9. Let w = -10 + h. Which is greater: w or 1?
w
Suppose 0 = -2*k - 3*k. Let d(b) = -b - 23. Let a be d(k). Suppose n = -3*z + 8*z - 37, -5*n + 2*z = 116. Which is smaller: n or a?
a
Let j = 7 + -4. Suppose -4*q - 12 = -5*s, j*q = 3*s - 2*q - 15. Suppose 2 = 2*u - g - 1, 3*u + g + 3 = s. Is u >= -3?
True
Let l(c) = -14*c + 15. Let h be l(0). Which is smaller: 0.2 or h?
0.2
Let b(a) = -a**2 - 6*a - 4. Let x be b(-4). Let r be 18*3/(18/4). Let t = 14 - r. Which is greater: x or t?
x
Let o = -23 - -38. Let i = 9 - o. Let j be 14/12 + 4/i. Is j at least as big as -11?
True
Suppose -2*m + 6 = 3*f, -2*m + 6 = -14*f + 10*f. Let l = 674/5 + -134. Is l > m?
False
Let r be (3/5)/(702/(-216)). Which is smaller: r or -1?
-1
Let b = -2.2 + 0.6. Let m = b + 0.6. Let x = 2 - m. Which is smaller: 0 or x?
0
Let w be (-4)/(-2) - (-7300)/1955. Let o = -96/17 + w. Suppose -p + 16 = -m + 3*p, 16 = m + 4*p. Is o bigger than m?
True
Let a be (-12)/(-30) + 3/(-20). Let y = -0.47 + 2.27. Let u = -2 + y. Which is smaller: u or a?
u
Suppose -2*n + 2 = -n. Let u be (n - (-12)/(-2)) + -1. Let d = 1 - u. Is d less than 7?
True
Suppose 15 = f - 0*f. Suppose -w - 30 + f = 0. Let s be (-36)/24*2/w. Which is smaller: 1 or s?
s
Let k(n) = -n - 2. Let g be k(-2). Suppose 4*b + 36 = -g*b. Let i be 7/b - (-4)/(-18). Which is greater: i or 2/13?
2/13
Let a be 0 - (2 + (-14)/8). Let n = 19/123 - 2545/14883. Let d = n - -127/363. Does d = a?
False
Suppose -f = 3*t + f - 8, 0 = t - 5*f + 3. Suppose -4*c + t*c + 4 = 0. Suppose 2*z - 4 = 4*a + 4, -a = c*z - 3. Is z equal to 0?
False
Let j = 1073 + -851. Is j greater than 222?
False
Let u = -404.2 + 476. Let m = 72 - u. Which is smaller: -0.13 or m?
-0.13
Let u = 327/830 - -1/166. Does u = 46?
False
Let k be (-1326)/8 + 1/(-4). Let x = k + 110. Let i be 2*1 + 133/x. Is i bigger than 0?
False
Let s = 14 - 20. Let c be (6 + -3)/(-20*(-9)/(-312)). Which is smaller: c or s?
s
Let d(l) = l. Let b be d(2). Suppose -4*c - 2 - b = 0. Let n = -557/2 - -278. Are n and c nonequal?
True
Let q = -9.85 - -9.85. Which is bigger: q or -1.181?
q
Let o = -4516 + 4520.4. Let n = -3/8 - 7/24. Is o less than n?
False
Let u be (-2)/(-5) + 29/(-60). Let p(z) = z**3 - 10*z**2 + 10*z - 9. Let n be p(9). Suppose 2*i - 5*r = -2*i, r = n. Is u < i?
True
Let j be 1*14/(-4)*24/(-21). Suppose 1 = j*c - 5*c. Suppose 3*d + 9 = -0. Which is smaller: c or d?
d
Let g be (-32)/(-176) - ((-1366)/(-11) + -3). Is g >= -122?
True
Suppose -5 = x - 2*x. Suppose 9*y - 96 = 21. Suppose -12 = 19*a - y*a. Is a smaller than x?
True
Let u be 12/(-114) + 2208/1482. Is 0 greater than or equal to u?
False
Let c = -7 - -6.97. Let a = c + 11.03. Let l = a + -11.06. Which is smaller: l or 1/3?
l
Let w = -9.2 - 1.8. Let u = w + 5. Let h = u + 6. Which is smaller: h or -0.9?
-0.9
Suppose -4 = -4*v + 6*v + 4*q, -v = q + 3. Let u = -3 - v. Let c = -44/85 - -2/5. Which is bigger: u or c?
u
Let d(z) = -4*z - 57. Let g be d(-15). Suppose 0*n - 12 = 3*n - g*y, 16 = n + 4*y. Is n less than or equal to -1/41?
False
Let p(g) = -2*g**2 - 2*g + 6. Let j be p(-4). Let s(a) = a + 17. Let c be s(j). Is c at least as big as 1/23?
False
Let v be (-1*5)/(2/4). Let k be (-4)/v + (-605)/5950. Let u = 5/14 - k. Which is greater: u or 0?
u
Suppose -25 = 5*o, -3*b - o = -0*b + 131. Let r be 3/9*(-9)/b. Is r at most -2/11?
False
Let w = 0.189 - -0.811. Let m = -0.1 - 0.9. Let y = 0 + m. Is y greater than w?
False
Let m = -55 - -49. Let f be (-4)/m + (-8)/12. Which is bigger: f or 5/12?
5/12
Let w = 2138/19 + -112. Do w and 1 have the same value?
False
Let d = -0.6 + -0.4. Let i(m) = m**2 - 8*m + 10. Let v be i(6). Let z be 1 - (v - 39/(-12)). Which is greater: z or d?
z
Let x(n) = 7*n**3 - n - 1. Suppose 3*z + 4 = j, 0 = -5*z + 4*j - 12 - 4. Suppose 0*a + 3*r = 3*a - 9, z = 3*a - r - 1. Let y be x(a). Which is greater: y or -1?
-1
Let m(y) = y**3 + 14*y**2 + 3*y + 8. Let t be m(-10). Let s = t - 9453/25. Let q = -22 + 21. Which is bigger: q or s?
s
Let b = -28 + 14. Let r = 15.3 + b. Let l = 1.4 - r. Is 5 at least l?
True
Suppose 5*y = 5*a - 2215, 2*a + a + 423 = -y. Let k be (9/(-6) - 0)*8/y. Which is bigger: -1 or k?
k
Let j = 2.972 - 3. Let d = j - -27.028. Let z = 25 - d. Which is smaller: -0.2 or z?
z
Let t = -1918617/10 + 191483. Suppose 52 = 2*k - 706. Let f = t + k. Are f and 1 equal?
False
Let d be 27 - (2 + 1 + -5). Let y be d + -29 + (-1 - 26). Are -27 and y equal?
True
Let a be ((-80)/75)/(-8) + (-12)/(-585). Is a equal to 13?
False
Suppose -3*k = -2*g - 19 - 15, 4*k = -5*g + 30. Suppose 2*y = -k - 18. Let q be (-8)/y + 112/147. Which is bigger: q or 2?
2
Suppose 0 = -13*n + 64*n + 1020. Suppose -p - 22 = -5*h, -3*p = h - 3*h + 1. Suppose 2*z + 20 = -3*b + 8*b, 68 = -4*z + p*b. Is z <= n?
True
Let f = 10189/15 + -679. Let z = -49 - -48. Which is greater: z or f?
f
Let g(y) = -49*y - 34. Let n be g(-2). Is 127/2 not equal to n?
True
Suppose -5*k + 13 = 10*n - 13*n, 0 = 2*n + 2*k - 2. Are n and -3/497 equal?
False
Let f be (6/10)/((-2)/(-50)). Suppose -f = -4*q + 1. Suppose g + 0 = 5. Which is smaller: q or g?
q
Let s = 81 - 69.7. Let j = s + -2.3. Let f = -8 + j. Which is smaller: f or -15?
-15
Suppose 4*i = 2*i + 2*n + 12, -2*i - n = 0. Let d(j) = -3*j - 1. Let p(q) = -7*q - 3. Let f(s) = -5*d(s) + 2*p(s). Let r be f(i). Is -0.3 less than r?
True
Let x(q) = q - 3. Let f be x(8). Let r(u) = u - 7. Let c be r(f). Let s be 5/(0 + -1 - c). Are 5 and s unequal?
False
Let p = -3.354 - 0.046. Let y = -5.4 - p. Is 0.1 bigger than y?
True
Suppose -5*o = 5*a - 330, -3*a = -5*a - 4*o + 124. Is 69 at least a?
False
Suppose -2*y + 3*f - 50 = 0, -44 = 2*y - 2*f + 8. Let s be 459/12 - (-7)/y. Which is smaller: 39 or s?
s
Let n = 1.16 + 4.84. Let l = 16 - 15.7. Is 