 g?
False
Let d be (-2)/((-12)/16 + 1). Let q be ((-1806)/d)/7 + -2 + 2. Which is greater: q or 32?
q
Let a(m) = -m**3 - 9*m**2 - 16*m + 18. Let p be a(-6). Suppose -p*u = -10*u - 272. Which is smaller: u or -69?
-69
Let q = 1.667 - -0.333. Is q at most 0.6?
False
Let v(m) = -1993*m + 11861. Let c be v(6). Is 4/3 less than c?
False
Let u be -3 + 9 - (-6 - -1 - 107). Let y = u - 86. Which is smaller: 61/2 or y?
61/2
Let d(o) = -o**3 - 10*o**2 + 26*o + 29. Let f be d(-12). Suppose -4*y - 285 = -5*s, -14 = f*y + 11. Is 55 < s?
False
Let m = -138893/117 - -1187. Which is bigger: m or -1?
m
Let h be (-13 + 12/3)*(-2)/6. Let m be 14/(-4)*8*6/(-52). Which is smaller: h or m?
h
Let b = 80 - 594. Let k = 513 + b. Is 83 bigger than k?
True
Suppose -6*a = -a - 5*n + 55, 3*a - 7 = -5*n. Let w = 198 + -198. Suppose -12 = -2*c - 18, w = -5*m + 3*c - 26. Which is bigger: m or a?
a
Let d = 2/23 + -33/115. Let j(k) = -456*k - 5507. Let t be j(-12). Which is bigger: d or t?
d
Let l = 15493211/77 + -201207. Let o = 449/70 + -27/10. Let u = o - l. Are u and 0 unequal?
True
Let f = -3535 - -3534. Which is greater: -1/1221 or f?
-1/1221
Let u = 24 + 293. Let z = u - 317.06. Which is smaller: z or 0.21?
z
Let k(d) = 10*d + 1. Suppose -3*z - 3*p = 6, z - 18 = 2*z + 5*p. Let q be k(z). Are q and 15 unequal?
True
Let u be (-16 - (-124462)/7774)*25/1. Which is smaller: u or 0?
0
Let n(p) = -p**2 - 11*p. Let g(q) = q**2 - 9*q - 36. Let x be g(12). Let f be n(x). Suppose -11*t - y + 3 = -6*t, 2*t - 4*y - 10 = f. Are 4/21 and t equal?
False
Let n = 0.12 - 1.42. Suppose -12*u + 16*u = 16. Suppose -16 = 2*j - 12, o + u*j + 10 = 0. Which is greater: o or n?
n
Let s be (4 + -8)/(8/12). Let j be 32/s - (-2)/6. Let q be (j - -1)/(-2) + -1 + 5. Which is smaller: q or 2?
2
Let d be (-158)/14 - 2/(-7). Let p be (-2)/(-7) + 5 + (-169)/28. Are p and d unequal?
True
Let g(c) = c**3 - 20*c**2 + 7*c + 35. Let u be g(20). Suppose 49 + u = -8*f. Which is smaller: -3 or f?
f
Suppose 20 = -5*g, -u = -3*g + 6826 + 7760. Let s be (-36)/u*(-2 + 1). Let b = s + -699/45416. Is 1 bigger than b?
True
Let g(l) = 2*l + 16. Let d be g(-13). Suppose 0*w + 3*w - 6*w = 0. Let c be d/40*((-24)/(-10) + w). Which is bigger: -1 or c?
c
Let l be (3 - 29 - -42) + -17. Is l at most 69/496?
True
Suppose 164*k + 162*k - 323*k + 1911 = 0. Which is greater: -638 or k?
k
Let j(t) = 12*t**2 - 10*t - 48. Let y be j(-7). Is 608 at least y?
False
Let u(f) = f**2 - 28*f + 190. Let d be u(9). Let a = -3392/7 - -3522/7. Is a not equal to d?
True
Let q be 2 - (0 - 55/(-15)). Let p = -720.95 - -721. Which is greater: p or q?
p
Let u = 2/241 + 2878/1687. Let h = 23 - 28. Let x be -4 + (4 - h) + -3. Is x at least as big as u?
True
Let o = -2/13 + 100/143. Let s(d) = 3*d**2 - 2*d - 154. Let k be s(-7). Do k and o have the same value?
False
Let n = 2659 + -2650. Which is greater: -25 or n?
n
Let c = 18246 - 18250. Which is greater: c or -370?
c
Suppose 0 = -11*t - 7*t + 8*t. Let n be (20/(-7) + t)/1. Let l(u) = u**2 - 7*u + 4. Let x be l(6). Is n equal to x?
False
Let a(t) = -3*t**2 + 2*t. Let y be a(2). Let q(d) = 90*d**2 - 624*d - 6. Let p be q(7). Let r = y + p. Is 28 != r?
False
Let q = -188.7 + 188.66. Is -0.1613 != q?
True
Let h = 90 + -56. Suppose -h*f + 4554 = -52*f. Is -252 at most f?
False
Let f = 2.06 + -2.76. Let n = f - -1.2. Is n bigger than 2/3?
False
Let b = -33 - -38.6. Let p = 898.4 + -902. Let y = p + b. Is y != -31?
True
Let g = 3649 - 3637. Which is smaller: 312/25 or g?
g
Let q be (-57075)/175 + 12/14. Let g = q + 325. Which is smaller: -10/59 or g?
g
Let x = 27233 + -27233. Is x smaller than 2/5863?
True
Let n be 10362/31540 + (-4)/10. Let h = 396677/95 + -8351/2. Let f = n + h. Is f < 0?
True
Let l be 1104/(-2808) - 32/(-72). Is -320 at least as big as l?
False
Suppose 28 = -46*v + 53*v. Suppose 0 = -v*k - 5*m + 11, 2*m - 1 = 4*k + 3*m. Is k at least -25/12?
True
Let h = -323 + 210. Let p be (-21)/(-28) + (h/(-4) - 1). Are 31 and p non-equal?
True
Let x be 44/(-55)*240/2. Let r be 2/3*x/(-64). Which is smaller: r or 16?
r
Let c(m) = 7*m - 3. Let r(f) = 3*f + 4. Let y(p) = -2. Let i(v) = -2*r(v) - 6*y(v). Let u(a) = 5*c(a) + 6*i(a). Let g be u(3). Is g equal to 5?
False
Let c(j) = j**2 + 39*j + 156. Let g be c(-26). Is -201 at most as big as g?
True
Let u = -3 + 2. Let b be ((-7422)/(-9))/(-2) - (-6)/18. Let p be (-12)/(-32) - b/(-160). Is p at least as big as u?
False
Let q be ((-6903)/(-234))/((-2)/(-32)). Which is greater: 474 or q?
474
Let o be 40/(-6)*25/(-4). Let x = o - 42. Let d = -5.2579 - -26.2579. Which is greater: x or d?
d
Let b = 9/587 - 1237/4109. Let l = -0.439 + -305.561. Is b smaller than l?
False
Let d = 911957/70 + -13028. Suppose -n + 4*a = 9, -6*n + 3*n - a - 1 = 0. Is d greater than n?
True
Let t(k) = 9*k + 73. Let s(l) = l - 23. Let o be s(15). Let v be t(o). Is v at most 4/75?
False
Let t = -773 - -6169/8. Suppose 4*s = 2*p + 6, -2*p = 5 + 5. Let q be ((2 + -3)/s)/(-1). Is t smaller than q?
True
Let v be 305/5 - ((-152)/190)/((-1)/(-5)). Which is bigger: v or -5?
v
Suppose 3*i = 2*k - 6 + 4, 3*i = -5*k + 26. Suppose 105 = i*u + 85. Suppose 8 = 4*m, -2*o + u = -3*m + 34. Is -9 bigger than o?
False
Let l be 2/((-8)/(-6))*132/(-1). Let n be (5/2)/(33/l). Suppose -4*p + 3*v = 61, 2*p + 2*v + 3*v + 37 = 0. Which is smaller: p or n?
p
Suppose 0 = -3*s + 4*k - 158 + 74, k - 84 = 3*s. Is -120 > s?
False
Let k = 1559.5 - 1559.8. Which is bigger: k or 743?
743
Suppose 5*j = 3*y + 11, -4*y = -j - 3*j + 12. Let d be 1/(-6)*12/y. Does 1/6 = d?
False
Let u be (240/(-6))/(-4)*(-2310)/(-275). Suppose -3*b - 6 = 3*k, -5*b - 7 = k + 7. Let j be (-1 + 43)*2 - k. Is j < u?
True
Suppose 0 = -3*x - x. Suppose 0 = 8*z - 73 - 175. Let b = 31 - z. Is x at least b?
True
Suppose -35074 = -78*n + 20462. Which is smaller: n or 710?
710
Let i be (1 - 2)/((-10)/(-2570)). Let o(k) = -37*k + 371. Let j be o(17). Are j and i non-equal?
True
Let j be ((-5)/(-235))/(-1)*1. Suppose -3*k = -4*b + k + 16, -4*k = 5*b - 20. Suppose b*u = -u + u. Which is bigger: u or j?
u
Let u be (-27)/(-24)*((-32)/60)/4. Do u and -0.54 have the same value?
False
Let i(q) = 2*q**3 - q**2 - q + 1. Let w be i(1). Let z = 0.37 - -181.63. Let u = -175 + z. Which is greater: u or w?
u
Let c be 1*(-2*(-12)/(-8) - 2). Let q be ((-4)/c)/((-22)/(-110)). Are q and 21/5 non-equal?
True
Let h(q) = 21*q - 56. Let j be h(5). Is j less than or equal to 19?
False
Let p be -5*(10 + -9) - -4. Are p and 6/323 nonequal?
True
Let c(a) = -5*a**2 - 7*a - 7. Let b(k) = -6*k**2 - 8*k - 8. Let n(u) = -6*b(u) + 7*c(u). Let i be n(-5). Do -1/5 and i have the same value?
False
Suppose 4*i - 8 = -3*q, 4*i + 2*q = i + 6. Suppose 9*f = 7*f + i. Let j be 21 + (-1 - f) + -2. Is j at least 18?
False
Let x be -1 + 14/8 + (25839/(-9860))/3. Is 1 equal to x?
False
Let t be (-1497)/(-6) - (51 - 46). Which is bigger: -0.1 or t?
t
Let s be 28/6*(-3)/6*-3. Suppose -11*c - r = -s*c - 4, -3*r = 4*c - 4. Which is bigger: c or -2/177?
c
Let g = 14284 - 4728. Which is smaller: 9557 or g?
g
Let i(m) = -3*m - 44. Let t = -123 + 108. Let s be i(t). Let y be -4*(-2)/(-10)*-3. Which is smaller: s or y?
s
Suppose 0 = s + 2 - 0. Let z = -4/7603 + -83605/53221. Which is smaller: z or s?
s
Suppose -34 = -4*d - l, -d - l = 4*d - 42. Suppose 25*o + d = 33*o. Does o = 1/279?
False
Let t = -26.686 + -0.114. Let c = -29 - t. Let x = 2.8 - c. Is -6 >= x?
False
Let w be -3 - (-40)/32*4. Suppose -4*s = 3*d + 828, 106 = -w*s - 4*d - 318. Is 1/4 not equal to s?
True
Let w(x) = x**2 - 5*x + 3. Let n be w(3). Let t be ((-12)/(-44))/(n/10). Suppose 0*u = -3*u - 5*u. Which is smaller: t or u?
t
Let w be (-82)/(-4)*8/(-2). Let a = 2853 - 2912. Let g = a - w. Is 23 less than g?
False
Let z = 0.0006 + 0.0512. Which is greater: z or -2?
z
Let h = -243971271/3523 - -69251. Which is smaller: h or -1?
-1
Let y(g) = 8*g + 1385. Let c be y(0). Let t be 0 - (c/175 + -8). Let i = 1 - 1. Which is bigger: i or t?
t
Suppose 0 = 2*m - 0*m - 20. Suppose -2*p + 86 = -6*l, 2*p + 41*l - 36*l + 24 = 0. Which is smaller: p or m?
m
Let p(y) = -2*y + 79. Let k be p(34). Let b(j) = j**3 - 11*j**2 + 4*j - 31. Let v be b(k). Is 5 greater than or equal to v?
False
Let x be (-2 - 6/33*5758) + -1. Let n = 1051 + x. Let p(v) = -v