/31 + -33964/7843. Suppose -375 = 3*k + 2*c + 1522, -4*c = 3*k + 1889. Let j = k + 635. Is d > j?
False
Let h = 0.1 - 0.2. Let w be (-9654)/1449 + (-35)/21. Let v = 58/7 + w. Is h >= v?
False
Let m = -758 - -696. Let s = m + 62.1. Is -47 < s?
True
Let r(s) = -2*s**3 - 18*s**2 - 34*s + 13. Suppose -8 = -14*z - 92. Let a be r(z). Does a = 1/16?
False
Let v(t) = 2 - 12 + 4*t - 12. Let d be v(6). Let a = d + -29. Is -26 at most a?
False
Suppose 4*i = -2*u - 1218, -i - 548*u + 544*u - 294 = 0. Which is smaller: i or 5?
i
Let b(d) be the second derivative of d**3/3 + 2*d**2 + 5*d. Let u be b(-8). Let f = -435 + 1265/3. Which is greater: f or u?
u
Suppose -f - 274 = 5*l, 3*f = -2*l - 744 - 143. Is f at least as big as -299?
True
Let v = -2/22677 - 12064138/294801. Which is smaller: v or 1?
v
Suppose -2*m = -1717 - 85. Suppose -45*h - m = 8*h. Is h >= -33/2?
False
Let n = -183 + 572. Let r = 390 - n. Is r less than 13/7?
True
Let m = -3480 + 3467. Which is smaller: -5 or m?
m
Let x(z) = z - 10. Let b(o) = o - 21. Let c(t) = 3*b(t) - 7*x(t). Let d be c(-2). Let l be 5/((-10)/(-3) - 3). Is d at least l?
True
Let g be (-1 + 6/4)*0. Let s(f) = f**3 + 83*f**2 - 249*f + 840. Let z be s(-86). Are g and z nonequal?
True
Let b = 65.1 - 4.1. Let t = 61.03 - b. Do t and 1 have the same value?
False
Suppose -5*s = i + 57, -528*s - 5*i = -527*s + 21. Is 82 greater than or equal to s?
True
Let a(o) = 12*o - 2. Let d be a(3). Suppose 24 = -8*x + 14*x. Suppose 2*p = -4*y + 130, x*y - 6*y = 4*p - 68. Does d = y?
False
Let n = -0.86 + -9.14. Is n greater than -26/11?
False
Let q = -12579 - -13010. Is q greater than -0.08?
True
Suppose -2*p = p - 33. Suppose 4*y - z = -2*z + 32, 5*y - 40 = -z. Suppose x - 2*f = 11, -x - 3*f + y = -3. Is x not equal to p?
False
Suppose 0 = -7*s - 15 + 1. Let c be s/7 - (-8 + 2995/175). Which is greater: c or -9?
-9
Let c = 0.08 + 0.42. Let o = -23 + 34.4. Let i = o - 11.36. Which is bigger: c or i?
c
Let h be 6/(-4) - (((-3861297)/45166)/9 + 8). Do h and 1 have the same value?
False
Let o = -21 + 20. Let z be (102/18)/(o/3). Which is smaller: -180/11 or z?
z
Let z(y) = 14*y + 15. Let v be z(-13). Let p = v + 1167/7. Let a = -17.3 - -17. Which is bigger: p or a?
p
Suppose 5*i = 16 + 9. Let h(m) = 3*m**2 - 6*m + 3. Let y be h(i). Let d be (-1)/(-3*(-2)/y). Which is bigger: -28/3 or d?
d
Let g = -14.43 + 19.43. Is g smaller than -546?
False
Let w be 861/35 - 5 - 3/5. Suppose -93 = -w*v + 16*v. Let n = -34 + v. Is -7/3 at most as big as n?
False
Let d be (72/130)/((-7)/((-280)/16)). Let c = 11 + -9. Is c > d?
True
Suppose 0 = 9*p - 148*p + 93964. Which is bigger: p or 677?
677
Suppose 2*n - 124 = 4*w, -2 = 4*w + 10. Let b = n - 50. Suppose -3*u + z + 4*z - 2 = 0, 3*u - b = -3*z. Is 9/5 bigger than u?
True
Let g be 6110/(-141) - 2/3. Which is greater: -128/3 or g?
-128/3
Suppose 2*p + 82 = 4*x, -2*x = 4*p - 21 + 5. Let t be 2 - 2 - (-3)/x*-4. Let v = 81/8 + -87/8. Is v smaller than t?
True
Let m(j) = 85*j - 392. Let i be m(7). Which is bigger: i or 1826/9?
i
Let h be (-400)/33 + -11 - -3. Which is smaller: -20 or h?
h
Suppose -138*t + 445698 + 1090102 - 414550 = 0. Are t and 8124 non-equal?
True
Suppose -5*h + 5185 + 11975 = 5*o, -3*o - h = -10288. Are o and 3428 unequal?
False
Let t = -47933/28 + 1712. Let i be (-61)/7 - (-12)/(-42). Let g = 9 + i. Which is bigger: t or g?
t
Let x be (0/(16/4))/(-2). Suppose 3*z - 9*z - 48 = x. Let m(p) = -2*p**2 - 16*p + 4. Let l be m(z). Is 5 at least as big as l?
True
Let y be 1 + (2 - 0) - ((-3757)/(-78))/17. Which is smaller: y or -0.602?
-0.602
Suppose -2*z + 1 = -1. Let h be 3*38/(-619704)*-24. Is h bigger than z?
False
Let l = -21 - -23. Suppose -d + l*i = -3*d - 16, -2*d = 4*i + 24. Let j be 126/(-56) - (3 + 0). Which is greater: j or d?
d
Let a(r) = r**3 + 5*r**2 - 15*r - 4. Let y be a(-6). Suppose y = 10*q - 14*q - 3*m, -53 = 5*q - m. Which is smaller: q or 5?
q
Let r = -374 + -76. Let t = r + 449.79. Is 0.06 greater than t?
True
Suppose -132314 = -51*h + 48226. Is h at least 3540?
True
Let z be 245/15 + 64/24. Is -79 greater than z?
False
Let z be 6/4*((-48348)/27)/(-34). Is 85 != z?
True
Let x = 14 - 3. Suppose x*j + 1 = 1. Do -3/155 and j have the same value?
False
Let h be ((-28)/(-20))/(5/(-25)). Let c be (h + (15 - 7))/(1/(-32)). Which is greater: -31 or c?
-31
Let s = -5.99 + -0.01. Let a = 5.8 + s. Let z = 92.9 - 93. Which is greater: z or a?
z
Let c = -39 + 45. Suppose 195 = -f + c*f. Suppose 2*i - 15 = f. Which is smaller: 26 or i?
26
Let g(d) = -9*d**3 - 7*d**2 + d + 2. Let m be g(-2). Suppose -4*h + 104 = m. Let r be (-5)/(-20)*252/h. Which is smaller: 3 or r?
3
Let i(v) = -v**2 - 42*v - 419. Let w be i(-12). Are w and 0.1 equal?
False
Suppose 30*v - 3206 = 36094. Which is greater: v or 1308?
v
Let u be (-461)/1920 - 1/(-4). Let n = 75/67 + -9399/8576. Let l = u + n. Is -1 less than l?
True
Let o = 28750 - 32338. Is o at least as big as -1?
False
Let m = -419 + 419. Is m != 6/61?
True
Suppose -8 = -4*m + 3*n + n, -5*m = 5*n + 10. Let s be 1717/(-505)*(8/6 - 1). Which is smaller: m or s?
s
Let u = -8711/99101 - -15/877. Which is greater: u or 1?
1
Let r = 357.048 + -357. Let y = r - -100.952. Is 0 < y?
True
Let i = -976 - -1365. Let c be (-194)/(-8)*112/7. Which is smaller: c or i?
c
Let s(v) = 3 + 530*v**2 - 3*v - 1 - 529*v**2. Let r be s(0). Suppose -1 + 15 = x - 5*j, r*x - j + 8 = 0. Is -6 not equal to x?
False
Let k = -3291/938 + 4/469. Let i be -2 + (-4)/(-8) - 2/(-4). Which is greater: k or i?
i
Let w = 2019 + -1964. Is 437/8 at least w?
False
Suppose 0 = -v - 105*n + 102*n - 58, 4*v + 2*n = -182. Let u be 330/(-8) - 4/(-16). Which is greater: v or u?
u
Suppose 6*b + 16 = 2*b + 2*u, 2*u + 26 = -3*b. Let n be b/(-15) + (-296)/(-10). Let m be (-10)/(-13)*(-1 - n/(-24)). Which is bigger: -2/7 or m?
m
Let t = -2401 - -2403. Let j(f) = -2*f - 4. Let z be j(-4). Suppose 3*u + u = -z*l, 3*u = -l + 10. Is u not equal to t?
True
Suppose -51*b + 46*b + 1510 = 0. Let a = b + -3327/11. Which is smaller: a or 1?
a
Let r be ((-552)/736)/(3/232). Is r equal to -69?
False
Let h = -66200/2261 - -498/17. Is h < 0?
False
Let u be (2/(-1084))/((-159)/(-3816)). Which is smaller: u or 1?
u
Let n be (32/40)/(((-6)/15)/2). Let h be (2/n)/(29/58). Which is smaller: -23 or h?
-23
Let x(m) = 99*m**2 - 423*m - 9. Let a be x(4). Let j(f) = -119*f**2 - 2*f - 1. Let p be j(-1). Do a and p have the same value?
False
Let u = -219256/7 - -31191. Is -131 bigger than u?
True
Let i(h) = -31*h - 119. Let r be i(-4). Suppose -r*q - 2*q = 0. Is q at most as big as -7/11?
False
Let u = 3870 + -3877. Is -214/31 less than or equal to u?
False
Let d = 38.6 - 45. Let f = d - 19.15. Let q = 0.55 + f. Which is smaller: q or 0?
q
Let i be (-9)/(-5)*(-7 + (-104)/(-12)). Suppose -27*w + 30*w + 14 = 5*u, 0 = 3*w - i*u + 24. Do -21 and w have the same value?
False
Suppose -3*d - 10*d = -78. Suppose 5*o = 4*y + 121, d*y = 3*o + 3*y - 72. Suppose 0*n + 4*n = 104. Is n at least o?
True
Let b(f) = 256*f**2 + 3678*f - 6. Let p be b(-14). Which is smaller: -1319 or p?
p
Let q(g) = g**3 - 11*g**2 + 17*g - 23. Let u be 0 - 3 - -11 - 14/7. Let x be (-21)/u*4*(-10)/14. Let r be q(x). Is r greater than or equal to 47?
True
Let p(i) = i**3 - 5*i**2 + 11*i - 27. Let m be p(4). Is m != 2/4667?
True
Let t(x) = x + 3. Let j be t(1). Let z be -5 - (-2 - (-2 + j)). Let i be (-1 - z)*(-11)/22. Which is greater: 26 or i?
26
Let n be 2 + 2 - ((-46044)/(-3540) - 10) - 1. Let x be 2*((-6)/4)/(-3). Which is smaller: x or n?
n
Suppose -10*b + 1339 = -4751. Suppose 12*r - 2853 = -b. Do r and 188 have the same value?
False
Suppose -5*q + 1194 = -3*q - 3*i, 0 = i - 2. Suppose -282 = 4*a + k + 328, -4*a = -4*k + q. Let b be ((-15)/6)/(a/16). Is b bigger than 1?
False
Suppose -4*n + 42 - 6 = 0. Let s(l) = l**2 - 8*l - 10. Let o be s(n). Let h(y) = -18*y**2 + 2*y + 1. Let q be h(o). Is q less than or equal to -19?
True
Suppose 0 = -3*u + 3 - 0. Let j be 1*(u + 3 + -1). Let g(d) = 20*d - 494. Let p be g(25). Do p and j have different values?
True
Suppose 3*d + 443 - 167 = 0. Let p be ((-1)/2)/(2/d) - 0. Is 26 greater than p?
True
Let c = -25440.806 + 25441. Is -19 < c?
True
Let u = -3027/11 + 275. Let m = -18794.5 - -18832.5. Which is smaller: u or m?
u
Let 