 246.6. Let b = 48 + j. Let o = -1.6 - b. Is -0.1 greater than o?
True
Let z = -195/77 - -5/7. Suppose 5*g + 9 = -6. Which is greater: z or g?
z
Suppose 4*u = -3*r - 24, -81*r + 5 = 5*u - 86*r. Let a = -11 + 6. Which is smaller: a or u?
a
Let l = 0.366 - 1.366. Which is smaller: l or -18?
-18
Let i(p) be the third derivative of -p**6/120 - p**5/10 - p**4/6 + p**3/2 - p**2. Let b be i(-5). Let q be (9/36)/(b/8). Are q and -2/17 non-equal?
True
Let g(i) = -i**3 - 7*i**2 + i + 12. Let o be g(-4). Let q be 5/(o/(-18)) - 2. Which is greater: 0.1 or q?
q
Let z = 123 - 123.34. Let b = 0.66 - z. Which is greater: b or -18?
b
Suppose 7*u - 56 = -0*u. Suppose -u*t - 72 = -152. Suppose 0 = -5*z - 2*s + 46, -z - 2*s + 14 = -0*s. Is z != t?
True
Let o be 34/153 + 15/(-27). Do o and -108 have different values?
True
Let q be 34/10 - 20/50. Let k be 2 - q - -3 - -3. Which is greater: k or 8?
8
Let u = -720 + 19438/27. Suppose -4*b = -2*b + 4*h + 14, 4*b + h = 0. Is u != b?
True
Let i(r) = 8*r - 60. Let m be i(7). Which is smaller: -5 or m?
-5
Suppose 25*v + 499 = -5001. Which is smaller: v or -221?
-221
Let f = 9/5 + -2. Let v = 7/5 + f. Which is greater: v or 2?
2
Suppose 2*c = 5*t + 52, -2*t = -5*t - 4*c - 52. Let z = 123.1 + -123. Which is greater: t or z?
z
Let h be (-4 + (-52)/(-12))*(-18)/944. Is h at most as big as 0?
True
Let c = -0.0396 + 0.1056. Does c = 0.2?
False
Let w = 30 - -1. Let j = -30 + w. Let v = 191 + -1339/7. Is v at least as big as j?
False
Suppose 3*j + 2*s - 323 = 0, 3*j - 335 = s - 6*s. Which is smaller: j or 102?
102
Let p be ((-2)/7 - 144/(-112))*5. Let r be -1*3 + (-78)/(-8) + p. Which is bigger: r or 12?
12
Let i = -0.06 - 0.14. Let q = 236153 - 2594542/11. Let n = -285 + q. Is i less than or equal to n?
True
Let m be 6 - 4 - (0 + 2). Suppose -3*u + 9 = -2*f, 2*u - 6 = -m*f - 2*f. Suppose u*d + 9 = 0, 4*t - 10 - 29 = 5*d. Which is smaller: t or 5?
5
Suppose -6*t = -9*t - 2*z + 674, 3*t - 676 = -z. Is 225 at least t?
False
Let h be -4 + 0 + 5 + -2. Are h and -10/49 unequal?
True
Let k = -11 - -14. Suppose 2*w = -w - k*p + 27, 4*p + 55 = 3*w. Suppose 0 = -5*m + w + 77. Do 18 and m have the same value?
True
Let l = -2.29 + 1.36. Let y = l + 4.93. Let m = -365/6 - -61. Is y at most m?
False
Let z = 488 - 487.9. Is z > -328?
True
Let o be 44/14 - (-52)/(-364). Which is smaller: -2/27 or o?
-2/27
Let h(v) = -7*v**2 - 30*v + 10. Let r be h(-5). Suppose -3*q - 5*n - 35 = 0, -2*q + 2*n = n + 32. Is q <= r?
True
Let r = -0.2 - -0.86. Let i = r - -0.34. Which is smaller: i or -24/5?
-24/5
Let p = 89/220 + -1/220. Are p and 66 nonequal?
True
Let t(n) = -7*n - 5. Let a be t(-2). Let w = 36 + a. Let d be (3/(-9))/(5/w). Which is greater: d or 2/7?
2/7
Let x be (1/(-2))/(3/(-12)). Let t = -554 - -575. Which is bigger: x or t?
t
Let u be (-14)/(-4)*60/4095. Let d be 3/(0 + -3) + 0. Is d equal to u?
False
Let c = 595 - 597. Which is smaller: 89 or c?
c
Let b = -4 + 3. Let u be b/4 - (-198)/88. Which is bigger: 2/3 or u?
u
Let x = 9 - 5. Suppose -x*t = -8*t + 4. Let k be 2 - t - (-4)/(-16). Which is bigger: k or 2?
2
Let f be (-54)/(-63)*(-42)/(-9). Let m be (-4)/(f/3) - -4. Let v be (2/(-8))/(10/8). Are v and m non-equal?
True
Let i be -4*(0 - -3)/(-3). Suppose -i + 6 = -l. Is -5/8 < l?
False
Let v = 740763/6355 - -46/1271. Let s = v + -117. Are s and -0.32 nonequal?
True
Let g = 277/336 - 1913/2520. Let m = g + -3/80. Which is greater: 0 or m?
m
Let k = 363 - 365. Which is bigger: k or 0.93?
0.93
Let z = 669.7 - 669. Let p = 4 - 1.98. Let b = p + -0.02. Is z > b?
False
Let f(q) = -8*q - 20. Let m(l) = -l + 1. Let j(a) = f(a) - 4*m(a). Let u be j(-6). Is -2/15 != u?
True
Let w = -525 + 522.8. Let g = -0.06 + -0.14. Is w less than or equal to g?
True
Let w = 2/3359 + 812872/10077. Let p = w - 82. Which is greater: p or -1?
-1
Suppose x = -1 - 2. Let j = -390.1 + 372. Let w = j - -18. Is w greater than or equal to x?
True
Suppose 5*i - 8*i = -3, 173 = 5*g - 2*i. Is -4 not equal to g?
True
Let r = -2.7 - -1.7. Let t = r + 1.6. Which is smaller: t or 3?
t
Let x(h) = -h + 1. Let j(l) = 1 - 6*l**2 + 9*l - 9*l. Let k be j(1). Let p be x(k). Which is bigger: p or 9/2?
p
Suppose 20*u + 97 = 497. Are 17 and u nonequal?
True
Let z = 105 + -98. Suppose -z*x + 5*x = -4*r + 48, 0 = -5*x + 5*r - 140. Is x less than or equal to -33?
False
Let l = 33 - 20. Let b be 0/(8 + 30/(-6)*1). Which is greater: l or b?
l
Let h = 182 - 182. Let c = 0.24 + 13.76. Which is bigger: h or c?
c
Let f be (-3)/2*71106/195. Let t = -1794 + 1247. Let o = f - t. Is o greater than 0?
True
Suppose 0 = -0*n + 2*n - 2. Let s(b) = 7*b - 22. Let u be s(4). Suppose -3*k + u*k = 45. Which is greater: n or k?
k
Let k(t) = t**3 - t**2 - t - 3. Let l be k(3). Let a = 196.9 - 197. Is l > a?
True
Let y(b) = -2*b + 10. Let o be y(-8). Suppose 2*m + o = 10. Is -10 > m?
False
Let n be 114/(-10) - 6/(-15). Let d = n - -41. Let k be d/1*7/21. Which is bigger: 9 or k?
k
Let z be 530/159 + (16/(-6))/2. Is z at most as big as 1?
False
Let y(s) = s**3 + 10*s**2 - 13*s - 19. Let j be y(-11). Suppose -v = 3*v + 4*m + 8, j*m + 9 = 0. Do v and 1/24 have different values?
True
Suppose 3*b - 330 = 5*i, -4*i + 66 = -5*i + b. Are -63 and i nonequal?
True
Let o = 2.45 + -2.5. Let v = o + -1.95. Which is bigger: v or -1/3?
-1/3
Let u(s) = -s**3 + 14*s**2 + 3*s - 3. Let w be u(14). Let n be (2/w)/(8/(-12)). Does -1 = n?
False
Let m be -2 + ((-2)/(-3))/(8/612). Let k be (-3 - (-7)/2)*(-56)/m. Is k bigger than -2?
True
Suppose -4*q + 6 = -2*q. Suppose -3*r - q = -12. Let a = -9 + r. Is a less than -6?
False
Suppose 133*u = 139*u - 30. Let k(v) = -v**3 + 5*v**2 - 3*v + 1. Let o be 24/(-20)*20/(-6). Let p be k(o). Is p < u?
False
Let c = -0.64 + -0.12. Let h = -0.42 - c. Which is greater: 0 or h?
h
Let m be 1 + (-12)/3 + -77. Let g = m + 132. Let f be g/9 + 4/18. Which is bigger: 7 or f?
7
Let f be ((-2)/16)/(1/6). Which is smaller: f or -11?
-11
Let f be -1*((-6)/2 + 4). Let j be (2 + (-364)/189)*(f + -2). Which is greater: 2.3 or j?
2.3
Let f(b) = -190*b - 17. Let g be f(-1). Which is bigger: g or 172?
g
Let n be ((-80)/(-15))/((-1)/(6/(-4))). Let c be (3/n)/(12/(-8)). Is c > 4.1?
False
Let c be 38/1140*(-10)/(-4). Which is greater: c or 1/2?
1/2
Let h = 43.56 + -3.56. Do -3 and h have the same value?
False
Let j = 5 + -4. Let v = 1.1 + 60.9. Let t = -51 + v. Which is smaller: t or j?
j
Let n be (-21)/(-105) + ((-978)/190 - -2). Which is smaller: -4 or n?
-4
Let h(q) = q**3 - 13*q**2 - 7*q + 371. Let r be h(10). Let y = 1.3 + -18.3. Is y bigger than r?
False
Let l = -13 + 7. Let p be (4/l)/(4/120). Let f be (-12)/10*p/(-3). Is -8 greater than or equal to f?
True
Let d(m) = -m**2 - m + 12. Let x be d(3). Which is bigger: 485 or x?
485
Let a be (-13 - 3) + 6 + 2. Which is smaller: -6 or a?
a
Let w = 1/43 + -91/215. Suppose 4*h - 21 = n + 4*n, 4*h = -2*n + 14. Suppose 0 = 3*u + u - h. Which is smaller: u or w?
w
Suppose -3*j - s = -7, -13 = -j - 0*j - 3*s. Let z = -44 - -109. Let f = z - 257/4. Is j != f?
True
Let d(p) = p**3 + 6*p**2 - p - 4. Let t be d(-6). Suppose -t*l + 8 = 4. Suppose 4*y - 2 = l. Which is smaller: -2/15 or y?
-2/15
Let m = 3/3959 + 597746/83139. Let h = m + 15/7. Is 2 < h?
True
Let h = 82 + -262. Let v be (h/(-50))/(2/5). Let w = v + -8. Is 1/6 < w?
True
Let x = -50 - -50.07. Let k be (2 + 4/(-8))/3. Which is bigger: x or k?
k
Let s be (-10)/(-45) - (-50)/18. Suppose s*t - 5*t = 80. Are -40 and t equal?
True
Let b = 383 - 1913/5. Suppose -2*s + 5*s = 3. Suppose -5*w - s = -3*y - y, -w = 3*y + 4. Which is bigger: w or b?
b
Suppose -j - 8 = -v, 0*j + 29 = 4*v - j. Let d = 9 - v. Suppose -t - u = -2*u - 3, -t = d*u. Which is greater: 0.1 or t?
t
Suppose -c - 9 = -2. Let j be 64/6 + 4 + c. Let h = j - 8. Is h equal to -4?
False
Suppose -67 = -0*k + 2*k - x, -4 = -4*x. Let p be ((0 + 0)*11/k)/(-1). Is -4/41 not equal to p?
True
Let n = -2.383 + 1.383. Is 0.015 at least n?
True
Suppose -10 - 8 = 6*u. Let p = 79681/80 - 996. Let b = 153/560 + p. Which is smaller: b or u?
u
Let x = -22 + 20. Let g = x - -2.1. Which is greater: g or 1/12?
g
Let t be 4935/4*(-27)/270. Which is smaller: -124 or t?
-124
Let l be 8/(-32) - (-34)/8. Suppose 2*k = 2*d - 4*d - 14, 16 = -d - l*k. Let u = -0.68 - 0.32. Which is s