n i?
False
Let w(o) = 51*o + 37. Let q be w(3). Which is smaller: q or 183?
183
Let f = 37 + -24. Let d = -107 + 121. Let i = f - d. Which is smaller: i or 0?
i
Let h(d) be the second derivative of d**4/3 + d**2 + 5*d. Let i be h(2). Is 16 at most i?
True
Let k = 2 - 1. Let r = -192 + 38. Let l = 3541/23 + r. Which is smaller: l or k?
l
Suppose -4*c = -0*c + 80. Let u be -41*(0 - (-8)/c). Let q = -244/15 + u. Do 0 and q have different values?
True
Let x be (-4)/26 - (-504)/(-2808). Let o = 3 + -4. Is o greater than or equal to x?
False
Let m(z) = 2*z**2 + 44*z + 6. Let b be m(-22). Suppose -14 = -t + 4*l, -t + 0*t - 4*l = -b. Which is smaller: t or 0.03?
0.03
Let r(d) = d + 8. Let i be r(-6). Let h be (16/(-20))/(-4) - 164/(-80). Is i at least as big as h?
False
Suppose -3*w = -3*k - 72, 11*w = 6*w - 3*k + 88. Let o = w + -17. Suppose -2 = 3*u - u - 3*l, -o*u + 3*l = 0. Is u not equal to -3?
True
Suppose 3*a = -2*m + 3 + 11, -4*a = 4*m - 12. Let b be 12*(-1 - -2)/2. Let n = 3 - b. Which is bigger: n or m?
n
Suppose -2*u + 4*u + 2 = 0. Let x = 5 - u. Suppose p = 2*i - x, 4*i + i - 6 = -2*p. Which is smaller: i or 1?
1
Let h(l) be the third derivative of l**5/30 - 11*l**4/24 + 2*l**3/3 + 10*l**2. Let c be h(5). Is c smaller than -3/7?
True
Let f = -8540/13606099 + 1/6421. Is 0 smaller than f?
False
Let v be -1 - 4 - (-17)/(28509/8388). Do v and 1 have different values?
True
Suppose -2*y + 14 = -4*m, 0 = 2*m + 3*y + 2 + 1. Let a be 26*36/(-24)*(-2)/6. Let r be 4 - a/5 - 3. Is r at least m?
True
Let u = 28 - 34. Let f = -25 - -24.7. Which is greater: f or u?
f
Suppose -3*z - 4*y = -32, z = -3*y - 0*y + 19. Let u be 16/(-3) - z/6. Is -2 smaller than u?
False
Let s be 49 + -47 - (1 - (-10)/8). Which is bigger: -5 or s?
s
Let v = 3.6 + -15.4. Let p = v - -18.8. Let y be (-2)/(-8) - 2/(-8). Is y < p?
True
Let n(u) = -u**2 - u + 8. Suppose -10 - 22 = 2*w. Let k be 60/w + 1/(-4). Let j be n(k). Which is smaller: j or -3?
j
Let i be 1/(-1) + -2 - -7. Let v be 1 + 10 + (-8)/i. Suppose v = 5*b - 16. Are b and 3 unequal?
True
Suppose o + 1 = 5*r, -3*r - 2*r + 4*o + 4 = 0. Let d(f) = f + 1. Let n be d(r). Which is bigger: n or 2?
2
Suppose -1 = -2*v + 5. Suppose -3*r - 2*w + 5 = -0*r, -v*r - 10 = 5*w. Is r at least as big as 14/3?
True
Let r = -329 + 175. Let y = r + 131. Let m = -3 + 2. Which is smaller: y or m?
y
Let n = 4 + -3. Let k be 1/(-5) + 0/n. Let r = -19.5 + 19.3. Is r smaller than k?
False
Let c be (-2)/(-5) + 12/(-30). Let p be 2 - 6 - c - 0. Let s(r) = r - 9. Let q be s(7). Are q and p equal?
False
Suppose -18 = -2*p - 4*q, -4*p + 3*q + 13 + 34 = 0. Let s be (-8)/(-40) + 98/10. Is s != p?
True
Suppose -81 = 5*c - 1361. Suppose -q + 5*p - 1033 = 3*q, -q = p + c. Let b = q + 3339/13. Which is smaller: 0.1 or b?
b
Suppose 5*t - 3*j - 2*j - 105 = 0, 5*j = -5*t + 145. Let y(a) = -a**3 + 14*a**2 + 2*a - 2. Let k be y(14). Is k less than t?
False
Let f(u) = -u**3 - 22*u**2 - 56*u - 43. Let w be f(-20). Is 275 != w?
True
Let z(d) = d + 3. Let b be z(0). Suppose b*w + 12 + 3 = 0. Suppose -2 = m + 2. Is w < m?
True
Let a = -314 - -907/3. Which is greater: -11 or a?
-11
Let w be (4/134)/((-11)/7). Let g = w + 4232/145189. Is 0 equal to g?
False
Let k = 26 - -6. Suppose 0 = 5*r - r + k. Which is bigger: r or -9?
r
Suppose -2*l + 3*l - 19 = -3*d, -2*l - 12 = -4*d. Suppose -3*c + 19 = -2*a, 0 = -3*c + l*c - 5*a - 15. Let r be (-54)/(-16) + (-15)/c. Is -1 != r?
True
Suppose 5*t = 2*t - 144. Let x(f) = -94*f + 329. Let w be x(4). Is w > t?
True
Let b = -96 + 156. Which is bigger: b or 62?
62
Let t be (-23274)/9348 - 10/(-4). Which is greater: -1 or t?
t
Let i = 463.2 + -463. Which is greater: -93 or i?
i
Let a = 27 + -25. Let n = a + -4. Let k(v) = v**2 - v. Let t be k(1). Which is smaller: t or n?
n
Let l(i) = -i**2 - 15*i - 40. Let k be l(-3). Which is bigger: 6 or k?
6
Let z = 1336 - 1331. Is -8 at most as big as z?
True
Let t = 62 - 41. Let x be 828/t - (-2 - -5). Let j = -15569/427 + x. Is 0 at least j?
True
Suppose -4*d - 24 = 12. Let o be d/57*(-2)/(-4). Which is greater: o or -1?
o
Let b = 1.3 - 8.7. Let x = -7 - -6.4. Let k = x + b. Which is smaller: -2/3 or k?
k
Suppose 0 = -88*j + 90*j + 8. Suppose 9 + 0 = -3*m. Do j and m have the same value?
False
Suppose -75 = -15*q + 10*q. Suppose -q = -0*r + 2*r + 3*x, -20 = -3*r + 4*x. Does -1 = r?
False
Suppose -2*b + 5*z - 4*z = 168, 5*b - 2*z + 418 = 0. Which is smaller: b or -84?
-84
Let l be (5 - 2515/839) + (3 - 5). Which is greater: -1 or l?
l
Let i(w) = -w - 4. Let k be i(3). Let z = 13 + k. Let u(j) = j**3 - 6*j**2 - j + 8. Let o be u(z). Is o <= 2?
True
Let c = -46 + 45. Let r be 2/(-1) - (-63 - -1). Let t be (-4)/(-5)*r/888. Is t at most as big as c?
False
Suppose -2*g + 339 = c, 8*c - 20 = 4*c. Which is greater: g or 166?
g
Suppose -5*x - 107 = -0*y + 4*y, -x - 16 = -y. Let z = -45 + 27. Is x != z?
True
Let m(o) = 107*o - 535. Let f be m(5). Which is smaller: -16/41 or f?
-16/41
Let r = 7.2 + -6.1. Let g = 2 - 1. Let d be 2/(7 + (2 - g)). Which is bigger: d or r?
r
Let y be (66/(-27))/((-4)/(26 - -10)). Which is smaller: -12 or y?
-12
Let k be -134*(-16)/32*2/2. Are 459/7 and k unequal?
True
Let r be -3 - (-37 + 0 + -5). Let g be r*(4/18)/(14/21). Which is greater: g or 15?
15
Let y = -7214417/76 + 94928. Let b be (-21)/2*4/19. Let l = b + y. Which is smaller: l or -1/3?
l
Let q = -180869/63 + 2871. Which is smaller: -1 or q?
-1
Let o = 374 + -375. Is 10/137 smaller than o?
False
Let n = 111.07 - 111. Let a = 0 - -0.07. Let d = a - n. Which is smaller: d or 2?
d
Suppose -13*l = -10 + 595. Which is bigger: -33 or l?
-33
Let y(f) = 4*f**2 - f + 2. Let t be y(1). Let d be (-50)/t + -1 + 3. Which is smaller: d or 11?
d
Suppose 3*k = -5*l + 13, 0 = k + 4*l - 11 + 2. Which is smaller: 22/57 or k?
22/57
Let m = -27 - -29.5. Let l = -3.5 + m. Is l not equal to 0.09?
True
Let f = -38/99 - -100835/396. Is 254 bigger than f?
False
Let w be (924/(-18))/(-7) - 5/(-3). Suppose 21 = 4*f - 7. Which is smaller: f or w?
f
Suppose -x + 3*h + 11 = 0, -8 + 21 = -5*x - 2*h. Which is smaller: x or 8/61?
x
Let r = 841 + -789. Which is greater: 1.7 or r?
r
Suppose 3*h = 5*h + 2. Let m be -3 + 0 + (1 - h). Let q be (1 - 10/8)/m. Does -13 = q?
False
Let u be 19 - 4 - (-1 + -1). Let m be 2/6 - 76/(-6). Let r = u - m. Are r and 3 non-equal?
True
Let v(r) = r**3 + 5*r**2 - r - 5. Let w be v(-5). Let n = 66.906 - -0.094. Let c = 72 - n. Which is smaller: c or w?
w
Let j be 2/8*0 - 0. Suppose j*u - 8 = 2*u. Let c be (-1 - -2)/((-2)/10). Which is greater: u or c?
u
Let w be (-4)/2*(-186)/(-22). Let z = -41476777/2580072 + 5/78184. Let g = z - w. Which is bigger: 0 or g?
g
Let a = 0.02 - 0.39. Let z = -2.37 - a. Is -1 less than or equal to z?
False
Let z be ((-18)/20)/(2/4). Let l(f) = -4*f - 23. Let s be l(-6). Let o be 8*(-1)/3 - s/3. Is z not equal to o?
True
Let z = -0.13 + 11.13. Let r = 1.1 + -1. Is z smaller than r?
False
Suppose 0 = 30*j + 70 + 20. Is -1 bigger than j?
True
Let m(h) = -10*h**2 + 23*h + 5. Let k be m(2). Let g = 41 + -28. Which is smaller: g or k?
k
Let z = 4.054 - 4.1. Let c = z - 0.054. Which is smaller: 34 or c?
c
Suppose 4*q + 0 - 7 = y, 5*q = -4*y - 7. Let g(i) = -3*i - 5. Let w be g(y). Do w and 1 have the same value?
False
Let b = 38.077 + -0.077. Let x = 37 - b. Does -1 = x?
True
Let n(b) = -2*b**3 - b - 1. Let s be n(-1). Let p be (0 - s)*2/(-14). Are -0.5 and p nonequal?
True
Let n = -88 - -52. Let q be (-2)/5*((-7 - -13) + n). Which is smaller: 14 or q?
q
Let g = -1.07 + 1.17. Which is greater: -42 or g?
g
Suppose 0 = v - 2*h - 2, 2*h - 38 = -4*v - 0*h. Let p(t) = -t**2 + 7*t - 2 - 2 + 6. Let l be p(6). Is l >= v?
True
Suppose -7*h + 1663 = -1767. Suppose 3*g - h = -7*g. Which is greater: g or 47?
g
Let k be 41/(-164)*(-1 - -5). Which is greater: -27/14 or k?
k
Let d(w) = -w**2 + 57*w - 392. Let x be d(47). Which is smaller: 76 or x?
76
Let y = 0 + 3. Let p = -9323/8 - -1165. Is p greater than y?
False
Let k = 217 - 208. Is 7 at least k?
False
Let l be 316/6 - 85/51. Is l bigger than 47?
True
Suppose -3*q - 2 = -20. Suppose -q + 2 = -4*z. Let f be (9/(-12))/(234/48). Are f and z non-equal?
True
Suppose 2*i = 24 - 0. Let n be (-563 + 568)/(((-3)/4)/(3/(-2))). Are n and i equal?
False
Let p be 