w or m?
m
Let r = 188/35 + -39/7. Let c be 3/(-2) - (0 - 1). Is c <= r?
True
Let j = 286 + -284.03. Let q = 0.03 + j. Which is smaller: -0.1 or q?
-0.1
Let p be 2/3 + 1/3. Let d = 340/7081 + -2/97. Which is smaller: p or d?
d
Let t = -6 + 4. Let u be 2*(1/t - -1). Let f = -20549 + 20549. Which is smaller: u or f?
f
Let h(l) = -l**2 - 21*l - 20. Let z(p) = -2*p - 6. Let u be z(7). Let f be h(u). Let w be 9/6 + 6/(-8). Is w greater than or equal to f?
True
Let y = 1024 - 1010. Is y greater than 14?
False
Let q(b) = b**3 - 7*b**2 + b - 4. Let i be q(7). Let z = -15 + i. Let x = 12 + z. Which is smaller: 5 or x?
x
Let x = 488 - 722. Let a = 1622/7 + x. Suppose -29*o - 44 = 43. Which is greater: o or a?
a
Let c be 1/2 + 6/(-12). Let s(x) = -x**2 - 7*x - 6. Let i be s(-5). Suppose 4*h - 2*q = i - c, h = -4*q + 10. Is 4 not equal to h?
True
Let k be 1 + -13 + 1 + -1. Let d be (2/(-21))/((6/2)/9). Is d bigger than k?
True
Let v(r) = -20*r - 89. Let p be v(-8). Is 74 less than or equal to p?
False
Let v(j) = 126*j**3 + 4*j**2 + 25*j + 22. Let s be v(-1). Do -127 and s have the same value?
False
Let c be (-32)/(-12)*(-27)/3. Let l = -27 - c. Is l greater than -2?
False
Let d be (-3)/(9/2)*3. Let l be 1/d*(21 + -13) - -10. Are 9 and l non-equal?
True
Suppose -3*v - 5*c = 5, -38*v + 4 = -40*v - 3*c. Which is smaller: v or -134/27?
v
Let o = 12 + -15. Let l = -225/2 - -110. Is l not equal to o?
True
Let o be -4 + (-10 - -2645)/5. Do o and 524 have different values?
True
Let s be 1434/180 + -9 + 5/6. Which is smaller: 60 or s?
s
Let l(d) = -d + 7. Let m be l(3). Suppose 7*u - 3*u = 0, m*u - 1 = a. Which is smaller: a or -9/13?
a
Let z = 0.196 + 3.904. Are 0.1 and z nonequal?
True
Let a be -1 - 12/(-4) - 1. Let y be 294/14 + 0/a. Let h be (0 - 0) + (-56)/y. Do h and -3 have the same value?
False
Let r be (-1481)/10 + (-7)/(-70). Is -149 at most r?
True
Let a = -33.82 + 34. Let k = a - 1.28. Let y = -0.1 + 1.1. Which is smaller: k or y?
k
Suppose -117 = -2*o + 3*d, 2*o - 4*d - 117 = -1. Let f = o - 1. Is 58 at least as big as f?
False
Let k = 1.797 - -0.003. Is k smaller than -13?
False
Let d = -8.53 - -10.75. Which is greater: -2 or d?
d
Let h = -27 - -21. Let v be h + 4*(-15)/(-12). Are v and 3/37 equal?
False
Let o = 63.1 - 67. Let j = o - -4.8. Which is smaller: 0.2 or j?
0.2
Let c = 3.08 + -2.88. Let k = 0.92 - -1.03. Let i = k + 0.05. Which is greater: i or c?
i
Suppose -5*y = -15*k + 18*k - 65, k - y = 27. Which is smaller: k or -5?
-5
Let d = -494 + 463. Which is bigger: d or -21?
-21
Let b be 621/72 - 2/8. Let h = b + -17/2. Which is bigger: -1/2 or h?
h
Suppose -5*w + 4*a + 84 = 0, -2*w - 2*w = 5*a - 100. Suppose 110*z + 1070 - 2940 = 0. Which is smaller: z or w?
z
Suppose 0 = a - 2*i + 6, -5*a + 2*i + 3*i - 10 = 0. Let b be 3/a*(-64)/(-78). Is 1 != b?
True
Let s be 1 + (-16)/15*-2 + 882/(-294). Let w = 4 - 6. Let x = w - -3. Are x and s equal?
False
Let z(k) = -196*k**3 + 3*k**2 + 8*k + 5. Let t be z(-1). Is 196 smaller than t?
False
Let c = 105 + -99. Let q(p) = 2*p - 15. Let d be q(c). Is -3 greater than d?
False
Let z = -2.77 + 3.2. Let h = -2.53 + z. Let p = -1.9 - h. Which is greater: p or 1/7?
p
Let d(a) = 4*a**2 - 2*a + 2. Let x be d(1). Suppose -3*k - k - 4 = -x*i, 4*k - i = -1. Which is greater: k or 1/2?
1/2
Let m = -8470/9 + 940. Let d(v) = v**3 - 2*v**2 + v. Let f be d(1). Let i be (1 + f)*0/(-3). Is m less than or equal to i?
True
Let o be 2 + (0 - (-84)/(-32)). Suppose 0 = 5*d - 5*w - 30, -3*d = -d - w - 8. Suppose 0*c = -2*c - d. Which is greater: c or o?
o
Let o = 7 - 8. Let r = 0.14 + -17.14. Let i = 24 + r. Is i <= o?
False
Suppose -14*s + 9*s - 2*y = -265, -4*s + 245 = -5*y. Is s less than or equal to 55?
True
Let f = -277/5 + 266/5. Let b = 7 - -9. Let h = b + -19. Which is smaller: f or h?
h
Suppose -5*k + r = -106, -k - 3*r = k - 56. Are k and 19 unequal?
True
Suppose 5*w = 9*w + 2*l + 136, 5*l = -4*w - 124. Does -59 = w?
False
Suppose 5*k + 2*b = -9, 3*k = 4*b + 4 - 25. Let t be (-672)/72 - (-2)/k. Which is bigger: -6 or t?
-6
Let i = -4586 - -4647.26. Let j = 1.26 - i. Which is smaller: 1 or j?
j
Let s(v) = v**2 + v + 7. Let q(m) = -m**2. Let r(c) = 3*q(c) + s(c). Let k be r(-2). Is k greater than or equal to -8?
True
Suppose 3 = 4*k - 3*f, k + 3*f = -0*k - 3. Suppose 27*u = 71 + 64. Is k at most as big as u?
True
Let k = -2495 - -2496. Which is smaller: -13/118 or k?
-13/118
Suppose 5*m + 0*m - 10 = 2*v, 5*m + 2*v = -10. Let f be (3/6 - m/2) + -3. Let s be 1*(-1 + (-3)/3). Is s greater than f?
True
Let n(k) = -78*k - 1286. Let q be n(-13). Which is bigger: q or 2?
2
Let s(u) = 2*u + 1. Let l be s(1). Suppose -2*d - 15 = d + l*t, -2*d - 4*t = 18. Is d at least as big as 1/29?
False
Suppose 3*x - x + 8 = 0. Let d(h) = h**2 - 10*h - 27. Let c be d(12). Do c and x have the same value?
False
Let w = 587 - 433. Which is greater: w or 153?
w
Let s be (-1)/((-21)/(-4) + -5) - -6. Let l = 56 + -109/2. Is s smaller than l?
False
Suppose 2*n - 15 = 11. Let y = 16 - n. Let j be -2*y/(-3) - 1. Which is smaller: j or 1/17?
1/17
Let n = 68/3 + -23. Suppose -3*u - 2 - 3 = 5*o, -u = 4*o + 4. Suppose -2*a + 2 = -4*f, 2*f = 2*a - u*a. Is n >= a?
True
Let z be 152/(-57) - (-25420)/(-12). Does -2120 = z?
False
Let v = 1830 - 1700. Is v > 133?
False
Suppose -3*i - 4 - 8 = 0, 0 = -4*h - 5*i - 12. Let j be -10 + 4 + 0/h. Is -4 greater than j?
True
Let l be (-12)/(-8)*(-16)/2. Let j be (-4)/6 + 14/3. Suppose -5*f + 58 = -3*o + 17, 0 = -j*o + 4*f - 52. Is l not equal to o?
False
Let p(g) = -g - 2. Let r be p(9). Let b be 27/4 - r/44. Let c = 9 - b. Is 2 bigger than c?
False
Let z = -36/7 - -603/56. Let k = 479/88 - z. Which is greater: k or 17?
17
Let k(l) = -13*l**3 + 5*l**2 + 3*l - 2. Let i be k(3). Which is bigger: i or -297?
-297
Let h(d) = 2*d**2 + 5*d - 111. Let u be h(-12). Which is smaller: u or 119?
u
Let p be (-2)/(-5)*(-5)/(-4). Let m = -98 - -104. Let z = -5 + m. Is z bigger than p?
True
Suppose 3482 = -21*y + 14822. Is 540 != y?
False
Let h = 5/31 - -37/155. Which is smaller: -106 or h?
-106
Let a be 3/(-12)*-18 - (-7 + 11). Let b = 0 + 0. Suppose b*x = -3*x + 3. Which is smaller: a or x?
a
Suppose -5*x + 330 = -11*x. Is -55 >= x?
True
Let i be 57 + (-1 - 1) + 2. Let l be i/2 - (-21)/14. Which is greater: 31 or l?
31
Let y = -322 + -154. Are -478 and y equal?
False
Let p = 38019/3395 - -1/679. Let n = p + -127/10. Which is smaller: n or -2?
-2
Let n = 0 + 0. Suppose n = -3*j + 4 - 1. Let t be 12/40*(2 - 16/(-6)). Which is smaller: j or t?
j
Let y = -3328/169495 - -2/1555. Is 0 bigger than y?
True
Suppose d = -2*d - 15. Let a(o) = -o**3 - 6*o**2 - 4*o. Let y be a(d). Let f = -6 - y. Which is bigger: f or -3?
f
Let m(w) = -w**2 - 5*w - 4. Suppose 37 = 5*r + 2*l, r - 2 = 7*l - 2*l. Suppose -r = -3*h - 19. Let s be m(h). Is s equal to -1/20?
False
Let q be (-2)/(432/6378)*22. Let c = 649 + q. Is c bigger than -1?
True
Let v = 0.032 - -42.968. Let y = v + -39. Is y > 5?
False
Let f be (1 - (-2)/2) + 5. Suppose -f*w = -2*w. Let i = w - 27. Do -28 and i have the same value?
False
Let t = -91.6 - -76.6. Are -3/20 and t equal?
False
Let r(i) be the second derivative of i**5/120 - 5*i**4/24 - i**3/6 - 6*i. Let v(x) be the second derivative of r(x). Let o be v(7). Which is bigger: o or 3?
3
Let w(x) = 2*x - 49. Let y be (-278)/(-12) - ((-119)/42 + 3). Let r be w(y). Suppose -3*n = -0 + 6. Which is greater: r or n?
n
Let h(l) = l + 17. Let b be h(-12). Suppose -b*p = -2*p - 6. Suppose 3*q - 50 = -p*q. Is 10 <= q?
True
Suppose 40 = -2*k + 3*h + 121, -76 = -2*k + 4*h. Let n = -50 + k. Let j be 2*1 + -1 + 2. Is n bigger than j?
False
Let r = 82 - 77. Suppose -4*q = 2*h - 526, -r*q - 3*h - 2*h = -660. Is q equal to 131?
True
Suppose 0 = 9*r + 86 - 77. Is -1/395 equal to r?
False
Let y(x) = -x**3 + 8*x**2 - 5*x - 6. Let h be y(7). Let o be 3/6*42/3. Is o > h?
False
Let d = -114 - -114. Do -18 and d have the same value?
False
Let h be (-522)/(-12)*2/1. Let z = h - 87. Is z < -5?
False
Let g = 60 - 60. Is 2.14 at most g?
False
Let q = 68 - 152. Let d = 83 + q. Which is smaller: d or -1/4?
d
Let p = -33 + 36. Suppose 5*u = -5*r, -2*r = -16*u + 15*u - p. Does 1/50 = u?
False
Let y = 106.56 + 8.44. Which is bigger: 1 or y?
y
Let i = -0.3 + -0.1. Let z =