- 49 = -2*q, -q - 3*q + 33 = 3*x. Which is smaller: b or q?
b
Let k = 36 - 34. Suppose -c = -1, 6*c - 2 = b + k*c. Let w be (-1)/2 - (-3)/2. Is b bigger than w?
True
Let h(b) = -2*b - 12. Let q be h(-8). Suppose l = q*f - 22, -5*f = 3*l - 0*l - 36. Suppose -2*g - 4 + f = 0. Is 1/38 less than or equal to g?
True
Suppose -3*d + 5*k = 52 + 29, 4*k = 4*d + 108. Let r be 597/(-796) + ((-138)/(-56) - (0 + 2)). Which is smaller: d or r?
d
Let v = -300 - -264. Let h be 546/v + 0 - -4. Which is smaller: h or -11?
h
Let b = 16085 + -16095. Which is smaller: b or -101?
-101
Let d = -59.2 + 58.8. Let t(y) = y**3 + 11*y**2 + 5*y - 21. Let p be t(-10). Let q = p - 45. Which is smaller: q or d?
q
Suppose 13*d + 0*d = -3315. Let l = 279 + d. Which is smaller: 2 or l?
2
Suppose -7*u + 24 = -11. Let g be ((-375)/11)/u*(-2)/5. Let m be (7 - 1)/(2/1). Which is smaller: m or g?
g
Let f = -357 + 359. Suppose 185 - 319 = -f*a. Is a bigger than 67?
False
Suppose 5*n = -4*g - 32125, -436*g + n + 32089 = -440*g. Which is bigger: g or -8022?
g
Let w = 185 + -177. Let y(j) = j**2 + 7*j - 119. Let s be y(w). Which is smaller: s or 15?
s
Let x = 4000 + -4007. Which is smaller: x or -35/6?
x
Suppose 3*p + 135 = 3*o, 3*p + 3*o - 44 = -185. Let c = 62 + p. Let y = c - 10. Is y at most 6?
True
Let k = 12479311/21 + -594641. Let p = k - -388. Let a be 0*(6/(-4))/(-3). Is p >= a?
False
Let h be 12/16 - 10*(-106)/16. Let a = -62 + h. Suppose -a*l = 11 + 24. Is -7 != l?
False
Let a be 103/(-21) + (-6 - (-992)/168). Let b be (((-18)/10)/(-3))/(13/a). Which is greater: 2/5 or b?
2/5
Let r = -2726 - -2733. Which is bigger: r or -0.5?
r
Let d(s) = -2235*s**3 - 6*s**2 + 3*s - 2. Let i be d(1). Which is smaller: -2241 or i?
-2241
Suppose 0 = 8*d - 32 - 48. Let h be -6*(-1)/3*-2. Let o be (6 + h - 3) + d. Which is smaller: 2/3 or o?
2/3
Let s(v) = -v**2 + 10*v + 171. Let w be s(19). Is 1/3985 > w?
True
Let x = -2.66 - 0.06. Let u = 6.72 + x. Is 5 at most as big as u?
False
Suppose 205*b - 20 = 201*b. Suppose 9*p = b*p - 232. Is -58 not equal to p?
False
Let q = -1620871/71 + 22831. Which is smaller: q or 2?
q
Suppose -4*u = 4*c, -u - 60*c + 56*c + 3 = 0. Suppose 4 = 4*p - 8. Let a = p + -2. Which is smaller: u or a?
u
Suppose -2*v - 3*p = 946, 5*v + 18*p - 20*p + 2327 = 0. Let f = 1150452/25 + -232426/5. Let k = f - v. Which is smaller: 0 or k?
k
Let i = -19403 + 19401.747. Which is greater: 4/9 or i?
4/9
Let b = -11096 - -10973. Is -27 bigger than b?
True
Let m = -11205/8 - -1017/2. Which is greater: m or -891?
-891
Let g = 19708.84383 - -0.15617. Is 0.1 != g?
True
Suppose 5*z - 5*o = 5, -o + 2 = -176*z + 172*z. Which is smaller: z or -20?
-20
Let c be (-39)/(-52) - 26697/(-4). Let q be (-6333)/c + (-4)/(-4). Let s = q - 1/89. Is s <= -1?
False
Let i = -37.024 + 37. Let y = i + 0.081. Let o = y + 3.943. Is o >= 2?
True
Let w be -5*(0 + (-8 - -7)) - (-17895)/(-9). Which is greater: -1984 or w?
w
Let s be 10/(3/(-6)*-4). Suppose -5*y = o, 0*o = s*y + 3*o. Does 2/557 = y?
False
Let a = -3205 + 3013. Is -5 bigger than a?
True
Suppose 14*g - 61 + 159 = 0. Let a be (-3)/3*8/18. Which is bigger: a or g?
a
Let i(w) = w**2 - 47*w + 87. Let h be i(35). Does h = -328?
False
Let w = -3286 + 3287. Is 3/1714 <= w?
True
Let q be -5*(4/7 - (-33)/(-21)). Let y be 25/q*(-8)/(-10). Let c be 5/y - 10/8. Is 5/8 smaller than c?
False
Let m = 134 + -26. Suppose 17*q - 23*q = m. Let b be 3 + (q/(-81) - (-2)/(-9)). Is 6 not equal to b?
True
Let v = 2758 + -2974. Let x be 216/((-3)/(9/3)). Is v at most as big as x?
True
Let a = 20.36 + -9.16. Is a != -14?
True
Let q(b) = -b**2 - 11*b + 57. Let r be q(-15). Let k be (-6)/12 + r/(-2). Is -5/24 not equal to k?
True
Let q(s) = -26*s**2 + 22*s + 326. Let j be q(-10). Is j greater than -2494?
False
Let q = -61 - -78. Suppose -r = -3*z - q, 11 = -z + r - 6*r. Let w be 21*4/(-18) - (-8)/z. Does 3 = w?
False
Let i = -0.02 + 23.02. Let z = -0.98 + 22.98. Let n = i - z. Is 2 >= n?
True
Let j = -124536 + 124716. Suppose 4*c + 6 = c. Which is smaller: c or j?
c
Let h = 763206/169 - 4516. Suppose -18 + 4 = -14*g. Which is smaller: g or h?
h
Suppose -4*z - 4*m - 12 = -2*m, -5*z = 5*m + 25. Suppose -38*i - 3*i = -226 + 1251. Which is greater: i or z?
z
Let w(b) = b**3 + 16*b**2 + 33*b + 64. Let q be w(-14). Is -21 > q?
False
Suppose 4*i - 4*p - 552 = -84, 4*i + 4*p - 524 = 0. Which is smaller: i or 2358/19?
i
Suppose 0 = -13*t + 1237 + 570. Is t <= 137?
False
Let m = 29/12 - 467/192. Suppose -125*u = -103*u. Which is greater: m or u?
u
Let k be ((-76)/(-10) + -7 + 999/(-1295))/((-10)/(-14)). Suppose -4*u = 4*p - 4, 3*p + 0*u - 3*u - 3 = 0. Which is smaller: k or p?
k
Suppose -10426 = -4*u - 5*v, -289 - 2321 = -u - 3*v. Suppose u = 173*o - 161*o. Which is smaller: o or 218?
o
Let w(p) = 62*p**2 + 174*p + 176. Let q be w(-1). Which is greater: 50 or q?
q
Suppose 7*i = 2*i + x + 18, 0 = -3*i + 5*x + 2. Let r be (-18)/9 + -3 + 22/i. Which is smaller: r or -46?
-46
Let k be ((-2)/(-6))/(2380/105 + -23). Let w be ((-4)/(-14))/(14*-1). Is k bigger than w?
False
Let w(o) = -o**2 + 11*o - 12. Let l be w(10). Let r(d) = -3*d**3 + 2*d + 1. Let h be r(l). Let n = -16.1 + 16.1. Is h at least as big as n?
True
Suppose 1325 = h + t, -2*t = 2 + 6. Suppose -882 = -5*s - 2*c + h, -5*c + 1319 = 3*s. Suppose s = 5*l + 13. Which is smaller: l or 87?
l
Let n(w) = -w**3 - w**2 - 45*w - 345. Let u be n(0). Is -345 < u?
False
Suppose -26 = -3*k + s, 2 = -4*s - 6. Let z be (-26)/2 - (4 - k). Suppose -5*q - 3*q - 64 = 0. Which is smaller: q or z?
z
Let v = -1697.04 + 1741. Let l = -14.22 + v. Let f = -29 + l. Which is smaller: -1/2 or f?
-1/2
Let k(c) = -c**2 - 10*c + 25. Let q be k(-12). Let h be 3 - q - (-21)/(-15). Let x = 301/485 - 2/97. Is h <= x?
True
Let t = 148 - 249. Suppose -c = -10*c. Suppose 41*f - 45*f - 408 = c. Which is bigger: f or t?
t
Let x(b) = -b**3 + 65*b**2 - 847*b + 46. Let f be x(47). Is f bigger than 22/719?
False
Suppose 35*z = 40*z - 45, -4*p - 4*z = -36. Is p >= -77/145?
True
Suppose 36*w + 125 = 41*w. Let m = w + -23. Suppose -4 = -2*j, 0 = -z - 6*j + m*j + 8. Which is greater: z or 3/23?
3/23
Let y = 124/4415 + 26630164/39735. Is 671 smaller than y?
False
Suppose 14*w = 3*f + 10, -490*f + 4*w = -495*f + 202. Let c = -183/5 + 36. Which is greater: f or c?
f
Let t = -343.3 + 343.4. Which is bigger: -0.2915 or t?
t
Let n(p) = 4*p**2 + 44*p + 57. Let g be n(-9). Is g less than -7?
True
Suppose -2*j = -k - 1446 + 3993, -1326 = j - 11*k. Is j not equal to -1272?
True
Let c = 71359 + -9062644/127. Let f = -40743/889 - c. Which is smaller: -44 or f?
f
Let b be (175/14)/((-1)/(5 - 17)). Let s be (-5)/6 + 10/(b/455). Is s bigger than 29?
True
Let n = 1940 - -243. Let v = n + -37133/17. Which is smaller: v or 0?
v
Let q = -12426 + 12434. Do q and 10.95 have the same value?
False
Let g(k) = -4*k**2 + 22*k - 21. Let v be g(1). Let t(z) = z**2 - 5*z + 4. Let f be t(4). Let q be (f - (0 - 3)) + v. Which is greater: q or 8?
8
Let q(o) = -3*o**3 - o**2 - 4*o - 2. Suppose 5*b - 15 = 5*l, 5*l - 2*b = -16 + 1. Let a be q(l). Suppose -5*v + 2 - a = 0. Is v greater than or equal to -13?
False
Suppose -3*w - 72 = 3*n, -w + 5 = -5*n + 29. Let c be -7*(177/590 - (-219)/70). Is c at least w?
True
Let f = -124.2 + 124.4. Which is bigger: -984 or f?
f
Let z = -77636655/1723 - -45059. Which is smaller: 0 or z?
0
Suppose -20*z - 4*z = 2592. Which is smaller: z or -107?
z
Suppose 42*u = 318 + 1068. Which is bigger: 81 or u?
81
Let j = 2355 - 2130. Let h = -45 - -46. Is h greater than or equal to j?
False
Let v = -14 + 20. Suppose 0*a = 4*a + 3*z + 4, -a - 2*z - v = 0. Let r be (21/(-7))/63*-15. Do a and r have the same value?
False
Let k = 1335 - 1063. Which is smaller: 273 or k?
k
Suppose 2*c + 3*c + 132 = -a, 4*c + 112 = -4*a. Let u be (5 + c)/(3/2). Let w be 435/(-819) + 1 + 8/u. Is -1 != w?
True
Let d = 610 - 388. Let x = 44 - d. Which is bigger: x or -177?
-177
Suppose 2*v = -5*s + 210, 11*s = 12*s - 5*v - 42. Suppose 46*o + 76 = s*o. Which is bigger: o or -35/2?
-35/2
Let r(p) = 6*p - 45. Let t be r(8). Let d be t/((-24)/(-322)) + 17/(-68). Suppose -3*u + 135 = 15. Do d and u have the same value?
True
Let w be (-359)/((-168)/(-48)*(-1)/(-7)). Which is smaller: -716 or w?
w
Let s = -12 - -9. Let