se
Let z(p) = p + 15. Let i be z(9). Let d be 0*(i/48 - (1 - 0)). Let m(x) = 3*x + 3. Let g be m(-2). Which is greater: d or g?
d
Suppose -45 = 55*r - 58*r. Suppose 0 = -63*k + 66*k - r. Which is smaller: k or -5?
-5
Let g be (((-100)/(-15))/5)/10. Which is greater: -1/20 or g?
g
Let m be (36 + -86 - -38) + 7228/602. Suppose -5*r + r = 0. Which is smaller: r or m?
r
Let j(x) = -3*x**3 - 6*x**2 + 14*x + 75. Let u be j(-5). Let o be (-192)/600*u/4. Which is bigger: o or 0?
0
Let p = -2465 - -5452579/2212. Are p and -3 equal?
False
Let x(g) = -20 - 8 + 7 + 210*g - 181*g. Let j be x(5). Does 123 = j?
False
Let v = 9.9085 - -0.2215. Let g = v - 2.13. Is 0.3 less than g?
True
Let r(v) = -v**3 - 7*v**2 - 2*v + 26. Let h be r(-6). Let o be -3*1 + (-2850)/(-646). Which is bigger: h or o?
h
Let a(m) = 2*m - 17. Suppose -5*o = j - 3, 4*j + 0*j = -3*o - 5. Let p be j/(((-4)/6)/(-1)) - 16. Let n be a(p). Is n at least -54?
False
Let s(z) be the first derivative of -z**4/4 + 5*z**3 - 13*z**2 + 14*z - 18. Let p be s(13). Is p smaller than 13?
False
Let n = 6.9801 + -0.9801. Is -760 at most n?
True
Let u = 9.738 - 9.7067. Which is smaller: u or 17?
u
Suppose 1301 = 3*q + 5*n, 9*q + 452 = 10*q - 2*n. Let f = -434 + q. Is f less than 4?
False
Suppose -9 = 6*y - 33. Suppose -9*t = -5*t - y. Let f be 1*(-21)/2*4*t. Is f at most -42?
True
Let c(y) = -11*y + 165. Let b be c(-22). Let d be (-1)/11 - 58571/b. Are -142 and d equal?
False
Let x be (42/(-4 + 10) + -10)*97. Let i = -345 - -52. Do i and x have different values?
True
Let c be 5*(7 + (-365)/25). Let n = -89 + 52. Which is bigger: c or n?
n
Suppose -3*o - 30 = -p + 4*p, -5*o = -2*p + 36. Let w(a) = -2*a + 19. Let q be w(o). Which is bigger: q or 26?
q
Suppose -2*q = 3*q. Suppose q = t + 5 - 2. Let h = -267 + 1327/5. Is h smaller than t?
False
Let l be ((-16)/24)/2*(-16 - 4/(-1)). Does l = -1/132?
False
Let c(p) = -126*p + 241. Let l be c(6). Let s = -487 - l. Which is smaller: 15 or s?
15
Suppose 15*v + 2472 = 7*v. Let k = 298 + v. Which is smaller: -2 or k?
k
Let u = 57551/4 + -14313. Let o = u - 3305/44. Which is smaller: o or 0?
o
Let k be -2 + 2/(-5) + 2. Let p = -8436 + 8446. Is p at most k?
False
Let j be (-2)/((-1)/(-29)*2). Let o = j + 28. Is o greater than 9/25?
False
Let n be 0/(((-8)/10)/(1 + 7/(-5))). Which is smaller: n or -14/635?
-14/635
Let w be (7 - (-3024)/(-6))*5. Which is bigger: -2484 or w?
-2484
Suppose -13 = 5*n + q + q, -n = 2*q + 1. Which is greater: n or -21?
n
Let u be (191 - (2 + -5))*(-80 + 30 + -7). Is -11059 equal to u?
False
Suppose 13*g + 7*g + 41020 = 0. Is g less than or equal to -2051?
True
Let q = 14.61 + -15. Let x = q - -10.49. Let v = x - 9.9. Which is bigger: 0 or v?
v
Let k = -150677 + 3465034/23. Are k and 0 nonequal?
True
Let i(a) = -2*a**2 + 49*a + 347. Let q be i(24). Which is smaller: 378 or q?
q
Suppose 5*u - 50 = -7*j + 2*j, 5*j - 20 = 5*u. Suppose -2*r + 5*r - j*r = 0. Suppose 0*y + y - 38 = r. Is 38 greater than y?
False
Suppose -2*l - 3984 = 5*j + 11337, 3*j = -3*l - 22986. Is l equal to -7663?
True
Let x(r) = r**3 + 6*r**2 - 4*r. Let k be x(-6). Let c = -335 - -231. Let o = -81 - c. Which is smaller: k or o?
o
Let k(u) = 90*u + 1707. Let p be k(-19). Which is greater: p or -45/17?
-45/17
Let u = -60998/1325 + 1191/25. Which is smaller: 2 or u?
u
Let m = 6153.97 - 6154. Which is bigger: m or -39.1?
m
Let v be (552/(-414))/(4/(-3381)). Is 1128 > v?
True
Let u(v) be the first derivative of v**3/3 + 27*v**2/2 + 51*v - 66. Let m be u(-25). Is m less than 3/37?
False
Let y be ((-2)/4)/(5/950*-5). Suppose 13*i + y = 6. Let x be (-3)/(-2)*(-2)/(-93). Which is greater: i or x?
x
Let z = -2924 + 6709. Is 3785 at least z?
True
Let a = -5.53 - 79.67. Let z = a + 85. Let w = 0.01 + -0.08. Is w greater than z?
True
Let z = -173 - -415. Let y = z + -240. Which is greater: 26/9 or y?
26/9
Let v be 32/20456*(-16)/80. Which is bigger: 0 or v?
0
Let h be (18/(-24))/((-42651)/(-24)). Is h at most as big as 1?
True
Let h(j) = 78*j + 386. Let a be h(-5). Which is bigger: a or 17?
17
Let x(l) = 4*l**3 - 25*l - 6*l**2 - 344 + 361 - 3*l**3 + 0*l**3. Let v be x(8). Which is bigger: -53 or v?
-53
Let w(q) be the third derivative of -q**6/120 - 3*q**5/20 + q**4/12 + 3*q**3 - 69*q**2. Let h be w(-9). Which is smaller: 2/15 or h?
h
Let y = 71 - 67. Let i be (y/(-25))/(10/(-100)). Is -8 smaller than i?
True
Suppose -4*h = 3*m - 1, -2*h + 3 = -2*m - 15. Let q(u) = u**2 - 4*u + 2. Let z be q(5). Let f be 4*((h - 7) + z). Is f greater than 15?
True
Let o be (-1 - -6 - -1) + -11. Let k = -13195/4 - -36361/12. Let c = 265 + k. Which is smaller: c or o?
o
Suppose 4*a = 0, -8*k + 4*a = -9*k + 4961. Suppose -35*g + 46*g = -k. Is -451 smaller than g?
False
Suppose -373*b = -334*b + 468. Which is smaller: b or -146?
-146
Let z(d) = -20*d**3 - 2*d**2 - 4*d - 2. Suppose -p + 6*p + 10 = -g, -p = -3*g - 14. Let k be z(p). Let v be (k/7)/4 + -1. Do 0 and v have different values?
True
Suppose 2*b - 4*a = 368, -202 = -3*b + 5*a + 349. Let f be 1/6*3*b. Which is smaller: 271/3 or f?
271/3
Suppose 1205 + 587 = -7*f. Let d = -264 - f. Suppose 0 = 2*q + 6. Which is smaller: d or q?
d
Let i = -49499 + 22199. Let u be (-1670)/i - (-1)/(-14). Are 0.1 and u equal?
False
Let j be 1367/(-2)*(2 + -4). Which is smaller: j or 1366?
1366
Let f = -14/9 - -289/180. Suppose g = 4*q + 23, -q - 22 = -4*g + q. Suppose -m = 2*m - g. Which is greater: f or m?
m
Let z = -249 - 29. Let g = z - -278. Is g greater than -2/233?
True
Let u(r) = r**2 - 25*r + 159. Let m be u(15). Suppose -5*c = -25, 0 = -5*z + 4*c - 740 + 170. Let p be (-2)/m + z/(-90). Which is smaller: -1/34 or p?
-1/34
Let j be ((-5)/(80/24))/(1/74). Let p = 112 + j. Is -1/9 < p?
True
Let f = 0 + 9. Let q be 8451/1080 + 5/(-25). Which is greater: q or f?
f
Let y = -9324 - -26118. Which is smaller: y or 16795?
y
Suppose 2*b = 13 + 25. Let v = 11966 - 11947. Is v < b?
False
Let p = -169 + 26. Let r = p - -999/7. Is -6 at least as big as r?
False
Let m = -262611/5110 - 27/730. Which is bigger: m or -0.1?
-0.1
Let b(d) = 273*d - 3. Let o be b(-4). Let l be -4 + (2332611/2124 - 6/(-8)). Let v = l + o. Which is bigger: 1 or v?
1
Let j = 76.306 - 76. Let i = j - -12.694. Which is smaller: i or 1?
1
Let r = -6858 + 7465. Are 6 and r equal?
False
Let r be ((-32)/(-10)*-2)/((-1)/5). Let y = 43/244 + 15103/488. Is y >= r?
False
Let d(h) = -h. Let c be d(-4). Let q be (-1 - (-2 + c)) + 2. Let o = 2588 - 64699/25. Which is smaller: q or o?
q
Let q = 127943/89562 - 256/177. Is 1 <= q?
False
Let t = 47 - 29. Let f = -0.18 + 27.18. Let z = f - t. Which is smaller: -1 or z?
-1
Suppose -5*y = -n - 16, 5*y - 25 = 3*n + 13. Let g(p) = 8*p - 297. Let q be g(36). Which is smaller: q or n?
n
Let z = 15423/14 + -1102. Suppose -9 = -3*w, j = 3*w - 4 - 1. Suppose -j = -5*c + 1. Which is bigger: z or c?
c
Let w(m) be the third derivative of m**6/120 + m**5/10 - 7*m**4/24 + 5*m**3/6 - 42*m**2. Let y be w(-7). Is y at most as big as 40/9?
False
Let c = 193 + -199. Let s(w) = w**3 - 11*w**2 + 16*w + 18. Let o be s(9). Which is greater: o or c?
o
Let d = -0.9 - -1. Suppose -2*v = -m - 4, 0 = -8*v + 13*v + 2*m - 28. Let k be (-5)/((v/18)/(4/(-6))). Which is smaller: k or d?
d
Suppose 8*y - 10 = 3*y. Suppose 5*q - q - 3*w + 156 = 0, w + 68 = -2*q. Let l be q/(-26) - (-2)/(-39)*3. Is y equal to l?
False
Let b(h) = -h**3 + 15*h**2 + 34*h + 5. Let s be b(17). Suppose -5*g - 2 - 15 = 4*n, g + s*n + 16 = 0. Which is smaller: -2/1223 or g?
g
Suppose -4*m + f = 19, 2*f + 0*f = -4*m - 10. Let n = -1/808 + -14537/5656. Which is smaller: n or m?
m
Let c be (-6)/(-298)*42*3/18. Is c greater than -1?
True
Let w(s) = -18*s**2 + 252*s - 18. Let g be w(15). Is g >= -3165/11?
False
Suppose 4361*z + 7785 = 4352*z. Which is smaller: z or -855?
z
Let t be ((-75)/(-250))/(1/10). Suppose -2*p - 2*y = 8, -16 + 8 = t*p + 2*y. Do -4/153 and p have the same value?
False
Let a(t) = 10*t**2 - 3*t - 2799. Let f be a(0). Which is greater: -2798 or f?
-2798
Let l = -0.42 + -3.58. Which is greater: 98 or l?
98
Let u be (-355)/10*-20*3/3. Let z be (u/(-42) + (-12)/28)*-3. Suppose z = -2*p - 4*m - 10, -49 = p - 4*m. Is -36 >= p?
True
Let v = 15.5 - 97.5. Let u = -256 - -165. Let j = u - v. Are j and -0.4 nonequal?
True
Le