ich is smaller: z or -24/11?
-24/11
Let w be (2 - 0) + 21/(-24). Let b = 69 - 65. Suppose -6*q + q + 8 = -2*t, b*t = -3*q - 16. Are q and w non-equal?
True
Suppose -33 = v - 10*n + 5*n, 0 = -2*v + 4*n - 36. Which is smaller: -1/8 or v?
v
Let c be (-8)/28 - 6/(-21). Let q be (-1 + (-1 - c))*24/1704. Suppose 4*n - 2 - 2 = 0. Which is bigger: n or q?
n
Suppose -a - 16 = -4*b + 41, -3*a - 3*b - 141 = 0. Suppose 0 = -16*u + 13*u - 150. Is u greater than or equal to a?
False
Let i = -5 - -3. Let v = -2292 - -2273.97. Let f = 18 + v. Which is bigger: f or i?
f
Let n = 0.1 + -0.3. Let t = -6.939 + 0.139. Let h = t - -6.4. Do n and h have the same value?
False
Let w = 3405 + -5049. Let q be (-4 + (-6592)/w)*(-9)/(-6). Which is smaller: q or -1?
-1
Let a be (-13*12/48)/((-1)/(-12)). Which is bigger: -119/3 or a?
a
Let l(a) = a**2 + 20*a. Let d be l(0). Which is smaller: -27/40 or d?
-27/40
Let m be 2 + 1258/22 + 2/(-11). Let f = m + -102. Which is smaller: f or -44?
-44
Suppose -5*x + 3*x + 4*f = 20, x + 2*f + 6 = 0. Let k be (-15)/60 + (-146)/x. Which is smaller: k or 17?
17
Let t = 1.28 - 12.08. Let z = -9.9 + -1.1. Let r = z - t. Which is bigger: 2 or r?
2
Let u(s) = -s**2 + 3*s + 1. Suppose 13*o = 81 - 16. Let w be u(o). Which is bigger: w or 0?
0
Let a(f) = -f**3 + 13*f**2 + 32*f - 26. Let v be a(15). Let q(o) = -o**3 + o**2 + 10*o + 4. Let k be q(v). Which is smaller: k or -5?
-5
Let r = 22/5 - 4. Let q = 0.23 - 0.03. Which is greater: r or q?
r
Let w = -635 + 604. Which is greater: -32 or w?
w
Let o = 0.1497 + -0.0497. Let m = 1.79 - 1.6. Which is bigger: o or m?
m
Let r = -63 - -62.22. Let n = -0.22 + r. Which is bigger: -8 or n?
n
Let q = -20.22 + 12.42. Is 0.1 >= q?
True
Let i be (-214)/(-120) + (30/25)/(-6). Is 3 less than i?
False
Suppose 2100 = 5*p + 5*z, 10*z = 5*z + 15. Which is greater: p or 416?
p
Let f be (-260)/665 - 2/(-7). Suppose 4*q = 6*q. Does q = f?
False
Let t = 10 - 14. Let i = 6 + t. Let r be 5/(-2 + i + 1). Is r less than 6?
True
Let v(k) = k**3 + k**2 + 4. Let p be v(0). Suppose 5 = -d + p*i - 3, -31 = -4*d - 5*i. Suppose 5*w - d = w. Which is greater: -2/7 or w?
w
Let p(b) = 2*b**2 + 3*b + 5. Let m be p(-2). Suppose -4 = 3*q - m*q. Let x = -4/9 - -7/36. Which is smaller: x or q?
x
Let q = -21.92 + -0.08. Let k = q + 24. Which is smaller: k or -5/6?
-5/6
Let t = -624 - -623. Is t at least 3/860?
False
Suppose -4 = -j, -5*w - 3*j + 111 + 101 = 0. Which is smaller: w or 39?
39
Suppose 0 = -2*n, -3*v = -v - 5*n - 6. Suppose 0*k - 6 = -v*k. Suppose 3*p = k*p + 1. Is 3 less than or equal to p?
False
Let w = 17 - 3. Let r = -13.6 + w. Is 7 greater than r?
True
Suppose 73*p - 70*p - i + 119 = 0, 4*p = 3*i - 162. Which is bigger: -38 or p?
-38
Let x = -166 + 165.96. Let c = -7.84 - -8. Let t = x - c. Is 1/3 greater than t?
True
Let k be 22192/(-90) - (152/36)/19. Which is bigger: -248 or k?
k
Suppose -d - 24 = -v, -120 = 5*d + 8*v - 3*v. Is d at least as big as -24?
True
Suppose 3 = -t + 4*t. Let a(r) = r**3 - 3*r**2 + 1. Let n be a(t). Let j = 5 + -4.6. Which is smaller: n or j?
n
Suppose 0 = -3*q + q. Suppose q = 3*k + 11 + 19. Let c = k - -21. Is 11 < c?
False
Suppose 0*x - 4*x = 12. Let y be x - -7 - (-1175)/(-295). Which is greater: y or 1?
1
Suppose 0*v + 3*x - 28 = v, 3*v + 76 = x. Let r = -28 - v. Which is smaller: -2 or r?
r
Suppose -8 = 2*n - 12. Let u be ((-76)/24 - -3)*n. Suppose -j = 2, 4*j - 2*j + 4 = -3*o. Which is bigger: o or u?
o
Let i(v) = -6*v**2 - 13*v + 34. Let n be i(10). Let p be (-1)/2 + n/(-16). Which is smaller: p or 45?
p
Let a be (45/(-27))/(15/(-27))*22. Do a and 68 have the same value?
False
Suppose -3*p = -5*p + 42. Let u be (-342)/(-19) + 4/(0 - -1). Which is smaller: u or p?
p
Let u = 73/78 + -10/13. Let m be (3/9)/(2/(-2*3)). Is u > m?
True
Let n be 1/(-5) - 288/(-15). Suppose d = n - 2. Let b = d - 18. Which is smaller: 2/7 or b?
b
Let c = -478 + 523. Which is bigger: c or -7?
c
Let g(m) = 38*m - 152. Let l be g(4). Let c = 24 + -42. Which is greater: c or l?
l
Let c(q) = 15*q + 78. Let j be c(-5). Let h be 0/(1 + -2) - -5. Let n be h/(15/12) + j. Is n greater than or equal to 6?
True
Let k = 6431/206916 + -35/401. Let l = k + 6/43. Are l and 1 unequal?
True
Let f be (-1395)/(-18) + 8 + -1. Is f < 85?
True
Suppose 0 = 721*c - 723*c - 456. Which is bigger: -1141/5 or c?
c
Let b = -2 - 2. Let x be b/(75/(-24) - -3). Suppose 0 = 4*a - w + x, -4*a - w = -a + 24. Is -6 less than or equal to a?
False
Let g(p) = -p**2 - 52*p + 481. Let h be g(-60). Are 9.33 and h unequal?
True
Suppose -5 = -2*b + 3. Suppose 0*u - 4*l = 2*u, 2*u + 5*l = b. Which is smaller: u or -16?
-16
Suppose 2*o - t = -185, 3*t - 4*t - 3 = 0. Which is smaller: -1/2 or o?
o
Suppose 11 = 3*q - 2*y - 15, 61 = 3*q + 5*y. Let g be (94/q - 0)/(2/3). Is 11 greater than g?
False
Suppose -26*k + 70 = 44. Which is smaller: k or -10/317?
-10/317
Let w = -8 - -18. Suppose -8420 = -8*p - 8364. Which is smaller: p or w?
p
Let n be ((-112)/(-84))/(4/42). Suppose n*w - 215 = 19*w. Is -45 greater than or equal to w?
False
Let g = -0.084 + -15.916. Which is greater: g or -8?
-8
Let m = -8 - -5. Let a = -14 - -19. Suppose -2*i - i = -4*f - 13, a*f - 3*i = -17. Is m equal to f?
False
Let g(w) = 6*w**2 - 40*w + 84. Let n be g(2). Do n and 206/7 have different values?
True
Let r(g) = 4*g + 24. Let w = 5 - 13. Let s be r(w). Is s > -12?
True
Suppose 9*b + b = 0. Which is bigger: 5/84 or b?
5/84
Let o = 184 - 318. Let c = o - -146. Which is greater: c or 11?
c
Let h be (((-44)/(-66))/((-2)/(-1)))/1. Are 166 and h non-equal?
True
Let n be 3 + -3 - (-1 + 1). Suppose 0 = -o - p - 2, -3*o - 4*p + 3*p - 2 = n. Suppose -4*w - 3*k = -8, -2*w + o*k - k = -6. Which is smaller: -1/3 or w?
-1/3
Suppose 3*a - 3*j = 90, -4*a - 3*j + 110 = a. Let z(k) = -2*k + 3. Let b be z(0). Suppose v + 4*s = 36, 0 = -v + 5*v + b*s - 105. Is v < a?
True
Suppose 10*y + 66 = 16. Let t(b) = 7*b - 2. Let u be t(y). Do -38 and u have the same value?
False
Let j = -4/37 - -298/703. Is -5 smaller than j?
True
Let i be (-1 + 190/186)*-6. Let y = -144/155 - i. Suppose -3*s + 10 = -5*x - s, -x - 2 = 4*s. Is x != y?
True
Let a = -2371 + 2354. Which is bigger: -41 or a?
a
Let s(a) = a**2 + 8*a - 14. Let p be s(-8). Let c = p - -20. Suppose -c + 8 = -j. Is j bigger than 0?
False
Suppose -10 = 2*n + 2*t, -4*n + 8*n - 5*t - 25 = 0. Which is bigger: -5/18 or n?
n
Let r be (-2860)/819 + (-2)/9. Does -5 = r?
False
Suppose -4*t = -5*f - 42, 2*t + 5*f = -0*t + 6. Let s = -19.6 - 3.4. Let r = -23.2 - s. Do r and t have the same value?
False
Let z(v) = 3*v**3 + 2*v**2 - 2*v - 1. Let b be z(-2). Let l = -275 + 261. Which is greater: l or b?
b
Let x(v) be the second derivative of v**5/20 - 2*v**3/3 + 10*v. Let w be x(3). Let j be (-204)/18*(-6)/4. Are j and w equal?
False
Let r(u) be the third derivative of 0*u + 1/6*u**3 + 0 + 4*u**2 - 3/20*u**5 + 0*u**4 + 1/120*u**6. Let f be r(9). Is f greater than or equal to -1?
True
Let a(n) = 4*n**2 - 98*n - 27. Let u be a(25). Let d(y) = -y**3 + 8*y**2 - 5*y + 10. Let z be d(7). Is z <= u?
False
Suppose 1068*d = 1062*d - 342. Suppose 5*x = -5*y - 255, -5*x - 285 = -3*y + 2*y. Which is smaller: d or x?
d
Suppose -2*l + 10*l - 56 = 0. Let b = -5 + l. Which is smaller: b or 7/13?
7/13
Let f be (5/(135/(-48)) + 2)*-3. Let c = 0.28 + 0.32. Do f and c have the same value?
False
Let y = 310 - 136. Which is greater: 2 or y?
y
Let h = 199 - 203.8. Is 1 > h?
True
Let w = -11 + 4. Let p = 4 - w. Which is bigger: p or 10?
p
Suppose -2*p = -4 + 6. Suppose 5 = 3*d - 4*d. Let g be (d + 3)/(p + -2). Is g >= 6?
False
Let o be ((-18)/(-12))/((-5838)/(-974)). Let g = -5/139 + o. Is g smaller than 1?
True
Let l be 4/14 - 48/70. Let s = -12 + 8. Let x be 1*(s + -2 + 6). Is l <= x?
True
Suppose y = -71 + 31. Let g be (y/(-75))/8*4*3. Is g bigger than 0.3?
True
Let p be (-960)/(-237) + (1 - 1 - 4). Is 0 != p?
True
Suppose 28*i + 1768 = 20*i. Which is smaller: i or -220?
i
Suppose -i + 0*i - 21 = 0. Let n be (-231)/33 - (1/(-1) - -16). Which is greater: n or i?
i
Suppose 3*h + 651 = 10*h. Which is bigger: 92 or h?
h
Let p be (-40782)/(-5097) - 152/19. Are -1 and p unequal?
True
Let v = 488 + -710. Is -222 < v?
False
Suppose -n = c - 3*c + 3, 5*c + n = -10. Let g be c + (45/3)/3. Suppos