 smaller: 1/224 or m?
1/224
Suppose -13*u = -16*u + 6. Suppose -2*k - x = -7, u*x - 4 - 3 = 3*k. Do k and 2 have different values?
True
Let w = -34 + 33. Let m = 14 - w. Let b = -31 - -44. Is b < m?
True
Let u(i) = 9*i + 30. Let x be u(-9). Let v = -815/16 - x. Which is smaller: v or 2/9?
v
Let k = 11.33 - 11.23. Which is bigger: k or -19.1?
k
Let d = -113 - -74. Suppose 0 = 5*v - 5*r - 10, -4*v + r = -0 + 1. Which is smaller: d or v?
d
Let q = 4.59 + -3.99. Are -2/97 and q unequal?
True
Let u be 6/(-4)*(-96)/(-18). Let k(h) = -h - 6. Let j be k(u). Let y be 5 - (j - (2 + -3)). Is y at most as big as 3?
True
Let v = -38 + 37.81. Let h = -0.3 - v. Let g = -1.59 + h. Which is smaller: g or 0.1?
g
Let t be 6/12*(0 - 0). Suppose t = -6*s + 4*s. Suppose 0*u - 5*u = s. Which is smaller: -7 or u?
-7
Suppose -39*v + 46 - 284 - 74 = 0. Suppose x - 3*g - 3 = 0, -6 = x + 2*g + 16. Let b = 3 + x. Which is smaller: b or v?
b
Let x = 1269/2 + -638. Is 3/5 less than x?
False
Let n(k) = k**3 + 22*k**2 - 22*k + 18. Let f be n(-23). Let j = 15 + f. Is 4 != j?
True
Let l = -2 + 2. Let k = 1 - l. Let b = -50/7 - -257/35. Which is smaller: b or k?
b
Let w(r) = 2*r + 16. Let d be w(-16). Which is bigger: d or -204/13?
-204/13
Let r = 11.06 - 11. Let u = -0.14 - r. Let a = 16.06 + -16. Is a <= u?
False
Let n = 42/13 + -383/26. Let p = 0.01779 + 0.98221. Which is smaller: p or n?
n
Let o be -4 + 3/((-3)/(-2)). Let u = -3 - o. Let z(x) = x**3 - 45*x**2 + 130*x - 6. Let f be z(3). Which is greater: u or f?
f
Let l = 616 + -617. Which is smaller: -2/4949 or l?
l
Suppose g = -5*b - g - 1232, 5*b - 3*g = -1252. Let h be 3/(-4)*b/12. Let j = -15 + h. Which is smaller: -3 or j?
-3
Let m be (3/33)/((-2)/(-316)). Which is greater: 15 or m?
15
Let o(f) = f**2 + 4*f - 1. Let a be o(-5). Suppose 0 = 3*x - 4*z - a, -6*x + x + 3*z + 25 = 0. Is 9 < x?
False
Let b = -270 + 154. Is b at least -116?
True
Let o = -63 - -52.8. Let l = o + 10.6. Let p be (2 + -1)/(2/(-2)). Is p <= l?
True
Let r be 13 - 15 - 6575/(-20). Is 327 < r?
False
Let u = -216 - -217. Which is smaller: u or -18/247?
-18/247
Let a(s) = s**2 - 9*s + 4. Let l be a(9). Let y be (-5264)/60 + l/(-6). Let u = y - -88. Do u and 1 have different values?
True
Let c = -0.08 + -0.57. Let i(h) = h**2 + 20*h + 36. Let j be i(-18). Is c less than or equal to j?
True
Suppose h + 3*y = 5, -5*h = -5*y + 13 - 78. Is 11 > h?
False
Let j = 1/35 - 3/5. Let c = 2367/14 - 168. Let t = j + c. Are t and 1 non-equal?
True
Let j = -2896/7 - -4203/14. Which is smaller: j or -115?
-115
Let b(j) = j**3 + 4*j**2 - 10*j + 73. Let w be b(-7). Do -8/23 and w have the same value?
False
Let g = -39.3 + 41. Let z = 8.1 + -10.1. Which is bigger: z or g?
g
Let d(z) = -5*z**2 - 5*z + 2. Let y be d(-4). Let s = -57 - y. Is s at most -2/53?
False
Let g(m) be the second derivative of m**5/20 + m**4/4 + m**3/6 + 3*m**2/2 - 4*m. Let d be g(-3). Let b be (-112)/36*(-3 + (-21)/(-8)). Which is greater: b or d?
b
Let s = -135.1 - -135. Do s and 10.2 have different values?
True
Let m be 35/(4 - 45/10). Let k be (0 - -1)*20/m. Is 6/5 smaller than k?
False
Let i be (-2 - -3)*10/(-30). Let j = -4.98 - 0.02. Let v = 9 + j. Is i bigger than v?
False
Let q(o) be the second derivative of o**5/20 - o**4/4 + o**3/6 + o**2/2 - 21*o. Let k be q(2). Suppose -5*z + 3*z - 2 = 0. Is z at least k?
True
Let c be -1*3 - (-32913)/10494. Let p = -3 + 4. Which is greater: p or c?
p
Suppose -1104 = 2*t - 1150. Which is greater: -8 or t?
t
Suppose 26*b + 25 = 31*b. Suppose 0*h + 2*y - 81 = b*h, -5*h - 3*y = 91. Is h <= -16?
True
Suppose -15 = 13*o - 93. Is o at least -247?
True
Let t be 20/(-12)*1*22/(-15). Is t less than 2?
False
Let j = -125 - -622/5. Let f be (-8)/(-2) - (3 + -7). Let m be (-3)/4 - f/32. Is m greater than j?
False
Let t(l) = l**3 - 37*l**2 + 39*l - 113. Let h be t(36). Which is greater: h or -1?
-1
Let d be (1/2)/(3/42). Suppose 5*t - 3 = d. Suppose -5*b + 4 = -x - t*x, -2 = -2*b + x. Is 2 at most b?
True
Let n = -30 - -102. Let r = 65 - n. Which is smaller: r or 0?
r
Let r(f) = -f**3 - 12*f**2 - f - 12. Let s be 8/6*(-7 - 2). Let w be r(s). Suppose 9*u - 4*u = w. Is 1 < u?
False
Let q be 4/6 + 80/6. Let a be (-4*(-3 - -2))/q. Let s be 2/10 - 3/135*27. Are a and s equal?
False
Let a(w) = w**2 - 12*w - 7. Let g = 16 - 4. Let i be a(g). Let r be (1/2)/(i/28). Which is smaller: r or -2/3?
r
Let f = -0.62 + 0.72. Is 11.1 greater than or equal to f?
True
Let i = -909/2 - -456. Which is greater: i or 3?
3
Let w = -2686 - -2686. Which is greater: w or -1/496?
w
Let u = 179757 + -724565/4. Let q = u - -1392. Let d = -15/2 + q. Which is smaller: d or -0.1?
-0.1
Suppose 0 = -4*m + 615 + 645. Let n = 10079/32 - m. Let w(u) = -u**2 + 3*u. Let i be w(3). Which is bigger: i or n?
i
Let o = 128 + -131. Let d be 4/((-32)/(-4))*-2. Is o at least as big as d?
False
Let f be (-2)/1 + (-69)/(-37). Let i = -82/333 - f. Suppose 11 + 17 = -28*n. Which is bigger: i or n?
i
Let l be 2/(0 + -2)*(-7 - -7). Suppose -7*m + 4*m - 93 = l. Which is smaller: m or -32?
-32
Let b = -136.049 - -136. Let o = b + -0.051. Which is smaller: -4 or o?
-4
Let v = -12 - -14. Let y be (309/(-153) + v)*1. Let h = -35/51 - y. Are h and 0.4 nonequal?
True
Let c = 3/730 + 721/2190. Which is smaller: c or 159?
c
Let l be 16/6*(-18)/(-12). Suppose 0*z + 96 = l*z. Suppose -5*c - 2*q - 48 = 0, 4*c + 4*q = 6*q - z. Is c >= -9?
True
Suppose 0 = -26*l + 9*l - 4216. Is -246 greater than or equal to l?
True
Let l(g) = 2*g - 1. Let d(m) = m. Let z(k) = 4*d(k) + l(k). Let o be z(-2). Let f = 60 + -74. Which is greater: o or f?
o
Let k = -67/7 + 66/7. Let m(t) = -t + 10. Let j be m(0). Suppose -5*q + j = -5*l, -2*l - q + 8 = q. Is l less than k?
False
Let m = -235 - -231. Let w = -2 - 4. Which is bigger: m or w?
m
Let x(p) = -p**2 - 15*p - 27. Let z be x(-12). Is z less than 11?
True
Let v be -3*1/(-14)*-34. Let w be (1/(-2))/((-1)/(-14)). Which is smaller: v or w?
v
Suppose 3*z + 97 = -d + 310, 0 = 3*z - 3*d - 201. Is z at least as big as 66?
True
Let s = -108.2 + 108. Suppose -5*q = -q + 72. Which is smaller: q or s?
q
Let c = 1017 - 1017.46. Is c smaller than -0.05?
True
Let a be 8/(-198) + (-2)/(-9). Let j(h) = -h**3 - 24*h**2 - h - 26. Let i be j(-24). Is a greater than or equal to i?
True
Let v(s) = 3*s**2 + 22 + 20 + 19 + s - 65. Let d be v(5). Is 77 > d?
True
Let z be (-3)/(1 + (-20)/25). Let h be ((-25)/z)/(-5)*249. Does h = -82?
False
Let m(o) = -o**2 + 2. Let z be m(-2). Let d = z + 2. Suppose -4*f = -d*f + 8. Which is greater: f or -7/5?
-7/5
Let b be ((-6)/(-15))/(-1 - 11/(-10)). Is b >= 18/7?
True
Let x be 4/(-4) + (-99)/(-11). Is x != 26/3?
True
Let s = -16.6 + 1.6. Let p = 25 + -13. Let u = s + p. Which is smaller: 1 or u?
u
Let i(w) = -w**3 + 43*w**2 + 90*w - 1. Let f be i(45). Which is greater: 1/7 or f?
1/7
Suppose -1 = a - 4*u, u + 2 = -0*a + a. Let r = a + 56. Is r bigger than 58?
True
Let c be 125/(-20) + (1 - -3). Let g(f) = f**2 + 6*f - 2. Let h be g(-7). Let i = -7 + h. Which is bigger: c or i?
i
Let x be ((-4)/28 + 24/70)*-55. Is 80 equal to x?
False
Let j be 47/6 + 4/24 + -3. Suppose -14 = -5*r + 6. Suppose j*b + r = -1. Is b equal to -2/5?
False
Let j = -163/399 + 10/133. Is j greater than or equal to 1/35?
False
Let p = -33 + 53. Let v = -19.8 + p. Is v >= 1/29?
True
Let v be -9 - (-15)/2 - 397/2. Is v != -201?
True
Let n(q) = 4*q + 7. Let x be n(-5). Suppose 103*k - 52*k = 53*k + 12. Which is bigger: x or k?
k
Let x be (-28)/8 + 4 + (-2030)/4. Let s = x - -35996/71. Which is smaller: 1 or s?
s
Let s(a) = 4*a**2 + 7*a + 87. Let z be s(0). Which is smaller: z or 6?
6
Let s be (-1)/2 + (-3852)/(-333) + -11. Which is smaller: 0 or s?
0
Let i = -0.74 + 1.1. Let c = i + 0.84. Suppose 4*w - 2*v + 4 = 0, 2*v = 5*w - 0*w + 4. Is w at most as big as c?
True
Let a = -277 + 278. Is 7 at most as big as a?
False
Let v be (0 + 18/24)*108. Which is bigger: v or 82?
82
Let g be 24/10 - (8/10)/2. Suppose -3*w - g*u = -34, 5*w + 10 = -u + 69. Do 12 and w have the same value?
True
Suppose 4*t + 3*r = 0, t = r - 5*r. Let z be (2/(-8) - 0) + t. Let l(u) = u + 1. Let p be l(0). Is p at least z?
True
Let r = 2201/5 - 6637/15. Is -2 < r?
False
Suppose 5*u - 16 = 4*b, -3 = 3*b - 4*u + 10. Which is bigger: 2/9 or b?
b
L