 4*h - 6, -2*h + 54 = 5*b + 57. Suppose 2*d - 4 = -5*l, 2*d = 2*l + 3*d - h. Is 33/53 at least l?
False
Suppose -42937 = 14*t + 152*t + 45707. Is -534 > t?
False
Let k be 2 - (-3 - (-4)/4). Suppose 2*g + k*j - 14 - 8 = 0, -5*g + 3*j = 10. Let c = -3397 + 71336/21. Which is greater: g or c?
g
Let k(w) = w**3 - 8*w**2 + 8*w + 4. Let t be k(3). Suppose 45 = f - 4*f. Let p = t - f. Is -1/2 > p?
True
Let n = 381 - 378. Suppose -13 = 5*k - 4*q, -4*k - 2*q + 2 = q. Let t be 85/180 + k/4. Which is greater: n or t?
n
Let v = -33686 + 34623. Which is smaller: v or -0.1?
-0.1
Let c be -2 - (-64)/144136*(-16674)/(-4). Let h = c + 4/419. Is -1 greater than or equal to h?
False
Let a = 1.9886 + -66.9886. Which is smaller: -5/19 or a?
a
Let k = -108 + 88. Let b be k/(-80) + 513/(-20). Which is bigger: -25 or b?
-25
Let y be 27/24*(10 + (-176)/18). Suppose 2*s + 5*u = 5*s + 11, 4 = u. Suppose -s*l + 1 = 2*w, 0*w = 4*w + 4. Is y smaller than l?
True
Let j = -35.72 - 29.2. Let o = j - -66. Let h = o - 1.28. Which is bigger: -2/91 or h?
-2/91
Let s = -661.9 + 661.95707. Is 0 > s?
False
Let q(l) = -l**3 + 30*l**2 + 23*l + 247. Let i be q(31). Is 233 bigger than i?
True
Let v = 3408 + -3554. Are v and -142 nonequal?
True
Suppose 0*a = 2*a. Let i = 64169/3338364 + -95/4611. Is a equal to i?
False
Suppose -4*z - 24712 = 29*j - 33*j, 0 = 4*j + 2*z - 24706. Is j at least 6179?
False
Let g be ((-6)/(3 + 0))/(4/8). Let h = -16 + 10. Let s be (-88)/6*h/g. Which is bigger: s or -19?
-19
Let g be (-2)/3*-1*6. Let i = g + -6. Let m = 2931 - 2940. Is m smaller than i?
True
Let q(a) = 3*a + 17. Let m be (0/(-1) + -5)/(8 - 7). Let f be q(m). Suppose 2 = f*t + 4*g, -4*t = -3*g - 0*g - 4. Is t less than or equal to 30/13?
True
Let l be 4/6*(-96)/40. Let r = 205 - 195. Let g be 1*(r/(-6) + (-2)/6). Is l < g?
False
Let d = 2.3 - 0.3. Let k be 22/(-6) - 1/3. Let b be k/10 + 1 - (-133)/(-205). Is d >= b?
True
Let a be ((-7)/(-1215))/((-6)/(-9)*1). Is 1 at most as big as a?
False
Let g(a) = -70*a**3 + 11*a**2 + 3*a + 1. Let w be g(1). Are -39 and w equal?
False
Let s(g) = 2*g**3 + 4*g**2 - 3*g - 3. Let z be s(4). Suppose 12*d = 207 + z. Is d less than 31?
False
Let x be (-440)/(-48) + 2/(-12). Let g = x + 0. Suppose 0 = -g*i + 6*i. Is 0 >= i?
True
Suppose 2*d = 13*u - 17*u + 6, 0 = d - 2*u - 3. Suppose 5*w = l, -2*l - d - 5 = -2*w. Which is smaller: w or -2/551?
w
Let z = 17281 - 17385. Do z and -1138/11 have the same value?
False
Let q be (93 - -1)*35*30/294. Is 336 equal to q?
False
Let y(g) = -14*g - 5. Let i be y(5). Let z(c) = 546*c + 3201. Let l be z(-6). Are i and l equal?
True
Let d be (104/(-12))/(1/(-3)). Let z be (d/(-8))/((-1)/4). Let h = -25492 - -25501. Which is greater: z or h?
z
Let x(f) = f**3 - 21*f**2 + 31*f + 134. Let o be x(19). Which is smaller: 4/6389 or o?
4/6389
Let d = 4429 - 75389/17. Let z = d - -12243/2159. Which is smaller: -1/4 or z?
-1/4
Let c(y) be the second derivative of -y + 0 - 3*y**2 + 1/6*y**3. Let f be c(5). Which is greater: 1/12 or f?
1/12
Let q(p) = p**3 - 20*p**2 - 19*p - 6. Let s be q(-8). Is s < -1646?
False
Let s be 3/6 + 6/(-4) + -3. Let t be (s/24*-4)/(4/246). Which is greater: t or 42?
42
Let j(i) = i**3 + 13*i**2 + 26*i - 8. Let z be j(-11). Let c = 59.4 - -13.6. Let d = c - 75. Which is smaller: d or z?
z
Let h be ((-26)/39)/(1/7)*84. Let m = h + 442. Are 54 and m nonequal?
True
Let c be (-168)/270*(-27)/(-18) + 4/3. Are c and 18/7 equal?
False
Let m = -29538 - -29489. Suppose 2*t - 265 = 5*p, 0*p + 4*p - 4*t = -224. Which is smaller: p or m?
p
Suppose -23 = -j - 93. Let x = j + 211/3. Is x <= -0.11?
False
Let w be (-25)/(150/(-4))*27/6. Does w = -2/41?
False
Suppose 0*k + 2*b = -5*k - 195, -86 = 3*k - 5*b. Let v(p) = -68*p + 63*p - p**2 + 5 + 2*p**2. Let t be v(3). Which is bigger: k or t?
t
Suppose -3*z = 12, -2*w - 7 = z - 3. Which is greater: -20/31 or w?
w
Let f(o) = -o**2 - 8*o + 6. Let d be f(-8). Suppose 7*v - d*v = 0. Suppose v = 7*s - 3*s. Which is smaller: -0.03 or s?
-0.03
Let l(r) = 4*r - 144. Let p be l(41). Let h = 163.1 + -163. Which is smaller: h or p?
h
Suppose 82 = -38*o + 120. Which is smaller: o or 5/4?
o
Let n = 28163/262550 - 119/890. Which is bigger: -1 or n?
n
Let h(b) = -99*b - 863. Let x be h(-9). Is x < 139/5?
False
Suppose 5*h - 3*t = 53, 5*h = -3*t + 21 + 26. Suppose 3*i + 2 + h = 0. Let x be 378/36 - (-2)/i. Is x less than or equal to 10?
True
Let n be 18750/84132 - ((-145)/(-45)*1 + -3). Is 1 != n?
True
Suppose 22*j = -15*j + 34854. Is j at least as big as 942?
True
Let g(l) = l**3 + 6*l**2 + 32. Let c be g(-7). Is c < -11?
True
Let v = 10518 - 9406. Is 1111 bigger than v?
False
Let m = 3.877 - 2.584. Which is smaller: m or 1?
1
Suppose -4*h + 10*q = 13*q + 1198, 5*h = 2*q - 1509. Which is bigger: -319 or h?
h
Let i(h) = 4 - h**2 + 7*h**2 + 10*h**3 - 11*h**3 + 3*h. Let o be i(5). Let x = 50 - o. Which is smaller: 29/5 or x?
29/5
Let l = 0.0757 + -0.0198. Let o = 0.9441 + l. Which is greater: -0.38 or o?
o
Let r = 386 + -6564/17. Let g(v) = -6*v + 2*v + 2*v + 3. Let f be g(2). Which is greater: r or f?
r
Let a be (-794)/((26 - 30)/((-2)/1)). Let u = a - -333. Which is greater: -60 or u?
-60
Suppose -71*u - 2268 = -59*u. Let k = -563/3 - u. Is k less than or equal to 41?
True
Suppose 4*l = -3*r + 1598 - 175, 3*l - r - 1064 = 0. Which is greater: l or 359?
359
Let g be (8/6*-6)/2. Let b be (-124)/155*1*(-70)/g. Suppose 0 = s - 0*m - 5*m + 14, 4*m = 0. Is s greater than or equal to b?
True
Let k be (-75)/52 + (12 - (-490)/(-40)). Suppose 5*o + 18 = 4*q - 2*q, 2*o = -5*q + 16. Suppose q*w + 15 = -w. Are k and w equal?
False
Suppose 68*q + 39*q - 10413 = 18*q. Is 126 < q?
False
Let o = 872 - 846. Is 25 at least as big as o?
False
Let z be 1/3*0/6. Suppose -21 = -3*y - z*b + 5*b, -2*b = -3*y + 30. Which is greater: y or -12?
y
Suppose -3*l + 5*m = 40 + 43, 5*m + 25 = 0. Let p be 5 + 11/((-66)/l). Let v = -23 - -35. Is v at least as big as p?
True
Let c be (-25)/(-20) + (-1766)/1432. Let i = c + 9997/1611. Is i equal to 5?
False
Let k = 4 + 2. Let s = 2041 - 2007. Which is greater: k or s?
s
Let y(n) = n**3 + 2*n**2 - 19*n - 17. Let z be y(-5). Suppose 4*f - 8 = z*x + x, 13 = x + 4*f. Let a = 988/5 + -197. Which is smaller: a or x?
a
Let k = -65 - -67. Let u be 2/k - (-9)/9. Suppose u*n = 2*q + 7*n - 108, 54 = q + n. Which is bigger: 55 or q?
55
Suppose 10*c = 3*c + 41230. Let a be (-16)/(-12) - c/30. Which is smaller: -196 or a?
-196
Let h = -63 + 44. Suppose -14 + 2 = -4*k, 4*f - k = -79. Is f greater than h?
False
Suppose -5*r - 6 = -31, 0 = 3*l - 6*r + 30. Let x be (-16)/22 - 0/1. Which is smaller: l or x?
x
Let m = -89/28 - -24/7. Let h = -280.83 - -284.33. Which is bigger: m or h?
h
Let h = -3.2 - -3. Let o = -0.3 - h. Let y be (-1384)/(-18) + 249/2241. Is y greater than or equal to o?
True
Let l = -0.87 + 0.79. Let w be (-8)/12 + -4 + 44/(-6). Let i be w/(-36) - (0 - -1). Is l less than i?
False
Suppose 5*q + 0*q = -175. Let p = q - -37. Let r be 16/13 - 1*(-10)/5. Are r and p equal?
False
Let n(j) = 3*j**2 - 4*j - 1. Let b be n(3). Suppose -9*v = 92 + 1069. Let y = v + 143. Is y at most as big as b?
True
Let c = 0.249 - -134.751. Let a = c - 135. Is a at most as big as 1/73?
True
Let w be (-6)/(-2) + (-49250)/8230 - (0 + -3). Which is smaller: 1 or w?
w
Suppose 15 = -20*r - 2*r + 213. Let o = 2 - -2. Suppose -o*b + 5 = -r*b. Which is greater: b or -21?
b
Let a = -106622/7353 - 10/387. Is a bigger than 2/3?
False
Let z = 1.61 - 1.6. Suppose -70 + 244 = -6*g. Which is bigger: z or g?
z
Let z(x) = 3*x**2 + 6*x - 2*x + 4*x + 21. Let m be z(-6). Suppose -m = 6*u + 159. Do -40 and u have different values?
False
Let d be (0 - -3)*2/21. Let x(z) = 10*z + 12. Let m = 140 + -139. Let w be x(m). Is d smaller than w?
True
Let j be (-4 + 160/43)/(3/2). Do j and 0 have different values?
True
Let g(m) = -m**2 - 8*m + 19. Let z be g(-9). Let t be ((-2912)/(-20))/(-1) - 4/z. Is t at least -146?
True
Let j be (8/(-8))/((-2)/(-600)*-3). Which is bigger: j or 105?
105
Suppose x + 12 + 17 = 0. Suppose 4*c - 1084 = 2*w, -8*w + 3*w - 2*c - 2650 = 0. Let p = w + 504. Which is smaller: p or x?
x
Let i(a) = 2*a**2 - 28*a - 17. Let u be i(15). Let y = -158 - u. Is -172 at least as big as y?
False
Suppose 3*p - 4*x - 262 - 