11. Suppose 3*m = -5*q - 27 - 99, -3*q = -2*m - 84. Are m and p equal?
False
Let x be (145 + -142)*5/((-30)/32). Which is smaller: x or -175/11?
x
Let v = 330 - 336. Let k be 8 - ((-41)/v - 0). Which is bigger: 0 or k?
k
Suppose -3*l - 95 = -8*l - 3*t, t - 17 = -l. Suppose 0 = -l*j + 12*j - 1470. Are -146 and j nonequal?
True
Let j = 2/13 + 7/39. Let m = 0.03023 - 23.03023. Is j equal to m?
False
Let y = 52 - -171. Let m = y + -223. Is 1/238 at most as big as m?
False
Let k be -400 + ((-45)/(-7) - (-84)/(-196)) + -7. Is -400 >= k?
True
Let b be (4/34)/(-1) - (29 - (-11385)/(-391)). Which is bigger: b or -36/107?
b
Let f(y) = 5*y**2 - 36*y + 58. Let o(k) = -k**2 + k + 1. Let r(p) = -f(p) - 4*o(p). Let i be r(26). Is i less than 94?
False
Let r = -575/3 + 194. Let w = 53 + -51. Suppose w*b + 1 = 7. Which is smaller: r or b?
r
Let z = 30919 + -30948. Is z != -1/41?
True
Let y = 2527 - 2540. Which is smaller: -264/19 or y?
-264/19
Let l(r) = -92*r**2 - 553*r - 6. Let k be l(-6). Is -625 at least k?
False
Let n be 210 + -219 - (-2101)/227. Is n at most 1?
True
Let n be (-11 - -18)*(-120)/(-14). Let o = n + 57. Are o and 118 non-equal?
True
Let k = 882.91 - 883. Let y = -35 - -42. Does y = k?
False
Let j(r) = r**2 - 10*r + 24. Let y be j(7). Suppose 0 = -2*x - x + 4*s - 112, -y*x - 107 = s. Let b = 36 + x. Is b < 1/19?
True
Suppose 0 = 7*b - 26 - 2. Suppose 0 = m - 2, 5*u = 7*u + b*m - 4. Is u not equal to -9/4?
True
Let y be (342/(-42))/(-19)*(-4)/(-3). Do 11 and y have different values?
True
Let q(c) = c**2 - 16*c + 56. Let n be q(17). Let u = n - 71. Which is smaller: u or -3?
-3
Let h be -38*(-3)/12 + (-2)/(-4). Suppose 3*u + 13 = 4*l, 13*l = -5*u + h*l + 17. Does 1/618 = u?
False
Let p = -142 - -141.931. Let r = -4809 - -4813.069. Let t = r + p. Is t != -3/5?
True
Let g be (-3 - 1086/12*-1)/((-12)/56). Which is greater: 0.1 or g?
0.1
Suppose -10*i - 1318 = 12342. Is -1368 greater than i?
False
Let v(h) = 2*h + 9. Let d be v(-3). Suppose 2*w - w + d*c + 8 = 0, 5*w + c = 16. Let k be 0 - (w + -2) - -3. Are k and -7 unequal?
True
Suppose 9 - 5 = 2*q, 5*c - 3*q = -291. Suppose -3*r + 0*r = 168. Are r and c equal?
False
Suppose 142 = -28*j + 30*j. Suppose 3*i + 5*l - j = 0, 26 + 41 = 3*i + l. Which is smaller: 164/7 or i?
i
Let v = 2.47 - -26.53. Let l = -21 + v. Which is smaller: -0.1 or l?
-0.1
Let h(f) = f**2 - 4*f - 5 + 8*f + f**2. Let a be h(-4). Let x be (-5)/(-2)*a/(2145/12). Is x > -0.04?
True
Suppose -8*i - 4*q = -7*i + 664, -4*i + 4*q = 2676. Let a = 527 + i. Is -143 equal to a?
False
Suppose 748473 = -269*i + 150217. Is -2224 > i?
False
Suppose 36 = -6*w, 5*n - 3*w + 7*w = -269. Which is greater: n or -53?
n
Let x be ((-174)/34 - -5) + (-4456)/(-32096). Is x greater than 1?
False
Suppose -p = -4*x + 32, -12 - 60 = 5*p + 2*x. Let y be 8/20 + (-972)/55. Are y and p equal?
False
Let z = 23/15 + -11/15. Let q = -2351.2 + 1064.9. Let o = 1286 + q. Is z at most o?
False
Let y be -14*(-313)/396 - 2/(-12). Let k = y + -126/11. Which is bigger: k or 0.24?
0.24
Let h = 269.8 + -268. Let d = h + -1.7. Is d <= 1?
True
Let x = -18 - -27. Let q = x + 13. Let a be (-36)/q - (9 + -11). Is 0 less than a?
True
Let v = -10013 + 10023. Is v smaller than 558?
True
Let v be 5/(-2)*2 - -107. Let a(c) = c**2 - 5*c + 17. Let s be a(12). Which is smaller: s or v?
s
Suppose -3*a - 6 = 3*d, 2*a - 4*d + 5*d + 2 = 0. Suppose a = 102*v - 124*v + 66. Which is greater: -0.73 or v?
v
Suppose 0 = -f + 2*f + 98. Let c(w) = -278*w + 1011. Let j be c(4). Is f not equal to j?
True
Suppose 0*n + 15 = -5*a + 2*n, -4*n = -2*a - 22. Suppose -12*u + 14*u = 0, 4*u + 2312 = 4*s. Let h = s + -7521/13. Which is bigger: a or h?
h
Let r(x) = -4*x**2 - 34*x + 327. Let c be r(11). Suppose 0*j = j + 1170. Let z be c/j - (-4)/(-26). Which is bigger: -3 or z?
z
Let p(k) = 3*k**2 - 17*k + 9. Let t be p(6). Suppose 2*x = f - 2*x + 7, -x + 3 = 0. Let j be 1/(f/t) - -6. Which is bigger: j or 7?
j
Suppose r + 1856 = -2*r + 5*l, -5*l = -5. Let q = -635 - r. Let k be (-3)/(3/(-2)) - 24. Which is smaller: k or q?
k
Let x(s) = -s**2 - 10*s + 43. Let a be 19/57 + -10*4/3. Let y be x(a). Let n be (90/21 - y) + (-1 - -1). Which is greater: n or -23?
n
Suppose 55*k = 60*k - 15. Suppose -3 = 5*i - 4*n - 0, 4*i = -k*n + 10. Let t be (5 - (1 - -6)) + (7 - i). Which is bigger: t or -2?
t
Let b = -170668167/431 + 395982. Do b and 1 have different values?
True
Let z = -19.6 + 204. Let p = -179 + z. Is -0.3 greater than p?
False
Let v be (-53 - -52)/((-2 - 0)/(-2)). Are v and -12/1193 equal?
False
Suppose 2*o = 2*v + 2, 3*v = -5*o + 18 - 53. Let w be 10/(-8)*(-2 + -2). Let r be ((-1508)/1015)/(2/w). Which is smaller: o or r?
o
Let m be (2 + 3930/24)*-4. Let l = m - -682. Which is greater: 4 or l?
l
Let m = -76 - -40. Let r be (-135)/m + 6/(-8). Let a be (5 - r)/(8/(-68)). Which is smaller: a or -18?
-18
Let y = 587738 - 12872049940/21901. Is 0 smaller than y?
False
Suppose 7 = 4*v + b, 0 = -v + 7*b - 6*b - 7. Which is bigger: v or 4/1319?
4/1319
Let s = 19748 - 70836094/3587. Do s and 1 have the same value?
False
Suppose 0 = o - 5*l - 71 - 53, -5*o + 5*l + 620 = 0. Suppose 0 = -8*g + 13*g - 615. Let m = o - g. Which is greater: m or -1/102?
m
Let v(g) = g**3 + 28*g**2 + g + 29. Let s = -189 + 161. Let k be v(s). Let b(u) = -u**2 + 10*u - 28. Let a be b(7). Is k bigger than a?
True
Let s be ((-1599)/441*-3 - 5) + (-4 - 2). Let n be 126/15*15/6. Suppose -5*b - 5*u + 15 = 0, n = -7*b + 2*b + 4*u. Is s > b?
True
Let t be (-1)/5 - (-126)/(-45). Let n(c) = -2*c**3 - 7*c**2 - 2*c + 2. Let f be n(t). Which is greater: 9/4 or f?
9/4
Let r(k) = k**2 - 25*k + 101. Let m be r(20). Which is smaller: 2260 or m?
m
Let z = 1143 - 554. Let a = z - 60077/102. Do 3 and a have different values?
True
Let v = 0.081 + 6.919. Let o = v - 6.1. Let x = 1.9 - o. Which is smaller: x or 13?
x
Let j = -0.166 + 10.066. Let t = -1.65 + 2.65. Are j and t nonequal?
True
Let x be ((-35)/28 + 1)/(148/(-32)). Let t = 2 + -7. Let y be (-12)/(-90)*(0 + t). Is x greater than or equal to y?
True
Let x = 2977 + -2864. Is 120 > x?
True
Let z = -145.82 + 146.82. Which is smaller: 254/7 or z?
z
Let q(j) = -2 - 43*j + 2 + 5 + 52*j. Let o be q(-3). Let d = o - 28. Which is greater: -51 or d?
d
Let t be (7864/(-560) - -14)*30/(-14). Is t bigger than 1?
False
Suppose -18 = -z - 3*z - 22. Are 15/248 and z equal?
False
Let k = -0.28289 - 8928.71711. Which is greater: k or 0?
0
Suppose -85*b - 10010 = -195*b. Is -44 >= b?
False
Suppose 3*c = 4*r - 17, -29*r - 2 = -27*r. Let b be -44 + 1*21/c. Which is bigger: b or -50?
b
Let z be (20682/36)/(0 - (-6)/4). Is z at most 381?
False
Suppose -6959 - 5409 = 262*n + 16976. Let b = -306 - -195. Which is bigger: n or b?
b
Suppose -5*j = 3*o - 92, -4 = -4*j + 12. Suppose 4*i - 8 = 3*p - o, 3*i - 4*p = -19. Which is smaller: 1/254 or i?
i
Let x be 236/230*-1 + 1. Suppose 52*k - 40 = 92*k. Do x and k have different values?
True
Suppose -34 = -5*j + 481. Suppose -165*y - 21632 = -373*y. Is y bigger than j?
True
Let s = 107998/1326761261 - -5/68351. Which is bigger: 1 or s?
1
Let a be (-15)/(-42)*(-152)/(-1330)*(2 + 1). Is 0 equal to a?
False
Let z = -464 - -306. Let q = z - -162. Let m = -21 + 125/6. Do m and q have different values?
True
Let k(u) = 10*u**3 + 2*u**3 - 1 - 11*u**3 - 12*u**2. Let n(w) = w**3 - 23*w**2 - 26*w + 60. Let l be n(24). Let p be k(l). Is -6 at least p?
False
Let k be -3 + ((-1)/((-3)/(-78)))/(-2). Let v(h) = -6*h + 140. Let d be v(22). Is k at least d?
True
Let o = -17349 + 17205. Which is greater: o or -10?
-10
Let k = -73 + 77. Let j(h) = h**3 - 5*h**2 + 7*h - 10. Let n be j(4). Suppose -4*r = k, -47 = -x - n*x + 5*r. Which is smaller: x or 16?
x
Let o = 32.53 + -32.43. Is o greater than -1898?
True
Let c(j) = 3*j**2 + 12*j + 19. Let q be c(11). Suppose 5*r - 206 = q. Let l be 19/(-18) - (-32)/r. Which is bigger: -2 or l?
l
Let g = 204 + -124. Let o = g + -475/6. Which is smaller: o or 2?
o
Let u = 3744/11 - 342. Suppose c - 129 = -5*t, 3*t - 4*c - 14 = 45. Let q = t + -27. Is q at most as big as u?
True
Let b(v) = 75*v**2 + 23*v + 13. Let i be b(-3). Which is smaller: i or 621?
i
Suppose -2*o - 27 = -21, 4*j = -4*o - 24. Let f be 1 + ((-5105)/(-204))/(-5). Let k = -11/68 + f. Is k smaller than 