is smaller: 1 or s?
s
Let z be (2/2 - 1)/2. Let f be -17 + 8 - (15/(-3) + 41). Let u be f/18 + (-1 - z). Is u > -3?
False
Let u be ((-31)/((-268863)/(-196)))/((-1)/((-1)/2)). Is u at least 0?
False
Let q(b) = -2 - b**2 + 0*b**2 + 5. Let c be q(-5). Let z(a) = -a**3 - 96*a**2 + 104*a + 656. Let n be z(-97). Does c = n?
False
Let v be (2 - (-108)/(-15)) + 1/5. Let b be 2 - (-1)/(v/46). Suppose 2*u = -2*z - 20, 0 = 7*z - 4*z - 3*u + 12. Which is smaller: b or z?
b
Let j be 4*5/35 + (-773)/(-7). Let h = 205 - j. Is h > 94?
False
Let g(h) = 135*h + 5669. Let t be g(-42). Which is smaller: -24/1121 or t?
t
Let u be 3 + 3 - ((-166)/(-3))/(292/(-438)). Do u and -64 have the same value?
False
Let m be (1/(-16)*0)/2. Which is greater: m or 16004?
16004
Suppose -1419 = -27*q + 51*q - 153*q. Let c = -12.6 - -11. Is q greater than or equal to c?
True
Let v = -146.23 - -3.23. Let s = v + 142.943. Let d = -0.077 - s. Which is smaller: -0.1 or d?
-0.1
Suppose -6*p + 9*p = 891. Let o = p - 283. Is o smaller than 27?
True
Let b = 7644 + -7622. Which is smaller: b or -1/15?
-1/15
Suppose 4*s = -2*b - 2*b + 64, 4*b + s - 55 = 0. Suppose 5*m + 68 = 4*z, -68 = -z - 2*m - 64. Suppose -z = b*t - 17*t. Are t and 9/5 unequal?
True
Suppose 3*j - 5 + 15 = 5*y, -3*y = -15. Suppose 10*m = -4*v + 8*m, -j*v + 2 = 2*m. Is v >= 12?
False
Let p be 176 - (-2 - -1 - -3). Suppose -2436 = 27*w - 41*w. Is p less than w?
False
Suppose -3*y + 4*y = 2. Suppose -33*l + 12 + 153 = 0. Suppose -y*z - l = 3*z. Is z <= -23?
False
Let q = -2870 + 2869. Which is bigger: -2/5061 or q?
-2/5061
Let w = 292719/13 - 22517. Which is smaller: w or 3/1127?
w
Let s be (-25 - (-159 - -5))*1*-4. Is s at least as big as 2?
False
Let o be (-54)/135 - ((-156)/70 - -1). Is 0 != o?
True
Let h = 15 - 13. Let g = 7452081/187 + -39851. Let s = 2/11 + g. Which is bigger: h or s?
h
Suppose -82*u + 84*u = v - 457, -v - 5*u = -492. Is v != 465?
True
Let d = 0.02492 - -0.05508. Which is smaller: -0.75 or d?
-0.75
Let f = -17313 + 17312. Is f bigger than 13/510?
False
Let a = 25109 + -24988. Do a and 118 have the same value?
False
Suppose r - 8 = -4*y, y + 2*r - 8 - 1 = 0. Suppose 5*p + 19 = -y. Which is greater: 5 or p?
5
Suppose 16*a - 18*a = 2. Let z be (-41 - a)/4 + -1 + -3. Is z <= -17?
False
Suppose -5*z = -2*z - 198. Let w = -101/79 - -461/237. Which is smaller: z or w?
w
Let b = 67 + 11. Suppose -5*v = -2*i - b, -3*i + 36 - 164 = -2*v. Do i and -44 have the same value?
True
Let r be ((-2)/(-96))/((-1)/((-63)/6)). Let f = 99/160 - r. Is f < -40?
False
Let b = 10104 - 6553. Are -0.1 and b unequal?
True
Suppose 4*r + 188 = -28. Let y = -41 - r. Let o be (39/y)/(-1 - 34/(-40)). Which is smaller: o or -21?
-21
Let j(h) = 8*h - 15. Let a(q) = 24*q - 44. Let c(y) = 6*a(y) - 17*j(y). Suppose 29*w = 28*w - 3*x + 2, -5 = -2*w - 5*x. Let d be c(w). Which is bigger: 30 or d?
d
Let z be ((-260)/26 + 35)*-1*1. Is z at most 1.6?
True
Suppose h - 3*s = -3*h - 82, -2*h + 4*s - 46 = 0. Let w = -770 + 1937. Let q be w/(-66) + 4 + (-84)/22. Is q < h?
False
Let o be (-2 + 5)*(-1)/(15/(-25)). Suppose 1279 = -4*h - h - 3*u, -4*h - 1001 = -o*u. Is h bigger than -254?
False
Suppose 68*q + 3*c = 72*q - 631, 4*q - 591 = -5*c. Which is greater: q or -19?
q
Let f be ((-9468)/(-24))/(12/(-232)). Is -7627 <= f?
True
Let y be (-4)/18 + 4641/28458. Which is smaller: 1 or y?
y
Let o(x) = -12*x**3 + 7*x**2 + 7*x - 36. Let g be o(5). Let p = -100779/76 - g. Which is smaller: p or 1?
p
Suppose -2 = 5*r + 4*z, -2*z + 4*z = 2*r - 10. Let m be (r/130)/(2/(-5)). Suppose 5*s + 20 = 0, -232*t = -237*t - 5*s - 15. Which is smaller: m or t?
m
Let b be 1 + -3 + 0/(-2). Let v(p) = 356*p + 2. Let k be v(1). Let d be b + (-1 - k/(-118)). Is d equal to 0?
False
Let o(h) = -h**3 + 16*h**2 - 9. Let u be 26 - 14 - (-5 - -1). Let p be o(u). Let q(z) = z**3 + 9*z**2 + z - 6. Let t be q(p). Is t greater than or equal to -15?
True
Let o be 507/5 + 4/(-10). Let x = -38 + o. Let w be 21/x*(3 + 0). Is 2/53 >= w?
False
Let a = -1561/13702 + -5/442. Which is greater: -1 or a?
a
Let c = -500.0044 + 500. Let k = 0.0044 + c. Are -6.7 and k unequal?
True
Let c = 2 + -1. Let n = 98/80179 - -1116008757/2245012. Let s = 497 - n. Which is smaller: s or c?
s
Suppose -9 = -v + x, 0*x = -2*x - 16. Is -22/603 greater than or equal to v?
False
Let z(q) = -q - 2. Let a be z(-4). Suppose -4*r - t + 51 = -18, a*t = 10. Let d = 16 - r. Is -10/11 equal to d?
False
Let f(r) be the second derivative of r**5/20 - 7*r**4/6 - 8*r**3/3 + 10*r**2 - 87*r. Let c be f(15). Is 1 less than c?
True
Suppose 57*u = 36*u - 44*u. Suppose 0 = 4*s - 9 - 11. Suppose -s*m - 18 = -k, m - 48 - 3 = -4*k. Is u <= k?
True
Let q = 4.12 + -4. Let p(o) = -o**3 + 10*o**2 + 11*o - 1. Let x be 4224/256*(1/(-3) + 1). Let d be p(x). Is d smaller than q?
True
Let j(v) = 7*v + 18. Let x be j(5). Let u = x - 8. Let o be -1 + 7/9 - 5/u. Which is greater: o or -6?
o
Let l = -380/3423 - -6994700/106113. Which is smaller: l or 66?
l
Let c(j) = 9*j + 163. Let i be c(-19). Let h be 6 + i + 20/9. Which is smaller: 0.007 or h?
0.007
Let a(r) = 87*r - 609. Let p be a(7). Which is smaller: p or -2/15309?
-2/15309
Let k = 4888.03 - 4888. Which is smaller: 463 or k?
k
Let o be (-10)/(-8) - (-2 - -2). Let k(h) be the second derivative of h**4/12 + 5*h**3/3 + 11*h**2/2 - 35*h. Let x be k(-9). Is x at most o?
False
Suppose 0 + 6 = -3*i + 3*h, 5*h - 22 = i. Suppose i*f + 130 = -p, 3*p - 5*f + 334 = -0*p. Is -119 less than p?
True
Let s = -809632/9063 - -4/9063. Which is greater: -0.4 or s?
-0.4
Let i(d) = d**3 - 20*d**2 - 69*d - 13. Let l be i(23). Let z(o) = 4*o - 42. Let n be z(10). Which is smaller: l or n?
l
Let k(r) = -3*r + 85. Let d be k(28). Let f be ((-21)/63)/(d/(-21)). Which is bigger: f or 11/2?
f
Let g(r) = 14*r + 8. Let x be g(0). Suppose 198 = -x*b + 206. Is -9/38 not equal to b?
True
Let l be 26/10*235/(-47). Let c be ((-2)/l + (-226)/(-52))*-2. Are -12 and c non-equal?
True
Let a be (-1)/(-4) - 0/3. Let f = -230951.968 - -230952. Is f < a?
True
Let d(b) = -2*b + 43. Let r be d(20). Suppose 3*o + 4*i = 66, 18 = r*o - 3*i - 48. Are 0 and o equal?
False
Let k(j) be the second derivative of j**4/12 - j**3/2 - 20*j**2 - 23*j. Let f be k(8). Suppose -2*b - 6 = f, i - 4*i + 5*b + 30 = 0. Which is smaller: 4 or i?
4
Suppose -4*n + 260 = -0*n. Let o = n + -41. Let w be 2/8*o/(-39). Which is smaller: w or -1?
-1
Let x(g) = -4*g + 29. Suppose 3*k + 0*k = -5*h + 16, -38 = -5*k + 3*h. Let s be x(k). Let u = -2/315 - -89/126. Which is smaller: s or u?
u
Let l = -1.8154 - -2.0854. Which is smaller: l or -0.0284?
-0.0284
Let v(q) be the third derivative of 7*q**4/24 + 14*q**3/3 + 19*q**2. Let o be v(-4). Suppose 4*a + 8*a - 24 = o. Are a and 5 equal?
False
Let o be (-54 - -16)/19 + 2049/(-1). Which is smaller: o or -2049?
o
Let s = -50204/1687747 + 25/1031. Is s at most as big as 1?
True
Suppose -32*i - 3*j + 8581 = -30*i, 21435 = 5*i + 4*j. Is i at least 4286?
False
Suppose 8*y - 4*y - 308 = 0. Let x = y - 2232/29. Is x at most as big as 1?
True
Let o be ((-3)/4)/1*-4. Suppose -f = 4*g - 23, 14*g - 15*g = 2*f + o. Which is smaller: -0.1 or g?
-0.1
Let o be 1 - (0 + -2) - (-5 - -3). Suppose 0 = -2*n - 2*n + x - 127, 15 = o*x. Which is smaller: -2 or n?
n
Let c = 1290 + -1318. Which is smaller: c or -2/9?
c
Let p(x) = x**2 + x. Let s be p(3). Let d(c) = c**2 - 49*c + 303. Let y be d(42). Is y less than s?
True
Let n(q) = 6*q**3 - 11*q**2 - 43*q + 11. Let i be n(8). Do i and 2035 have the same value?
True
Let o = 9141348/289 - 31631. Is o greater than or equal to 0?
False
Suppose -30*n - 7*n - 169 = -58. Let d be (-98)/24 - 1/6. Is d greater than n?
False
Let r = 15699 - 15695. Is r greater than or equal to 346/109?
True
Suppose 4*d + 12473 + 3106 = 31*d. Is d > 577?
False
Suppose n - 6 = -14. Suppose 96 = 489*h - 393. Which is bigger: h or n?
h
Let y be 4/((6/2505)/1)*4/(-12). Which is greater: y or -556?
-556
Suppose 0 = 5*a - a - 4. Let p be 159291/75*7/42. Let f = p - 354. Is f <= a?
True
Let l = -2459 - -3194. Do l and 0.3 have different values?
True
Suppose 22*k = 19*k - 3. Let s be (k*(1 + -3))/1. Which is smaller: 4 or s?
s
Let z = -5615 - -5614. Which is smaller: z or 5/931?
z
Let g be (2 - 1) + 15 + -11. Let k(s) = 6*s + s - 2