)/(4/(-3) - -1). Let n be (-38)/(-76)*10/(-1). Let c be 12/90*n + (-1)/(-1). Which is greater: c or y?
y
Let s = 0.651 - -59.349. Which is greater: s or -0.08?
s
Let w = -2/17 + 188/153. Let v = 7122 - 21568/3. Let h = 68 + v. Is w equal to h?
False
Suppose 3*r = -2*o + 4, 2*o - 5*r = 7*o - 10. Suppose -4*m + o*k = 8, 5*m + 2*k - 4 + 5 = 0. Which is smaller: m or -1/6?
m
Let b be (2/(-4))/1*-18. Let t(l) = l**3 + 47. Let z be t(0). Suppose p + 0*r - 25 = -5*r, r + z = 5*p. Which is bigger: b or p?
p
Suppose -6*g = 5*g + 154. Let x be g/(-344)*(-26)/(-91). Which is smaller: 0 or x?
0
Let p(i) = -5*i**2 + 21*i - 6. Let z be p(4). Which is bigger: 148 or z?
148
Let u(c) = c**3 - 16*c**2 - 17*c. Let d be u(17). Which is smaller: d or 8/39?
d
Let l(h) = h - 8. Let w be l(4). Let n = -42 - -33. Let z = -12 - n. Which is smaller: z or w?
w
Let p = 59 - 36. Let f = -23 + p. Is f less than or equal to -13?
False
Let a be ((-3)/(-3)*1)/(-1). Let y be -10 - 26/42*-15. Is a bigger than y?
False
Let h be 3256/31760 + 7/(-70). Which is smaller: h or -1?
-1
Let i be 54*(1 + (-15)/(-6)). Let z = i - 1326/7. Suppose -7*c = -4*c + 3. Which is smaller: c or z?
c
Let k be 7*-1 + (-84 - 31). Do -367/3 and k have different values?
True
Let n = -190.1 - 10.9. Let m = -101 - n. Which is bigger: m or 0?
m
Suppose -4*o = -4*n - 8*o - 324, -5*o = 0. Which is bigger: -1 or n?
-1
Suppose -6*y = -8*y + 4*w + 2522, 0 = 6*w + 12. Is y equal to 1256?
False
Let o be 10/(-30) + (-820)/15. Which is greater: -42 or o?
-42
Let q(z) = -z**2 + 20*z - 76. Let m be q(5). Is m bigger than -17/26?
False
Let r be 3/3*24 + -1. Let k be -5 - -6 - (r + 0). Let z be 370/22 + (-4)/k. Is 18 != z?
True
Let y be (-2)/8 - 2/(-8). Let k = 10/19 - 99/152. Is k bigger than y?
False
Let a be (12736/2124 + -6)*(-1 - -4). Is -1 > a?
False
Suppose 4*v + m + 29 = 6*m, -3*m + 13 = 2*v. Is v equal to 24?
False
Let t(m) = m**3 + 16*m**2 - m - 3. Let q be t(-16). Let z(n) = n**2 - 15*n + 25. Let l be z(q). Let s be l/(-7) + (-948)/168. Is -5 at most as big as s?
False
Let i = -838/91 + 116/13. Is 0 at most i?
False
Suppose -23 = -7*w + 47. Suppose -s = -2*p - w, -3*s + p + 5 = -5*s. Let i be (-1)/(1*4 + 2). Is s != i?
True
Suppose 0 = -2*r + r - 1. Let m(k) = -k**2 - 13*k + 17. Let w be m(-14). Suppose -4*p + w*l = -14, -p - 5*l = -3*p + 14. Is r > p?
False
Let k = -93 - -87. Let a = -7 - k. Which is greater: 2/247 or a?
2/247
Suppose -q - 3*g + 80 = 0, -4*q + 5*g = 117 - 403. Do q and 69 have the same value?
False
Let w be -26 - (16/(7 + -3) - 6). Is -32 equal to w?
False
Let y(d) = 2*d - 79. Let w be y(29). Is -21 bigger than w?
False
Let f = 0.0365 - -251.9635. Let u = 254.74 - f. Let r = u + 0.26. Are r and -1 non-equal?
True
Let v = -0.7 + 1.3. Let j(h) be the first derivative of 3*h**2/2 + 22*h - 2. Let x be j(-7). Which is bigger: v or x?
x
Suppose -4*i = -4*h - 28, -2*i - 4 = -4*h - 28. Suppose -x + 2 = 3*p, x - 2 = -p + i*x. Is p equal to 7/16?
False
Suppose 11*a = 14*a - 39. Let z = 46 - 33. Is z >= a?
True
Suppose -3*r - 11*r = 1610. Which is smaller: -1 or r?
r
Let l(y) be the third derivative of -y**4/24 + 19*y**3/6 + 10*y**2. Let m be l(15). Suppose -7 = -z - 3*x, -4*z - x = 3*x + m. Is -7 less than z?
True
Let j be 3/(-459) + (0 - 0). Which is smaller: j or 0?
j
Let r = -1.75 + -2.25. Is r at most -0.14?
True
Let p be 2/17 - 2884/24803. Let w = p - -64190/4377. Which is smaller: w or 15?
w
Let q = -15392/231 + 466/7. Let p = -8/11 - q. Let r(i) = i - 2. Let v be r(2). Does p = v?
False
Suppose 4*s + s - 20 = 0. Suppose 2*r - s*r = 5*a + 1, 16 = a - 5*r. Let t = -8/13 + 163/286. Which is greater: t or a?
a
Suppose -3*o + 48 = q, 3*o - 147 = -3*q - q. Let u be (-8)/(-44) - (-5)/q. Which is bigger: 1 or u?
1
Let a(d) = 4*d + 1. Let r be a(3). Suppose r = -5*k + i, -2*k - 2*k - 5 = i. Let t(m) = m**3 + 3*m**2 - 3*m + 3. Let n be t(-4). Which is smaller: k or n?
k
Suppose -k - 1 = 4. Let v(z) = -2*z - 10. Let b be v(6). Let l = 18 + b. Is l >= k?
True
Let x = 18 - 9. Suppose -2 = x*v - 7*v. Are v and -1/27 unequal?
True
Let k = -514 + 399. Which is bigger: k or -114?
-114
Let o = -67 + 68. Let w(b) = -b**2 - 2*b + 0*b**2 + 2*b**2. Let r be w(o). Which is greater: 3/22 or r?
3/22
Suppose 4*l = t + 246, 2*t - 4*l + 1044 = -2*t. Is t <= -265?
True
Let k(z) = 2*z**2 + 93*z + 133. Let y be k(-44). Is -1 smaller than y?
False
Let n = -0.9102 - 0.0398. Which is greater: 2/7 or n?
2/7
Let j(g) = g**2 + 6*g. Suppose 3*n + 23 - 5 = 0. Let r be j(n). Suppose i + r - 1 = 0. Which is bigger: 1/2 or i?
i
Let n = -1995 - -1995. Which is greater: 18/13 or n?
18/13
Let i = -7/6 + 2/3. Let z be 2/(-4)*(-3 + 3). Is z bigger than i?
True
Let i = 1000 + -896. Is 104 > i?
False
Let p = -2 - -38. Let d = -39 + p. Is d greater than 7/5?
False
Let c = 335 + -320. Which is greater: c or 13?
c
Let r be (21 + -15)*(-58)/6. Do -55 and r have different values?
True
Suppose 0*m - 4*m = 4*s + 24, 3*s = -m - 6. Let h(r) = r**3 + 11*r**2 + 24*r - 8. Let i be h(-8). Is m at most i?
False
Let w be 1 - (-6 - (-24 + 15)). Let g = -4 - -16. Suppose o - t = 3*o + g, -6 = -3*t. Is w at least o?
True
Let d be (1 + 2 + (-1 - 2))/2. Let z be (6/4 - 2)*(d - -3). Which is bigger: -2 or z?
z
Let d = -18 + -39. Let s be d/(-6) - (1 + 1 + -1). Suppose -6*a + a - t + 50 = 0, -11 = -4*a + 5*t. Is s at least as big as a?
False
Let q = -0.69 + -2.45. Let a = 3.25 + -3.11. Let y = q + a. Which is smaller: y or -1?
y
Let v be 2 + -4 - 8298/39. Let o = v + 215. Which is bigger: o or -1?
o
Let l = 81 + -293. Which is smaller: l or -213?
-213
Let q(n) = -n**3 - 14*n**2 - 14*n. Let d = -19 + 6. Let f be q(d). Is 12 > f?
False
Let m = 86.8 + -83.8. Is m greater than or equal to 0.74?
True
Let m = 2737/1716 + -5/429. Let t = m + -41/60. Is 2 less than or equal to t?
False
Let q = -3.7 - -3.1. Let j = 11.3 + -12. Let w = j - q. Is -2/9 bigger than w?
False
Let g = 0 + 83. Let o be 323/g - (3 - -1). Let x = -783/332 - o. Is -1 at most as big as x?
False
Let m be -2 - 0 - (-16)/8. Let s(r) = r**3 - 5*r**2 - 4*r - 7. Let c be s(6). Suppose 0 = c*y + 3*g + 11, -y - 2*g = 4 + 1. Is y at least m?
False
Let f = -1741 - -1531. Is -204 smaller than f?
False
Let n(z) = z**2 - 31*z + 20. Let d be n(28). Which is bigger: d or -63?
-63
Let c = 27.888 + -28. Let y = 0.012 + c. Let i = -90 - -992/11. Are y and i nonequal?
True
Let a = 10 + -4. Let k = -8.049 - -0.049. Let i = 8.2 + k. Which is bigger: a or i?
a
Let v = -152/21 + 23/3. Which is bigger: v or 0.1?
v
Suppose 21*k = 32*k - 77. Suppose 2*y - 5 - 3 = 0. Which is smaller: k or y?
y
Let u = 56179/61 + -921. Is u not equal to 0?
True
Suppose -6*h - 4 = -10*h. Does h = -2/43?
False
Let f be ((-2)/6)/1*6. Let g be (-7)/14*(f + 1). Let x = 62 - 61. Which is smaller: x or g?
g
Suppose 3*n + 70 = -4*n. Let x be (-26)/(-3) - n/(-5). Let z be 74/10 - (-18)/(-45). Which is smaller: x or z?
x
Let x = -21.7 + 23. Which is smaller: x or 0.15?
0.15
Let b be (-2)/(1 + -3) - -2. Suppose -5*y - 2*r + 0 = -3, 0 = -b*y + 2*r - 11. Which is smaller: y or 4?
y
Let g be 284 + -3*(-8)/(-12). Let u = g + -3105/11. Suppose -3*q = -5 + 2. Is q less than u?
False
Let u be (-2)/10 + 7/(-35). Let s = 8 - 2. Suppose 2*x + 2 = 3*v, -3*x + 7*x - v - s = 0. Which is bigger: u or x?
x
Let v(y) = 46*y - 258. Let k be v(-5). Which is bigger: k or 1?
1
Let u = 30 - 21. Let z(q) = -q**3 - 16*q**2 - 63*q + 20. Let a be z(-8). Is u >= a?
False
Let m = 98.5 - 189.5. Which is greater: -2/3 or m?
-2/3
Let h = -3428 - -3458.18. Let p = -29 + h. Let w = p - 0.18. Which is smaller: w or -1?
-1
Suppose -14*n = -6*n - 3*n. Let x be 2874/(-4)*6/(-9). Let f = x - 3361/7. Is n greater than f?
True
Let y = 14.33 + 1.97. Let w = y - 16. Which is greater: 3 or w?
3
Let m be ((2/(-494))/(-1))/((-4)/8). Let c = 17029/1729 - m. Which is smaller: 9 or c?
9
Let b(t) = t**2 + 9*t + 4. Let p be b(-8). Suppose x - 4 = -0. Let l(v) = v**2 - 5*v. Let w be l(x). Does p = w?
True
Let c = 1053 + -342. Do c and 711 have the same value?
True
Let t be (-19)/((0 - (-16)/4) + -3). Is t > -31?
True
Suppose -23 = -2*h + 5. Suppose -y - 100 = 5*x - 6*y, -h = x - 4*y. Is -21 less than or equal to x?
False
Let d = 0.118 - -0.282. Is 0.9 greater than or equal to d?
True
Suppose 11*s + 1