-10 or v?
-10
Let c be (-8)/20 + (-3)/(15/(-52)). Suppose -4*d = -8*d - 4. Let o be 8/10*d/c. Is o smaller than -1?
False
Let d = -2/881 + -7925/1762. Is -4 less than d?
False
Let r be (-4)/(-32) - (-334)/16. Suppose -2*h = -21 - r. Which is smaller: h or 20?
20
Let j be 4/2*10/(200/4010). Is j smaller than 403?
True
Let h = -9.5676 + -0.2224. Let w = h + -1.21. Which is smaller: w or -2/3?
w
Suppose 0 = 2*w - 4*w + 8. Let p(r) = -r**2 - 20*r + 4. Suppose 5*o + 96 = -4. Let b be p(o). Is w less than b?
False
Let k(m) = -m**3 + m**2 - m. Let f be k(-2). Suppose 11*g = f*g - 6. Suppose 5*z - 9 = 2*z. Is g < z?
True
Let b = 78 - 45. Let u = -33 + b. Which is greater: u or -71?
u
Let w(b) = b**3 - 10*b**2 - 11*b - 1. Let q be w(11). Let l = -1/2728 + 316453/13640. Let x = l + -23. Which is smaller: q or x?
q
Let q(f) = -6*f**2 + 45*f + 19. Let x be q(8). Which is smaller: -82/13 or x?
-82/13
Let r be 9/3 - (-2 + 3). Suppose -3*n - 10 = r*n. Suppose 0 = -4*z + 2*j - 7*j - 33, -2*j - 8 = -z. Is n at least z?
True
Let i be 442/14 - (-48)/(-84). Is i greater than 31?
False
Let d = 3.97 + 0.03. Let n = 3 - d. Let z = 5125/13 + -394. Which is smaller: z or n?
n
Let g = 88980111/28 - 3177367. Let j = g + -494. Is -1 smaller than j?
True
Let j = -4 - 1. Let z be (6/9)/(j/(-105)). Let m = 13 - z. Is m >= 2/7?
False
Let j = 84 + 3. Is 1 at most j?
True
Suppose -4*k + 12 = 0, w = 6*w + 5*k - 55. Let o(g) = g - 14. Let f be o(w). Is -7 >= f?
False
Let b = 76.9 + -77. Which is smaller: b or -0.62?
-0.62
Let k(p) = -10*p**2 + 2*p + 2. Let x be k(5). Let f = 96852 - 1255980/13. Let o = f + x. Are o and 2 non-equal?
True
Let w(v) = -v**3 - 18*v**2 - 23*v - 103. Let z be w(-17). Is z bigger than 8/81?
False
Let u(y) be the third derivative of -y**4/3 - 13*y**3/6 + 10*y**2. Let i(k) = -1. Let x(c) = -6*i(c) + u(c). Let w be x(-2). Is -0.1 at most as big as w?
True
Let s = -786 + 785. Which is bigger: 20/159 or s?
20/159
Suppose 3*q - 67 = 53. Suppose -n - 4*n + q = 0. Which is greater: n or 9?
9
Let b = 112 + -107. Which is smaller: b or -5?
-5
Suppose 2*g + 4*s = 154, -3*g - 4*s = -5*g + 186. Suppose 4*a = -3*c + 43, 4*a - 8*a = 5*c - g. Let t be 38/(-56) + c/28. Are t and -1 nonequal?
True
Suppose -2*t - 8 = 2*t. Let c(v) = v**3 - 8*v**2 + 7*v - 2. Let l be c(7). Let i be l/(-3) - (-319)/(-231). Is i at most as big as t?
False
Let b = 2.06 + -0.06. Let u = 29.6 + -33. Let o = 2.9 + u. Which is smaller: o or b?
o
Let o be 3 - (-6848)/104 - (-4)/26. Is 68 bigger than o?
False
Let n = 1 - -3. Suppose -w + 7 = -0*w + s, -n*w + 33 = 5*s. Suppose -2 = -0*y - w*y. Is 4/3 < y?
False
Let l be 26/52*(-6)/1 + 5. Do l and 1 have different values?
True
Let b = 103 - 50. Let a = b + -43. Does -0.2 = a?
False
Let p be (6/4)/(42/(-8)). Let m(n) = -12*n - 203. Let z be m(-17). Is z less than p?
False
Let i = 292 + -202. Suppose 95*p - 5 = i*p. Is 4 bigger than p?
True
Suppose f + 49 + 4 = 0. Let c = f + 54. Are 2/37 and c nonequal?
True
Let g = -3.88 - 0.12. Let c = -3.82 - g. Let s = c + 0.02. Which is bigger: s or -2/9?
s
Let u = 87 - 88. Let n be (-537)/216 + (4 - 2). Let t = n - 5/72. Which is bigger: u or t?
t
Suppose 5*j - 105 = h, 2*h + 195 = -24*j + 19*j. Is -97 at least as big as h?
True
Let u = 176 + -175. Is 0.0023 equal to u?
False
Let x = -221374/11823 - -354/563. Let y = x - -53/3. Let d(w) = w - 6. Let j be d(5). Is y at least as big as j?
True
Let z be (-26 - (26 + -16))/(-6 + 2). Suppose -5*q + 4*w + 2 = -3*q, 14 = 3*q + 5*w. Suppose -q*l + 6 = -15. Which is bigger: z or l?
z
Let j(f) = 22*f**2 - 45*f**2 + 10*f + 22*f**2 - 19. Let y be j(7). Is y greater than or equal to 6/5?
True
Let m be (126/98)/((-5)/35). Which is bigger: m or -8?
-8
Let r = 689 - 11021/16. Which is smaller: -2/7 or r?
-2/7
Suppose 5*y + 2*n = -2*n - 16, 2*y - 2*n - 8 = 0. Suppose y = -q + 2*q. Is -3/11 less than q?
True
Let w(i) = -3*i**2 + 55*i - 4. Let y be w(18). Is -6 equal to y?
False
Let z(y) = -29 - 3*y**2 + 14*y + 2*y - 4*y. Let q be z(6). Which is smaller: q or -66?
-66
Let d = -12901/5 + 2571. Suppose 5 + 5 = -r + 2*f, 3*r + 30 = 2*f. Is d at least as big as r?
True
Let v(n) = -n**2 - 15*n - 21. Let i be v(-13). Suppose i*u = 15*u - 690. Is 69 equal to u?
True
Let v = -879/58 - 10/29. Let y = -15 - v. Let l(h) = -h**2 + 5*h + 1. Let p be l(5). Does p = y?
False
Let j be (-7 - 27/(-5))*10/4. Is -3 less than or equal to j?
False
Let m = -0.1 - 0. Let o = 425.7 - 457.7. Which is greater: m or o?
m
Suppose 190 = 9*m - 4*m. Suppose 44 = -r + m. Suppose -2*l = 3*l + 35. Is r > l?
True
Let k(g) = -21*g**3 - 5*g**2 - 4*g - 5. Let c be k(-2). Which is bigger: 150 or c?
c
Let m(s) = -4 - 9 + 4*s**3 - 5*s**3 - 16*s**2 + 3*s**2 - s. Let o be m(-13). Are 2/23 and o nonequal?
True
Let g = 50 - 35. Suppose -45 - g = -5*v. Is v > 12?
False
Suppose 3*o = 6*u - 4*u - 202, u = o + 103. Suppose 3*j + u = 2*f + 8, -3*j = 15. Is 42 > f?
False
Let s = -2.2 + 5.2. Let r = 56/15 + -10/3. Which is bigger: s or r?
s
Let b be ((-7)/56)/((-1)/(-3)). Suppose -c + 4 = 1. Let g(l) = -l**3 + 4*l**2 - 3*l + 1. Let u be g(c). Which is greater: b or u?
u
Let r = -2781/229 - -1260779/2519. Let j = 284 + 204. Let q = r - j. Is 1 at least q?
True
Let b = -0.48 + 0.13. Let p = 0.15 + b. Which is greater: p or -3?
p
Let z be 176/(-435) + 4/(-130)*-13. Which is greater: z or 1?
1
Let q(y) = 5*y - 26. Let s = -23 - -37. Let w be q(s). Which is smaller: 45 or w?
w
Let j(u) = u**3 + 5*u**2 - 3*u + 6. Suppose 30*d - 35*d - 30 = 0. Let z be j(d). Is z at least as big as -11?
False
Let u(a) = -a**2 - 5*a + 7. Let s be u(-6). Suppose -5 = -5*r + 5. Let j be r*-6*2/(-152). Which is smaller: s or j?
j
Let j = 472 - 470. Is 35/19 at most as big as j?
True
Let v(k) = -3 - 2 + k**2 + 8*k - 2. Let p be v(-9). Suppose 4*o - p = 3*a, -3*o + 4*o - 3*a - 5 = 0. Is -3/13 != o?
True
Let n = -366321236648/36223719 + 515750/51. Let l = n - -406273766/36223719. Let d = l + -34/3. Is 1 < d?
False
Let s = 2200 - 2201. Which is greater: s or -3/107?
-3/107
Let m = 810297/20045 - 768/19. Is m bigger than 1?
False
Suppose -302 = 4*o - j, 5*j + 87 = 2*o + 247. Let i = -75 - o. Is -9/8 greater than or equal to i?
False
Suppose 19*b = 13*b - 408. Is b smaller than -67?
True
Let r = 74 + -145/2. Let x = -1332 - -1334. Is x less than r?
False
Let j = -136 - -406/3. Which is bigger: j or 26?
26
Let a be (1/2)/(7/(-70)). Let j = 326 - 327.81. Let l = 0.19 - j. Are l and a nonequal?
True
Let c be ((-432)/129)/3 + 4 - 3. Is 1 at most c?
False
Suppose -131 + 145 = y. Which is smaller: 6 or y?
6
Suppose 45*h - 4634 - 15121 = 0. Which is greater: 437 or h?
h
Let p be 7 - (1465/(-5) - 8). Is p equal to 309?
False
Let m = 70 - 44. Do 26 and m have the same value?
True
Let u(f) = -5*f**2 - 4*f + 4. Let r be u(2). Let j(c) = -5*c + 11. Let i be j(7). Is i != r?
False
Suppose 6*g + 1613 + 487 = 0. Which is bigger: -349 or g?
-349
Suppose 19*c - 6 = 51. Let u be 1*(3 + -2) - 3. Let b be -3 - (u + (2 - 5)). Which is greater: c or b?
c
Suppose -k - 4*k = w - 13, 9 = 5*w - 3*k. Suppose o - 5*m = 6*o, -m = -w*o + 12. Let s be o - (88/20 - 1). Does s = 0?
False
Let c(l) = -l**2 - 7*l - 4. Let n be c(-4). Let g be ((-32)/(-8))/(n/6). Is 3 >= g?
True
Let n be (2 - (1 + -3))/2. Suppose 2*g - 3*a = 1, n*g - 7*a = -2*a - 5. Let j(s) = -s**3 + 4*s**2 + 6*s - 2. Let i be j(g). Which is greater: i or 0.2?
i
Let v = 1/18 - 29/36. Let d = v + -31/4. Which is smaller: -9 or d?
-9
Let t be (2 - 1)*-3 - -3. Let q be -3 - (-6 - t) - -4. Let w(k) = -k**3 + 8*k**2 - 6*k - 5. Let n be w(q). Is 2 > n?
False
Suppose 4*y + 2 = -2. Let t be (-4 - y)*(-1)/(-3). Let s = -28/3 + 47/6. Do t and s have different values?
True
Let q be (0/(-13))/((-4)/(-2)). Suppose 4*c - 3*t + 6 = q, -c - 5*t - 6 = 7. Are -3 and c equal?
True
Let y = 0.08 + -0.2. Let a = -0.09 - y. Let i = a - 0.01. Do -0.1 and i have different values?
True
Let k = 9 + -9. Suppose -w + 4*m + 4 = 0, -13 + 36 = -4*w + 3*m. Let l be (-32)/(-40)*(-6)/w. Which is bigger: k or l?
l
Let o(h) = -h**2 - 5*h + 5. Let t be o(-5). Suppose 0 = -b + 3*m + 7, -t*b + m + 10 = -11. Suppose -v + 8 + 14 = -5*y, -b = y. Are v and 1 non-equal?
True
Let i = 41065/67 + -613. Which is bigger: 1 or i?
1
Let d = -3944 - -3944.1. Let b = -5.38 + -0.12. 