. Suppose -281 = p + 4*p - 286. Which is smaller: z or p?
p
Suppose -2*d - 2*w - 1345 = -3*d, 0 = -2*w - 8. Which is greater: 1335 or d?
d
Let l be (-21)/((-723681)/7910) + 6/(-27). Is l bigger than 0?
True
Let o = -325 - -340. Which is smaller: -4 or o?
-4
Suppose -3*o - 18 = 3*o. Let r = 11 + o. Is r not equal to 7?
True
Let k = 30 - 26. Let v be 3774/(-85) + k/10. Let w be 14/v + (-10)/(-20). Is -1 smaller than w?
True
Let k = 1963 - 1962. Which is smaller: 5/277 or k?
5/277
Let b be -1*(-1 + 6 - 68/17). Is b bigger than -3/1064?
False
Suppose 84 = 4*k + r, 0 = 2*k - 5*k + r + 56. Suppose -16*f = -k*f + 4. Is -13 less than or equal to f?
True
Let x = -202/25 - -174/25. Is x >= -2?
True
Let n = -477 + 439. Which is smaller: n or -37?
n
Let l = 0 + 3. Suppose 3*m = -2*g - 37, 4*g + 43 + 22 = 3*m. Let s = g + 21. Which is bigger: s or l?
s
Let d = -10 - -6. Let p be ((-49)/182*-13)/((-1)/2). Is d smaller than p?
False
Let w be 12/7 + (-1)/(-14)*4. Suppose -5*r + 4*r = w. Which is smaller: r or -6/7?
r
Let t = 0.83 + -0.63. Is -199 less than t?
True
Let i be -3 + (2 - 4) + 11. Suppose l - i = -0. Let s(x) = x - 1. Let c be s(0). Are c and l nonequal?
True
Suppose 0 = q + 64 - 70. Which is greater: 44/7 or q?
44/7
Suppose 0 = 20*s + 50*s + 350. Which is bigger: s or 145?
145
Suppose -4*x + 1701 = -5*l + 56, -2*l - 645 = x. Is -326 > l?
False
Let x = -994 - -987. Which is bigger: -5 or x?
-5
Let t = 46058 + -219742716/4771. Is t less than -1?
False
Suppose 1597 = 5*z + 12. Which is bigger: z or 318?
318
Let s = 11 - 26. Let x = 19 + s. Suppose 0 = -2*r - 1 + 5. Which is smaller: r or x?
r
Let j be 37/22 + (-9)/6. Which is smaller: j or 20?
j
Let i be 12/28*(-24)/(-102). Is i at most -1?
False
Let o be (1326/(-4))/(-13)*2/11. Is 4 <= o?
True
Let p = -18 + 29. Let h = p - 19. Let x be (-6)/(-4)*h/6. Is 1 < x?
False
Suppose t - 8 = -3. Suppose -k = -5*c + 3, 5 = 3*c + t*k - 8. Is c at least as big as -1/5?
True
Suppose -2*y - 24 = -96. Suppose y = 5*q - 3*q. Suppose 4*o + q = o. Is -2 bigger than o?
True
Let q be ((-99)/(-108))/(3/18). Which is smaller: -3 or q?
-3
Let g = -23/182189 - 3041462407/6012237. Let n = -506 - g. Is n greater than or equal to -1?
True
Let v be (5/((-10)/(-8)))/1. Suppose -5*r = 3*x + 45, 0*r = r + v*x - 8. Is -11 greater than r?
True
Let i = 18.7 + -17. Let c = 1.3 - i. Let b = -1 - -1.1. Which is smaller: c or b?
c
Let q be (256/6 - 0)*(-453)/302. Is q > -62?
False
Let o = 780 + -752. Suppose -112 = -4*d - 3*x, 2*x - x = 3*d - 84. Are o and d equal?
True
Suppose -8 = 7*h - 11*h. Suppose 0 = -5*x - 2*b - 62, -4*x - 5*b = -h*b + 51. Let p(c) = c**2 + 12*c - 1. Let v be p(x). Which is smaller: v or 11?
v
Let p be 5 + 9 + 189/(-14). Which is greater: -4 or p?
p
Let c be 142/4*2 - 1. Let i be (-1)/(-3) - 24714/351. Let a = c + i. Is -1 at most a?
True
Let b be 20030/176 - 12/66. Let w = -114 + b. Suppose 4*t = q + 2*q + 15, -5*t = -q - 5. Which is bigger: w or t?
t
Suppose -3*v + 15 = 0, -4*z + 0*v + 465 = v. Suppose z - 111 = 4*g. Which is smaller: 3/46 or g?
3/46
Let d = -241 - -201. Which is greater: 7 or d?
7
Let h = -2873/64202 + 3/1366. Which is greater: h or 0?
0
Let q = -3 + 7. Let h be (2/(-5))/(q/60). Suppose -2*k = -3*b - 18, -3*k + 6*k = 3*b + 18. Is h at least b?
True
Let t = -3 + -1. Let f be t/6 - 51/(-9). Suppose -4*o = -5*u + 30, -f = -u + o + 2. Do u and 15/8 have the same value?
False
Let y(m) = -m**3 + 2*m**2 + 26*m - 8. Let s be y(6). Is s > -2/7?
True
Suppose -2*o = -5*i - 14, 2*o - o + i + 7 = 0. Let s(k) = -k**3 - 3*k**2 - k - 4. Let f be s(o). Let j be (-3 - 2/(-1)) + f. Which is bigger: -10/3 or j?
j
Let f(w) = -w**3 - 9*w**2 - 3*w - 29. Let l = -45 + 36. Let z be f(l). Is z < 5?
True
Let n = 4/5051 + 7314/3520547. Which is greater: n or 1?
1
Let c = 566/7 - 1705/21. Which is greater: 1926 or c?
1926
Let n = 0.393 - 0.193. Does n = -0.42?
False
Let p = 1.2 + -0.7. Let m = 2.5 - p. Is m <= -3?
False
Let a = 10 + -10. Let k be 4/(-4 + 35/20) - -2. Do k and a have the same value?
False
Let h = 35 + -39.9. Let y = 5.06 + h. Is y less than or equal to 1?
True
Suppose 13*h - 12*h - 116 = f, 5*f + 562 = -h. Is f at most -113?
True
Let q = -76.8033 + -0.1567. Let m = q + 77. Which is greater: m or 3?
3
Let a be (3 + 91/(-42))*(-267)/(-20). Which is greater: a or 10?
a
Let r = 113 + -114. Which is greater: r or -3/10?
-3/10
Let k be 15/759*(-37 - -38). Which is smaller: -1 or k?
-1
Let s be (0*(-2)/(-6))/(-2). Let a(p) = 2*p - 2. Let q(j) = -5*j + 5. Let g(w) = 8*a(w) + 3*q(w). Let y be g(s). Which is bigger: 6 or y?
6
Let q(h) = 2*h**2 + 23*h + 4. Let c be q(-10). Is c <= -24?
True
Let p = 2 + 1. Suppose -2*a + 14 = 3*y, -p*y - 2 = -0*y - 2*a. Suppose -3*f + y*f = -17. Are 18 and f equal?
False
Let n be (((-390)/4)/5)/((-69015)/428). Is n less than or equal to 1?
True
Let m(c) = -c**2 - 8*c - 8. Let o be m(-7). Let f = -8/243 - 46/243. Which is bigger: f or o?
f
Let b(p) = -p**3 - 8*p**2 - 7*p + 1. Let t be b(-7). Is 16/39 < t?
True
Suppose 25*t = -4553 - 1122. Is t < -680/3?
True
Suppose -9*a = -223 - 290. Which is smaller: 408/7 or a?
a
Let z = -8.79 + -0.21. Let y be 16/(-24) + 20/(-24) + 1. Is z less than y?
True
Let i = 246 + -247. Let g = -1/118 - 467/590. Which is bigger: g or i?
g
Let w(c) be the third derivative of c**5/60 + c**4/4 + 5*c**3/6 - 6*c**2. Let p be w(-3). Let z be 2/(-25)*(-15)/p. Which is smaller: z or 1?
z
Suppose l - 33 = 3*z - 8, -3*z - 37 = 5*l. Is -17 at most as big as z?
True
Let g = 1502/3 - 10505/21. Let t = -1 - -1. Suppose t = -3*i + 6*i + 3. Which is smaller: g or i?
i
Let y = 1.1 + -1.005. Let n = 0.005 + y. Is 1/5 less than n?
False
Let u(y) = -3*y**2 - 101*y - 70. Let p be u(-32). Is 91 greater than p?
True
Let v = -12.83 + -1.17. Is v greater than 0.3?
False
Let y = 464 - 328. Is 681/5 > y?
True
Let f(v) = -4*v - 43. Let x be f(-18). Let c = -31 + x. Is -2 not equal to c?
False
Suppose -5*r + 3 = -3*w + 5*w, -w + 9 = -5*r. Is r < 19?
True
Let p = -195 - -222. Which is greater: p or 142/5?
142/5
Let u = -9.9989 - 0.0011. Let c = 32 - 47. Let o = u - c. Which is smaller: 0.3 or o?
0.3
Let c be (-4)/3*3/(-2). Let s = -74 + 74. Suppose -h + s + 4 = 0. Is c smaller than h?
True
Let w(f) = f**2 + 63*f + 62. Let x be w(-62). Which is bigger: x or -4/151?
x
Let f be 1 - ((-135)/(-43) + -2). Let s be (-15292)/4816 + 2 - (-8)/28. Let n = f - s. Which is bigger: 0.1 or n?
n
Let v be (-13 - -12)*2*(-1)/(-2). Is 4/763 smaller than v?
False
Let a = 230894/197 - 1172. Which is smaller: a or 0?
0
Let d be ((-4)/(-7))/(26/91). Let t be d + -4 - 9/(-6). Is t less than -1?
False
Let q be (-9)/3 + 1 + 10. Suppose -z + q + 0 = 0. Let r = -11 + z. Which is smaller: -1/3 or r?
r
Suppose 0 = -4*y - 11 - 29. Let q be (-12)/(-20) + (-4)/y. Let f = 4/3 - 19/21. Which is smaller: q or f?
f
Suppose -3*i - c = -1, -2*c + 0*c - 6 = -2*i. Let n = -254 + -303. Let z = n + 6679/12. Are z and i equal?
False
Suppose 4*i = 3*u - 133 + 68, -3*i = 4*u + 30. Which is smaller: i or -7?
i
Suppose 20*p = p - 247. Let k(c) = -1 + c**2 + 15*c + 7 + 11. Let r be k(p). Is r less than -9?
False
Let d = -1442 - -2378. Suppose 0 = 14*v - v + d. Is v at most -72?
True
Suppose 4*s = 11*s. Suppose 4*x - 6*x - 24 = s. Is -12 at least as big as x?
True
Let v(b) = b**3 - 15*b**2 + 14*b - 3. Let t be v(14). Let p(x) = -4*x - 13. Let s be p(t). Is 2/45 >= s?
True
Let d be 21/4*24/18. Suppose -3*n = -d*n. Is n equal to 2/3?
False
Let q = 11 - 7. Suppose -4*j - 23 = -4*g - 83, 0 = -j. Let t be 4/g*(-2)/q. Which is bigger: -1 or t?
t
Let d = 52/3 + -18. Suppose 0 = -2*u - 2*u. Which is bigger: d or u?
u
Suppose -1 = -3*d - 31. Let s = d + 219/22. Which is smaller: s or 1?
s
Let q = 37 + -35. Suppose 3*a + q*a = 0. Are a and 2 non-equal?
True
Let x be ((-1)/(-3)*1)/((-68)/135658). Let p = 665 + x. Is -1 equal to p?
False
Let b be (-1)/4 + (-10)/(-8). Suppose -20 = 2*v + 4*h, 15 = -3*v - 3*h - 15. Let j be -1 + ((-16)/26)/(5/v). Which is bigger: b or j?
b
Let i(l) = 3*l - 2 + 3 - 4*l. Let m be i(-1). Suppose 7*y - 10*y = -3*j - 21, -4*y = 2*j - 10. Is y greater than m?
True
Suppose -4*r - 5*u + 115 + 124 = 0, -2*u = 2*r - 122. Let q = r + -65. Is -1/41 smaller than q?
True
Let h(y) = 41*y + 30. Let z be h(-6). Which is bigger: z