qual to k?
False
Suppose -40*h - 1852 = 7165 - 1257. Is h equal to -215?
False
Let d(x) = 45*x**2 - x + 1. Let v be d(1). Let y(q) = -37*q - 693. Let t be y(-20). Which is smaller: t or v?
v
Suppose -w = 2*s - 10, w - 4*s + 24 = 4. Which is smaller: 14/111 or w?
w
Let z = -0.03288 + 22.03288. Suppose 7*b = 2*b - 15. Which is smaller: b or z?
b
Let c = 329 + -327. Suppose -m + 27 + 73 = c*s, 3*s = 3*m - 345. Is m at least as big as 111?
False
Let o = 14 + -26. Let q be (-18785)/(-68) + (2 + 1)/o. Suppose 240 = -4*s - 4*t, -4*s = -3*t + q - 36. Does -61 = s?
False
Let t = -925/7068 - -28/589. Let x be -1 + 1/1 + 2. Let b be -2 - (0 + x + -3). Which is smaller: b or t?
b
Let h = 5.697 - 5.497. Let g = -30.6 - -31.83. Is g smaller than h?
False
Let k be (6/9)/(-2) + (-222794)/399 + -23. Which is smaller: -583 or k?
-583
Suppose -48*r = -18*r + 56250. Do r and -1875 have different values?
False
Let d(m) = -2*m**2 + m - 12. Let l(y) = y**2 - y + 11. Let a(f) = -2*d(f) - 3*l(f). Let o = 112 - 107. Let r be a(o). Which is greater: 22 or r?
22
Suppose 3*z = -3*k - 23358, k - 8*k + 31089 = -4*z. Which is smaller: z or -1?
z
Let q = -682 + 1176. Let b = q - 521. Which is smaller: b or 8?
b
Let b(f) = f**3 + 18*f**2 - 21*f - 30. Let d = -232 - -213. Let o be b(d). Is -2 at most o?
True
Let g = 27/17 - 257/119. Let t be (-9*(-9)/81)/1. Let u be t*(-1 + (-18)/(-16)). Is u >= g?
True
Suppose 2*w - 96 = 230. Suppose 0 = -2*r + 5*b + 49, -r - 3*b = 3*r - w. Let a be 19305/594 + (-14)/(-4). Is r bigger than a?
True
Let k be (-1)/(2 - 0) - 60/(-40). Is k > -10/551?
True
Let l(p) = -p**3 - 22*p**2 + 2*p + 40. Let r be l(-22). Let u be (-1135)/r*(-2)/5. Let b = u + 7025/62. Which is smaller: b or -1?
-1
Let b be ((-1)/(-8)*10)/(15/6). Let w(y) = -2*y**3 - 33*y**2 + 20*y - 5. Let q be w(-17). Let j = -50 - q. Is j equal to b?
False
Let t(r) = 4*r**3 - 7*r**2 - 15*r + 5. Let k be t(7). Let w = k - 173718/187. Which is smaller: 1 or w?
w
Let x be (-74817)/153 - -4*(-2)/4. Is x at most -2459/5?
False
Suppose -1 = 8*n - 11*n - a, -4*n = a - 3. Suppose 0 = 3*t + t - 120. Is n at most t?
True
Let b = 29917/3903 + 2/1301. Let g = b - 118/15. Is 0 greater than or equal to g?
True
Suppose 17*z = -3495 - 3883. Is -430 smaller than z?
False
Let q(b) = 3*b**3 + 8*b**2 - b + 7. Let u be q(-4). Let z = u + 158/3. Let a = -2 - -3. Which is smaller: z or a?
z
Let p = 1/251586224 - 3711903152627/938668201744. Let a = -9/287 - p. Is a at most 4?
True
Let p = -6251 - -6252. Is -62/213 at least as big as p?
False
Let r be ((-9919)/(-39))/(56/72). Is r < 324?
False
Suppose -1243 = -3*d - 5*s, 0*s + s = -5*d + 2035. Suppose -6*h - h = -d. Let x = 56 - h. Which is smaller: x or -10/11?
x
Let b = -39/1160 - -39037/212280. Let x = -20251/61 + 332. Let o = x + b. Which is smaller: 1 or o?
o
Let z(g) = -4*g**2 - 333*g + 3378. Let o be z(10). Which is smaller: o or -297?
o
Let u = -93470 + 93469. Let g be (-479550)/(-1148) - 2/(-7). Let i = g + -418. Which is smaller: u or i?
u
Let n(b) = -b**2 + 2*b + 123. Let a be n(12). Suppose 86*z = 5*y + 84*z + a, 0 = -2*y + 3*z + 1. Let m = -17/156 + 1/39. Are m and y equal?
False
Let p be ((-207)/1459764)/((-2)/8). Are p and -1 non-equal?
True
Let j = 202 + -33. Let k = 169 - j. Is k smaller than 2/5?
True
Let y = 14837 - 10741991/724. Which is bigger: y or -1?
y
Suppose 0 = 2*h - 2*n + 1163 + 959, -15 = -3*n. Which is smaller: -1058 or h?
-1058
Let q(r) = 5*r**2 - 19*r - 7. Let u(m) = -m**2 + m + 1. Let g(p) = -q(p) - 6*u(p). Let f be g(-16). Let b = f + -49. Is -3 not equal to b?
True
Suppose 47 = w - 19. Let n = 103 - w. Which is smaller: 38 or n?
n
Suppose 160*k = 205*k + 70110 - 17370. Is k not equal to -1174?
True
Let n = -122651627 + 18765481069/153. Let v = n - -1424. Is 0 >= v?
False
Suppose -2*s - t = -0*s - 3, -45 = -5*s + 5*t. Let d(k) = 12*k - 8. Let c be d(s). Suppose -w - 3*z = 5, 0 = -3*w + 5*w - 4*z + c. Is -14 at least as big as w?
True
Let p(l) = -210*l - 21. Let v be p(-22). Suppose 0 = -0*h + 3*h - v. Let b = 18385/12 - h. Is b < -2?
False
Let a = 8.66 + 0.14. Let l = -120.2 - a. Is l greater than 0.1?
False
Let q(z) = -13*z + 31. Suppose -24 = -16*v + 24. Let g be q(v). Is g >= -13/2?
False
Suppose -7*y + 2978 = 2964. Let f be (12/(-7))/(4/(-8)). Which is smaller: f or y?
y
Suppose 28*u + 1258 + 58 = 0. Let l(x) = -9*x - 6. Let w be l(-6). Let q = w + u. Is -3/7 at least as big as q?
False
Suppose -5*g = 1381 - 1386. Let o be 6*5/45*1/(-53). Is g less than or equal to o?
False
Let r = -1292264/7 - -183767. Is r > -841?
False
Let r be 45/(-27) - 22/(-6). Let u be r/40 - (13/(-2) - -6). Which is smaller: 0 or u?
0
Let a = 6305473/656 - 9612. Which is smaller: a or 0?
0
Let r = 174/11 + -7297/462. Let s = -1526 - -1530. Suppose -5*n - 235*k + 237*k + s = 0, -n + k = -2. Is r bigger than n?
True
Let f = -35 - -27. Suppose 11*j - 16*j + 13*j = 0. Is f < j?
True
Let m(n) = -n**2 - 4*n + 12. Let w be m(-7). Suppose -3*s = 18 + 42. Let a be (-1)/(-4) - ((-165)/s + 3). Do w and a have the same value?
False
Let a = -109 + 109. Suppose -2*d + 4*z + 4 = a, -5*d - 6 = 2*z - 4. Suppose 15*g - 22*g = d. Which is greater: 2/21 or g?
2/21
Suppose -2*n + 10 = 4*g - 2*g, -2*n + 7 = 5*g. Let a be n/(-5) + (-56)/(-70). Which is smaller: a or -20?
-20
Suppose 5*w + 28 = -2*w. Let r be 57/(-38) + (-114)/w. Which is smaller: r or 26?
26
Let t be (1 - 0)*4*(-12 + 13). Suppose -2*w + 3*b = -78, 0 = -7*w + 12*w - t*b - 202. Is w equal to 42?
True
Let d = 2176 - 2076. Let h = -0.7 - -2.7. Are d and h equal?
False
Let c = 96833 - 3097687671/31990. Which is greater: 0 or c?
0
Suppose 2*c - 2 = -x, -5*x + 5 = -c + 6*c. Let y be (-12 - -5)*(1 + x). Which is smaller: y or -3?
y
Let r = -3.939662 - 0.060338. Suppose 31 = -5*g - 9. Which is smaller: g or r?
g
Suppose -37556 - 21381 = -46*c - 5531. Do c and 6965/6 have different values?
True
Let o = -56.019 - -0.019. Let p = 27 + o. Let r = -34 - p. Which is bigger: 1/2 or r?
1/2
Let o = -143 - -384. Suppose -4*t = -4*m - 980, -5*t = 3*m - 0*m - 1193. Is t smaller than o?
False
Suppose k - 1 + 0 = 0, 4*k = -4*y + 28. Suppose 0 = -y*c + 9*c + 336. Is c greater than -112?
False
Let q(p) = -p**2 - 31*p + 101. Let s be q(-34). Is s equal to -41/65?
False
Suppose 3*x - 5*x + 24 = 0. Let b be ((-9)/(-6))/(x/(-448)). Let h = 57 + b. Is h < -2/15?
False
Let w be ((-865)/10)/(41/738). Is w <= -1550?
True
Let x(v) = -561*v**2 + 3*v - 1. Let m be x(1). Let p = 1411 + m. Let y be 60/p*(-4)/10. Is 1 > y?
True
Let w = -0.64 - 1.36. Let i = 16 + -16.75. Let u = i + 0.45. Which is smaller: w or u?
w
Let h be (-6)/(-9) + (-44)/(-6). Let m = h + -11. Suppose 576*v - 275*v = -820*v - 17936. Is v != m?
True
Let y = 7592 + -7591. Is -694/3 less than or equal to y?
True
Let s(a) = -69*a + 440. Let h be s(40). Which is bigger: -2323 or h?
h
Let y = 4.8 - 99. Let f = -96 - y. Let i = -1 + 0.8. Do i and f have the same value?
False
Suppose 2*s - 667 = 3*u, u + 5*s + 99 + 95 = 0. Which is smaller: -215 or u?
u
Let c = 2838 - 2775. Do c and 121 have different values?
True
Let g(v) = -v + 2. Let r be g(-3). Suppose -24*x + 11*x = 10*x. Suppose r*n + 5 = x, -2*n = -3*m - 2 + 4. Which is bigger: m or -8/13?
m
Suppose -o + 207 = 4*v, -9*o - 96 = -2*v - 7*o. Let u = -100.9 - -104.9. Is u bigger than v?
False
Let p(t) = 2*t**2 + 7*t + 5. Let w be p(-4). Let l = w - 13. Let c = -1916949 + 1916950. Which is greater: c or l?
c
Suppose 9*u - 1697 = 16690. Which is smaller: u or -2/3?
-2/3
Suppose 26*s - 30*s + 16 = 0. Suppose s*c - 4*u = -16, -2*c - 5*u = -10*u + 20. Is c at least as big as 4/19?
False
Let p be (-10695)/23*(0 - 1). Let r be (1 - 2)/((90/p)/(-6)). Is r at least as big as 25?
True
Let u = 4326.2 - 4793. Is 0 smaller than u?
False
Let c be (0 - -573)*(8/(-12))/((-24)/12). Which is greater: c or 189?
c
Let l = 23734619/2691 - 8820. Is -1 != l?
True
Let l(a) be the third derivative of 5*a**4/4 - 40*a**3 - 256*a**2. Let n be l(8). Do n and 2/1405 have the same value?
False
Let w = 3405 - 3406. Is 2226 bigger than w?
True
Let i(h) = 34*h + 113. Let z be i(5). Let n = 283 - z. Does n = 3/22?
False
Let n = -264 + 243. Let s be 2 + 9/2*14/n. Do s and 2/29 have the same value?
False
Let r be 0/(12 - (-12 - -27)). Is r at most 6/43?
True
Let