-8426/14721. Which is greater: j or 150?
150
Let z(r) = 2*r + 3. Let k be z(-2). Let m be (-15)/10*(-20)/3. Let j = m - 9. Which is greater: j or k?
j
Let b be (-3 + 4)*(41 - 3). Suppose -4*c = 8, -5*c - b = x - 4*c. Which is greater: x or -38?
x
Let v be (576/(-120))/(3/(-50)). Suppose v*o - 84*o = 88. Is -22 at most o?
True
Let d = 164 - 163. Let y = -0.5 + 0.28. Is d at least y?
True
Let r(h) = h**3 - 5*h**2 + 1. Let n be r(4). Let o be (-168)/12 + 0/(-1 - 3). Is n smaller than o?
True
Let z = 150503/81 - 1858. Is 1 < z?
False
Let x be 1*(3 + -1 - 2). Let k be x - (-28 + 4 + -2). Suppose -g = -4*z + g, 5*z - k = -4*g. Which is greater: z or 1?
z
Let s = -545 + 3806/7. Let d be 46/(-42) + 21/((-3969)/(-18)). Is d <= s?
False
Let k(s) = s**3 - 5*s**2 + 3*s + 5. Let w be k(4). Let q = 155 + -155. Let i = w - q. Is i at least 2/15?
True
Let f(c) = -c + 3. Let o be f(6). Let p = o - -7. Suppose h + 3*h = u + 12, -p*u = -4*h + 24. Is 1 greater than or equal to h?
False
Let w = 863 + -794. Which is greater: w or 67?
w
Let l = 393.44 - -2.56. Which is smaller: 1 or l?
1
Suppose -24*u + 136 = -4*n - 20*u, 0 = -4*n - 2*u - 142. Which is greater: n or -30?
-30
Let n = -8.9424 + -0.0576. Is n > -0.6?
False
Let c(r) = -r**2 - 10*r - 11. Let s be c(-8). Let i = -4 + s. Let w be (-195)/12 + i/4. Is w at most as big as -15?
True
Suppose -2*o = o - j + 62, -o - 4*j - 25 = 0. Suppose 0*l + 5*g = -l + 5, 5*l + 80 = -4*g. Is l greater than or equal to o?
True
Let f(d) = 8*d + 1. Let p(l) = 7*l + 2. Let k(y) = -2*f(y) + 3*p(y). Let c be k(-3). Suppose -5*m - 52 = -2. Which is bigger: m or c?
m
Suppose 4*j = -5*b - 16, -4*b - 16 = -b + 4*j. Suppose 0 = 2*a - 4*m + 8, -a + b = 5*m - 10. Let d be (-208)/(-102)*1 - 2. Is a at least as big as d?
False
Let b be (-9)/(3 + -6) + 0. Let d be 3 + (4 - (11 - b)). Is 6/13 less than d?
False
Let k = 86.7 - 91. Let a = k - -4.61. Let d = 0.09 + a. Which is smaller: d or -2/3?
-2/3
Suppose -3*w + w - 32 = -5*z, -3*w - 3*z - 6 = 0. Let c be (-285)/(-45) - 4/w. Suppose 2*v - c + 13 = 0. Which is greater: -7 or v?
v
Suppose 33*j + 15 = 28*j. Let u(n) = -n**3 - 3*n**2 + 4*n + 5. Let o be u(j). Which is smaller: o or -11?
-11
Suppose -43*r + 45*r = 2. Is -2.15 != r?
True
Let r = 2/873 + 779/41031. Which is bigger: r or 3/2?
3/2
Let m = 47 + -48. Let w be (-1600)/(-804) + (m + 0 - 1). Is w smaller than 0?
True
Let g = -9 + 13. Suppose -p - g*p - 10 = -2*a, 0 = -p - 5*a + 25. Are p and -1 unequal?
True
Let a = 1 - 3. Let m = -87 + 84. Let w = m - a. Are w and -1 equal?
True
Let z = -23 - -45/2. Let o = 16 + -32. Let y = o - -16.3. Is z greater than y?
False
Let q = -3 - 2. Let s be (5/1)/(q/(-2)). Suppose 0 = -7*l + s*l + n + 6, 0 = n + 1. Which is greater: l or 2/43?
l
Let b = 0.2 + 0.03. Let u = b + 12.77. Is u at most 2/3?
False
Let g = -14 + 14. Is g < 9?
True
Suppose 217 = 5*z - 4*n, 4*z - 231 = 2*n - 55. Suppose 38 + 57 = 2*x + 5*p, -2*x - 3*p = -93. Is z bigger than x?
False
Let h be -2 + 2 + (-2 - -4). Let o be ((-40)/(-5) + h)*-7. Is o equal to -70?
True
Let a be 80/(-84) + (-7)/((-98)/4). Which is greater: -194/9 or a?
a
Let q(m) = -m**2 + 13*m + 17. Let y be q(14). Let b(a) = -y - 7 + 7 - a. Let x be b(-2). Is x greater than or equal to 2/7?
False
Suppose 1686*w = 1690*w + 24. Is -3 > w?
True
Let m(x) = -x**3 + 5*x**2 - 3*x - 3. Suppose 0 = 5*g - g. Let s be 6 + -2 + g/(-8). Let f be m(s). Which is smaller: -1 or f?
-1
Let t(p) = 4*p**2 + 4*p + 2. Let i be t(-2). Suppose 2*g + 144 = 4*c, -4*c - 2*g + 6*g = -136. Let o be c/4 - 5/(-10). Is i > o?
False
Suppose 2887 - 2951 = -4*x. Which is smaller: 22 or x?
x
Suppose 0 = 2*u + b + 1, 5*u - 3*u = 5*b + 29. Suppose -5 - 9 = -u*a. Which is greater: a or 6?
a
Let j = -14 + 12. Let b(n) = -6*n + 1. Let t be b(j). Suppose 1 = -2*g + t. Is 5 >= g?
False
Suppose 2*p - 455*z + 450*z + 616 = 0, 2*p + 616 = -2*z. Which is smaller: -307 or p?
p
Suppose 2*c - 6*c = -48. Suppose 3*t + c = 0, -q + 9 = -t - 4*t. Which is smaller: q or -13?
-13
Suppose -3*a - 3*f + 39 = -0*f, a - 3*f = 9. Suppose -a*t + 13 = t. Is t at most 1/13?
False
Let s(t) = -45*t + 313. Let y be s(7). Which is bigger: y or 9/7?
9/7
Let j = 76 - 72. Let z = 0.6 - 0. Which is bigger: j or z?
j
Let n be (5*(-1)/(-6))/((-35)/(-49)). Does n = 1?
False
Let i = 11053/40 + -41/8. Let o = i - 272. Which is smaller: o or -2?
-2
Suppose 3*z - 5*q - 105 = 0, 5*z + 5*q - 153 = 22. Let p be (-7)/5 + 14/z. Which is smaller: p or 3/32?
p
Let q(v) = 2*v + 29. Let p be q(-11). Let t = 4 - 4. Suppose t = -i + 5 + 3. Do p and i have different values?
True
Let g = 178 + -351. Let c = g + 150.9. Let a = 22 + c. Which is bigger: a or -0.4?
a
Let t = 486 - 411. Which is greater: 76 or t?
76
Let p(z) = z**3 - 17*z**2 + 16*z + 4. Let c be (-72)/(-34) - 14/119. Suppose c*a - a - 16 = 0. Let b be p(a). Do b and -0.1 have the same value?
False
Let w = 1.4638 + -1.4638. Let a(v) = v**3 - 5*v**2 - 5*v + 7. Let b be a(6). Is w greater than or equal to b?
False
Let m = 17 + -14. Suppose 5*f = -s - 33 - 4, -5*s = -m*f + 73. Which is smaller: s or -15?
s
Let n = 106 + -108. Suppose y - 22 = 14. Let q be y/6*(-2)/n. Are q and 6 equal?
True
Let i = 22427/374 - 658/11. Which is bigger: 0 or i?
i
Let n(m) = 41*m - 15. Let r be n(2). Which is smaller: r or 66?
66
Suppose 12 = -0*y - 4*y + 5*p, 2*y = -2*p - 6. Let k be -1 + ((-6)/y - 1). Is 1/7 at least k?
True
Suppose -1857 - 359 = -8*w. Which is greater: w or 278?
278
Let x(h) = 4*h**2 - 4*h - 5. Let o be x(4). Let v = o + -44. Which is smaller: v or -1/12?
v
Let s(i) = -i**2 - 2*i + 23. Let u be s(-13). Which is bigger: u or -1?
-1
Let r be (5 + -7 - 1) + -25. Do -3 and r have the same value?
False
Let y be (2312/24)/(1/(-3)). Which is smaller: 0 or y?
y
Let g = -197871455/318 - -622238. Let x = -2421/22790 + -3/430. Let b = g - x. Which is bigger: 1 or b?
1
Let h(l) = -2*l + 19. Let v be h(10). Let x be v/(-4) - (-488)/(-32). Let b be (-252)/x + (-16)/20. Is b at most as big as 15?
False
Let k be 10 + (-1122)/21 + -5. Is k bigger than -47?
False
Let f = 35887/30 + -1196. Is f at least as big as -1?
True
Let m = -903 - -724. Is m bigger than -176?
False
Let r = 4.17 - -0.43. Let p be (-62)/(-217) - (-3)/(-35). Which is bigger: r or p?
r
Suppose -30 = 11*k + 14. Suppose b - 2*u = -5, -2*b + 2*u - 6*u = -6. Let p = b + -2. Which is greater: p or k?
p
Suppose 16*d + 33 = 15*d + 2*i, 0 = 4*d + i + 141. Is d < -42?
False
Let n = -678 - -687.14. Is -1 <= n?
True
Let y = 4.98 + 0.02. Let d be 1/(-2)*-6*(-4)/6. Are d and y nonequal?
True
Let p be 40/14 - (9 - (6 + -3)). Are -0.1 and p equal?
False
Let m(w) = -3*w + 3. Let p(d) = -d + 1. Let x(h) = -m(h) + 4*p(h). Let b be x(-5). Suppose 4*a - b = -2. Is a bigger than 6/5?
False
Let i be (-510)/(-104) + -3 + 74/26. Which is bigger: 5 or i?
5
Suppose -5*j - 12 = 3. Let v = j - -11. Suppose -2*i - 2 = -v. Which is greater: i or 2?
i
Let y(p) = -p**2 - 4*p - 3. Let d be y(-3). Suppose -4*l - 2*n = -l - 10, d = 4*l + n - 5. Which is smaller: l or 1/57?
l
Suppose 0 = -p - p + 80. Suppose p = 4*k - 0. Let h be 1*(2 + (-55)/k). Which is bigger: h or -5?
h
Let g be (1/3)/(11/66). Suppose -g*h - 2*h = -4*k - 4, 2*k + 14 = 4*h. Suppose 0 = 7*m - 19 - 16. Which is smaller: h or m?
m
Let l = -56 - -66. Suppose 0 = 2*j + 5*y - 27, 0 = -3*j - 3*y + l + 8. Which is bigger: 31 or j?
31
Let a = -187/3395 + -1/485. Let j be -3 + 1 + (-9 - -1). Let y = 10 + j. Which is smaller: y or a?
a
Let o = 663.1 + -663. Which is greater: o or 1.5?
1.5
Let u = -1 + 1.2. Let a = 0.0056 + -0.0356. Is u at most a?
False
Let f(d) = -d**2 + 12*d + 3. Let y be f(12). Suppose -c + 26 = -y*x + 2, 0 = 4*x - c + 33. Which is smaller: -7 or x?
x
Suppose q + q - 6 = 0. Suppose 105 = 13*l - 51. Suppose -4 - 20 = l*n. Is q at most as big as n?
False
Let x be (-1)/(-7)*2*-4. Let q(z) = -2 + 5 + 5*z - 9*z. Let u be q(1). Which is bigger: x or u?
u
Let o = -3.768 - -0.768. Let j = 20.96 + 0.04. Which is greater: o or j?
j
Let o(k) = 2*k**3 - k**2 - 4*k + 2. Let t be o(0). Is 18 equal to t?
False
Let j = -30.76 + 31.96. Is 0.5 < j?
True
Suppose 37*i = 25*i. Is -2/47 bigger than i?
False
Let j = -160 + 1123/7. Which is greater: j or 0.1?
j
Let y = -51178/7 + 7287. Which is bigger: -24 or y?
-24
Let f(b) = -b