q
Let x(l) = -l**3 + 13*l**2 + 28*l - 4. Let g be x(12). Let i = -475 + g. Which is bigger: -3/83 or i?
i
Suppose 3*z = 3*n + 6, z + 0*z + 2*n + 1 = 0. Let l be (-2004)/(-12)*z/1. Is l less than or equal to 168?
True
Let s(n) = 2*n**2 - 27*n + 13. Let p be s(13). Suppose -10*m + 3 = -7*m. Let u be ((-6)/(-4))/(-4 + m). Which is smaller: u or p?
u
Suppose -t + 5*i = -2, 7*t = 2*t + 4*i + 10. Suppose 0*v + 1963 = 3*v + 4*a, 0 = -3*v + t*a + 1957. Are v and 653 nonequal?
False
Let l = -854195837/2424 + 352391. Let i = l + -2/101. Suppose 0 = -4*y + y. Which is bigger: y or i?
y
Let a be (12/63)/(-4)*(-714)/746963. Is -1 bigger than a?
False
Let v(x) be the second derivative of x**4/12 - 4*x**3/3 - 6*x**2 + 16*x. Let l be v(9). Let q be 1/l*(-24)/(-64)*-12. Which is greater: 1 or q?
q
Let i be (-1)/((2*-1 + 108/48)*1). Is -3/322 <= i?
False
Suppose 8 + 10 = 6*d. Suppose 81 = 3*x + 4*a, -d*x + 5*a = 10*a - 81. Is x at least as big as 29?
False
Let a = -7664 - -7663. Which is bigger: a or -1/907?
-1/907
Let s be (-24)/156 + (-9)/(-78)*88. Let z be -7 + s - (3 - (-3)/12). Which is smaller: -50 or z?
-50
Suppose 2*n + 4*q - 28 = 0, 4*q = 3*q + 4. Suppose 13 = n*h - 11. Is 54/17 >= h?
False
Suppose 0 = 2*u - 4*w + 20, -u = 2*u + 3*w - 15. Suppose 2*l = -u*l. Let t = -85561 - -85532. Is t less than l?
True
Suppose -7*y - 9936 = -145*y. Which is greater: -13 or y?
y
Let b be (-77)/(-4)*(-87)/(-2697). Is 2 <= b?
False
Let q(u) = -2*u - 265. Let w be q(8). Which is greater: w or -283?
w
Let n = 2144/9 - 238. Suppose 130 = 20*m + 6*m. Suppose -11*p = -6*p + m. Is p at most n?
True
Suppose 3*p + 2877 + 369 = 5*d, -2582 = -4*d - 5*p. Which is bigger: d or 646?
d
Suppose 0 = 4*m + 22 - 34. Suppose -3*u - m*t - 165 = 0, -240 = 5*u - 2*t - 0*t. Let c = u - -201/4. Which is greater: c or -0.2?
c
Let d be (12/(-96)*4 + 5438/4)*-1. Is -1359 at least as big as d?
True
Let w = 1943 + -1925. Is 9.6 at most as big as w?
True
Suppose 0 = 25*s - 8 - 8 - 9. Is 1053 greater than s?
True
Let c = -18 + 56/3. Let s = -37 - -23. Let n = s + 49. Is n smaller than c?
False
Let n(t) = -13*t**2 - 4*t. Let x be n(0). Which is smaller: x or 2/559?
x
Suppose -182*n = -17*n + 165. Which is greater: 96.2 or n?
96.2
Let z = 12 + -7. Let g be (z - 0)*(-2 + -2). Let c be 2 + -19 - (5 - 6). Which is smaller: g or c?
g
Let k = -840 - -844. Suppose 3*r + 1 = 6*r + k*g, 0 = -4*r - 4*g. Which is smaller: 1/580 or r?
r
Let s = 10360.6 - 12411.72. Let m = -2092 - s. Let p = 41 + m. Is -2/9 at most as big as p?
True
Let c = 10.51 - 10.5. Let g = 128 + -137. Which is bigger: g or c?
c
Let q = -331.976 - -334. Let r = -1.6 + q. Let l = -0.054 + r. Which is smaller: 1/3 or l?
1/3
Let q be 2012/808 + 1/(-2) + -2. Let h = -1994 + 1994. Which is smaller: h or q?
q
Let d(g) = 54*g**3 - 2*g - 1. Let v be d(-1). Let i be (-5)/((-80)/24)*(-20)/(-6). Suppose 5 + 0 = i*s, -b + s = 0. Do v and b have different values?
True
Let f(g) = -g**3 - 17*g**2 - 68*g + 15. Let x be f(-7). Which is greater: x or 2/4735?
x
Suppose 5*w + 43 = 5*n - 22, w = -4*n + 27. Let c be n/3*(-3)/(-13). Suppose 4*l = 2*s, 2*s - 3*l - 8 = -7*l. Are c and s nonequal?
True
Let s = -3.921 + 3.852. Let t = -12.2 - -12.251. Let o = t - s. Which is bigger: o or -2?
o
Suppose -4*k - 2*a + 160 = 0, -6*a = -3*k - 10*a + 135. Which is bigger: 0 or k?
k
Let z(y) be the first derivative of -8*y**3/3 - 11*y**2 - 64*y + 104. Let x be z(-3). Is x greater than 4?
False
Suppose 2 = -2*r, -5*d - 5*r - 157 = 348. Is d at most 1?
True
Let c be (-31979)/1974 - (-32)/(-112). Let f = -2/141 + c. Suppose 5*r + 86 = 2*j, -2*r + 3*r + 12 = 3*j. Which is smaller: f or r?
r
Let w(q) = q**3 + 7*q**2 + 5*q - 6. Let s be w(-6). Let p be (-13 - 580/(-45)) + -3*2/216. Is s >= p?
True
Suppose 2769 = -5*a - 2*f, -2*a - 3*f - 157 = 944. Let d = a - -541. Is d at most -23?
False
Let a = -54513 + 37557. Is a greater than -16957?
True
Let d be 2/(-6) + (-424)/24. Suppose 25 = 5*t + 5*p, 4*p + 3 = -5*t + 24. Let v be ((-364)/20 - (-3)/15) + t. Is d smaller than v?
True
Let f(n) = 93*n**2 - 8*n - 16. Let h be f(-2). Suppose -37*k = -43*k + h. Which is smaller: k or 61?
61
Let z = -42237/35 - -3306/5. Is -545 not equal to z?
True
Let t be (-293072)/11600 + 4/(-50). Is t greater than or equal to -24?
False
Suppose 4*a - c - 3543 = 0, 4*a - 4440 = -a + 5*c. Let o = -881 + a. Do o and -0.071 have different values?
True
Let l = -3244883/126914 + 13/5518. Which is greater: l or -27?
l
Let l = 24281 - 1869720/77. Is -2 less than or equal to l?
True
Suppose 0 = 2*t + 3*a - 58, -2*t + 60 = -0*a + 4*a. Let n = 953 - 925. Is t smaller than n?
True
Suppose -8043 = -33*r + 12*r. Suppose r = -3*g + 218. Is -54 <= g?
False
Let w(n) = 177*n**3 - 8*n**2 + 243*n - 914. Let c be w(4). Which is smaller: 1/6 or c?
1/6
Let z = 74849/35208 - 4/4401. Let v(i) = -i**2 + 4*i + 7. Let r be v(5). Which is smaller: z or r?
r
Suppose -26829 = 137*j - 38*j. Which is bigger: j or 2?
2
Let c(a) = a**2 + 11*a - 10. Let l be c(-12). Suppose -q + 4*v = -35, -v + 21 = q + l*v. Let m = q - 30. Which is greater: -4 or m?
m
Let j(o) = -3*o**2 + 4*o + 141. Let a be j(-7). Which is smaller: a or -91?
-91
Let t = 8.3 - 1.3. Let w = t - 7.2. Let c be (-26 - -29)*1/33. Does c = w?
False
Let m(x) = -171*x - 6 + 11 + 3. Let l be m(4). Let g be (-2)/7 - l/455. Is -3 <= g?
True
Let z = 789892591/361540 - -1/361540. Are 2184 and z nonequal?
True
Suppose 12*d + 13*d = 50. Suppose -282*s + 281*s = d. Do s and 57 have the same value?
False
Suppose -v = 4*v. Let j = 1299841/115 + -11303. Is v greater than or equal to j?
True
Let f be ((-195012)/13014)/((-224)/(-114)). Let g = f + 2/1687. Is -9 at least as big as g?
False
Let r = 0.152 + 19.548. Let v = -18.7 + r. Are -0.023 and v equal?
False
Let w(i) be the third derivative of -i**5/20 - i**4/4 + i**3/3 + 2*i**2 + 19*i. Let y be w(-3). Is -4 less than or equal to y?
False
Let l(q) = q**3 + 19*q**2 - 7*q - 11. Let h be l(-19). Let n = h + -80. Let t = n + 25. Is 67 not equal to t?
False
Let g(n) = -14*n - 64. Let i(m) = -7*m - 32. Let u(s) = -3*g(s) + 5*i(s). Let f be u(-4). Let t be ((-308)/(-35) - 3)*(-5)/f. Which is smaller: -6 or t?
t
Let n = -559 - -5353. Which is bigger: 2/3 or n?
n
Let f = 162 + -106. Let d = f - 30. Suppose -20 = r + 2*r + q, 3*r = 5*q - d. Which is bigger: -8 or r?
r
Let r = 0.005 + -0.02. Let a be (48/(-180)*(-15)/6)/((-4)/(-4)). Is a < r?
False
Suppose 286 - 6 = c. Suppose -3*g + c = -g. Let u be ((-48)/g)/(-6)*-5. Which is smaller: 1/33 or u?
u
Let a(b) = 191*b - 4967. Let s be a(26). Is s not equal to 3/2998?
True
Suppose 73 = -5*w + 318. Suppose j = -2*k + 1, -j - 3*k + 0 = -5. Let g be j/6*3*-14. Is w > g?
False
Suppose c = 4*m - 10, -11447*m + 11448*m - c = 13. Let s = -339847/435 + 3906/5. Which is smaller: m or s?
m
Let h be 438/30 + (-21)/(-15). Suppose h*d + 4 = -60. Is -33/13 greater than d?
True
Let m be (-1)/(8/(-64)) + (-11232)/(-6) + -1. Which is smaller: m or 1880?
m
Let o(j) be the third derivative of -j**5/60 - 5*j**4/8 + 7*j**3/2 - 4*j**2. Let s be o(-16). Let z be 11*s*5/25. Which is greater: z or 10?
z
Suppose 3*q = 5*m - 334 - 307, 5*q + 1079 = 3*m. Is q at least -869/4?
True
Suppose -3*t = -8*t - 55. Let y be -12 - t - (-3 + -1). Let z be y/(-21) - 261/(-504). Which is smaller: z or 1?
z
Let v = -512 + 913. Let m = -400.7 + v. Is m at least -0.37?
True
Let q = -0.0004 + 6.1604. Let h = q - 6.158. Let a = -3 + 2. Does a = h?
False
Suppose 141 = -27*i + 30*i. Suppose 48*n - i*n = 22. Do 10 and n have different values?
True
Let a(r) = -r**3 - 11*r**2 - 10*r + 11. Let b be a(-10). Suppose -2*t + b = -25. Which is smaller: 16 or t?
16
Suppose -40*u - 42 = -61*u. Let g = 44 + -8. Suppose -g = -u*z - 152. Is z greater than or equal to -58?
True
Let f(p) = 86*p**2 + 55*p - 37. Let x be f(0). Suppose -3*c - 5*g = -0*g + 99, 3*c + 4*g = -102. Is c < x?
True
Let n be ((-18)/(-12))/((-1)/10). Let g(w) = -w**3 - 5*w**2 + 7*w - 7. Let l be g(-6). Which is greater: n or l?
l
Let b = -1179 + 1182.0276. Let w = 0.0276 - b. Is -139 smaller than w?
True
Let q = 0.231 + 14.769. Which is greater: q or -94?
q
Let q = -120199/2 + 61855. Which is smaller: q or 1755?
1755
Let q(j) = -7*j**3 + 2*j**2 - 7*j + 7. Let t be q(1). Let v(s) = -7*s - 47. Le