 y or 9?
9
Suppose o - 28*o + 46656 = 0. Which is bigger: 1727 or o?
o
Let b = 105 + -102.28. Let z = -1.61 + b. Let k = z - 0.01. Which is greater: -1 or k?
k
Let f be (-5)/(-2)*(-18)/15. Let p be f + (-2 - -8)/2. Which is smaller: 4/7 or p?
p
Let t = 0.064 + 74.936. Let u = t - 117. Which is smaller: -1 or u?
u
Suppose -4*p + 3 = -9. Suppose -5*o = -2*z - 252 - 52, 4*o - 239 = p*z. Is o bigger than 63?
False
Let s = -486 - -502. Which is smaller: s or -0.5?
-0.5
Let m be (0 - 0) + 90/10. Suppose m = 2*x - 5*f - 10, -3*f = -3. Are 13 and x nonequal?
True
Let r = 0.1546 + -10.1546. Which is smaller: r or 64?
r
Let k(h) = -h**3 - 15*h**2 - h - 5. Let f be k(-15). Suppose f*b = 8 + 2. Is b not equal to 2/15?
True
Let k = 73320/61 + -1202. Let r be -1*(-18 + (-4 - 1)). Suppose -r*f + 20*f = -3. Which is smaller: k or f?
k
Suppose 5*v = 20 - 0. Suppose 13 - 38 = -5*h. Is h greater than v?
True
Let z = -123805/52 + 2381. Which is smaller: z or 0?
0
Suppose 0 = -2582*x + 2591*x - 9. Is x greater than 7/34?
True
Let x be (-2)/((-10)/(-4) + -2). Suppose 0 = -325*k + 48 - 1998. Which is smaller: x or k?
k
Let i = 17260720333/31635 + -545621. Let r = i + -14646977/442890. Let t = r + 33. Is t greater than 0?
False
Suppose -141 - 123 = -11*f. Let r be ((-20)/f - (-1)/3) + 0. Let a = 402/5 + -81. Are a and r non-equal?
True
Suppose -4*m + 3 = -81. Let w = m - 37. Let c = w - -16. Which is bigger: c or 0.1?
0.1
Let u = 1/213 - -139/639. Let p = u - 17/36. Does p = 3/2?
False
Let o be ((-2)/(-20))/(90/(-15480)). Let j(p) = 5*p - 2. Let c be j(-3). Let r = o - c. Do r and 2 have the same value?
False
Let w = 74312 + -373107/5. Which is smaller: w or -309?
w
Let h be 2 - 28*(9/12 + 0). Let t = 18 + h. Is -21/11 < t?
True
Suppose 0*c + 10 = 5*c. Suppose n - 6 = 3*i, -48 = -4*n + 2*i + c*i. Suppose -2*v + n = -3*v. Are v and -16 equal?
False
Let t be (72/(-210))/(6/465). Which is greater: -28 or t?
t
Let i be (-3 - (-12)/3)/(-1). Let a be (-122)/(-468) - (-6)/(-27). Are i and a non-equal?
True
Let a(o) = o**2 - o + 1. Let d = 1 - -2. Let u(r) = 2*r**2 + 7*r + 10. Let s(t) = d*a(t) - u(t). Let p be s(11). Which is greater: p or 5?
5
Let j be ((-14)/42)/(-5 - 3282/(-675)). Which is greater: j or 2?
j
Let n be (-24)/(-10)*((-2480)/279 - -9). Suppose -7*r + 1 = -2*r - 4*w, -2*r - 4*w + 6 = 0. Which is smaller: r or n?
n
Let x = -17711/1638 + 197/18. Is x <= 1?
True
Let v be ((84/35)/(-6))/(6/15). Let q = -3/5006654 - 148942264/9500125965. Let z = q - 1/165. Which is smaller: v or z?
v
Let d = 75 + -68.2. Let f = 16.2 + -10.2. Let h = f - d. Do 2/3 and h have different values?
True
Let b = -28 + 28. Let n be (-66)/(-133) - 2/7. Which is greater: b or n?
n
Let p be (-1)/((-252)/35 + 7). Is 0.82 <= p?
True
Let z = -61174/483 - -380/3. Let o = 67/161 + z. Is o equal to -3/10?
False
Let s = 10 + -22. Suppose 1 = -3*t - 2. Let k be -9 + 2 + (t - 3). Are k and s non-equal?
True
Suppose 2*u - 5*u - 177 = 0. Suppose 10*p - 1674 = 28*p - 630. Which is smaller: u or p?
u
Let i(u) = -65*u**3 + u**2. Let k be i(1). Let z be 208/k - 1/(-4). Which is bigger: z or -2?
-2
Suppose 0 = -10*k - 243 + 13. Let o = k - -13. Is -29/3 bigger than o?
True
Suppose 0*p + 24 = 4*p. Let w = 9 - p. Suppose 15*y + 4*b = 17*y - 24, 3*y - 3*b - 24 = 0. Are w and y equal?
False
Let z = 69 - 68. Which is bigger: 8/9 or z?
z
Suppose 10*f = 8*f + 78. Let y be 6/f + (-4924194)/(-2691). Let g = y + -1830. Which is greater: g or -1?
g
Let m be (-18)/(-45) - (-6)/(-15). Suppose m*q - 2*q = -162. Is q >= 80?
True
Let k = -113298 + 1471950/13. Which is bigger: k or -70?
-70
Let o be 1280/768 + ((-8)/(-6))/1. Which is smaller: o or 75/22?
o
Let j = -11 - 0. Let a = j - 10. Let x = -17 - a. Is -0.2 greater than or equal to x?
False
Suppose 7 + 8 = i + 4*g, -5*i - 5*g + 75 = 0. Which is greater: i or 109/7?
109/7
Let p = -2 + 2.1. Let f(v) = 3*v + 26. Let z be f(-9). Let q be (-8)/(-27)*12/8*z. Is q bigger than p?
False
Let r = 11.9 - 12. Let q = -1.1 - r. Let u be 1/4 - 2/8. Is u at least as big as q?
True
Let g = 2/79 + -177/3871. Which is greater: 1 or g?
1
Let u = 0.028 + -42.028. Let b = -41.8 - u. Which is smaller: b or -1/2?
-1/2
Let p = -14 + 19. Suppose 3*m - 39 = p*g, -4*m = -0*m + 2*g - 26. Let f be m*(3 + 165/(-54)). Which is smaller: f or 1?
f
Let h be (4 + (0 - 62))*-1. Suppose 2*l = 5*m - h, -5*l = -0*m - 4*m + 60. Does 28/3 = m?
False
Let d = 41 + -56. Let f = d + 13. Are -3/2 and f equal?
False
Let j = -450 - -875/2. Let h = j + 14. Suppose 5*v = -2*a + 4*v + 4, -5*a - 3*v = -9. Is h at most a?
True
Let u = -121 - -121.27. Let w = 3.6 + -3.33. Let c = u - w. Which is bigger: c or -5?
c
Suppose 0 = -2*a + k + 16, 1 = -a + 4*k + k. Let q = a - 30. Let w be (-14)/q + 6/(-9). Which is bigger: 5 or w?
5
Let l = 32.56 - 32. Let u = l - 0.7. Let w = -453.9 + 453.8. Is u > w?
False
Let s be ((-50)/15 + 5)/(2/6). Which is bigger: 4 or s?
s
Let o(l) = l**3 + 10*l**2 + 24*l - 6. Let t be o(-5). Is t not equal to -2/591?
True
Let l = 303 + -308. Do -29 and l have different values?
True
Let b = -6 - -12. Let n(z) = z**2 + 5*z + 1. Let y(q) = 2*q**2 + 9*q + 2. Let t(p) = -7*n(p) + 3*y(p). Let i be t(-7). Is b != i?
False
Let i(g) = 36*g + 14. Let j be i(-1). Is -245/11 >= j?
False
Let o be 0/1 + (-138 - 3). Is -142 > o?
False
Suppose 0 = 3*s - 1 + 1. Let q be s/(5*1 + (-36)/12). Let w = -2379/14 + 170. Which is greater: q or w?
w
Let i = 3 + -25. Let z = i - -24. Let h be -1 + -28*z/(-60). Is -1 greater than h?
False
Let l be ((-26412)/8 + 5)/(-210). Let r = l - 110/7. Is r >= 0?
False
Suppose 4*c = 2*w - 40 + 12, -w = -3*c - 20. Is c bigger than -11?
True
Let g be 64/(-48)*(-459)/114. Is 6 less than g?
False
Let j = 188 + -340/3. Is j smaller than 76?
True
Let a = -421 - -404. Which is smaller: a or -135/8?
a
Let m(o) = -o**3 - 7*o**2 - 5*o + 17. Let b be m(-6). Let r = 0.12 + -1.12. Which is smaller: b or r?
r
Suppose 3*y = 2*v, 2*v - 32 = -8*y + 3*y. Let a(r) = r**3 - 5*r**2 - 7*r - 3. Let w be a(v). Let f be w/4 - (-8)/4. Are 0 and f equal?
False
Suppose 18052 = 23*s - 3131. Which is smaller: 922 or s?
s
Let t be ((-58320)/7112 + 7)*5 - -6. Which is smaller: 0 or t?
t
Suppose -4*q + 220 = -148. Suppose 3*f - 26 + q = 0. Let n = f - -21. Which is smaller: -12/7 or n?
-12/7
Let u be ((-2)/8)/1 - 21/28. Which is smaller: -154 or u?
-154
Let c be (-1)/((-5)/(-2) + -2). Let z(p) = 14*p + 1. Let u be z(c). Let w be 1 + 1*u/33. Which is smaller: w or -2/9?
-2/9
Let r = -3.6 + -13.4. Let f = 45 + r. Is -1/2 equal to f?
False
Suppose -11*d = -6*d + 655. Which is smaller: -132 or d?
-132
Let k = -201 - -139. Let a = 53 + k. Is a smaller than 1?
True
Suppose -20 = 12*o + 52. Suppose c + 16 = -2*b, 0 = 3*c + c + 5*b + 49. Is c smaller than o?
False
Let j = -46493 + 137228/3. Let c = j - -759. Which is smaller: c or -2/7?
-2/7
Let h = -2/553 + -1084/6083. Let a = 0.008 - 27.008. Let f = a - -24. Is h less than f?
False
Suppose 4*g + m - 24 = 0, -m = -5*g - 0*m + 30. Let d be 320/30*(-1 + -14). Let v be d/(-30) + (-2)/(-3). Are v and g nonequal?
False
Suppose -2*b - 92 = -92. Suppose -4*y - 6*f = -2*f + 36, -f + 3 = b. Which is smaller: 0.1 or y?
y
Let f = -0.768 + 0.768. Is f greater than 439?
False
Let t(q) = 5*q + 18. Let x be t(-6). Let n be 2/6*18/x*0. Which is bigger: n or -0.11?
n
Let n = 169.7 - 169.8. Which is smaller: n or 14.22?
n
Let m = 7 - -5. Let t be -5 - (3 + -5 - 1). Let y be (-18 + m)/(t/(-3)). Which is bigger: -2 or y?
-2
Let v = 3/209 + 815/1463. Suppose 0*j + 20 = 5*j. Suppose -2*g - j = g - 4*l, -g = l - 1. Which is smaller: g or v?
g
Let i = -6/217 + 37/217. Let h(l) = -l + 2. Let b be h(3). Are i and b equal?
False
Suppose -22*o + 23*o - 3 = 0. Suppose -3*h + h + 2*b = -4, -1 = -4*h - o*b. Is h at least 1/25?
True
Let j be ((-18)/8)/(69/184). Is -2 != j?
True
Suppose -1 = q - 6, 15 = c + 3*q. Suppose -2*s + c*s + 4*j + 22 = 0, -15 = -5*j. Let b = -12 + s. Is 5 at least b?
True
Suppose 4*m = -2*s + 116, -3*m + 4*s + 87 = -s. Let q(v) = v**2 + 45*v + 230. Let g be q(-5). Which is smaller: m or g?
m
Let h(c) = -5 + 3*c - 5 - 12. Let k be h(18). Let n be (-60)/16*k/42. Does -2 = n?
False
Let c = 0.43 - 0.72. Do -7 and c have the same value?
False
Let q = -182 + 182.036. Which is smaller: q or