ler: y or -1/2?
-1/2
Let t be (-21)/273 + 1648/130 - 12. Let g = 2 - 3. Let s = g + 3. Is t at most s?
True
Let r = -543.02 - -556. Which is greater: r or 2/5?
r
Let c(u) = 69*u**2 - 3*u - 14. Let n be c(4). Suppose -16*z - n = 6*z. Which is bigger: -51 or z?
z
Let s be 1 + (-4)/10 + (-12)/(-5). Suppose s*k + 38 = 8*p - 12*p, p = 4*k + 57. Which is bigger: k or -12?
-12
Let g(s) = -41*s - 2542. Let a be g(-62). Are -1/5217 and a equal?
False
Let f = -65 + 86. Let w be 77068/630 - (-6)/f. Let c = 858/7 - w. Is c less than 0?
True
Let j = -115/119 + 14/17. Suppose -c = 3*c + 12. Let p be c/2 + 10/4 + 0. Are p and j nonequal?
True
Let n = -3.5 - -109.5. Let h = -75 + n. Is h greater than 0.1?
True
Let z(v) = 10*v - 2. Let f be z(-1). Let a be -1 + -2 - f/(-6). Suppose -14 = 3*x - i, -7*x = -2*x - i + 26. Which is greater: x or a?
a
Let g = -287 + 326. Suppose 0 = -g*q + 24*q - 645. Which is smaller: -0.1 or q?
q
Let k = -2883 + 2786. Do k and -103 have the same value?
False
Suppose -5*t + 7 = r - 16, 4 = 4*r - 2*t. Let x(z) = 10*z - 5. Let y be x(2). Suppose y = -r*f + 60. Which is smaller: -2/7 or f?
-2/7
Let t = 345 - 353. Let u(x) = -7*x + 36. Let b be u(3). Is b >= t?
True
Let t be (-11344)/(-1134) - (31 + -21). Is t at least 4?
False
Suppose -u - 3*x = u - 10, 2*x = 3*u - 2. Let f = u + -10. Let d be (f/(-4))/((3 - 4)/(-1)). Is 1 >= d?
False
Let x = -260/67 - -10526/2747. Suppose -u + 16 = -5*u. Let a be 4/6 - u/(-6). Is x at most a?
True
Let f be (-1566)/15*575/184 - 10. Which is smaller: f or -336?
f
Let y be ((-1)/(-3))/(-2*10/17328). Let b = 2827/15 + y. Let w = b + 101. Which is bigger: w or 84?
84
Let l = 18 - -2. Let j = 5 + -24. Let d = l + j. Which is smaller: d or 15?
d
Let d be (266/42 + -6)/((-1)/(-198)). Suppose 40*i = -26 + d. Let w = 26191/54 + -485. Which is smaller: i or w?
w
Let d = 2393/3 - 2335/3. Suppose i + 3*p = 5, 5*p + 20 = p. Which is bigger: i or d?
i
Let z be (4 + 0)/28 - 615/3276. Let c = 3383/1092 - z. Which is greater: c or 3?
c
Let l be 208 - (-2 + -5) - 7*-1. Suppose 5*a - 1390 + 290 = 0. Are l and a non-equal?
True
Suppose -v = -2*f + 11, -5*f + 6*f - 2*v - 13 = 0. Suppose 2*t + 5*m - 23 = 0, 0 = -4*t - 3*m + 14 - f. Suppose 0 = -5*n - 11 + 1. Is t at most as big as n?
False
Let d = 259404/5 - 51264. Which is bigger: d or 617?
617
Let i be (-1 + -6)*((-5 - -9) + -1). Let x be i/14*3/18. Is 0.17 != x?
True
Let y be 1/(-4) - (-9978)/8. Let l be 54/(-58) + (-86)/y. Which is smaller: -1/301 or l?
l
Suppose -4*o - 2369*q + 16 = -2373*q, 12 = 3*o + q. Which is smaller: 79/18 or o?
o
Let z = -1566 + 1549. Is -67 smaller than z?
True
Suppose -5*h + 5*i = -1125, -128*i = -123*i + 5. Is h > 9?
True
Let w = -33.735 - -34. Let q = -0.5 + 0.555. Let d = w - q. Does d = 0?
False
Let l(b) = -b**3 - 2*b**2 + 12*b + 9. Let y be l(6). Let j = 211 + y. Let x be 1/2*532/49. Which is smaller: j or x?
j
Let m = 655 + -198. Let a = -462.51 + m. Let b = a - 0.49. Is b at most -1?
True
Let f be 0 + (-1472)/(-18) - 1732/(-7794). Which is bigger: 83 or f?
83
Suppose 0 = 4*z - 31 + 27, -3*z - 85 = 4*t. Is t at most as big as -375/16?
False
Let i be 510/(-204)*23776/10. Are -5944 and i unequal?
False
Let j = -1.2 + 8.5. Let d = 0.049 - 2.349. Let u = d + j. Are 0.2 and u equal?
False
Let r = -33.365 + 33.415. Let s = -2.3 - -0.3. Which is greater: s or r?
r
Suppose 4*c + c = 589695. Let w = c - 822198/7. Let s = w - 483. Which is bigger: s or 0?
0
Suppose 0 = -j + 20 - 11. Let a be (j/(-18))/((-1)/6). Let s be (a/(-10))/(12/5) - -1. Which is bigger: 0 or s?
s
Let a(m) = -276*m + 9105. Let s be a(33). Let i = -24679/5610 + -1/1122. Which is bigger: i or s?
s
Let h be 22/55 + (85/(-25) - -4). Is -15/94 equal to h?
False
Let p = 986 + -1331. Is p less than or equal to -1033/3?
True
Suppose 0 = 2*l - 3*w + 5, 3*w = 3*l + 4 + 11. Suppose -4*f - 76 + 12 = -4*h, 36 = -4*f - 3*h. Let v = f - l. Is -4 less than or equal to v?
True
Let x = -16433/119 + -676/17. Which is bigger: x or -177?
-177
Suppose -5*u = -5*b - 1305, -3*u + 211 = -2*b - 572. Let x(q) = 319*q + 2175. Let n be x(-6). Is u <= n?
True
Suppose -9*l = 1 + 35. Let p be (l/(0 - -4))/((-2)/(-56)). Are p and -28 non-equal?
False
Let c(u) = -12*u + 360. Let g be c(30). Is g < 33/41?
True
Let n(l) = l**3 + 35*l**2 + 198*l + 56. Let u be n(-28). Is -5/61 at most u?
True
Suppose l = i - 8, 10 - 2 = 4*i. Let c be ((-300)/9)/(l/9). Which is bigger: c or -1?
c
Let t be ((-9)/(-6))/((-3)/4). Suppose 2*x - 59 = 37. Suppose 1 = 2*c - 5*o, x - 10 = -5*c - o. Which is smaller: t or c?
c
Let g = 261.573 + -0.573. Let x = g - 260.83. Which is bigger: 0.3 or x?
0.3
Let a = -0.055 + -36.145. Let n = a + 5.2. Let d be 12/18*3/(-2). Is n greater than or equal to d?
False
Let u(f) = 488*f + f**3 - 2 - 488*f + 5*f**2. Let k be u(-5). Which is smaller: k or -10?
-10
Let r = -425 + 425.37. Which is bigger: 0.23 or r?
r
Let v be 36/48 + (-1)/(-4). Let r be (-1)/(-2) - 53/2. Let i be (2 - r/(-14))*3. Is v less than i?
False
Let a be 0 + 3 + (-270)/72. Is a bigger than -0.0061?
False
Suppose 2*d - p + 16 = 0, -4*d + 4 = p + 24. Let j be (-4)/d - 120/27. Which is greater: -3 or j?
-3
Let d = -33500 - -33011.7. Which is smaller: 2 or d?
d
Let w(t) = 1618*t + 101. Let z be w(2). Which is greater: 3338 or z?
3338
Suppose 0 = 5*m + 3*j - 91 + 20, -4*m = -5*j - 42. Suppose -5*s + 5 = -2*c, m + 4 = c + 4*s. Let b(o) = -o**2 + 3*o + 9. Let w be b(c). Is -1/14 > w?
True
Let b = -6337.9 - -6338. Which is smaller: -0.0138 or b?
-0.0138
Suppose -156 = 18*v - 678. Which is bigger: 14 or v?
v
Let b(i) = i**3 + 94*i**2 - 72*i + 299. Let l be b(-95). Which is smaller: -1887 or l?
-1887
Let d = 0.164 + 0.003. Let a = d + -0.081. Let z = -1.914 - a. Is z less than or equal to -3?
False
Let q(w) = -w**3 - w + 8*w**2 - 9 + 11 - 10. Let d be q(7). Let c = d + -29. Is c at least as big as 5?
True
Let m = 9697 + -9684. Let z = 6 - 6.3. Let y = -0.2 - z. Which is smaller: m or y?
y
Let b(j) = -10*j**3 - 11*j**2 + 18*j - 31. Let x be b(11). Let l = 9596264/663 + x. Is l greater than or equal to 1?
False
Let s be -8 + -2*(-1)/2. Let g be 4*2/16*(2799 - 1). Let f = -1407 + g. Is f > s?
False
Let w = 132.3907 - 132.21. Is w greater than -0.1?
True
Let k(b) = b**2 + 10*b + 20. Let q be k(-8). Suppose y = a + 78, -6*y + 309 = -q*a - y. Which is bigger: -80 or a?
-80
Let w(n) = -23*n - 70. Let j be -4*(-5)/(-10)*6/4. Let l be w(j). Which is smaller: l or -4/247?
l
Suppose -5*l + 2181 = 4*f, 21*l - 5 = 16*l. Suppose -f = 88*p - 96*p. Which is smaller: p or 200/3?
200/3
Suppose -4*x + z = 29, x - 2*z + 9 = -0*z. Let u(t) = -3*t - 12. Let r be u(x). Suppose 0*y + 3*y = -r. Which is bigger: y or 2/5?
2/5
Let p = -32 - -35. Suppose 0 = -p*d + 31 - 19. Suppose 16*b + d = 12*b. Which is smaller: b or 2/121?
b
Suppose 249 = 5*s + d, 4*s + 7*d - 202 = 9*d. Let b be (960/s)/((-10)/(-25)). Is 45 smaller than b?
True
Let h = -1085/6 - -9236/51. Let w = h + -13/306. Which is greater: w or -50?
w
Let k = 236251 - 9685321/41. Is k at least as big as 24?
False
Let w = 1679 + -1679. Let y be 80/25*(-30)/(-76). Let s = y + -830/627. Is s equal to w?
False
Let z(q) = 10*q**2 - 50*q + 6. Let f be z(5). Suppose -f*o + 472 - 466 = 0. Which is greater: o or -2?
o
Let y be (-10)/(2/(-1 + -1)). Let t = 15 + -11. Suppose -y = -t*s - s. Which is bigger: -1/4 or s?
s
Suppose 20*c - 20 = 24*c, -4*z = 3*c + 2655. Let n = z + 576. Which is greater: -86 or n?
n
Suppose -34 = -4*u - 30. Let n be u - (25/3)/(-5). Let k be -1 - 1 - -4 - -2. Which is greater: k or n?
k
Let i be 660/495*3/(-1358). Is i less than 1?
True
Let z = 1495819/1662010 + -1/166201. Suppose 6*j = j + 5. Which is bigger: z or j?
j
Let f = -13719/56 + 245. Let o(u) = u**3 + 5*u**2 + 7*u + 6. Let s be o(-4). Let i = s - -6. Is f greater than or equal to i?
True
Suppose -21*j = 29405 - 28460. Is j greater than -6?
False
Let x(t) be the first derivative of t**5/20 + 2*t**4/3 - 3*t**3/2 + 7*t**2/2 - 17*t - 12. Let i(u) be the first derivative of x(u). Let m be i(-9). Does m = 2?
False
Suppose -23*y - 23 = 22*y - 68. Which is bigger: 35/92 or y?
y
Suppose 3*p = -12, -37*x + 5*p = -35*x - 820. Let a be ((-3192)/x + 8)*132. Is a >= 4?
False
Let p(a) = 34*a**2 - 4066*a + 56. Let x be p(118). Is -6317 >= x?
F