2*v - 4*f + f. Is 0 >= v?
True
Let j(z) = 6 + 243*z - 3*z**3 + 239*z - 475*z + 7*z**2. Let l be j(4). Which is greater: -45 or l?
-45
Let j = 1006.2 + -964.21. Let f = -42 + j. Is f greater than 0.07?
False
Let b = -497 - -500. Let f be 1*175 + (0 - (b - 1)). Is 173 < f?
False
Let t(y) = 10*y + 5. Let s be t(1). Suppose 7*n - 10*n - s = 0. Which is smaller: n or 13?
n
Let j be 0 - ((-218)/(-14) - (-164)/(-287)). Let b be ((-1617)/(-18))/(-7) - 1. Which is smaller: j or b?
j
Let r = -814/63 + 196/9. Let k = r - 612/77. Which is smaller: k or -1/5?
-1/5
Let d be 6*7/126 - 1/3. Suppose -y - 3*y - 13 = -z, d = 2*y + 3*z + 17. Is -4 != y?
False
Let m(c) = -4*c**2 + 31*c - 9. Let v be m(7). Let u be (0 - -3)*(4/v + 0). Which is smaller: u or 6?
u
Let l = -26 + 68. Suppose 2*g + 3*w = 75, 22*g - 17*g - 2*w = 197. Is g equal to l?
False
Let q(u) = -u**3 - 17*u**2 - 32*u - 3. Let g be q(-2). Which is bigger: g or -15/218?
g
Let j = -9222.8 + 9223. Is j <= 158?
True
Let t(g) = 4*g**2 + 28*g + 147. Let h be t(-5). Is 1 at least h?
False
Let y = 31059 - 31692. Which is bigger: y or -634?
y
Suppose 7*l - 7840 = -42*l. Suppose -149*a + 11 = -l*a. Is 1/108 smaller than a?
False
Let z = -130 + 208. Let t = z - 77.959. Let y = -4.959 - t. Which is smaller: 0.3 or y?
y
Let f = 0.28 + -0.3. Let r = -653/8 + 82. Let s = r + -41/24. Which is greater: f or s?
f
Let r(h) = -2*h**2 + 5*h + 33. Let v be r(8). Let q = v - -109/2. Let p be (-6)/4 - (1 - 0). Which is smaller: q or p?
p
Let f(i) = -i**3 + 98*i**2 - 66*i - 2479. Let d be f(97). Let t(a) = -59*a - 2. Let h be t(-9). Are h and d equal?
False
Let j = 11591.42 + -11576. Is 1/3 < j?
True
Let a be 4/2 - 3 - -3. Suppose -2 = 5*x + 8, -x + 16 = u. Suppose 4*y = -2*m + u, -3*m - 20*y + 15 = -17*y. Which is smaller: m or a?
m
Let z(f) = -2*f**2 - 2*f - 1. Let j be z(-1). Let x = 479 + -461. Let c be x/(-6) - (j - 0). Which is smaller: -12/19 or c?
c
Suppose -4*z + 5*f = 6552, -15*f = -18*f - 12. Is z bigger than -1644?
True
Let l be 7470/(-415) + 61/(-1). Which is bigger: l or -31?
-31
Let l = -90 + 303. Let k = -210.9 + l. Do -2/7 and k have different values?
True
Suppose 0 = -2*n - 5*t - 12, 3*n - 7*t + 11*t = -11. Which is greater: 2/5081 or n?
2/5081
Suppose 8 = 4*a - 4. Suppose -3*u - 2*w = -0*w + 5, -u - 11 = a*w. Let j be 27/(-114)*(-336)/126. Which is smaller: u or j?
j
Suppose 6 = 4*q - 2*h, 5*q - 27 = -0*q - 4*h. Suppose 5*o - q*o + 218 = 0. Let y = o - -112. Does 3 = y?
True
Suppose 9 + 7 = 4*f - 4*z, -z = 5. Suppose 816 = -7*p - 3090. Let s = 5014/9 + p. Is s less than or equal to f?
False
Let d = 337343/9870705 - -1/84365. Let s = -2 - -2. Is d < s?
False
Let q be 206 - ((-28)/(-16) + (-1)/(-4)). Let i = 201 - q. Which is bigger: -14 or i?
i
Let c = -10610 - -10611. Is c <= -2/36105?
False
Let j = -149 + 175. Let f be (-1 - 2/(-4))*(18 - j). Suppose -f*v - 20 = -0, y + 3*v = -15. Is y equal to 1/25?
False
Let m be ((-32)/(-192))/(5/5519). Let t = -184 + m. Is t at least as big as -1?
True
Let m(u) = -u**2 - 7*u + 75. Let t be m(6). Let i be (0/((-18)/t))/1. Which is smaller: -4/11 or i?
-4/11
Let f = -3.31 - -0.31. Let t be 5/(-10) + 442/(-52). Does f = t?
False
Let o = 5766 + -7172. Which is greater: o or -1413?
o
Suppose 345 = 785*q - 670*q. Is q less than 532?
True
Let j = -1.938 + -0.592. Let c = 2.03 + j. Which is bigger: -0.12 or c?
-0.12
Suppose -5*r + 2*s = 114, -3*r - 64 = -2*r - 21*s. Let f = -105 + 75. Let b be 6/f - (-109)/(-5). Is b smaller than r?
False
Let z = 206.234484 - 0.152484. Let h = -0.082 + z. Which is smaller: 2/5 or h?
2/5
Let d be ((-360)/34)/3 - 0. Suppose 305*k = 283*k - 66. Which is greater: d or k?
k
Let f(c) = -52*c**2 + 18*c + 37. Let n be f(-2). Which is greater: n or -2/21?
-2/21
Let k = -2/3801 + -22772/64617. Suppose 0 = -2*p - 3 + 1. Let g be p/8 + (-9)/(-8). Is g at most as big as k?
False
Let y(c) be the third derivative of 19*c**4/12 - 193*c**3/6 + 8*c**2 - 3*c. Let w be y(5). Let n = 1 + -5. Does w = n?
False
Let l(x) = x**3 + 31*x**2 + 57*x - 29. Let q be l(-29). Let k be (q/(-39))/(2/1 - 0). Do k and 15/22 have the same value?
False
Let z be 7579/572 + (-1)/4. Which is smaller: z or 0.23?
0.23
Suppose 1136 = -9*m + 13*m - 20*m. Which is smaller: m or -63?
m
Let o = 204875/21 - 9754. Let l be 1*(-10)/(-14)*(-80)/(-25). Let y = o - l. Which is smaller: -4 or y?
-4
Let c = -574 - -579. Suppose -555 + 550 = c*g. Is g equal to -2/1673?
False
Let u(j) = j - 7. Let v be u(9). Suppose 1 = f, i + 0*f + v*f - 38 = 0. Let s be ((-9)/i)/(2 + (-15)/6). Is 0.4 at most s?
True
Let v = -2464 + 2649.1. Let g = -185 + v. Let s = -0.35 - -0.1. Which is greater: g or s?
g
Let s = 2855.94 - 2850. Let u = 0.12 + -6.12. Let r = s + u. Are 2 and r unequal?
True
Let y = 5371 + -5371. Is -182/3 < y?
True
Let h = 82.8 + 15.2. Let l = 103 - h. Let r = 2.85 - 2.8. Which is bigger: l or r?
l
Let o be (6 - 2/1)*(-3)/(-12). Let z be (-2)/(-1) - (-11 - -4). Which is smaller: o or z?
o
Suppose 14*d + 27 = -15. Which is bigger: d or 0.138?
0.138
Suppose -s - 4*o = -2*o, 0 = -4*o + 20. Let m(u) = -u**2 - 12*u + 9. Let q be m(s). Let n be ((-1)/((-21)/(-98)))/(1/(-6)). Is q != n?
True
Let i(g) = 26*g - 2. Let r be i(-2). Let z be r/(-4) + 3/6. Let x = 40880 + -40867. Is z >= x?
True
Let t = 7124515469/518 - 13753882. Let z = t - 123/14. Is z greater than or equal to 1?
False
Let c = -7088 + 7893. Are c and 808 unequal?
True
Let d = -11181/7012838 - -1/10514. Which is bigger: d or 0?
0
Let f = 0.89 + -15.89. Let d = 0.9 - 19.9. Let a = d - f. Is a smaller than -1/3?
True
Let n be (-9)/(-135)*20*(-7 - -1). Let f be -80*n*(-1)/(-10). Is 64 less than f?
False
Let z = 35688 - 35687.6. Let q(l) = -l - 3. Let u be q(4). Which is smaller: u or z?
u
Let w be (-66)/(-44)*(-10)/(-45)*-3. Is 15/103 at least w?
True
Let f(x) = 30*x + 6. Let y be f(-6). Let c be 696/(-9)*3*(-9)/(-12). Are c and y unequal?
False
Let o be (-2)/660*15849/(-24) + 3 + -5. Which is greater: o or 1?
1
Let u = 1597627/10 + -159604. Which is bigger: 160 or u?
160
Let c = 6646 - 431982/65. Let a be (0 - -1) + 14/(-13). Let x = c - a. Is 3/2 <= x?
False
Let p = 3070.94 - 3071. Which is smaller: p or 73?
p
Suppose -98*x + 100*x - 10 = -t, 5*t + 3*x - 36 = 0. Suppose t*z - 40 = -5*f + z, 0 = 3*f + 4*z - 28. Is -70 <= f?
True
Suppose -9*h - 17*h - 156 = 0. Which is smaller: h or -158/33?
h
Let b be 38/(-56) + 4 + (-450)/126. Which is smaller: 622 or b?
b
Let g = 10737 - 11252. Is -512 less than g?
False
Suppose 3*f = 12 + 9. Suppose 4*x = 15 - f. Let d be (-4390)/(-420) - 10 - (234/18)/(-26). Which is bigger: x or d?
x
Let c = -178674 - -6253004/35. Is c smaller than -17?
False
Let p = 13.3 - 11.72. Let u = p + -1.59. Let c = 350 - 4548/13. Which is smaller: c or u?
u
Let m = -7386/19 + 259260/703. Which is smaller: m or -21?
-21
Let o = -135 + 114. Suppose -30 = -11*n + 14*n. Is o at most n?
True
Let o = -144 + 189. Let t be 27/o*(-4)/((-4)/(-5)). Do -32/11 and t have the same value?
False
Let u = -15 + 15. Suppose u = -7*y + 5*y + 4. Suppose 30 = -8*a + y*a. Which is smaller: -12 or a?
-12
Let q = 42 + 19. Let a = -11.363 + 11.563. Is q greater than a?
True
Let m(j) = j**2 - 10*j + 17. Let s be -1*(4 + -7 - 6). Let g be m(s). Suppose g*h - 9*h = 19. Is h greater than or equal to -21?
True
Let v be ((-530)/(-4) - -6)*(-8)/10. Let n = -53748/485 - v. Is n less than or equal to -2?
False
Let j = -3788 - -3077. Which is bigger: -1 or j?
-1
Let y = 55306826 + -139341621322357/2519429. Let p = y - -1471352815/5273164897. Let n = 2/299 + p. Is n less than -0.2?
False
Let x = 48878 - 830870/17. Suppose 3*m = -4*s + 4, -s - 3*m + 5*m = -12. Which is smaller: s or x?
x
Suppose 10*n + 69 = 3*r + 6*n, -n - 79 = -4*r. Let o(z) = -z**2 + 27*z - 84. Let a be o(r). Is a less than 70?
True
Let t(g) = 10*g - 10*g + 6*g - 18. Let p be t(8). Let l be (-4)/(96/(-3))*(2 + 0). Which is smaller: l or p?
l
Let p = -76779/10 - -7674. Which is smaller: p or 0.2?
p
Let h(c) = -c**3 - 3*c**2 + 11*c - 10. Let i be h(4). Let n = i - -83. Suppose n*o + 446 = -2*d, 2*d = -o - o - 176. Is -90 != o?
False
Let d(v) = v**3 + 8*v**2 + 3*v - 14. Let p be d(-6). Suppose 0 = -4*b + 2*b + 3*t + p, -3*b + 46 = -t. Suppose 28 = 2*i - w, 5*w + 2 = 4*w. Is i less than b?
True
Le