 q + 17. Let p be x(-17). Let l = 134/41 - -22987/205. Let f = l - 16731/145. Do f and p have the same value?
False
Let k be (-1)/((-50220)/30172) - (-6)/(-10). Let n = -2425/107973 - k. Is -0.11 at least n?
False
Let p be (1155/(-110))/(4 + (-35)/10). Which is smaller: -516/23 or p?
-516/23
Let u be (-15)/(105/(-56)) - -2. Let w be 14/35*u/(-122). Is w equal to 0?
False
Let v = -8100 + 7814. Which is smaller: v or 2?
v
Let l = 9117 + -9156.97. Let m = -40 - l. Let c = m + 0.33. Is -3 less than or equal to c?
True
Let o = 5852 - 3645. Suppose -11*z + 150 - o = 0. Is z bigger than -186?
False
Let n be (-243)/(-4) - (5 - 22). Which is smaller: 1/2 or n?
1/2
Let r = 82766/917 - 670/131. Is 86 < r?
False
Suppose z - 5*j + 496 = -328, 5*j = -z - 824. Which is bigger: -823 or z?
-823
Let c be 5/(-2) + (0 - -2) - (-280238)/(-296). Is c equal to -948?
False
Let a be 2 - (1209/(-27) - 8/36). Suppose -3*m = 131 + 13. Let f = m + a. Which is bigger: f or -14/15?
-14/15
Suppose -25*j + 8*j + 34 = 0. Suppose -4*c + 14 = -j. Suppose 8*p = c*p - 3*l - 3, -4*l - 4 = p. Does p = 2/55?
False
Let i = -274 + 272. Let g = 1.9 + i. Let z = 3.3 - 33.3. Are z and g nonequal?
True
Let t = 29115 - 28038. Which is bigger: 1/3 or t?
t
Suppose 298*a + 65538 - 19362 = 76*a. Is a greater than -218?
True
Let n be (-29802)/254184 + 28/238. Which is smaller: 1 or n?
n
Let l(o) = o**3 - 3*o**2 + 20*o - 69. Let q be l(0). Let i be 2/(-8) + 3585/52. Let t = q + i. Are 2/5 and t non-equal?
True
Let i(q) = q**3 + 8*q**2 - q + 7139. Let c be i(0). Is c >= 7138?
True
Let b = 138 + -144. Let h be 8/(-12)*2/((-68)/b). Is h greater than or equal to 0.6?
False
Suppose l + 97 + 428 = 0. Let v be (-36)/126 - 136/l. Suppose 5 = 2*p + 3*p. Which is smaller: p or v?
v
Let b = -246.1 + 250.9. Let v = 11.8 - 9.8. Are v and b equal?
False
Let p = 3639 + -3637. Do -2.1 and p have different values?
True
Let p(q) = -392*q + 12547. Let b be p(32). Is 230/89 greater than b?
False
Let i = 9027.2 + -9027. Is 55.9 less than i?
False
Suppose -9*q + 12*q = -21. Let x = q - -21. Let z = x - 15. Is -8/9 > z?
True
Suppose -5*u + 10 = 0, h - 63 = -2*u + 6*u. Suppose 2*d = -2*t - 50, -5*t - h = -2*t + 2*d. Suppose 38*s + 375 = -189 - 234. Is t bigger than s?
False
Let b = -8139 + 8109. Does b = -291/10?
False
Let u be (-4)/(-56)*-2 + 36/84. Which is greater: u or 10.01?
10.01
Let x be (-11)/(-44) + 46/8. Suppose 2 = c + x. Let s = 17 + c. Which is smaller: 12 or s?
12
Suppose 835*v = 844*v - 9. Let n = 0.69 + -4.59. Which is greater: n or v?
v
Let z(v) = -5*v**2 - 8*v + 3. Suppose -20 + 33 = -l + 5*a, -4*a = 3*l - 18. Let q be z(l). Which is smaller: q or -34?
-34
Let i be (33192/(-2305))/(2/680). Which is bigger: i or -4897?
i
Let l(k) = -k**3 - 8*k**2 + k + 9. Let r be l(-8). Let x be 450179/(-199948) + 2 - (1 - -1)/(-8). Which is bigger: x or r?
r
Let z(h) = 27*h**2 - 405*h + 1. Let w be z(15). Is w at most -22/193?
False
Suppose -2*n = 2*m - 4*m + 124, 0 = m - 2*n - 62. Let d be m/403 + 742/247. Does d = 3?
False
Let s be 24/(-16)*-2*2 - 287. Which is bigger: s or -285?
s
Let j be (-80)/(-32) - (-2 - 3226*(-3)/12). Which is greater: j or -803?
j
Let y = 3841 + -3839.1. Which is greater: -177 or y?
y
Let v(l) = -226*l + 9. Let k(q) = 113*q - 5. Let w(g) = 5*k(g) + 3*v(g). Let x be w(-1). Let r = -4717/41 + x. Which is greater: -1 or r?
r
Let y(p) = 545*p - 2725. Let o be y(5). Is -4/631 smaller than o?
True
Let r = 0.103 - -146.897. Let k = r - 147. Is 0.0521 < k?
False
Let c = -176 + 175.4. Let a = 0.034 + -1.034. Which is bigger: c or a?
c
Let p be (-4)/(24/18) - ((-32)/(-8) - 255). Which is smaller: p or 250?
p
Let o = -660506 + 7254194/11. Let x = o - -112160/99. Let v = -99 + x. Is v at least as big as -0.2?
True
Suppose 2*q + 5*u = -11, 0 = 4*q - 14*u + 19*u - 3. Is q at most 74?
True
Suppose -14*a - 6550 = 3*s - 13*a, 4*a = -13*s - 28381. Is s greater than -2179?
False
Let d = 324 - 318. Let f be (-3 + 0)*2/d. Is f greater than -3/110?
False
Suppose m - 13 - 11 = -c, 0 = 4*c - 8. Suppose -a - 24 = -4*a - 3*g, -3*a - 2*g = -20. Suppose 5*z - 2*s = 0, -z = -0*s + a*s + m. Is -2/3 >= z?
True
Let t be 20/6 - (-4)/6. Suppose 0 = -2*u + t*u + 18. Let v be (-11 + 11)*(-2)/(-6). Does u = v?
False
Let b = 40 + -87. Let q = 9 + -33. Let n = q - -24.1. Which is smaller: n or b?
b
Suppose 0 = -2*k - 6, 0*c - 5*c - 142 = 4*k. Let f = c - -32. Let d(h) = h**3 - 8*h**2 + 8*h + 1. Let v be d(7). Which is smaller: v or f?
f
Let f(k) = 123*k + 1887. Let u be f(-12). Is 403 at least u?
False
Let u be (7 - (31 + 8))*(-2)/4. Suppose 2*p + u = 3*y, 2*y - 4*p + 0 - 16 = 0. Suppose 265 = y*q + 269. Which is greater: 1/3 or q?
1/3
Let a = -43 + 67. Let u(v) = -4*v + 8*v + v + a. Let n be u(5). Which is smaller: n or 50?
n
Suppose 18*y = -3*y + 147. Let m be 48*(-15 + y)/(-232). Which is smaller: m or 3?
m
Let s(m) = m**3 + 10*m**2 - 23*m + 12. Let f be s(-12). Suppose -y + f*y = 81. Is -81 smaller than y?
False
Let z(n) = 28*n**2 + 9 + 6*n - 23*n**2 + 0 + n**3. Let w be z(-5). Is -23 greater than or equal to w?
False
Let m = -86.3 + -1.7. Let a = -74 - m. Which is smaller: -3/5 or a?
-3/5
Let p = 90/156514177 - -4503067424107/3412635115308. Let j = p - 35/948. Let x = -4169/3358 + j. Which is greater: x or 1?
1
Let w be -1*104*(-25)/20. Let z = 87 - w. Is -40 > z?
True
Let g = 13 + -11. Let b(q) = -q**3 + q + 44*q**g - 38*q**2 + 9 + 4*q. Let t be b(5). Are t and 59 unequal?
False
Suppose -m + 6*m - l - 24 = 0, 0 = -4*m + 3*l + 28. Suppose -3*h - m*d = 391, 17*h + d - 121 = 18*h. Which is smaller: h or -126?
-126
Suppose -3988 - 3824 = -9*u. Suppose -m = -u + 859. Let d(h) = -12*h**3 - 2*h**2 - 2*h - 1. Let j be d(-1). Is m greater than j?
False
Let t be (2 - 1)/(198 - 8). Let b = 6083 - 6083. Which is smaller: b or t?
b
Let v = 125 + 778. Suppose v = 6*h + 555. Is 59 > h?
True
Let o be (-102)/36*(-3)/51*-34. Let y = -1 + -2. Let u = y + 3.2. Is u equal to o?
False
Let t be 3/(-21) - (66/(-21) + 3). Suppose t = 4*y + 68 + 20. Is y <= -3?
True
Let l(h) = -h**3 - 2*h**2 - 12*h + 27. Let s be l(5). Let z = 207 + s. Which is greater: z or -2/223?
-2/223
Let w be ((-9)/2 + 8)/(-4 - 462/(-116)). Is w greater than -205?
True
Let d be (20/(-7))/((-49)/2401). Is d bigger than 5?
True
Let g(s) = s**3 + 10*s**2 - 15*s - 26. Let f be g(-11). Let d be 18/63*(46/f - 1). Is d bigger than 0?
True
Suppose 3*r - 371 = -f, -2*f + 9*r - 4*r = -720. Let g be (f/(-40) - -5) + 2 + 2. Is 0 <= g?
False
Let g(l) = 4*l**2 - 11*l + 15. Let r be g(7). Suppose -488*q - 633 + 2809 = -472*q. Which is smaller: r or q?
r
Let f(z) = 6*z**2 + z**3 + 6*z**2 - 2 + 5*z + 7 + 6*z. Let m be f(-11). Is 9 <= m?
False
Suppose -12 + 6 = -2*c. Suppose -n - r + 2 = -c*n, -r + 3 = -3*n. Let i be (-5)/(455/98)*1. Which is bigger: i or n?
n
Let b = -7/85 - 2/17. Let i = -862 + 1248. Let x = i + -385.7. Which is smaller: b or x?
b
Let c = 39 - 34. Let t be (-2 - -6)/(-7 - -7 - 6). Which is greater: t or c?
c
Let b be 3 - -19977*(-7)/35640. Let x = -116/135 - b. Let r = -1/44 + x. Which is smaller: -1 or r?
-1
Let m be 1 + -24 + (-24694040)/(-1073624). Which is bigger: 1 or m?
1
Let p be 12 - 3 - (8 + (10 - 855)). Is 843 at least as big as p?
False
Let j = 143 - 221. Suppose 2*c + 405 = 3*r - 8*r, 0 = -2*r + c - 153. Which is smaller: r or j?
r
Let d be -5 + (-15)/10 + (-561)/2. Let a be d/366 - 65/(-78). Which is smaller: 0 or a?
0
Let p be (-5 - 2)/(-1)*3285/63. Is 365 >= p?
True
Suppose 4*z - 12 = -8*t + 12*t, 3*z - 12 = 0. Is -2/643 at least as big as t?
False
Let c = -89 + 36. Let q(j) = j**3 - 10*j**2 - 10*j - 12. Let z be q(11). Let k be (4 - z) + -15 + -43. Is k <= c?
True
Suppose -2*m - 4*m = -18. Suppose 2*a - 5*g + 50 = -m*a, -77 = 5*a + 4*g. Let o be ((28/(-6))/(-2))/(a/(-3)). Is 0 bigger than o?
False
Let g = -79067819/1406 - -56236. Are -1 and g nonequal?
True
Let r = 208.26 - 208.66. Do r and -367 have the same value?
False
Let c = 119.9886 - 120. Let p = -88.04 + 88.14. Which is greater: p or c?
p
Let d = -13/15 + 2/3. Let v = 1.05 + -0.6. Let n = v - 0.05. Which is greater: n or d?
n
Let m = 3367 + -4636. Which is greater: m or 1/3?
1/3
Suppose 3*z = -i - 13, z = 5*i - 0*z + 1. Let w = 90 - 56. Let u = 33 - w. Is i greater than or equal to u?
True
Let i =