a = 2, -3*d - 5*a + 15 = 3. Is d > 0?
False
Let l(n) = n**3 - 29*n**2 - 42*n - 463. Let i be l(29). Is -1686 at most i?
True
Let l be (3 - 2)*(-95)/(-285) - 67/9. Let v = 0.06 + 0.14. Which is smaller: v or l?
l
Suppose n - h = 40, 5*n + 389*h - 384*h - 280 = 0. Is 704/15 != n?
True
Let j = -11788 + 353713/30. Let r = 38/5 - j. Does r = 5?
False
Let i(f) = -7*f**2 + 111*f - 604. Let b be i(7). Is -26 > b?
True
Suppose -4*i = -7*i + 252. Suppose 0 = 4*n + p - 328, -164 = -2*n + 512*p - 508*p. Do i and n have the same value?
False
Let o(s) = -s**3 + 6*s**2 + 5*s + 19. Let t be o(7). Suppose 163 = -t*r + 118. Suppose 10*l - 12*l = 12. Is r > l?
False
Let z = 884 + -514. Suppose -z = -4*n - 366. Which is smaller: 3/82 or n?
3/82
Let o(a) = -2*a + 22. Suppose 4*d - 30 = d + s, 0 = -2*d - s + 25. Let z be o(d). Is z not equal to 6/83?
True
Let u = 113 - 151. Let y be (-105)/(-245) + u/56. Suppose -h = -3, -p + 3*h + h - 12 = 0. Is p != y?
True
Let m be (-299205)/47*(-3)/(-6). Let f = 3183 + m. Let u be 0 + -5 + (8 - 4). Which is greater: f or u?
f
Let x = -0.21239 - -2.21239. Let o = -92 + 91.61. Which is greater: x or o?
x
Let i = 0.10389 - 0.05389. Is 830 at most i?
False
Let o(w) = -2*w**3 + 30*w**2 + 307*w - 4. Let a be o(-7). Let v = -42 - -12. Is a smaller than v?
False
Suppose -2*j - m = -12 + 1, -10 = -j - 5*m. Let z be 248/155 - 3/j. Is -1/11 at most as big as z?
True
Suppose 8*w = -6*w + 28. Suppose -w*v + 1 = 2*m - 3, -5*m = 3*v - 4. Suppose 4 = 5*u + 2*s, 5*s = -0*s - 15. Is u greater than m?
True
Let i = 259 + -240. Let q = 20 - i. Which is smaller: -1/77 or q?
-1/77
Let a be 0*(0/(-3) + -1). Let t be (-13526)/(-68) - (a/(-6))/7. Let q = -199 + t. Which is greater: q or 1?
1
Let v be (6 + -3)/(-4 + (-33)/(-6)). Suppose -v*t = -0*t + 6. Which is bigger: -31 or t?
t
Suppose -3*f = -u - 7*f - 23, 0 = u - 2*f - 7. Let j be (46/u)/(3/(-18)). Is 92 >= j?
True
Let c be 6 + -2 - 184/48 - 2728/78. Is c at least -35?
True
Let b(m) be the third derivative of 5*m**4/24 + 3*m**2. Suppose z = 2*y - 3, 5 = -2*z - 12*y + 15*y. Let k be b(z). Do -5 and k have the same value?
True
Suppose 3*g + 5 = -2*g. Let c be (48/610)/(95/(18050/(-76))). Which is greater: c or g?
c
Let z(j) be the third derivative of 5*j**4/12 - 131*j**3/6 + 2*j**2 + 35*j. Let g be z(14). Which is smaller: g or -0.1?
-0.1
Let f = 103 - 103.097. Let o = f + -4.903. Which is smaller: o or 1?
o
Let r be -1257*(20/(-12))/(210/(-168)). Are r and -1676 unequal?
False
Let t = 386.83 + -385. Let c = -1.73 + t. Is -2.1 less than c?
True
Let y be -2 - -12 - (-19 + 2). Is 105/4 bigger than y?
False
Suppose 2*h = -5*y - 2*h - 1, 2*y + h = -1. Let i = 202848 + -202970. Which is bigger: y or i?
y
Let w be (-9 - (-450)/48) + 7/((-966280)/51429). Which is greater: w or 0?
w
Suppose -14*y + 9*y + 160 = 0. Suppose 0 = 4*r + 4*h + y, 6 = -2*h + 2. Suppose -7 - 11 = 3*m. Is m <= r?
True
Let n be (-60)/(-90) + 22/3. Suppose 3*o = -3*f - 39, -3*o + n*o - 47 = 3*f. Is f equal to -101/8?
False
Let i = -12747 + 16533. Which is smaller: 3784 or i?
3784
Suppose -69*s = -100*s - 118*s + 149. Which is smaller: s or 2/56053?
2/56053
Let n(i) = -1629*i + 13102. Let g be n(8). Which is smaller: 93 or g?
g
Suppose 2*j - 3*r = -184, 2*j + 0*j = -4*r - 156. Suppose 1204 = -10*i - 4*i. Is j less than or equal to i?
True
Let x(z) = 88*z + 440. Let n be x(-5). Which is smaller: n or -20/91?
-20/91
Suppose -5*k + 10*k + 125 = 0. Let j = 18 - k. Which is greater: 40 or j?
j
Let i = -59 + 116. Let f = 61 - i. Suppose -83 = f*c - 199. Is c at least as big as 30?
False
Suppose 84*m - 14 - 62 = 8. Is -2/15229 bigger than m?
False
Let q be -3176 + (-78)/(-13) - 10. Is q at least -3182?
True
Suppose -4*q = -3*u - 25, 9*u - 15 = 6*u. Suppose -14*r - 8 = -q*r, 0 = -c + 2*r + 4. Is c at least -4/211?
True
Let z(x) = 40*x - 1202. Let n be z(30). Is n at most as big as -104/53?
True
Let n be (-62)/(-22) + (1 - (-18)/(-22)). Suppose -n*d = -0*d - 15, 0 = 4*z - 4*d + 20. Let w be 15/(-655)*(-2)/3. Which is greater: z or w?
w
Let m = 0.092 - -33.908. Let s = m + 11. Let c = s + -44.9. Which is greater: c or -8?
c
Let m = -17/10 + 43/10. Let l(w) = -7*w**2 - 13*w + 4. Let g be l(-2). Let u be (-3)/2*g - 33/(-12). Is u greater than m?
False
Suppose -4*r - 4*j = 1 - 17, -3*r - 5*j = -20. Suppose r = -32*h + 17*h + 15. Is h <= 6/161?
False
Let w = 21532 - 21520. Is w greater than 2/157?
True
Let b be 3/(9/(-2)) - 18067/3738. Which is bigger: b or -3?
-3
Let q = 0.02 - -0.04. Let i be 119/(-1634) + (-2458)/(-52847). Is q less than i?
False
Let q = 4 + -4. Suppose 0 = -q*g + g. Let m = 1650 - 21449/13. Is m equal to g?
False
Let u(d) = -d**3 + 48*d**2 - 4*d + 191. Let w be u(48). Is w greater than or equal to -2/619?
False
Suppose 48*t = -60*t + 99*t. Is t at most as big as 2/3087?
True
Let o = -91 + 80. Suppose 1 = -n - y, 4*n = 2*y - 6 - 4. Let i be 1 + n - (-14 - o). Is 0 >= i?
False
Suppose b + 2628 + 398 = 0. Which is smaller: b or -3025?
b
Let g = -781 - -262. Let t be 33/(-88) - g/(-24). Which is smaller: t or -25?
-25
Suppose -5 = 5*d, 5*p - 8 = d + 8. Let y be (p - 6) + 21373/58. Is y > 367?
False
Let r = -1979/20 + 99. Let b be (-57)/(-12) + -5 - (210/40)/(-7). Do r and b have different values?
True
Suppose 18*l + 88*l - 25440 = 0. Which is smaller: 237 or l?
237
Let w = 77.6 + 3.4. Let p = w - 81.1. Is p smaller than 122?
True
Let u be 122 - ((9 - 18) + 7). Let t be (-16)/(-6)*(-93)/(-2). Is u greater than t?
False
Suppose 0 = -4*h - 158 - 382. Let k = h + 137. Is k > 28?
False
Suppose 85*y - 88*y + 1674 = 0. Let w = y - 646. Which is bigger: w or -85?
-85
Let z(q) = -73*q + 0*q**3 + q**3 - 33 + 11 - 51 - 22*q**2. Let k be z(25). Let l(v) = 11*v - 1. Let o be l(-2). Is k at least o?
True
Let d be (-18)/(-48) - (-614)/(-272). Suppose -5*r - 5*g - 30 = 0, -2*r + 3*r + 5*g + 18 = 0. Which is greater: d or r?
d
Let w = 49911 + -49924. Let r be 0/((0 - -1) + 0). Suppose r = v - 10 + 23. Is w smaller than v?
False
Let f = -67 - -115. Let h(m) = m**3 - 12*m**2 + 16*m - 40. Let a be h(11). Let y(x) = x - 14. Let l be y(a). Which is smaller: l or f?
l
Let j(z) = -2*z**2 + 21*z + 146. Let t be j(-5). Let s be t - ((-21)/(-7) - 10). Which is bigger: 5 or s?
5
Let i(n) = 522*n - 3074. Let j be i(16). Is j greater than 5277?
True
Let v be ((-3773)/98 - -46)*(2 + 884/(-414)). Which is greater: -2 or v?
v
Suppose -18*n + 6*n + 36 = 0. Suppose 5*i = 3*x + x + 589, -n = i. Which is smaller: -152 or x?
-152
Let x = 31.01 - 30.91. Which is smaller: 0.04972 or x?
0.04972
Let o = 16726.5 - 756.5. Which is smaller: o or 1?
1
Let n be 5/((-20)/(-3804))*(-78)/(-117). Is n < 631?
False
Suppose 2*t = -5*f + 350 + 306, -5*t + 518 = 4*f. Which is bigger: 130 or f?
f
Let a(p) = -11*p - 23. Let t be a(-3). Suppose -106 = t*n + 184. Is n at most -29?
True
Let n = -142 + -125. Let g = n - -267. Is g smaller than -6/73?
False
Let c = 535 + 82. Let j = -618 + c. Let p be 2/(-8) - 7/(-156). Which is smaller: j or p?
j
Let j = 2712 - 2713. Is j at least as big as -2694?
True
Let l be (-186)/(-4)*(-16)/(-756). Which is smaller: 0 or l?
0
Let t(k) = -118*k - 1531. Let r be t(-13). Is r smaller than 121/47?
False
Let d(i) = i**3 - 4*i**2 + 4*i - 6. Let c be d(4). Suppose 11*f = 13 - 145. Let t be (f/10)/(8/((-400)/6)). Is t < c?
False
Suppose 0 = j + 2*m + 18, -j - 503*m + 500*m - 27 = 0. Let d be (1 + 5)*2/302. Which is smaller: j or d?
j
Let b(s) = 6*s**2 - 9*s - 6. Let n be b(-5). Let f = n - 189. Let w be (-2 - -4)*(3 - 2). Does f = w?
False
Suppose -80*i + 17*i = -504. Let p(l) = -l**3 + 10*l**2 - 16*l. Let w be p(i). Is w greater than -2/5?
True
Let z(f) = -32*f - 282. Let m be z(-9). Is m < 66?
True
Let z(l) = -2*l**2 - 16*l. Let q be z(-8). Suppose 0 = 2*o + 8, q = -j - 4*j + 4*o + 41. Does 39/8 = j?
False
Let w = 23.85103 - -0.14897. Which is smaller: w or -11.8?
-11.8
Let z = -0.5 + -25.5. Let n = -12 - z. Let j = n - 23. Is -0.1 at most j?
False
Let c(o) = -o**3 - 30*o - 3. Let j be c(-7). Let r = -549 + j. Let k = 186/7 + -1688/63. Is k < r?
True
Let r = -2202 + 2202.03189. Which is bigger: -1/4 or r?
r
Let y(t) be the third derivative of -14*t**2 - 1/6*t**4 - 1/30*t**5 - 2*t**3 + 0 + 0*t. Let v be y(-3). Is -19 equal to v?
False
Let p = 49738/55 + -872