 - 6*o - 15. Let g be s(-5). Suppose 0 = 4*a + m + g - 505, 3*a = 2*m + 250. Let d be (-3)/(-9)*a/(-12). Is -1 less than d?
False
Let d be 1/(78/12) + 50/13. Suppose d*b - 9*b = -195. Is b less than 39?
False
Let p be (2*(-20)/240)/(18/72). Let h = -8.5 - -55.5. Is h > p?
True
Suppose g = -1, -v + 6*v = 2*g - 3. Let t be 0/(-3)*(-2 + v - -4). Let s be 28/(-7)*(-1 + (0 - t)). Is s smaller than 0.2?
False
Let n = -58 + 38. Let y(b) = b**2 - 35*b + 140. Let o be y(34). Suppose -o = 6*i + 4*q, q - 1 = i + 5*q. Is i < n?
True
Let a be (5 - (-3936)/(-780))/((-22)/(-30)). Which is bigger: 0.1 or a?
0.1
Let b = -85 - -60. Let f = -28 - b. Let a be (6/(-20))/(f + (-15)/(-4)). Is 25 <= a?
False
Let o(g) = -5*g + 2. Let h be o(6). Let t = 282 - 244. Let d(f) = f**2 - 36*f - 103. Let m be d(t). Are h and m unequal?
True
Let h(b) = -4*b**3 + 2*b**2 + 4*b - 6. Let w be h(-5). Let i = w - 1571/3. Which is greater: i or 5?
5
Let s be -2*1*(-2)/(-4) + 5 + -4. Which is bigger: -38/321 or s?
s
Let m(z) = -5*z - 24. Let i(f) = -4*f - 23. Let c(t) = -7*i(t) + 6*m(t). Let w be c(7). Suppose w*l + 60 - 57 = 0. Which is greater: 2/11 or l?
2/11
Let b = -14347/2 + 26958009/3758. Which is bigger: 1 or b?
1
Let k be (20/15)/((-22)/(-3))*(-450)/(-4). Which is greater: 19 or k?
k
Let c = -2227/5084 - -15/124. Which is greater: c or 0?
0
Let n = -48 - -47.83. Let s = -1.27 - n. Let d = -71.1 - s. Are 1 and d unequal?
True
Let b be (-2)/8 + (-1 - 19794/(-11592)). Let i be ((-1)/138)/((-1)/4). Let c = b - i. Is c greater than or equal to 0?
True
Let k = -0.1 - -3.7. Let a be -3 + ((-11)/8)/((-186)/496). Which is bigger: a or k?
k
Let n = -42 - -40. Let u be n/10 - 410/(-50). Let r be -9 + 13 - (u - 1). Which is greater: r or 5?
5
Suppose -4*k + 1176 = 4*j, k + 2*j = -3*k + 1168. Let d = 6092/21 - k. Which is smaller: 1 or d?
d
Let a = -931/3 + 307. Suppose 3*g + 9 = 6*g. Suppose 3*y + 3*m + 17 = 5, g*y - 2*m + 2 = 0. Which is smaller: y or a?
a
Let q(p) = 153*p**3 - 17*p**2 - 1. Let m be q(1). Let y(w) = -w**3 - 8*w**2 + 7*w + 3. Let z be y(-10). Is m greater than z?
True
Let x be (-12)/(-24)*(0 - 62). Suppose 72 = 4*y - 176. Let z be (x/y)/(6/8). Is z greater than 0.02?
False
Let s be (-4515)/(-3030) - (-3)/(-2). Suppose 161 = 5*w - 8*w + t, 0 = -w - 3*t - 57. Let j be -6 + (-366)/w - 2/(-9). Which is greater: j or s?
j
Let i be 14/63*((-198)/(-57) - 3). Is i < 18/23?
True
Suppose 23*d = 3*d + 20. Which is bigger: -2/183 or d?
d
Let q = 1364/5 + -39558/145. Suppose 4*r + 3*p = -4, 11 = 5*r - 4*p - 15. Let k be (22/(-11))/(r*-1). Which is greater: k or q?
k
Let q(a) = 916*a - 11907. Let k be q(13). Let z = -15 + 25. Which is bigger: k or z?
z
Suppose 2*t = -2*t + 1692. Suppose -t + 532 = v. Which is smaller: 110 or v?
v
Let y = 12.2 - 52. Let x = y - 5.2. Let l = 44.8 + x. Which is bigger: -1/25 or l?
-1/25
Let n = -1 + 1. Let z be 56 + 7/(84/8)*3. Let i = 51 - z. Which is smaller: i or n?
i
Let i(l) = -3*l + 3. Let z be i(6). Suppose -3*y = 4*r + 3 - 0, -r - 18 = -5*y. Let h be (-15)/((-30)/(-45) - 1/r). Is z bigger than h?
False
Let i = 93 + -105. Let t = -15 + 14. Let n = t + i. Is n equal to -13?
True
Suppose -85*q + 392 = -102*q - 254. Which is smaller: q or -153/4?
-153/4
Suppose -5*y + 5*z + 0*z + 8110 = 0, -5*y - 5*z + 8160 = 0. Which is smaller: y or 1629?
y
Let j = -26 + -12. Let l = 38.1 + j. Which is bigger: -47 or l?
l
Let d be (18 - 828/45)*20. Which is smaller: -93/11 or d?
-93/11
Suppose 3*s - 42 = 36. Suppose 5*r + s = 3*j, r = -4*r + 4*j - 28. Let i be (-6)/r*(3 - -13). Which is smaller: i or 23?
23
Let a be 0/(20 - 12 - 2/(-3)*-15). Is a at least -1/8231?
True
Let v = 767 + -744. Which is greater: 1 or v?
v
Suppose -5*y = -2*y + 63. Let x be (6/y)/(6/3). Let p(q) = 9*q - 388. Let w be p(43). Which is bigger: x or w?
x
Let j = -1561 - 2657. Is -2 smaller than j?
False
Let p = -26.9 - 98.1. Let q = -125 - p. Which is smaller: q or -86?
-86
Let i be (-6)/(3/(-30)*-9)*-6. Let h be (-21)/(-19) + i/(-380). Which is smaller: 2/243 or h?
2/243
Let l = 1/4041 + 16159/20205. Are l and -4/95 equal?
False
Let p = 7292 + -2836590/389. Let u be ((-18981)/(-2508))/((-11670)/(-64)). Let f = p + u. Is f != -1?
True
Let p be (-7)/((-420)/109432) + (-16 - (-1210)/75). Is p at most as big as 1820?
False
Let u = -31448 - -849298/27. Which is greater: 7 or u?
u
Let w be (-60 - -57) + (2 - 3) + 3. Which is smaller: w or -1/3853?
w
Suppose -167*m - 5*x + 65 = -170*m, 2*m = -2*x - 6. Which is bigger: -199/20 or m?
-199/20
Suppose o - 85 - 74 = 0. Let w = 209 - o. Which is greater: 254/5 or w?
254/5
Let j be -118 - (-1 + -4) - 5. Let q = j - -154. Does 37 = q?
False
Let u = -16434 + 16433. Is u at most as big as 39/232?
True
Let n = -1926 + 1929. Which is bigger: 61/15 or n?
61/15
Suppose -4*n + 12 = 4*w - 8*w, -2*n = -4*w - 8. Which is smaller: w or 8/2283?
w
Let j(h) = -32*h - 63. Let a be j(1). Is -92 > a?
True
Let o be 338864/(-228) + (1 - 4/3). Let c = o - -1487. Is 0 smaller than c?
True
Suppose 0 = -4*h + 3*d - 8, -h + 5*d - 275 + 256 = 0. Which is smaller: -5/443 or h?
-5/443
Let n = -0.433 + -0.067. Let i = 0.3 + 0.1. Let v = n + i. Which is bigger: -0.4 or v?
v
Let r = 645 - 644.9164. Which is bigger: 1 or r?
1
Let f be 91/(-520)*8/(-67214). Are 0 and f unequal?
True
Let l be (1175/100)/(4/(-64)). Which is bigger: l or -186?
-186
Let i = 6 - 5.3. Let a = -381.7 - -365. Let k = i + a. Which is bigger: 1 or k?
1
Let t(f) = 1173 + 5*f - 1198 - 2*f. Let u be t(9). Let n be u/(-4)*(8 - -1). Which is bigger: n or -4?
-4
Let c = 4/987 + 82/2961. Which is bigger: 1/13 or c?
1/13
Let v(r) = r**3 - 4*r**2 + r - 3. Let l be v(0). Let k = -621 - -325. Let p be l/4 + k/(-352). Which is smaller: p or 1?
p
Suppose 4*u = -m - 365, 3*m - 181 = 2*u + 4*m. Let j = u + 102. Suppose -j = -2*g - 3*g, 0 = 5*x + 3*g - 11. Which is smaller: -2 or x?
-2
Suppose 0*o = 5*o. Let v(r) = -13*r - 39. Let z be v(-5). Is o greater than or equal to z?
False
Let o = -668/1519 - -13/31. Let c = -2289 - -2289. Are c and o equal?
False
Let y = 426 - 17893/42. Let r be (1351/35 - 4)/42. Let f = r + y. Which is greater: f or 0?
f
Let z = -18756 - -18343. Which is smaller: z or -415?
-415
Let h(o) = o**3 + 12*o**2 + 2*o + 26. Let s be h(-12). Suppose 64 = -r - 3*d, -s*r - 230 = 3*r - 3*d. Let q = -35 - 14. Is q at least as big as r?
True
Let n = -0.25 - 25.75. Let d = 26.04477 - 0.01477. Let w = d + n. Which is smaller: 1 or w?
w
Let z = -186 - -262. Suppose -z*f + 79*f = -45. Which is smaller: -5 or f?
f
Let l(f) = f**2 + 7*f - 23. Let k be l(3). Suppose 0 = 3*r - 5*d + 16, -4*d = -k + 23. Let o be (-54)/(-4)*32/r. Is o equal to -34?
False
Let x(a) = -270*a + 312. Let r be x(7). Which is greater: -1577 or r?
-1577
Suppose -4*d + 4*p - 209 = 315, 2*d + 252 = -3*p. Which is greater: -255/2 or d?
-255/2
Let o = 78.465 - -8.535. Suppose -11*m = -6*m - 10. Which is greater: m or o?
o
Suppose -h - p + 36 = -41, 2*h - 160 = p. Let i be h/((3 + -1)/(-2)). Which is greater: -80 or i?
i
Let j be (2/(-3))/(14/(-21)). Let k = -65353/531 - -778/59. Let f = k - -110. Which is greater: j or f?
j
Let f(b) = 4*b - 4. Let t be f(3). Suppose -3*p - t - 4 = 0. Let r be (-1)/(-2)*p + 2. Are 11 and r nonequal?
True
Suppose 48 = -y + 83. Let u be 7/y - (-3)/(-5). Which is greater: u or -151?
u
Let g = -1630 + 1610. Let c be ((-4)/3)/(2/33). Is c at least as big as g?
False
Let k = -6 + 8. Let f = 1.9 - k. Let r = 100/43 - 786/301. Which is bigger: r or f?
f
Let h = -9/4 + -1/4. Let k = 18 - -28. Let i = k + -46. Is i > h?
True
Let z = -31.3 + -30.7. Let j = z - -110. Which is bigger: j or -2?
j
Let h(w) = w**2 - 16*w + 42. Let s be h(5). Which is bigger: s or -870/61?
s
Let x = 163.2 - 103.5. Let j = 70 - x. Let h = -0.3 + j. Which is smaller: h or 2?
2
Suppose -30 + 18 = 4*i. Let c(f) = -11*f + 4. Let v be c(i). Which is bigger: 1/2 or v?
v
Let q = -83.5 - -86.6. Let c = 13.29 - 0.29. Let m = 13.1 - c. Is q bigger than m?
True
Suppose 10*o - 8*o - l = 26, 4*o - 40 = 5*l. Suppose 0 = -2*i - 0*i + 14. Let x(j) = j**2 - 5*j + 2. Let w be x(i). Is w equal to o?
False
Let c = 3455 - 3440.7. Is c < -1/34?
False
Let w(o) = 4*o**2 + 44*o + 7. Let i be w(-12). Let p = i + -30. Which is greater: p or 24?
p
Let u(v) = -v**2 + 16*v - 37. Le