 is smaller: f or q?
f
Let k = -84 + 105. Suppose k*m = 34*m + 156. Which is smaller: m or -11?
m
Let r = 8236 - 8230.8. Which is smaller: 0.16 or r?
0.16
Suppose 2*q + 4*v = q + 483, 0 = -2*q - 2*v + 966. Suppose -38*k + 34*k = -y + 487, 5*y + k = 2414. Do y and q have different values?
False
Suppose -3*d + 28 = d - 4*w, -32 = -5*d + 4*w. Let r = -3 + d. Let y = -2323 - -137058/59. Which is greater: y or r?
r
Let p = 951.03792 - 0.03792. Which is greater: 11 or p?
p
Let k = 26 - 25. Is -28/303 not equal to k?
True
Let t(y) = y**3 - 29*y**2 + 13*y - 67. Let n be t(26). Which is smaller: -8787/5 or n?
-8787/5
Let g(c) = c - 5. Let j be g(6). Let n be ((-25)/(-4))/((341/20064)/31). Let l be (-6)/1 + 68476/n. Is l at least as big as j?
False
Let k = -174.3 - -204. Let q = 28.1 - k. Which is smaller: q or 0?
q
Let m = -7951 + 8031. Which is bigger: m or 4?
m
Let z = 5/4 - 57/52. Suppose -9*f = -5*f - 16. Let o(n) = -2*n + 7. Let a be o(f). Which is bigger: z or a?
z
Let a be 33/77*95*(-2)/6. Let s(h) = h**3 + h**2 - 18*h - 5. Let m be s(-5). Is m <= a?
True
Let p be (3405/350)/((-3)/36 + 23/69). Is p not equal to 40?
True
Let q = -24552 - -24520. Are -236 and q equal?
False
Let b(q) = q**2 - 2*q + 88. Let w be b(0). Suppose 4*d = 10 + 6. Let t be (364/d - 1) + -1. Is w at most t?
True
Suppose 3*c = -2*p + 6*c - 148, -312 = 4*p + 2*c. Let j = p - -77. Suppose j = s - 2*s - a - 4, 0 = 5*a + 20. Is -8/11 > s?
False
Let r = 3.96 + 0.04. Let p = 518 + -532.7. Let q = -17.7 - p. Is r >= q?
True
Let n be ((5 + -1)/8)/((-10)/840). Let i(f) = -f**3 - 13*f**2 + 15*f - 30. Let z be i(-14). Is z less than or equal to n?
True
Suppose 4*l - 30 = -j, l + 14 = j - 1. Suppose 0*p - 126 = -21*p. Suppose p*a = j*a - 480. Which is bigger: 39 or a?
a
Let h = 349 + -70. Let g be h/(-4) - 11/44. Is -73 greater than or equal to g?
False
Let g(t) = -210*t**3 + 5*t**2 + 7*t + 12. Let n be g(-3). Which is bigger: n or 5704?
n
Let o be (-1*1)/(-1 + 24/16 + -1). Is -399 bigger than o?
False
Let o be ((-23)/(-345))/(1/15). Which is smaller: 90/443 or o?
90/443
Suppose -4673 - 44377 = -350*g + 380*g. Is g bigger than -1635?
False
Let i = 1257 - 1256. Suppose 5*w = -4*n + 9, -10*w - i = -8*w - 3*n. Let c be (-2)/3*6/(-13). Is c < w?
True
Suppose -157 = -r - a, -r + 8*a - 4*a = -157. Suppose -r + 127 = -k. Is k at least 3?
True
Suppose 5*k + f = -6, k + 5*f + 4 + 2 = 0. Which is greater: 4/117 or k?
4/117
Let m(u) = -3*u**3 - u**2 - u + 3. Let z be m(1). Let o be (8/((-176)/33))/(z/(-164)). Is o greater than -123?
False
Let k = -830 + 29052/35. Let z be 2503 + -2508 - (-4 - 2/1). Is z less than k?
False
Let j = -11255 + 11255. Which is smaller: j or 1385?
j
Suppose 4*a = -3*b - 151, 4*a - 49 = 3*b - 194. Which is greater: -22 or a?
-22
Suppose -4*h = -h. Let s(z) = 15*z**2 - 119*z + 6. Let g be s(8). Suppose -d = -3*t - g, h*d - 4*t - 22 = 2*d. Is d <= -12/11?
False
Suppose -1614 = 2*m - 5*m. Suppose 0 = 5*w - c - 100 - 2597, -3*c + 1575 = 3*w. Is m < w?
False
Let c(j) = -43*j - 13. Let k be c(17). Let a = k - -14883/20. Let b(t) = -t**2 + 14*t - 13. Let z be b(13). Are a and z unequal?
True
Suppose 5*q + 5*i - 52 = -32, 3*q - 4*i = -9. Is q < -24/385?
False
Let u be 130/(-15)*((-2772)/(-453) + -6). Which is greater: u or -1?
-1
Suppose 22*k - 554 = -576. Which is smaller: k or -15/206?
k
Let y be 18/588*210/20. Let m = -417/1820 + y. Which is greater: m or -1?
m
Let u = 330.05 + -330. Suppose 5*a - 3*s + 33 = 0, -5*a - s - 32 = -3*s. Let z be a*1*(-1)/21. Which is smaller: z or u?
u
Let n(p) = p**3 - 5*p**2 - 2*p + 8. Let l be n(6). Let j = 3291/2 - 4843/3. Which is smaller: j or l?
j
Let d be -2 - (-2)/((-32)/(-24))*(-8)/12. Let x = 2 - 2.09. Which is smaller: x or d?
d
Suppose -17*r + 13*r = -608. Let i = r - 152. Let t be 2/52*2/(-5). Is t less than or equal to i?
True
Let q be (-1)/(-3)*((-8 - -8) + 0). Suppose q = s - 8 + 6. Which is bigger: 6/7 or s?
s
Let u(w) = -101*w + 200. Let z be u(7). Let k = 507 + z. Is 2/9 greater than or equal to k?
True
Suppose -183 = -q - u, 4*q + 0*u - 757 = u. Suppose -2*i + q = y + 2*y, -3*y = -i - 203. Let r = 126 - y. Which is greater: r or 59?
r
Suppose -c = 0, 3*s - 5*s = -5*c + 30. Let x be 845/117 - (3 - -4). Is x greater than or equal to s?
True
Let w(k) = -k**3 - 11*k**2 - 11*k - 14. Let p be w(-10). Let v(q) = -2*q**2 - 9*q - 3. Let x be v(p). Is 6 > x?
True
Let p be (-12)/(-42) - 118/21. Let j = -167 - -158. Let s be j/(1/2 + 1). Is p > s?
True
Let q = -173144/9 + 19238. Let l be (1 - 135)*(-1)/(-2). Let f = 271/4 + l. Is f < q?
False
Let v = 61 - 166. Let s = -101 - v. Let i be (2240/21 - -1) + s/(-6). Which is bigger: i or 108?
108
Let a be -3*50*6/9. Let n be ((-4)/a)/(0 - -1). Suppose 0 = -2*c - 5*q - 13 - 0, 4*c - 19 = 5*q. Which is greater: n or c?
c
Let m = 2.553 + 114.447. Let w = 9 + -10.2. Let o = w - -1.2. Is o < m?
True
Let u = -1327 + 1326.9363. Is u less than or equal to 0?
True
Let q(h) = 11*h**3 - 3*h**2 + 12*h + 23. Let d be q(-2). Is d bigger than -114?
True
Let x(y) = y**3 + y**2 - 2*y - 5. Let r be x(-2). Let w be 2/r - 72/(-330). Let s(p) = p**3 - 2*p**2 + 3*p - 2. Let a be s(1). Is a >= w?
True
Suppose 63445 - 63402 = -43*k. Let h = -47239/836 + 622/11. Which is bigger: k or h?
h
Suppose 15 = -5*a + 5*y, 51*a - 3 = 55*a - y. Which is bigger: a or 203.1?
203.1
Let v be (2279/43)/(1 - 4). Is v greater than or equal to -4?
False
Let h(a) = 57*a**2 + 2*a + 1. Let f be h(-1). Let z be (768/f)/((-5)/(-7)). Let w be (-4194)/(-234) - 3/(-39). Which is greater: z or w?
z
Let y = -140 + 134. Let j = -6 - y. Is j smaller than 2/71?
True
Let k(y) = -2*y + 4*y**3 + 3*y**3 - y**2 + 0*y - 5*y**3. Let i be k(-1). Let n be (-1)/(-5) - (-110)/(-50). Which is smaller: n or i?
n
Let v(m) = -m**3 + 3*m**2 + 5*m - 24. Let h be v(7). Let n = h + 166. Is n > -19?
False
Let x(z) = 5*z - 141. Let w be x(30). Suppose -3*u = -4*p - 468, -w*p + 748 = 5*u - 5*p. Is u greater than 151?
True
Let q = 1.5 + -1.41. Let s = -0.061 + -0.049. Let a = q - s. Is a not equal to 1?
True
Let y(o) = -126*o**3 - 2*o**2 + 2*o - 1. Let n be y(1). Suppose 0 = -23*m + 20*m + 384. Let u = m + n. Which is greater: u or -2/51?
u
Let q = 30 - 21. Let f = 40 + -41. Let k be (((-12)/10)/f)/((-21)/(-70)). Which is smaller: q or k?
k
Suppose 22 = -p - 144. Let a = -21122 - -20956. Is p not equal to a?
False
Let a be (-65)/3*(21 - 8). Let d = -284 - a. Let y be 1*2/(2 - 4). Is y bigger than d?
True
Suppose 0 = 59*m + 1467 + 2250. Which is bigger: m or -683/11?
-683/11
Let l be (-89)/1424 - 47/16. Is l not equal to -111/29?
True
Suppose 3*y - 40 + 11 = 4*w, 3*w - 4*y = -27. Let m(k) = 4*k - 12. Let x(i) = -i. Let q(c) = w*x(c) - m(c). Let f be q(-13). Which is greater: f or 2/121?
2/121
Let k = 28698 - 29533. Which is greater: k or -9?
-9
Suppose -188 = -5*y + 7. Let u = -34 + y. Suppose 0 = -b + u*b. Which is smaller: b or -25?
-25
Let q = -5 + 5.03. Let r = -0.07 - q. Let j = 0 + r. Do j and 23 have different values?
True
Suppose -164*z + 45*z = 14554 + 4605. Are -152 and z unequal?
True
Let v = 188 - 202.65. Let b = -0.35 + v. Is b > -9?
False
Let n = -21 + 23. Let m be -146 + 2 + -2 + n. Let x = 1298/9 + m. Which is smaller: x or 1?
x
Let y = -301 + 85. Let d = 132 + y. Let q = d - -82. Is 0.2 at least as big as q?
True
Suppose 15*q - 25*q = 0. Is -25/58 smaller than q?
True
Suppose 5*g - 98 - 37 = 5*w, 2*g - 3*w = 51. Suppose 26*d = g*d + 548. Are -138 and d unequal?
True
Let z = -39 + 29. Let w = z - -19. Suppose -w*b = -2*b + 7. Which is smaller: b or 1/14?
b
Let w be -7 + -3 + -19 + (-4000)/(-136). Is w equal to 0.4?
False
Suppose 36*k - 476 - 2764 = 96*k. Is -164/3 at most as big as k?
True
Let h(o) = 375*o + 3716. Let y be h(-10). Is y greater than or equal to -174/5?
True
Suppose -3*z + 9 = 4*b, -3*b - 158*z = -163*z + 15. Which is greater: b or -2/12821?
b
Let s(p) = -p**2 + 15*p + 5. Suppose -21*q = -19*q - 22. Let f be s(q). Suppose -3*u = 4*z - f, 5*u - 39 = -4*z - 0*u. Which is greater: z or 13?
z
Let b be 1/(-15)*-5 + (-752498)/(-82740). Let a = b - -1/1970. Is a greater than or equal to 10?
False
Let h = -8 - -7.93. Let s = h + -21.93. Let g = 24 + s. Is -1 != g?
True
Let k be 641 - 644 - (-2 + (0 - 0)). Which is smaller: k or -9/200?
k
Suppose 