d?
d
Let j = -1280621235143/11772 - -108785358. Let v = j - -11/108. Which is bigger: v or 1?
1
Let f(a) = 1284*a**3 - 2*a**2 + 3*a - 1. Let d be f(2). Let z = d + -50731/5. Let m = -50967/415 + z. Which is greater: -1 or m?
m
Let x = 5365 - 4137. Are x and 1228 equal?
True
Let d(r) = -r**3 - 6*r**2 - 7*r - 5. Let t be d(-5). Let w(j) = -j**2 + 4*j + 1. Let u be w(t). Let y be 9/(-12)*u/(-12). Which is smaller: 31 or y?
y
Let w(t) = -1252*t - 961. Let q be w(-1). Is -11 >= q?
False
Let j(w) = -w**2 - 10*w + 52. Let t be j(-9). Suppose 4*m + 119 = 359. Which is bigger: t or m?
t
Let m(f) = -6*f**2 - 28*f + 6. Let u be m(-8). Let t be (-2)/(((-8)/14)/((-44)/u)). Which is smaller: t or -8/75?
-8/75
Suppose 2*s = 16 + 16. Suppose c - 3*u = 23, -17 = -2*c + 5*u + 33. Suppose 83 = -6*z + 11*z + o, c = 2*z + o. Is s less than z?
False
Let f(s) = s**3 + 20*s**2 - 41*s + 62. Let u be f(-22). Let p be (-138)/17572*u/2. Is p at most -1?
False
Let o be (40/(-66))/(6/9). Let w = -248.6 + 248.7. Is o != w?
True
Let r = 5622.167 - 5622. Which is greater: 0.1 or r?
r
Suppose l + 18 = 5*r + 56, 0 = r - 5*l - 2. Let z = r - -43/5. Which is smaller: -4 or z?
-4
Let x = -57 + -386. Let r = x - -443. Is r bigger than 1.12?
False
Let t be (-246)/4797 + (-3869)/(-75699). Is t < -1?
False
Let t = -0.1 + -1.8. Let u be (0/1)/(8 + (2 - 6)). Let h be 21/210*(3 - (u - 1)). Which is smaller: h or t?
t
Let o = 48798 - 70560. Is o greater than -21761?
False
Let s = 3/5207 - -328011/52070. Let y(n) = -1591*n + 11143. Let d be y(7). Which is bigger: s or d?
s
Let d be (3/12 - (-75)/(-12))*(-1)/9105. Is d < 1?
True
Let x be 11/(-1342)*(3 - (-170)/(-58)). Let t = x - 56597/19459. Which is smaller: 2 or t?
t
Let u(j) = -116*j - 2892. Let s be u(-25). Do s and 29/12 have the same value?
False
Let n = -14 - -15. Let g be ((-35)/(-4))/7 + (-484)/385. Which is greater: n or g?
n
Let h be (36/162 - (-536)/(-3708))/(-14). Is -1 smaller than h?
True
Let h = 11.4 + -28.7. Let s = h - -17.7. Which is greater: -2 or s?
s
Suppose -259*o = -258*o - 1904. Suppose 41*i + o = 24*i. Is -112 equal to i?
True
Let w = -30 + 18. Let o(u) = 3*u**3 + 41*u**2 + 16*u**2 - 2*u**3 - 44*u**2 + 15*u + 36. Let z be o(w). Is 6/19 less than or equal to z?
False
Let v be (-3 - -10) + 632/(-92). Do -27 and v have different values?
True
Suppose -63*c + 65*c + 3*r = 172, 0 = 2*c - 4*r - 214. Is 109 smaller than c?
False
Suppose -8*l + 134 + 50 = 0. Suppose -4*g = -3*y + 157, -5*g = 5*y + 193 - l. Which is smaller: g or -39?
-39
Let j(k) = -k**2 + 8*k - 6. Let g be j(5). Let r(p) = -p**2 + 12*p - 26. Let b be r(g). Let n be (-22)/(-12)*(-3)/(-4). Which is greater: n or b?
n
Let w = 2.1 - 2.176. Let k be ((-8)/(-6))/(56/(-12)). Is w at most k?
False
Let n = 41 - 191. Let u be ((-10)/n)/((-193)/17373) + 6. Are u and 1 nonequal?
True
Let a be (-2*(-65)/(-350) + (-16)/(-28))*45. Is a equal to 2/303?
False
Let z be 12/7 + 4/14. Let c(m) = 2*m + 21*m + 1 - z*m - 9*m. Let w be c(1). Which is smaller: w or 2?
2
Let w be 2 - ((-168)/33)/(-2). Let p be (-70 - -68)*-2*(-26)/(-352). Let h = w + p. Is h less than or equal to -3?
False
Let z = 53 + -62. Let v be 60/z*184/20 - 3. Let x = -65 - v. Is -2 >= x?
False
Let s = -9 + 9.1. Suppose 3*k - 5*q = -807, 5*k = -3*q - 788 - 591. Let w = 273 + k. Is s > w?
True
Let n = -3086/11 - -18263/66. Suppose 5*s + 21 = 1. Which is smaller: n or s?
s
Let y(w) = 1 + 138*w - 141*w + 41*w**2 + 21. Let n be y(-10). Let j be n/756 + (-4)/(-18). Which is smaller: j or 6?
j
Suppose 210 = 22*p - 340. Suppose 0 = 2*f + 3*a - 5, -p*f + 30*f + 4*a = 23. Is f smaller than 120/19?
False
Let v be (4/(-3))/(4/108). Let n be (-3 + 9)/3*(-17 + -2). Let m = n - v. Are -3/5 and m non-equal?
True
Let z = 1733 - 1960. Which is bigger: z or -228?
z
Let i(h) = -181*h + 28. Suppose 5 = -0*a + a + 4*q, 4*a - 5*q = -1. Let f be i(a). Is -458/3 at most as big as f?
False
Let l = 34756 - 240988/7. Is 329 at most l?
True
Suppose -2 = w - 2*n, 4*w - 2*n + 8 - 30 = 0. Suppose -355*v + 3171 - 331 = 0. Is w less than v?
False
Let p = 8141922754/97 + -83935694. Let w = -1654 + p. Are -1 and w non-equal?
True
Let i be ((-360)/(-28) - 13)/((-40)/168). Let l(d) = d - 2. Let c be l(3). Which is greater: i or c?
c
Let c(p) = -p**3 + 27*p**2 - 2*p + 73. Let a be c(27). Suppose 213 + 528 = -a*l. Which is smaller: 2/5 or l?
l
Let w be 3*2*10/15. Suppose -w*k + 9 = -79. Let b = k - 25. Which is bigger: -1 or b?
-1
Let k be (11 - (-276)/(-24))/((-1)/(-4)). Let b be -60 + (-3 - (-6 + k)). Is b <= -55?
True
Let t = -37 + 30. Let c be (-4)/14 - (-68)/t. Let g be (-22 - -19) + (c + 1)/1. Which is smaller: -0.4 or g?
g
Let w = -45 - 419. Let o = w - -463. Let g = -0.18 - 6.82. Is o greater than g?
True
Let n be 6/(-27)*6*-3 - 311. Let u = -303 - n. Which is greater: u or 19/7?
u
Suppose -9664*m + 9639*m = 28925. Which is bigger: m or -1156?
-1156
Suppose -1529*u - 13 = -1542*u. Which is smaller: -2/2655 or u?
-2/2655
Let y be 6/(-3646)*2/27. Let l = -3691583/65628 - y. Is -56 at most as big as l?
False
Suppose -27 + 39 = 2*i. Let h = i - 3. Which is smaller: 7/2 or h?
h
Let c(r) = -2*r + 20. Let w be c(14). Let m(y) = -y**3 - 8*y**2 - y - 17. Let u be m(w). Let v = u + 9. Is 8 at least v?
True
Suppose 0 = c + 4*s - 20, 2*s - 7*s + 25 = -3*c. Let d be ((-7)/(-21))/(20/(-27)). Which is greater: c or d?
c
Let n = 21/8 + -181/72. Let h(y) = -18*y + 72. Let t be h(12). Let m = -143 - t. Is m smaller than n?
False
Let t be 30/9297*(88/(-20))/(-11). Which is bigger: t or 0?
t
Suppose h + 0*t + 5*t = -16, 5*h + t - 16 = 0. Let y be (h/10)/(27/(-45)). Which is bigger: 0.189 or y?
0.189
Let o be 30 - (1 - (2 + -5)). Let l be (-282)/22 + o/(-143). Let f(a) = -a**3 - 4*a**2 + 9*a - 5. Let j be f(2). Is j != l?
True
Suppose -4*w = -3*w - 1, -5*d + 2*w + 33 = 0. Let t be d/14 - (76/104)/(-1). Which is bigger: t or 1?
t
Let n = 10.9 - 51.9. Let k = -38 - n. Does k = -4?
False
Let q be (-36)/(-280)*13/2. Let w be (-1)/105*-26 - (-1)/(-3). Let t = w + q. Which is greater: t or -0.4?
t
Let r = 156 - 94.4. Let l = r - 26. Let a = -36 + l. Which is bigger: -0.1 or a?
-0.1
Suppose -2*y - 468 = -2922. Suppose 16*h + y = -1621. Is h at most -177?
True
Let u be (-16 - -69)*(184/(-13) + 2). Let d(g) = -8*g**2 + 5. Let r be d(9). Let x = r - u. Is x greater than 2?
False
Let h be 16*(68/(-16) + 3). Let k(r) = 15*r - 78. Let w be k(4). Which is smaller: h or w?
h
Suppose 19*h - 437 - 646 = 0. Suppose 3453 + h = -18*l. Are l and -2/9 equal?
False
Suppose 29*o + 18*o = 30*o + 78795. Is 4635 bigger than o?
False
Suppose 0 = 5*k + 2*x - 5*x - 135, -k - 2*x + 40 = 0. Let f(b) = 5 + 26 - 83*b**3 - 25*b**2 + 84*b**3 + 46*b. Let j be f(23). Which is bigger: j or k?
j
Let v = 33 - 36. Let n be 0 + 10 + (-12)/v. Suppose 3*m - 15 = 27. Is n greater than m?
False
Let b = -1304.722 - -1306. Let x = 0.278 - b. Which is smaller: x or 0.184?
x
Suppose 19*j = 23*j + m - 730, 3*j - m - 565 = 0. Let f(h) = 45*h**2 + 3*h - 2. Let x be f(2). Which is smaller: j or x?
x
Let o be (-7)/98*-32 + (-4)/14. Let s be (3 + -5)*(7/o)/(-7). Let d = -2297/275 + 91/11. Which is smaller: s or d?
d
Let o(y) = -2*y**2 - 30*y + 10. Let w be o(-15). Suppose 2*l - 96 = -w*l. Let s be l/(-3)*15/(-25). Which is smaller: 2 or s?
s
Suppose 0 = 9*h + h - 150. Suppose -6*k - 9 = -h. Is -2/573 at most k?
True
Let f = 4606/3 + -2952428/1923. Let g = -4297/116662 + f. Which is greater: -1 or g?
g
Let a be (-4)/(-4) - 3/4. Let q = -5030 + 5032. Is q equal to a?
False
Let i = -7951 + 7951. Which is greater: 9/265 or i?
9/265
Suppose -633 = j - 2075. Let q = -145636/101 + j. Is q at least 1?
False
Let m(r) = 65*r**2 - 263*r + 12. Let t be m(4). Which is bigger: t or -5517?
t
Let z = -11237 + 11477. Does z = -1?
False
Let p be -2 + 20505/2175 + 14/(-2). Is p > -1?
True
Let i = -1/28 - 5/56. Let k = -2638 + 2638.4. Which is greater: k or i?
k
Let a = -3007 + 3012. Which is smaller: a or 26/11?
26/11
Suppose 0 = -21*q + 76 + 50. Let w be (1936/(-408))/(-11)*q/(-4). Which is bigger: 0 or w?
0
Let m(d) = d**3 + 12*d**2 - 31*d - 16. Let f = -64 - -50. Let n be m(f). Let g = 0.57 + -0.47. Is g > n?
False
Let n(b) = -b**2 - 3*b - 2. Let z be n(0). Let r be ((-48 - -3) + 4)*4/z. Let p = -46 + r. Is -1 greater than or 