
1
Let s = -481 - -693. Let j be s/(-6) + 5/15. Which is smaller: -34 or j?
j
Suppose -5*l + 44 = 3*h + 404, 5*h + 2*l + 638 = 0. Are h and -121 unequal?
True
Let d be 2/(-18)*(-5994)/10656. Let k = 19 + -173/9. Which is bigger: d or k?
d
Let j = -368 + 26868/73. Let b be (2*-1)/(-5 - (-7 - -6))*-2. Which is smaller: b or j?
b
Let b(d) = 9*d - 10*d + 4*d**2 + d. Let g(j) = j**2 - j. Let u(n) = -b(n) + 3*g(n). Let r be u(-2). Is r smaller than 5/6?
False
Let q(g) = 3*g**3 - 37*g**2 - 19*g. Let y be q(13). Let s = y + -424. Which is smaller: -334 or s?
-334
Suppose 12 = 4*w, 0 + 1 = -4*r - w. Let p = 20/1693 - 15637/33860. Does p = r?
False
Let u = 312/5 + -2818/45. Which is smaller: u or 1579/5?
u
Suppose 70*y - 322*y - 453 = 555. Let i = 1597/4 - 402. Is i bigger than y?
True
Let b = -0.7 + 4.2. Let w = 3 - b. Let x = 953 + -955. Is x less than w?
True
Let i = -38057/26724 + 27/524. Let c = -12/17 - i. Let p = 0.2407 - 0.1407. Is p >= c?
False
Let t be ((-4)/(-3))/(412/927). Suppose -5*j - c = 10, -3*c - 13 = j - t*j. Which is greater: -1/239 or j?
-1/239
Let w(u) be the first derivative of -20*u - 18 + 1/3*u**3 - 4*u**2. Let k be w(9). Which is bigger: k or -9?
-9
Suppose 0 = -3*f - 3 - 0. Let s = f - 9. Let c be 6075/(-54)*2/20. Is c smaller than s?
True
Let z = -46/163 + -6832/9291. Is z greater than or equal to -2?
True
Let j = 39715 + -316743/8. Suppose 0 = 4*q - 0*q + 488. Let p = q + j. Is 1 > p?
True
Let y be (-4)/(-16) + 23/4. Let f be ((y/(-8))/3)/(-2). Is f at least -2/3?
True
Let c = -5759 + 5642. Is -15 <= c?
False
Let r be (-140)/(-132) - (-1)/(-3). Suppose 0 = -5*p + 20, 27*p = 3*v + 26*p - 1076. Let i = v + -360. Is r bigger than i?
True
Suppose -3*j - 5*x + 7 = -7, -x = 2*j - 7. Suppose 3*q = j*n - 60, 7*n + q = 2*n + 106. Suppose -n*h = -20*h. Which is bigger: h or -14/13?
h
Let s be 2 + -6 - (-12)/1. Let y be (-3)/(12/8) - -1. Let c be y/(1 + (3 - 3)). Is s at most c?
False
Let x(i) = -64*i**3 - 17*i - 3. Let o(r) = -r**3 + 2*r + 1. Let d(h) = -6*o(h) - x(h). Let k be d(1). Is k equal to 1?
False
Let l = -3461/84 + 23/12. Let i = -1084/21 - l. Are -11 and i non-equal?
True
Let a = 159/7 + -6317/14. Which is greater: 2/3 or a?
2/3
Let s = -4808173/12270 - -63/2045. Which is smaller: -391 or s?
s
Let o = -0.405 + 188.405. Let x = -185 + o. Which is bigger: 7 or x?
7
Let s = -2321 - -2317. Let k = -18 - -27. Let n be (0 - -4)/((-6)/k). Which is greater: s or n?
s
Let k be (1/(-3))/((-508)/84 - -6). Let r(z) = z**2 - 7*z + 5. Let i be r(k). Suppose -2*d = -d + g - i, -3*d - 4*g + 18 = 0. Is d < 8?
True
Let i = -4630 - -30738572/6639. Which is bigger: i or 1?
1
Suppose 2*d + 921*c + 66 = 916*c, -2*c = -3*d - 80. Let v = -42 - -14. Are v and d equal?
True
Let j = -1.362 - 0.138. Is 18 greater than j?
True
Suppose -24*h = -5*i - 21*h - 17, -3*h + 10 = 2*i. Is -102/115 at least i?
True
Suppose 4*x - 1521 = 5*n, -n - 181 = 2*x + 112. Let o = 112 + n. Are o and -1 non-equal?
True
Let d = 24211.2 - 24211. Let k = -0.58 - -0.6. Is k < d?
True
Let k(f) = f - 54. Let p be k(55). Suppose -2*w - 4 = 3*z, 2*w - 4*w - z - 4 = 0. Let t be w/(-88)*-1*2. Which is smaller: t or p?
t
Let r(u) = -2*u**2 + 2*u + 2. Let a be r(5). Let y = -23683 - -23644. Is a smaller than y?
False
Suppose -6*i = -26*i. Suppose 11*a + 235 + 909 = i. Which is smaller: -107 or a?
-107
Let x(v) = 13*v**2 + 661*v - 75. Let c be x(-51). Suppose 5*j - 150 = -3*m + 5*m, 0 = 5*j - 5*m - 135. Are c and j nonequal?
True
Suppose s - 48 - 6 = -2*l, -l - 270 = -5*s. Let h = 1135/21 - s. Suppose 0*o - 4*o = 4. Which is greater: o or h?
h
Let q = -4 - -4. Let z be (102/(-1596))/(-1) - (-5)/(-34 - 1). Is q smaller than z?
False
Let q be (-1)/(-2) - ((-345)/10)/23. Let i be -4 + q - (-3 - -1). Is i less than or equal to 281?
True
Let u = 7 + -1. Let y be 1/3*u/(-5). Suppose -31*f + 0 = -0. Which is bigger: y or f?
f
Suppose -10*l - 3 = -7*l. Suppose -5*y - 10 = 2*f, -2*f = 2*f. Let z be y/(-51)*(-2)/4. Which is smaller: z or l?
l
Let v be 2/(-14)*(-14)/105. Let f(j) = 2*j**3 + j**2 - 1. Let u be f(-1). Let p(c) = -c**3 - 3*c**2 - 4*c - 3. Let k be p(u). Does v = k?
False
Suppose 0 = -13*u + 8 + 44. Let q be 198/(-405)*21*(-35)/u. Which is smaller: q or 89?
89
Let m be ((-284)/(-16) - 16) + (22/(-4) - -5). Let v(h) = -h - 4. Let g be v(-6). Which is smaller: g or m?
m
Let j be (-37674)/13688 + (-102)/(-136) + 2/1. Which is smaller: 0 or j?
j
Suppose -4*n + 106 = 138. Let y be (-37)/(-370)*110/n. Which is smaller: y or 0?
y
Let g be 0*(3/6)/(-1). Suppose -4*i + 80 = 5*y, 3*y - 2*i + 0*i - 48 = g. Suppose y - 6 = -10*a. Is 3/7 > a?
True
Suppose 5*m = -3*p, -2*m + 3*p = -m + 18. Suppose 40*v + 36 = 52*v. Let k be (-30)/(v - (1 - 11)). Which is smaller: m or k?
m
Suppose r = -k + 4, 13 = 3*k - 4*r + 1. Suppose -2*y + k*h + 26 = -0*y, -2*h + 2 = 4*y. Suppose 5*d + 16 = 2*a + d, 4*a + 1 = -y*d. Is -11 smaller than a?
True
Let j be (-10)/(-5)*2/4*72. Let f = -61 + j. Suppose 38 = 3*a + f. Which is smaller: a or 7?
7
Let l = -450 + 550. Let j be l/1050*(9/2)/(-3). Let h = 0.06 - 0.36. Is h at most j?
True
Let a = -902265/97 + 9302. Which is bigger: a or 0?
a
Let x(o) = 42*o**2 - 3*o - 3. Let a be x(-1). Let i be 3/1*(-18)/(a/(-7)). Are 13 and i nonequal?
True
Suppose -4*k + z + 45 = 2*z, 30 = 3*k + 2*z. Let v = -47 + k. Which is greater: v or -43?
v
Let t(u) be the second derivative of -u**4/2 - 3*u**3 - 79*u**2/2 - 51*u. Let n be t(-5). Are -141 and n non-equal?
True
Let r(m) = 2*m**2 + 3*m + 10. Let k be r(7). Let a be k/2*4/(-3). Let f(d) = -129*d - 216. Let b be f(-1). Which is smaller: a or b?
b
Let b(s) = 11 - s**3 - 1058*s**2 + s + 525*s**2 + 529*s**2. Let z be b(-3). Is z != -1?
False
Let s = 32 + -50. Let x be 1/(-3)*s/12. Suppose -151*c - 9 = -152*c. Which is smaller: x or c?
x
Let f be ((-35)/28)/5*(2 + 2). Is 9/566 bigger than f?
True
Let c(f) = -f**3 + 10*f**2 + 10*f + 12. Let j be c(11). Let w = 10017 - 10031. Are j and w equal?
False
Let v = -7.967 - -8.114. Which is smaller: v or -12?
-12
Let k = 1986 - 406. Which is smaller: 1581 or k?
k
Suppose -9*w - 2059 = 1784. Let d = -426 - w. Let t be (1/5)/((-42)/(-15)). Are d and t unequal?
True
Let s = -20203 + 12062. Is s greater than or equal to 0.1?
False
Let a(d) = d**2 - 8*d - 10. Let l(y) = y**2 - 18*y - 10. Let t be l(19). Let u be a(t). Which is bigger: -2/537 or u?
-2/537
Let r be 6/12*(30 + -2). Suppose -2*v - 4*d - r = 0, -v = -7*d + 8*d + 4. Does 1/62 = v?
False
Let r = -3.752 - 0.008. Let t = -1.24 + r. Which is bigger: t or 5?
5
Let h = -29 + 32. Suppose 3*d + c = -3 - 1, -h*c - 12 = d. Suppose d*x + x = 8. Which is greater: x or -4?
x
Let k = 8206 - 8207. Does k = -2/13855?
False
Let s = 1077/5 + -215. Let l = -0.2 + 8.2. Let y = -7.95 + l. Which is greater: y or s?
s
Let m = -94863/5 - -1453396013/76605. Which is bigger: 0 or m?
0
Suppose 0 = -98*u + 105*u - 784. Let l be 2/(-2) + (-32)/u*-63. Is l bigger than 23?
False
Let j = -17 - -16.91. Let o = 0.0847 + 383.9153. Let y = o + -386. Does y = j?
False
Let x = -0.00822 + -0.35178. Is 6 > x?
True
Let m = -646 + 721.8. Let u = -69 + m. Are 1/3 and u equal?
False
Let i(u) = -u**3 - 14*u**2 - 5. Let g be i(-7). Let v be (-1 + g/(-344))*-2*-3. Which is bigger: v or 1?
1
Let u(y) = -y**2 + 23*y + 5. Let r be u(10). Let i(d) = 57*d - 150. Let z be i(5). Is z <= r?
True
Let s(o) = -5*o**2 + 78*o + 523. Let d be s(-5). Is 23.4 smaller than d?
False
Let r(u) = 67*u + 4875. Let y be r(-77). Are y and 3/5 unequal?
True
Let o = 869 - 6931/8. Suppose -2*b = 2*b + 2*x - 24, 4*b + 4*x - 32 = 0. Let p be 10/(-5) + b + 1. Is o at most as big as p?
True
Suppose -155*h = -129*h + 36218. Which is smaller: h or -1395?
-1395
Let k = -2.19 - -2.6. Let u = k + -0.58. Let o = -1.141 - -1.241. Is o != u?
True
Let y = 0.6649 + -0.7649. Which is smaller: y or 31/50?
y
Let w(a) be the second derivative of -a**4/4 + 3*a**3 + a**2 + 19*a. Let r be w(6). Which is bigger: 17/11 or r?
r
Let z = 3428/7 - 610163/1246. Is -2/37 less than z?
True
Suppose 173658 = -432*i - 15990. Which is greater: i or -2199/5?
i
Suppose -26 = -z - 4*f, -5*z + z + 44 = f. Let v = 2647/105 + -290/21. Which is smaller: z or v?
z
Suppose 5*i + 7*r - 3*r + 28 = 0, -2*i - 5*r = 18. Let g be 2/i*-1 - 1479/3026. Let j = g -