- 5*f, 0 = -3*l + 4*f + 3. Suppose -i - 5*c = -6*i + 10, -l*c + 14 = 3*i. Which is greater: j or i?
j
Suppose -24 = n + 3*t - 0*t, 5*t + 72 = -3*n. Let a be (n/(-2988))/(-4 - -8). Which is bigger: a or 1?
1
Suppose 22 = -4*z - 266. Let s = z - 11. Is -83 greater than s?
False
Suppose 35*x - 9 - 26 = 0. Suppose 3*d = 4*v - 54 + x, 3*d - 3*v = -54. Suppose -3*j - 8 = 13. Is j >= d?
True
Suppose -225*q - 11953 = 4697. Suppose -3*s - 4*t - 241 = 0, -3*s + 0*t = -3*t + 234. Is q <= s?
False
Let a be (-32)/(-252)*6*-3. Let o be ((-4)/4)/((-6)/(-96)). Let w be (-14)/24 - -1*(-4)/o. Which is smaller: w or a?
a
Let g be 9*(-10)/15 + 63. Suppose 2*p - g = j, 5*j + 8*p = 4*p - 229. Which is smaller: j or -52?
-52
Let s be 2 - -1 - (339/12 - (33 - 33)). Are -25 and s non-equal?
True
Suppose -60*i = -886 + 16666. Let v be (-2373)/9 - (-1)/(-3). Is v greater than or equal to i?
False
Suppose -s + 5*s - n - 49 = 0, 2*s - 28 = 4*n. Suppose b = -5*r + 70, -5*r + 68 + s = -b. Suppose 0 = -5*k - r, 5*i + 2*k = 3*i - 8. Which is smaller: -8 or i?
-8
Let t be 1*3 + (-4 - -43 - -2). Suppose -3*r = -p + 12, -5*p + t = -0*p + r. Suppose p*y + 504 = 3*y. Are -85 and y unequal?
True
Let z = -635.657 - 4.343. Is z bigger than 1?
False
Let h be (-6 - -5)/(-3 + 2). Let b be (-63)/(-35)*((-2)/8 - h). Which is greater: b or -2/31?
-2/31
Let x = 3193/9 + -1774/5. Is 1 at most as big as x?
False
Let v(x) = 6 + 17*x + 3 - 4*x + 1. Let g be v(-2). Is -20 > g?
False
Let f = 1432/2415 + -13/21. Let c = f - 106/345. Which is smaller: c or -1.4?
-1.4
Suppose 3*d + 2*d = -150. Suppose -12*n + 1259 - 227 = 0. Let b = n + -116. Are d and b equal?
True
Let y = 7634 + -53419/7. Suppose -g + 23 = 5*f - 0*f, -4*f = -2*g - 10. Is f at least as big as y?
True
Let k = 33192 - 26178. Does k = 1/2?
False
Suppose 0 = r - 3*r + 4*z + 160, -3*z = 12. Suppose 0 = 3*q - 3, 5*o - q + 121 = -250. Let g = r + o. Which is smaller: g or 40?
g
Let p be (-3)/(-6) + 12/40*73. Let b = -729/10 + p. Let v = 1297/26 + b. Is v at least -2?
True
Suppose -5*j + 63 + 3397 = l, 5*l - 3*j = 17188. Is 3440 < l?
False
Suppose 1220*b - 1241*b - 5737 = 28346. Which is bigger: b or -8111/5?
-8111/5
Let r be 2114/434*14/(-34) - -2. Which is smaller: -1 or r?
-1
Suppose 213 = 2*i + 5*j, -j = -3*i + 98 + 213. Let v = -18459 + 18463. Suppose -5*h - 57 = o + v, -2*o - 4*h - i = 0. Is o >= -46?
True
Let u = 18 + -91/5. Let h = 3/2437 - 7326/12185. Is h < u?
True
Suppose -13630 = 12*u + 6506. Which is smaller: u or 4?
u
Let q = -7 - 6. Suppose 33*m + 11*m = -12276. Let p = m + 1115/4. Are q and p nonequal?
True
Let x(l) = -l**3 - 10*l**2 + 26*l + 20. Let r be x(-12). Let j be -2*(-8 - -9 - 190/r). Is -96 <= j?
False
Let v(y) = -y**2 + 6*y + 7. Let l be v(10). Let o(p) = -p**3 - 34*p**2 - 31*p + 80. Let g be o(l). Which is smaller: g or 20?
g
Let h = -6868 - -6870. Which is smaller: h or -1340/7?
-1340/7
Let v = -516/365 + -645849/4015. Let t = v + 162. Let h be (-6)/4*((-40)/(-12))/(-5). Which is smaller: h or t?
t
Let l be ((-35)/4 - -4)*-4. Suppose -28*v - l = -9*v. Which is bigger: 2/11 or v?
2/11
Suppose -410*i + 360 = -418*i. Let a be (6/i + (-17)/(-15))/3. Suppose -4*l + 3 = -2*s - 7, 12 = -4*s. Which is bigger: l or a?
l
Let j(g) = g**3 + 18*g**2 - 89*g - 22. Let a be j(-22). Is a at least as big as -4/3467?
True
Let d(j) = -7148*j + 1144. Let f be d(-1). Which is smaller: 2 or f?
2
Let w be 3 - (-2 - (11 - -1)). Let b(u) = -u + 22. Let q be b(w). Suppose 0 = 2*m - 4*z, 0 = -2*z + q*z. Are m and 2/21 equal?
False
Let c = -7215 + 7217. Is 53/24 equal to c?
False
Let n = 478 + -477.47. Let r = -2478.53 + 2468. Let q = r + n. Which is bigger: q or -2?
-2
Suppose -32151 = 59*n + 373683 + 147704. Do -9384 and n have different values?
True
Let o be 205390/6118*(1 + (-6)/10). Which is greater: 21 or o?
21
Let h(b) = -2*b + 37. Let u be h(-5). Let i = 48 - u. Which is greater: -2/135 or i?
i
Let x(d) = 3*d - 61. Let k be (-2450)/(-130) + 5/(130/4). Let o be x(k). Is o at least as big as -7/2?
False
Suppose 0 = -20*n - 20 - 60. Let d(w) = -5*w - 9. Let y be d(n). Which is smaller: y or 16?
y
Let p be (-58 + 58)/((1 - 2)*1). Is p greater than -17/56?
True
Suppose 8*m + 3745 = 25*m - 10*m. Is 533 >= m?
False
Let v(n) = 28*n + 483. Let x be v(-18). Suppose -4*u - 84 = 2*u. Which is bigger: x or u?
u
Suppose 8*q = 4*f + 7992, -q - 3*f = -5*f - 990. Is q >= 2005/2?
False
Let c = 708664728/2749 + -257790. Which is bigger: c or 1?
1
Suppose -4*y + 1069 = 5*r, -3*y - 6*r = -11*r - 793. Let b be 28/8*(-8)/y. Is b > 2/5?
False
Suppose -4*c = -10*c + 9*c. Suppose c = -5*g - 5*z, 2*g - 4*z - 4 = 2. Which is bigger: 5 or g?
5
Let y be (-226)/1729 + (-14)/(-98). Let w(s) = -14*s - 728. Let n be w(-52). Which is smaller: y or n?
n
Let k be 4872/140*(-4)/1107*15/(-20). Does k = -1?
False
Let f be (-12)/14*(-8 + -10 + -220). Is 215 less than or equal to f?
False
Let a = -7724947/46705 - 12/9341. Let q = -165 - a. Is -1/5 at most as big as q?
True
Let h(s) = -127*s. Let r be h(1). Let p(f) = 11*f**3 - 107*f**2 + 72*f + 1. Let d be p(9). Which is greater: d or r?
d
Suppose -8*z = -4*z + 1800. Let f be z/432 + 6/9. Let v be (6/20)/3*-4. Which is greater: f or v?
f
Let y = -64.5 - -54. Let l = 0.3 + y. Let p = 8.2 + l. Which is bigger: p or 2/7?
2/7
Suppose 0 = 4*s + 56 - 76. Suppose 8*u - 13 = -s. Is 2/189 greater than or equal to u?
False
Suppose -18*l + 14*l = -344. Let a = 85 - l. Let t be (a/2)/(21/(-14)). Is -56 less than or equal to t?
True
Suppose 0 = 21*k - 23*k - f + 332, 4*f + 498 = 3*k. Let t be (3006/(-54))/(2/(-6)). Which is smaller: k or t?
k
Let h be ((-46)/10)/(117/195)*15*-1. Are 122 and h unequal?
True
Let x be (-3)/9*-6 + 122716/3378. Let u = 3/563 + x. Which is bigger: u or 37?
u
Let n = -16273.82 + 16274. Which is smaller: n or 66/7?
n
Let a = -15957 - -23700. Which is smaller: 7744 or a?
a
Let h be 216/(-15)*(-4 - 6). Let s be ((-10)/(-8))/((-3)/h). Does -59 = s?
False
Let i = -1147118762/330253 + 38208/11. Which is smaller: 1 or i?
i
Let t be -49*((1 - -4) + 4). Let h = 81 + t. Is h greater than or equal to -360?
True
Let w be 678 + (6 + -2)*-1. Let d = -2727/4 + w. Which is bigger: d or -7?
-7
Let g = -12877 - -12877.3. Which is bigger: 2/16745 or g?
g
Let d(z) = z + 8. Let y(o) = 5*o - 11. Let l be y(-8). Let b = l + 44. Let q be d(b). Is q > 12/11?
False
Let f = 7/12 - 5/6. Let y = -0.231009 - -0.217009. Is f at least as big as y?
False
Let w = -0.211 + 0.598. Which is bigger: w or -15?
w
Let o = -1.276 - -980.276. Let d = o - 985. Which is smaller: 42 or d?
d
Let n = 541 + -542. Let k(f) = -f**2 + 4*f - 1. Let d be k(3). Let y be 1 - (d - 3)/38*-24. Which is smaller: n or y?
n
Let w(f) = -197*f - 781. Let r be w(-4). Which is smaller: r or 10?
r
Let c be (114 + 6)/(7/14). Suppose 35*g = 29*g + c. Is g less than or equal to 42?
True
Let z = -22.212 - -22.2. Let t = z + -0.128. Let k = 335/4 + -83. Is k >= t?
True
Let j = 3395 + 1013. Is 4407 at most as big as j?
True
Suppose 6*b - 98 = -56. Let a(f) = -4*f**2 + 22*f + 42. Let z be a(b). Which is bigger: z or -1/509?
z
Let j(z) = -4654*z + 1. Let i be j(-1). Let f = -349118/75 + i. Which is smaller: 0 or f?
0
Let p = 4073 - 4038. Which is smaller: 0.015 or p?
0.015
Suppose -i - 3*q - 276 = 0, 0 = 3*i + 43*q - 38*q + 828. Let x be (36 + -45)/(63/i). Are 38 and x equal?
False
Let i be (-1 - 2)*1660/(-180). Let s = 13/6 - i. Let u = 675/26 + s. Which is bigger: u or 1?
1
Let h(c) = c**2 + 24*c + 1. Suppose -42*w + 87 = -39*w. Let v be (-4 + w)/(-3 + 2). Let y be h(v). Is 26 bigger than y?
False
Let r be 14*(-18)/(-1260)*(-10)/316. Suppose -j - 5 = -4. Which is smaller: r or j?
j
Let t = -9360 - -5209. Is t not equal to -4151?
False
Let z = -5254 - -5058. Is z < -2562/13?
False
Suppose 0 = 2*j + 3*w - 1511, 4*j - 12*w - 1008 - 2032 = 0. Which is smaller: 760 or j?
j
Suppose 0 = -10*n + 9*n + 4. Suppose -38*l = -36*l + n. Let v be ((-2)/(-10) + (-27)/(-90))*l. Is 1/202 bigger than v?
True
Let h be -5 + ((-25080)/605 - -42) + (-2336)/(-517). Let x(c) = c + 4. Suppose 0*n + 3*n = -12. Let z be x(n). Which is bigger: h or z?
h
Let h(y) = y**3 - 59*y**2 + 169*y - 90. Let j be h(56). Which is smaller: 2 or j?
j
Let d(s) = -s + 8. Let t be d(6). Suppose 18 = -t*c + 14. Let l be (-