-3288/12551 + 30/163. Which is smaller: a or b?
a
Suppose -3*u = 4*r + 3489, -20*u = -24*u - r - 4626. Are -1155 and u nonequal?
False
Let o = 4.67 - 472.67. Which is smaller: o or -2/5?
o
Let k(b) = -10*b + 861. Let n be k(86). Is n not equal to 2/5325?
True
Let t be 2 + 22/(((-8)/(-18))/(88/36)). Which is greater: 136 or t?
136
Let r = -159503/1120694 - -2/41001. Which is greater: r or 1?
1
Let r = -390 + 1559/4. Let n = 30 - 27. Let t = n + -3.034. Is t at most as big as r?
False
Let q = -56929/94942 - -133/222. Do 0 and q have the same value?
False
Let x(q) = -3*q**3 - 29*q**2 - 195*q - 138. Let p be x(-12). Is p at least 3212?
False
Let s = 124 + -68. Let c be (-1)/7*2 + (-110)/s. Suppose -2*t - t = 3. Is t greater than or equal to c?
True
Let k = 7/2717 + -323491/65208. Let h = k + 77/8. Let g = h + -79/15. Is 0 < g?
False
Let n be (11 + -2)*3*5/(-45). Let b = n - -7. Suppose b*w - 2*s = -12, 5*w + 4*s + 12 = 4*w. Is w bigger than -19/6?
False
Suppose -10*p - p - p = -0*p. Which is smaller: p or -1/3240?
-1/3240
Let h = 463 - 136. Suppose -c = 322 - h. Is c smaller than 15/4?
False
Let u = -8.4 + -2.6. Let p = 229472/11 + -20860. Is p >= u?
True
Let y = 8134 + -8328. Which is smaller: y or -15?
y
Suppose -3*s = 0, 2*b + 2*s - 38 - 76 = 0. Suppose 0 = v - b + 51. Let q be (2/v)/(130/858). Which is greater: -1 or q?
q
Let f = 39 + -54. Let i be (-13 + -4 + 2)/(f/(-15)). Let u be 42 + i + (-2 - 1). Which is bigger: 23 or u?
u
Suppose -5*z + 15 = 0, 158*z = 5*n + 159*z + 2. Is -29/453 greater than n?
True
Suppose -13*j + 35 = -8*j. Suppose 9 + j = -4*q. Let t(w) = w**3 + 8*w**2 + 18*w + 20. Let x be t(-6). Is q less than x?
False
Let r = -8 - -9. Let s = -64 - -69. Suppose 6*x = -s + 11. Is r less than x?
False
Let k(r) = -r**2 + 68*r + 123. Let b be k(62). Which is bigger: 497 or b?
497
Suppose -3*a = -5*c - 139, 4*c - 170 = -11*a + 6*a. Let o be 165/(-99)*(a - -1). Which is bigger: o or -63?
-63
Let c(a) be the second derivative of -a**4/12 + a**3/2 + 11*a**2 + 30*a. Let w be c(9). Let m = -28 - w. Which is smaller: 12 or m?
m
Let p be (4/(-54))/(1/60). Let w(q) = 7*q**3 - 6*q**2 - 4*q - 22. Let b(l) = 10*l**3 - 9*l**2 - 6*l - 33. Let k(i) = 5*b(i) - 7*w(i). Let x be k(4). Is p > x?
False
Let h = -10.53 + 10.6111. Let c = h - 0.1811. Which is smaller: -381 or c?
-381
Let g(t) = 17*t - 450. Let h be g(39). Suppose 89*p - 97*p + 1712 = 0. Do h and p have the same value?
False
Let m(p) = 170*p**3 - 2*p**2 - p + 1. Let h be m(1). Suppose 0 = -8*n + 20*n + h. Is n at most -14?
True
Suppose 33*q + 1004 = 29*q - 5*a, 1250 = -5*q - 5*a. Let r be (-2 - 480/q) + 0. Is 0 >= r?
True
Let q be 52371/(-5) + (-240)/(-200). Which is greater: q or -10474?
q
Let m = -1357504/3250429 + 2/35719. Let q = -20/39 - m. Which is greater: -7 or q?
q
Let o = -36 + 8. Let r be 372/279*(-2)/4. Which is smaller: o or r?
o
Let f = -5984 - -17644/3. Let k = -30809/300 - f. Are k and 1 unequal?
True
Suppose 0 = -3*y - 4 - 203. Let p = y + 66. Is -4 != p?
True
Let f = 6844 - 6840. Is 881 at most f?
False
Let g be ((-2)/(-328))/(3/(-8)). Are 0 and g nonequal?
True
Let w = 5125.23 + -5090. Let m = -35 + w. Let x = -0.07 - m. Which is greater: -1 or x?
x
Let p = -22 + 127. Let o be (-2)/14 + p/(-1323). Is 0 >= o?
True
Let x = -8711 - -531355/61. Which is smaller: x or 0?
x
Let o(k) = -k**2 + 14*k - 13. Let s be o(13). Suppose 4*i - 29 + 5 = s. Suppose u = i*u. Which is smaller: 3 or u?
u
Let i = 2/817 + -857/16340. Are -0.19 and i nonequal?
True
Let l(c) = -3*c**3 + 2*c**3 - 121 + 99 - c**2 - c. Let m be l(0). Is -1/2 <= m?
False
Let i be -739 + (-30)/((-5)/1). Let w = i - -389222/531. Is 1 <= w?
False
Suppose 0 = 3*b + g + 6, 3*g + 15 = -2*g. Let j be ((-10)/6)/(55/(-99)). Suppose -j*a - 4*y = 8, -2*y + 3*y = -5*a - 36. Is b not equal to a?
True
Let n = -7951 + 7971. Let q(d) = d**2 - 19*d + 7. Let z be q(14). Let a be (32/12 - 3)*z. Are n and a unequal?
True
Suppose -4*m + 624 = -7*m - 3*o, -o = -6. Which is smaller: m or -201?
m
Suppose 9*f - 28 = 80. Let o be ((-2)/(-12)*-1)/(3/f). Is o less than -17?
False
Let w be ((2 + 5)/(-21 + 20))/2721. Which is bigger: 0 or w?
0
Let u = 5708 + -5955. Is u smaller than -1?
True
Suppose -2*h - 3*u + 5*u + 46 = 0, 39 = h + 3*u. Suppose -22*b - 162*b + 2560 = -2408. Is b < h?
False
Let c be (-26)/(-6) - 1/3. Suppose 3*j - o = 2*o + 24, 2*o = -3*j + c. Suppose -5*g = j*b + 24, g - 5*g = -b + 15. Which is bigger: 2 or b?
2
Let m be 162 + 99/(-72)*8. Which is bigger: m or -5?
m
Let v be (-2)/(-12) - (-9)/(-54). Suppose v = -13*q + 9*q + 4. Let l(z) = -z**2 + 2*z + 2. Let p be l(2). Which is smaller: p or q?
q
Let a = -15112 + 9311. Which is smaller: a or -1?
a
Suppose -2875 = 15*d + 4850. Let m be 18/12*(-10)/d. Which is greater: m or 0?
m
Suppose -4*t = -0*t + 308. Suppose 0 = 191*i - 3094 + 17801. Is i >= t?
True
Suppose 3*s - 12 = 2*w + 100, -2*s + 79 = 3*w. Suppose -6*x = -14 + s. Is x at most -6?
False
Let p = -56 - -31. Let m = p - -13. Let c = m - -11. Which is smaller: c or 5/2?
c
Let k = 4506 + -1274. Is k bigger than 3233?
False
Let p = -1919 - -44145/23. Let x = 9795 + -9796. Which is smaller: p or x?
x
Let o = 12519 + -12671. Which is smaller: o or -38?
o
Suppose -8*p + 174 = 13*s - 10*s, 0 = 2*p - 5*s - 32. Is p not equal to -4?
True
Let v(p) = 6*p - 15. Suppose -l + 4*x + 23 = 4*l, 3*l - 4*x - 9 = 0. Let w be v(l). Let q be (18/27)/(2/w). Is q at most 7?
False
Let g be (-1251)/(-10 - (-21)/3). Is g < 414?
False
Let p = 11276 + -13349. Is p less than 1/7?
True
Let u = 891/10 + -89. Let g = -13/30 + u. Let l = 119 + -597/5. Is l less than g?
True
Let r = 3749 - 3750. Which is smaller: r or -46/5?
-46/5
Let s(w) = w**3 + 2*w**2 - 4*w + 1. Let c be s(-3). Suppose -18*l = -5*l + 104. Is c >= l?
True
Let j = 2506.074 - 2506. Is -3 <= j?
True
Let g = -2158/7 + 66856/217. Let p = -14 + 16. Suppose 3 = -p*n + 5*n. Is g <= n?
True
Let w = -2/3381 - 341477/6762. Is -52 greater than or equal to w?
False
Let o = 1255 - 1259. Is 61/15 > o?
True
Let s be ((-214)/3)/((-10)/210). Which is smaller: 1499 or s?
s
Let v = -0.9 - 0.1. Let p be ((88/(-8))/(-11))/((-2)/662). Let j = 296 + p. Is v != j?
True
Let v(x) = -2*x**2 + 49*x - 78. Let s be v(30). Let i = 470 + s. Are i and 62 non-equal?
False
Let i = -6671 + 6946. Which is smaller: 274 or i?
274
Suppose 0 = 3*v - 3*k + 6, 1 = v + 3*k + 11. Let j(l) = -14*l - 70. Let g(a) = 5*a + 23. Let s(n) = 8*g(n) + 3*j(n). Let i be s(-12). Is v < i?
True
Suppose 2*y = -7*y - 36. Let d(k) = -k**2 + 13*k - 9. Let m be d(12). Let r be 1 - m - (-18)/(-8). Is y bigger than r?
True
Let w = 8551/291935 - 6/8341. Let z = 4 - 3. Suppose 0 = -j - 0*j + z. Do w and j have the same value?
False
Let s = 2521 - 2463. Is s greater than 532/9?
False
Let x be (32 - 2)/(-6) + -2 + 1. Which is bigger: -220/47 or x?
-220/47
Let i = 18.3 + -18.445. Let c = i - -0.045. Which is smaller: 0.013 or c?
c
Suppose 8*o = x + 4*o - 720, 0 = 4*x - 3*o - 2867. Let j be x/(-30) - (-2 + 8/6). Let u = j + 26. Which is greater: u or 3?
3
Suppose 63604*y - 63624*y - 200 = 0. Suppose -4*k + 16 = -0, -2*f - 4*k = 10. Which is bigger: y or f?
y
Let j be 15/12 + 3/(-12). Let t be (1 + 50 - -2)/j. Let m(d) = 32*d**2 + 21*d + 1. Let n be m(1). Which is smaller: n or t?
t
Let x be ((-38)/(-19))/((10/(-8))/(-5)). Suppose 3366 = x*y + 10*y. Are y and 188 nonequal?
True
Let b = -91442 - -614947452/6725. Is b bigger than 1?
False
Let n(h) = -5*h + 18. Let w be n(27). Let o = -114 - w. Is o at least 25/8?
False
Let r(c) = -3*c + 30. Let f be r(9). Let q(s) = 4*s + 15. Let h be q(f). Let x be (-615)/h - (-24)/(-108). Is x at least -23?
True
Let c = -0.4954 + 191.8354. Let h = -190 + c. Which is smaller: h or 0?
0
Let r = 15363 + -15311. Suppose -3*w = -99 - 57. Is w smaller than r?
False
Let v be (1026/(-30))/(4/10). Which is smaller: v or -85?
v
Let l(w) = -40*w**2 - 53*w - 14. Let z be l(10). Is -4544 less than z?
False
Let v = 5288365/144 + -36725. Which is greater: -1 or v?
v
Suppose -798*f + 61 = -808*f - 1009. Is f > -111?
True
Suppose -5*g - 5*t = -8*t - 10, -5*t = -5*g. Suppose -i + 1 = -x, 3*x + 6 = g*x + 2*i. Which is smaller: -2/89 or x?
-2/89
Suppose -4*d = d + 680. Let t = d - -1487/11. Let p = -18378 + 18377. Is p != t?
True
Let t = -