smaller: -2/3 or k?
k
Let h(l) = 17*l + 88. Let a be h(-6). Which is smaller: a or -11?
a
Suppose 3*j + 18 - 175 = -g, 5*j - 259 = g. Let n = j - 45. Suppose n*y - 5*y = 0. Which is bigger: 4 or y?
4
Suppose 4*v - 207 = b, v + 5*b = -2*v + 161. Suppose -10 = 5*q, -4*q + 184 = -4*s + v. Is -36 greater than s?
False
Let u(c) = c**3 + 8*c**2 + 15*c - 1. Let m = 82 + -89. Let v be u(m). Is -57 less than v?
False
Suppose 0 = 5*b + n - 103, -5*b + 95 = -5*n + 10*n. Let f be (b/6)/(19/(-38)). Which is bigger: 4 or f?
4
Let c = -2329 + 2228.3. Which is smaller: c or -2/11?
c
Suppose 5*v - 5 + 10 = 0, -2*v = -5*l + 147. Let k(w) = w**3 + 22*w**2 - 23*w + 32. Let b be k(-23). Is b less than l?
False
Suppose 0 = 4*w + 3*g + 3, -7*g + 3*g = -w + 4. Is w at least 52/59?
False
Suppose -3*j = 4*d - 5*j + 31844, -2*d - 2*j - 15934 = 0. Let w = 3559459/447 + d. Does 0 = w?
False
Let d = 47 - 33. Let g = -79131 - -79141. Is g <= d?
True
Let d = 325 - 313. Suppose -83 = -d*k + 97. Is 16 bigger than k?
True
Let g be 1 + (-2 + (-36)/(-16))*(2 - 2). Let b be 2/(-9) + (-830)/(-9). Let t be b/(-437)*g/(-4)*1. Is -1/2 < t?
True
Suppose 139*t + 143*t + 189 = 283*t. Which is smaller: t or 201?
t
Let u = 1547 - 1550. Which is smaller: u or 35/12?
u
Suppose 2*t + 25 = 5*g, -2*g - 13 = -5*t - 44. Let h(x) = 2*x**2 + 11*x - 2. Let u be h(t). Let w(m) = -2*m - 7. Let j be w(0). Are j and u non-equal?
False
Let k = 162.8 + -152.6. Is -3 > k?
False
Suppose 5*t = 3*t + 4, m - 31 = -4*t. Let r = -17 + m. Let i = r - 5. Are i and -4 nonequal?
True
Suppose 8*l = 17 - 1. Suppose -12 = -5*b - l*c, 6*c - 3*c - 3 = 0. Suppose 5*r + g = -39 - 23, b*r - 4*g + 38 = 0. Which is smaller: r or -12?
r
Let j = -0.7015 + 33.7015. Are -14 and j nonequal?
True
Let u = 1.084798 + -0.084798. Let r = -2.9 + -4.4. Which is smaller: u or r?
r
Let b = -1631.6 + -221.4. Let u = b - -1859.073. Let y = -0.073 + u. Is 4 >= y?
False
Let c = 55 - 50. Suppose -2*j - 2*j + 3 = c*a, -3*j = -4*a - 10. Let s = -0.06 - -0.5. Which is bigger: a or s?
s
Let z = 2/1007107 - 2275088/131364015759. Let f = -1202743/11478456 + z. Let s = f + -2/99. Is s greater than or equal to 0?
False
Let b = 112 - 83. Let w(q) = -b - q**2 + 14*q + 5*q + 6*q. Let m be w(24). Which is smaller: -2 or m?
m
Suppose 3*y - v = -y + 17, y - v - 5 = 0. Let g(t) = -5*t**2 + 14*t - 2. Let i be g(y). Is -25 bigger than i?
True
Suppose 5*u + i = 2*i + 231, 0 = 4*u + 3*i - 181. Let a = u + -45. Let c(h) = h**2 - h - 12. Let p be c(4). Which is bigger: a or p?
a
Suppose -3*c + 326 = -2*q, 0*c - 5*q + 103 = c. Let z = -222 + c. Let i = -112 - z. Which is smaller: i or 4?
i
Let l = 71/471 - -86/471. Are -1.346 and l nonequal?
True
Let n = -0.62 + -76.38. Let q = 65 + 13. Let h = n + q. Which is greater: h or -22?
h
Let h = -0.054 - -3.614. Let i = -4.22 + h. Is 3 not equal to i?
True
Suppose -151*x + 7751 = 503. Are x and -0.1 equal?
False
Let i = 11480 - 11474. Which is greater: i or -39.6?
i
Let g = 325.6 - 8.6. Let u = 343 - g. Which is smaller: 0.07 or u?
0.07
Let y = -864 + 1114. Is y less than 250?
False
Let d be ((-68844)/(-21))/2 - (-11)/((-539)/(-42)). Is 18042/11 smaller than d?
False
Suppose -4179 = 27*v - 48*v. Suppose 31 = -24*a + v. Do a and -4 have the same value?
False
Suppose -x + 20 = 3*x. Suppose -3*z = -8*z - x. Let n be z*(2 - 135/65). Which is smaller: n or -0.1?
-0.1
Let x be (-48)/40*5 - 5/(-1). Let r be x/3 - (-7)/(252/(-51)). Suppose -y = 2 - 0. Is r smaller than y?
False
Let u = -1952090 - -1952090. Let z = 9486 + -47663/5. Let f = 46 + z. Which is smaller: f or u?
f
Let g = -61 + 98. Let b = g + -40. Let d be (2/23 + 0)*1/b. Which is greater: 0 or d?
0
Suppose -577863 = 4571*c - 4670*c. Does 5836 = c?
False
Suppose a - 3*a - t = -33, a + 2*t - 24 = 0. Let f be a/(462/(-55)) + (-2)/(-3). Do -2/31 and f have different values?
True
Let o be (-1)/((-24)/99316)*3/7. Which is bigger: o or 1775?
1775
Let y = 12 - 12. Suppose 24 + y = -4*g. Let r be 8/g*12/(-24). Is -6/19 at least as big as r?
False
Let i = 143 - 147. Let m = -14 + 20. Let s be i/2 - (12/3 - m). Is s equal to 4/21?
False
Let x = 29/5207 + -10/127. Suppose -y + 0 = -1. Which is smaller: x or y?
x
Let l = 1825/16 + -90353/784. Which is smaller: 0 or l?
l
Let s(b) be the first derivative of -b**3 + 7*b**2/2 - 21*b - 48. Let p be s(5). Which is greater: -59 or p?
-59
Let f = -35.46 + 36. Let w = 37.46 + f. Let l be (-15)/12*-4 + (-128)/24. Which is smaller: l or w?
l
Let p = 2728.8 + -2728. Is -141/2 greater than or equal to p?
False
Suppose 10 = -22*a + 27*a. Let s be a - (7 - 4)/(3/29). Is s smaller than -27?
False
Suppose -5*d = 5*n - 5, 3*n + 2*d = 1 + 4. Let b be (871/2412 + (-2)/(-24))*78/8. Is n greater than b?
False
Let z(j) = j**3 - 15*j**2 - 47*j + 705. Let v be z(15). Is -89/99 < v?
True
Let h = -4729 + 4726. Which is greater: -0.0643 or h?
-0.0643
Suppose -143 = 18*o - 125. Which is smaller: o or -150/113?
-150/113
Let l be (82 - 78) + 5/(-1). Let n = -116908/35 + 3340. Which is bigger: l or n?
n
Let g be ((-12)/(-40))/(6/180*-1028). Is 1 not equal to g?
True
Let n = -1882 - -1100. Let z = -847.9 - n. Let k = z - -66. Is k less than or equal to -2?
False
Let h be 986874/(-13158495)*-16 - 2*(-12)/(-20). Which is greater: h or -1?
h
Suppose -4*k - 5*j + 68 = 0, -15*k - 34 = -17*k + 5*j. Let n = -83 + 82.22. Let x = -0.22 + n. Are k and x equal?
False
Let x be -5 - (-19 - -14) - -1672. Which is smaller: 1671 or x?
1671
Let f be (-14 - -9)/((-45)/1098). Which is smaller: 1590/13 or f?
f
Let m = 0.3143 - 0.2143. Is -3011 < m?
True
Suppose -2*l + 3 = 5*v + 13, 4*v - 4*l = 20. Let c be 5336/(-6960) + 1/10. Is v greater than or equal to c?
True
Let t be (3/(-27))/((-3)/27). Suppose 5*j - y + t = -4, 10 = 2*y. Let f be ((-1)/2)/(10/(-2)). Is f smaller than j?
False
Let p = 10150/13 - 20313/26. Is -1.292 greater than p?
False
Let g be (-170259)/171 + 30/(-9). Which is smaller: -1000 or g?
-1000
Suppose 2*f + 7 - 11 = 0. Suppose -f = -4*t - 2. Suppose -6*u + 9*u + 36 = t. Are u and -12 unequal?
False
Let c = -12579.68 + 12581. Is c < 15?
True
Suppose 25*t + 2800 + 6976 = 1851. Is -326 != t?
True
Let h = 102154 + -230357264/2255. Let m = h + -15381/2255. Which is bigger: m or -8?
m
Suppose 64*q = 350*q - 10296. Which is greater: q or 608/17?
q
Let i = -1431/70 - -293/10. Let q = 6 + -4. Is i smaller than q?
False
Let w = 80 - 77. Suppose 771 = 4*r + 5*l, 0 = -2*r + w*l + 35 + 356. Is 194 > r?
False
Let u = -71680 - -504005/7. Is u less than 321?
True
Let p(y) be the third derivative of y**6/120 - y**5/20 - 3*y**4/8 - y**3/3 + y**2 - 18. Let q be p(5). Do q and 18/7 have different values?
True
Let r be (-3)/12 + 1169/(-28). Let n = r + 49. Let o be ((-4)/(-2))/(n - (4 + 5)). Is o greater than -12/13?
False
Let a = -575 - -583. Let m be (-55)/(-9) + 21/(-189). Is a at least as big as m?
True
Let z(w) = w**3 - w**2 - 3437. Let i be z(0). Which is bigger: i or -3438?
i
Suppose -155 = -2*v - 111. Which is smaller: v or 12?
12
Let m = -3842 - -3839. Is 4/7 equal to m?
False
Let a = 17917.7 - 17851. Is 3 < a?
True
Let v be (148/(-8) + 1)*(0 - 10). Let g = v - 105. Let b be (8/(-10))/(77/g). Which is greater: b or 0?
0
Let g = -12.011 - -12.411. Are g and -21/163 non-equal?
True
Let m = 138199/230315 + -2/46063. Let s(b) = 12 + b - 12. Let h be s(1). Which is greater: m or h?
h
Let w = 2/677023 + 8796207/1723700558. Let k = -3810063/5092 - w. Let g = -740 - k. Do g and 7 have different values?
True
Suppose 4*l + 5*c + 52 = 0, 0 = -9*c + 8*c - 4. Let q(d) = d**3 + 18*d**2 + 23*d + 101. Let b be q(-17). Which is smaller: l or b?
l
Let l = -278.64 - -278.04. Let m = 1.99 + -2. Is l >= m?
False
Let z = 215 + -214.921. Let m = z - 0.079. Which is greater: m or 7/5?
7/5
Let o = -32.1 + -104.9. Let b = o + 135. Is b at least 0.33?
False
Suppose 0 = 3*b, b + 1 = -2*a + 3. Let s = 2219522/255 - 8704. Do a and s have the same value?
False
Let d = -23 + 67. Suppose 0 = -13*o - 71 - 488. Let g = d + o. Which is greater: g or -1?
g
Suppose -2*p - 989*i = -984*i - 811, 5*p - 2068 = i. Which is smaller: p or 419?
p
Let n be 1/(-3) + 132/99. Suppose w = -214 + 215. Are n and w unequal?
False
Let p(w) = w**3 - 100*w**2 - 121*w + 2019. Let l be p(101). Which is smaller: l or -3/1057?
l
Su