0759 nonequal?
False
Let l = -19539 - -253597/13. Which is smaller: -32 or l?
-32
Let j = 110/91 + -64/13. Let d = 3 - 5. Let v be (-10)/(5 - (1 - d)). Which is greater: j or v?
j
Suppose -3*d = -0*s + s + 237, -5*s = -4*d + 1109. Let m = s - -2923/13. Let j = -68 - -55. Is j < m?
True
Let f(j) = -5*j + 0*j**2 + 7*j - j**2. Suppose 5*c - 29 = -49. Let y be f(c). Is y less than -25?
False
Let d(k) = k**3 - 22*k**2 + 20*k + 19. Let q be ((-2)/(-4))/((-12)/(-504)). Let o be d(q). Is o greater than -2?
False
Suppose 5*g + 4*w + 51165 = 0, 3*g + 30702 = 355*w - 358*w. Is g at least -10230?
True
Suppose 0 = 9*z - 7*z + 4*o + 696, o - 3 = 0. Which is bigger: z or -352?
-352
Let l = -271 + 267. Let x = -2.93 - -3.14. Which is smaller: l or x?
l
Suppose -1584*x = -1621*x. Is x smaller than -4/5577?
False
Let k be (1 - 7)/(-6)*2/(-4)*542. Which is greater: -273 or k?
k
Suppose -3*c = c - 5*o - 38, 29 = 5*c + 3*o. Suppose 3*l = 3*w + 3, 3*l - 3*w - c = w. Let h be -5*l/(-6) - 4/(-2). Which is smaller: h or -20?
-20
Let l = 89 + -63. Let h = -26.21 + 0.11. Let i = h + l. Is -0.6 smaller than i?
True
Suppose 49 + 80 = 43*p. Suppose -4*m = p*c - 803 - 42, m = -4. Is 288 < c?
False
Suppose 0 = -f + 3*f - 4. Suppose f*g + w - 4 = g, 2*g = 4*w - 16. Let l = 293/5 + -2587/45. Which is smaller: l or g?
g
Let c(s) = -13*s**2 - 27*s - 7. Let b be c(5). Which is greater: 2 or b?
2
Let u be 20/(-483) - (-26)/(-1092). Does u = -0.18?
False
Let x be 1/(-2) - (-21)/2. Let s(f) = 14*f - 118. Let r be s(2). Let q be (6/27 - 16/r)*15. Which is smaller: x or q?
q
Let v = -7845 - -5366. Is v less than or equal to -2480?
False
Suppose 71*m - 2142 = 29*m. Which is greater: m or 71?
71
Let i = 1830/7 + -33703/126. Does i = -7?
False
Suppose 985 = -5*f + 5*x, -2*f + x - 382 = -4*x. Let m = -16303 + 16302. Is m < f?
False
Let i be 2/10 + (-612)/510. Let t = -10/51 + -20/51. Is i bigger than t?
False
Suppose -h = -2*h - 415. Let u = 415 + h. Which is smaller: 2/1263 or u?
u
Let d be (6 + 3)/(6/6). Let m be 138/(-120) - d/(-12). Let a(f) = -f**2 - 2*f - 2. Let g be a(-1). Is g bigger than m?
False
Let n be (546/(-135) - -4)*(-2)/116. Let u = -53509/5220 + n. Is u >= -9?
False
Let z = 1074 - 4070. Is z at least as big as -2995?
False
Let y(j) = 2*j**2 - 10*j + 8. Let w = 32 - 28. Let o be y(w). Let c = -211 + 1061/5. Which is greater: c or o?
c
Let x = -57 - -127. Let y = x - 74. Let o = y + 0. Which is smaller: -11 or o?
-11
Let s = 28/3 - 383/42. Let t = -80 + 103. Let p(w) = -w**3 + 22*w**2 + 22*w + 22. Let i be p(t). Is s greater than or equal to i?
True
Let s = -2492 - -2475. Which is smaller: s or -209/12?
-209/12
Suppose 0 = 3*d - 3*p - 36, 5*d - 4*d = -2*p + 24. Let m be (59 - 54) + 23/2. Which is smaller: m or d?
d
Suppose 0 = -3*f + 4*o + 62, 72 = 2*f - 2*o + 7*o. Let h = 737893/3 - 243625. Let a = 2365 - h. Which is smaller: f or a?
a
Let p = -10 + 6. Let t be (-5 + 6)/(0 + p/4). Is -41 smaller than t?
True
Suppose u = v, -3*u = 3*v - 11 - 1. Let f be 3/(-21)*4 - 72941/(-29316). Which is smaller: u or f?
f
Let v(w) = -34*w**2 + 970*w - 50. Let u be v(38). Is -12285 bigger than u?
True
Let r = 2082 + -2052. Which is smaller: 3/5 or r?
3/5
Let r = 6541 + -7555. Do r and -1024 have the same value?
False
Let c = -338882 + 7250380392/21395. Do c and 0 have different values?
True
Let g be (-4)/((-10 + 423/42)*7/8). Which is bigger: g or -1084/17?
-1084/17
Suppose 0 = 3*v + 2*l - 6, -3*v + 6 = 29*l - 30*l. Let q = -30 + 34. Suppose 0 = -5*g + g - q. Does v = g?
False
Suppose 0 = 4*h - 10*h + 72594. Let t = -7610273/629 + h. Is t not equal to -1?
True
Let f be 9/15 + (36/15)/6. Let g be 476/(-18) + (-6)/(-3). Let i = g + 171/7. Is f >= i?
True
Let s = 94482 + -1323551/14. Is s at least as big as -58?
True
Let p = -28128 - -27886. Is -16 greater than p?
True
Let q = 1.5 + -1.449. Let m = q + 6.949. Let y = m + -6. Which is greater: y or -8/11?
y
Let q = 4710 + -4710. Is 13/59 at least q?
True
Suppose i + 970 = 16*i - 4175. Which is bigger: 352 or i?
352
Let h = -0.3237 - 5.1923. Let p = -5.5 - h. Let d = p + 0.084. Which is bigger: -2 or d?
d
Suppose -s = 4*b + 3*s + 80, b = -3*s - 10. Let o = -900 + 876. Is o greater than or equal to b?
True
Let a = -20937 - -17072. Which is greater: a or -2/3?
-2/3
Let z = 88 - 53. Suppose 5*i + o + 181 = 0, -67 - 3 = 2*i + o. Let t = z + i. Is t smaller than -1/2?
True
Let y(c) = 4*c - 47. Suppose -5*h - 3*d = -2*h - 39, -5*d - 15 = 0. Let s be y(h). Suppose 12*q + 5 = s. Is q < 7/8?
False
Let v = -210 + 210. Suppose 6*n - 38 - 40 = v. Which is bigger: n or 9?
n
Let l = -560 - -1018. Let q = l + -455. Are q and -84 nonequal?
True
Suppose -x = -1, -4*x - 1349 = 3*a - 7833. Let y be ((-26)/57)/((-4)/a). Let r = 246 - y. Which is smaller: r or 0?
r
Let a = -1772183/337402665 - -27/5111. Do 0 and a have the same value?
False
Let s be (5/(-75)*5)/(2/(-6)). Which is smaller: -2/475 or s?
-2/475
Let u(x) = -x**2 + 131*x - 3972. Let y be u(50). Is -6/11 less than y?
True
Let q = -1304184415/47871004 - 88617/11071. Let b = -2/1081 + q. Is 0.1 at least as big as b?
True
Let p = -247.77 + 249. Let u = p - 2.03. Which is bigger: u or 8?
8
Let j = -46 + 82. Let h be 80/j - (-8)/(-4). Let f = 840 - 840. Which is smaller: h or f?
f
Let x = 79 + -74. Suppose -16 = x*s + 2*r - 9, 0 = 4*s - 4*r. Is s smaller than -1/92?
True
Let y = -11935 + 11936. Which is smaller: y or -1/9804?
-1/9804
Let p be ((-3)/(3/7))/((-3)/(-9)). Let f be (-1118)/(-1414) + 6/p. Let w = 2367/1313 + f. Is 2 smaller than w?
True
Let b(k) = -86*k + 155*k + 0 - 6*k**2 + 4 - 86*k. Let i be b(-4). Is i bigger than -27?
True
Let f be ((-54)/(-777))/(9/42). Which is smaller: 0 or f?
0
Let n = 49 + -77. Let r = 39 + n. Suppose 0 = 2*k - r - 41. Which is greater: 0.1 or k?
k
Let x = -114 - -120. Suppose 329 = -x*u + 35. Is u >= -50?
True
Let d be 4 - ((-48)/(-32))/(6/(-8)). Let t be -5 - (-72449)/(-3828) - d/(-33). Let r = t + 9/116. Which is greater: r or -24?
r
Suppose 4*j - 4 = -11*t + 7*t, 2*j = t + 2. Let p(z) = -25*z - 9. Let u be p(10). Let k be (-12)/4 + u/(-87). Which is smaller: k or j?
k
Let y = 580/3 - 13214/69. Let m = -648 + 649. Which is greater: m or y?
y
Suppose f - 14 = -6*f. Suppose 7*b + f*b = 0. Which is greater: -5/18 or b?
b
Let n(u) = u**3 - u**2 - 2*u - 1. Let p be n(-1). Let w be (-6 + (-5)/((-320)/324))/6. Let r = -37/992 + w. Which is bigger: r or p?
r
Let i(c) = c**3 + 3*c**2 - 24*c - 60. Let m be i(-3). Suppose -5*l + m = 3*u, -3*u + 0*l + 5*l = 18. Which is smaller: 4/321 or u?
u
Let y = 44861/923995 - -3/3265. Which is bigger: y or 1?
1
Suppose -5*q + 454 = 2*p, 5*q + 3*p = 6*q - 84. Let r = 107 - q. Let u(n) = -n**3 - 3*n**2 - n - 2. Let b be u(-4). Which is bigger: b or r?
b
Let d = 257 - 257. Suppose -p + d*p = 0. Which is smaller: 3/178 or p?
p
Let c = 166769/153 + -1090. Suppose 25*q = 18*q - 7. Which is bigger: c or q?
c
Let l = -80272 - -80272. Let h = 0.513 + -0.083. Do l and h have the same value?
False
Suppose 26*a + 22327 = -4973. Let i = 1069 + a. Suppose o + 2*o + 3*w - 51 = 0, 2*o - 5*w - 55 = 0. Which is smaller: o or i?
i
Suppose -10 = d - 2*z, 2*z = -5*d + 4*z - 34. Let q be (-5 + (-52)/(-12))/(428/d). Is 2 <= q?
False
Let v = 20.464 + 0.136. Let i = v + -20.72. Is 6 greater than i?
True
Let a = 16412 - 15592. Is 7 equal to a?
False
Suppose -5*f + 224 = 5*h - 301, -3*h = -3*f + 297. Let a = -180 + 281. Is a equal to f?
False
Let i = -0.7 + 0. Let w be (382/5)/((-756)/60). Let g = w - -44/7. Is g greater than or equal to i?
True
Let d = -8054/41 + 1810454/9471. Let u = d + 80/33. Which is greater: -3 or u?
u
Suppose 0 = 11*s - 5321 - 1466. Which is smaller: s or -4?
-4
Let i = 1063/265 - -63/53. Is i less than or equal to 4?
False
Let y = -79.872 + -0.128. Let l = y - -69.4. Let i = 5.6 + l. Do i and 3 have the same value?
False
Let h = -11658.92 + 11659. Which is greater: h or -146?
h
Let d = -64640 + 35769. Is d != -28871?
False
Let z = -51978 - -51979. Let p be (-4)/18 + 238/99. Which is smaller: p or z?
z
Let d(r) = 12*r + 4*r - 178 + 24*r - 94. Let f be d(15). Is 1 equal to f?
False
Suppose 51*x = 53*x - 18. Let u = x + -14. Let k(c) = -c**3 - 4*c**2 + 6*c + 6. Let f be k(u). Is 1/3 smaller than f?
True
Let k = -52759/90 + 1173/2. Let j = 