 o = 4 + 0. Let h = -28 + 4. Let u = 28 + h. Do o and u have different values?
False
Let g(r) = -20*r - 28*r - 10 + 46*r. Let h be g(5). Which is smaller: h or -21?
-21
Suppose -3*k + 4*k = 5*r + 201, -20 = 4*r. Let l be k/605*(3/(-2) + -1). Is l <= 0.1?
True
Let r(b) be the first derivative of b**2/2 + 2*b + 3. Let h be r(2). Let y be 5/(-1) - 21/((-420)/152). Is y not equal to h?
True
Let i(n) = n**3 + 9*n**2 + 7*n - 10. Let c be i(-8). Let a = -0.127 + -17.873. Which is smaller: a or c?
a
Let y be -1*6/54*(-99)/(-22). Is -1673 equal to y?
False
Let k be (294/(-108) + 1)*-44. Which is smaller: 77 or k?
k
Let g = 5/16 - 19/48. Let f be 2/10*10/12. Let v = f - g. Which is bigger: 0 or v?
v
Let i = -362/3 + 121. Let u = 14.33 + -0.33. Let w = -6 + u. Which is bigger: w or i?
w
Let r be (6/(-763))/((-280)/(-490)). Which is greater: -2 or r?
r
Suppose -38 = 5*l + 12. Let o = l + 20. Suppose o*k - 2 = 8*k. Which is bigger: k or -2/65?
k
Let b = -84 - -84.1. Is b greater than 0.248?
False
Let b be 0 - (16/(-2) + -1). Suppose -5*l = -r - 6, 0 = -4*l + 5*r + 3 + 6. Which is bigger: l or b?
b
Let z be (2/55)/(1 + -3). Let a(m) = -4*m**3 + 39*m**2 - 29*m + 17. Let o be a(9). Which is bigger: o or z?
z
Suppose -39 = h + 3. Which is greater: -43 or h?
h
Suppose 5*j - 21 = -181. Let y be (3/(-22))/((-24)/j). Let o = y - 25/44. Is o < -2?
False
Suppose 5*x = -3*s - 32, 4 = 4*x + s - 6*s. Let j be x/(-7) + (-4)/(12/9). Which is smaller: j or -3?
-3
Let w(x) = -x**3 + 17*x**2 - 55. Let y be w(17). Is y less than -55?
False
Let q = -277 + 278. Which is smaller: q or -2/29?
-2/29
Let b(q) = q**2 - 6*q + 4. Let h be b(6). Let m be (-9 + 16/h)/(-1). Suppose 3*k - m*l + 19 = 0, -2*k - l + 2*l = 1. Is k > -0.08?
True
Let j(w) = 5*w**2 + 2*w + 1. Let s be j(-1). Let p = 108 + -107. Which is smaller: p or s?
p
Let v be ((-18)/(-45) + -1)*30. Does -18 = v?
True
Let f = 3/56 + -5/8. Let x(w) = -w**3 - w**2 + 3*w - 4. Let q be x(-3). Suppose -q*p = 5, -2*y + 5*p + 7 = -4*y. Is y bigger than f?
False
Let i(x) = 4*x**2 + 89*x + 16. Let h be i(-22). Is -48 <= h?
True
Let p = 31.7 - 33. Let d = -1.3 - p. Let w = 7 + 0. Do d and w have the same value?
False
Let q be 423/21 - (-6)/(-42). Suppose 5 = 5*o + q. Is -4 at least as big as o?
False
Let x be (-12)/(-20)*(-1740)/4. Is x equal to -260?
False
Suppose 13 + 3 = -8*r. Let v be ((-4)/r)/(-6 - (-12)/3). Let f be 62/(-60) + 3 + -2. Are v and f nonequal?
True
Let d = -5 + 6. Let o be -9*(-8)/252 - (-54)/56. Which is greater: o or d?
o
Let g be (-204)/(-18) - 1/3. Let v = -14 + g. Let n(c) = -c**3 - 2*c**2 + 5*c + 5. Let b be n(v). Is 0 greater than b?
True
Suppose -4*q + 2*s - 10 = 0, -s + 3 = 3*q - 6*s. Let x be (1*-3)/3 - -1. Let h be (1 - x)/(-1 - q). Which is greater: h or 0?
h
Suppose v + 195 = 5*g - 4*v, 0 = g + 5*v - 51. Which is bigger: g or -1/2?
g
Let d = -10 + 4. Let t be (-4)/d*(-7 + 10). Let j be 4*(t - 0)/(-8). Is 2/23 < j?
False
Suppose 21*c - 492 = 20*c. Is 493 smaller than c?
False
Let q be (8 + -4)*(-1)/4. Let k be (q + 0)*(-5 + -2). Are k and 7 nonequal?
False
Suppose -9 = 1784*v - 1775*v. Let m = -898543/72 - -12480. Let p = m + 5/24. Which is smaller: p or v?
v
Let t(m) = -4*m**2 + 3*m - 7 - 3*m**2 - 2*m + m**3. Let o be t(7). Which is smaller: o or 6/19?
o
Suppose -3*o + 162 + 24 = 0. Suppose -2*n + 0 = -2*m + o, -4*m - 4*n + 84 = 0. Suppose -121*g + 122*g - 33 = -2*l, 2*l = -2*g + 60. Is m smaller than g?
True
Let u = -0.2 + 12.2. Let o = u - -13. Let b = -9 + o. Which is smaller: 1/4 or b?
1/4
Suppose -336*u + 13964 = 53612. Suppose -2*c - 224 = x + 12, -2*c = -5*x + 248. Is c < u?
True
Suppose 7*j = 6*j - 81. Which is smaller: j or -83?
-83
Let k be -5 + ((-462)/9)/(16/(-24)). Is k at least 786/11?
True
Let h be (-1)/4*(-102)/(-9). Let t = -7/3 - h. Let f = 2 + -2.4. Which is smaller: f or t?
f
Let i(g) = g**3 + g**2 - g + 5. Let a be i(0). Suppose -c = -0*c + 17. Let z = -9 - c. Are a and z equal?
False
Let u(m) = 0*m**3 + 21*m**2 + 19*m - 2*m**3 + 13 + 3*m**3. Let z be u(-20). Which is bigger: 34 or z?
34
Suppose -11 = -16*c + 27*c. Do 1/226 and c have the same value?
False
Let q = -38 + 42. Suppose -13 = -5*p + q*x, -4*x = -3*p - 9*x - 7. Is 0.1 smaller than p?
True
Let m(p) = -p**2 + 19*p + 8. Let i be m(19). Let l be (-440)/(-108) + i/(-2). Which is greater: l or -1?
l
Suppose -16*y + 41 = -23. Is -1.4 greater than or equal to y?
False
Suppose -1 = -67*a + 68*a. Which is smaller: a or -15/19?
a
Suppose 0*p = p. Let d = -27 - -28. Suppose -t + d = -p. Is 1 bigger than t?
False
Suppose -5*m + 69 = -3*d, -5*d = -m - 0 + 5. Let a be (-9)/m + (-188)/120. Which is smaller: a or -3?
-3
Let x = -14 - -10. Let v be (-234)/8 - 1/x. Let l = v + 2. Is -27 greater than or equal to l?
True
Let y = 34 + -20. Let t be 191/(-2)*y/(-3255). Let h = t + -1/93. Which is greater: h or 0?
h
Suppose 0 = -w + 3*w. Let r be (-26)/(-39) + 84/(5 + -2). Let i = 28 - r. Are i and w non-equal?
True
Let i = -14.1 - -3.1. Let o = 11.082 + 0.018. Let k = i + o. Is 1/4 not equal to k?
True
Let j = -1334 + 1334.2. Is j at least -2/19?
True
Let z = 37.8 - 37. Let c = 0.9 - z. Is c at least as big as -13?
True
Suppose 0 = 52*z - 37*z - 120. Let y(a) = a**3 + 7*a**2 + 5*a + 2. Let n be y(-6). Is n less than or equal to z?
True
Let h(o) be the second derivative of 0 - 5/3*o**3 - 5*o + 1/12*o**4 + 5*o**2. Let c be h(9). Is 3/19 not equal to c?
True
Let c be -1*(-6)/7*7. Let s be 3/c*(-10 + 4). Let y = s + 4. Is y at least 1?
True
Suppose 3*m - 5*d = -655, 1079 = m - 6*m + 2*d. Let q be m/(-438) - 2/4. Let z = q - 1529/438. Is -4 greater than or equal to z?
False
Suppose 4*a + 6 = -2*a. Let y be 10/36*(-4 - a). Let b(u) = u**2 + 2*u + 1. Let c be b(-1). Is y bigger than c?
False
Suppose -5*p - 3*t = -907, 3*t = 5*p + 7*t - 906. Let a be 2 + p/(-46) + 18/9. Which is smaller: a or -1?
-1
Let q be 4/(-6) - 251/(-381). Let g(u) = 7*u + 105. Let y be g(-15). Which is greater: y or q?
y
Let s(m) = -2*m**2 + 11*m + 139. Let b be s(-7). Which is smaller: b or -39?
-39
Let p = -2369 - -2368. Which is bigger: p or -8/25?
-8/25
Let l be 12/(-66) + 3 + 17227/(-6105). Which is smaller: 0 or l?
l
Let i(z) = z**3 + 6*z**2 + 13*z + 10. Let q be i(-3). Is q > -16/11?
False
Let s = -95/462 + 1/42. Let b = -5 - -4. Let z = b - -1. Do z and s have the same value?
False
Suppose 5*a = 0, -3 - 1 = -4*n - 3*a. Suppose -2*f - 2*d = 1760, 0*f + 2*d - 3532 = 4*f. Let w = f - -6184/7. Do w and n have different values?
True
Let f be (-41 - -43)/(2/1). Which is smaller: f or -666?
-666
Let u be (-21)/108 + 12/16. Let t = u + -34/45. Let y = 3 - 3.8. Which is smaller: t or y?
y
Let g = 2.45 + 0.35. Let s = -0.1 + g. Let v = -2.8 + s. Which is smaller: v or 12/5?
v
Let d be (-2)/(1 - (-1830)/(-1806)). Let q = -142 + d. Is 8 > q?
False
Let m be (-190)/(-57)*9/(-2). Which is smaller: 0.1 or m?
m
Let i be 5/(-40) - 10158/(-12400). Let r = i + -24/31. Which is bigger: -1 or r?
r
Let d = -296 - -295. Which is greater: d or -3/1610?
-3/1610
Let w = -23 + 62. Let c = w + -27. Let f = c - 11.8. Are 1 and f equal?
False
Suppose -3*h + 85 = -26. Let n be (2 + -1)/(15/(-580)). Let k = h + n. Which is bigger: -0.1 or k?
-0.1
Let q be (-8)/(-2) + (-20119)/1551 + 9. Does q = 1?
False
Suppose 48*d + 48*d - 56448 = 0. Which is bigger: 587 or d?
d
Suppose 13*l - 11*l = 16. Let v(r) = r**3 - 9*r**2 + 8*r - 2. Let i be v(l). Let a(w) = -w + 4. Let g be a(5). Do i and g have different values?
True
Let s = 3 + -8. Let c = -8 - s. Let y = -0.6 - -0.5. Which is smaller: c or y?
c
Let w(q) = 3*q - 12. Let c be w(4). Let f be (1 + c + -2)/(-1). Which is smaller: f or 1/53?
1/53
Let s = -27/805 - -14493/144095. Let m = -6504/895 + s. Is m at least -8?
True
Suppose 3*v - 490 = -11*v. Which is smaller: 36 or v?
v
Suppose 2*z = -0*z - 6. Let i = 45 - 45. Let y be (6 - 5) + -5 + i. Which is smaller: y or z?
y
Let u = -20.6 + 21.04. Is 1 <= u?
False
Let q = 139 + -94. Let u = q + -44. Which is smaller: 3 or u?
u
Let d be (44/(-66))/(6/9). Which is smaller: d or -8/87?
d
Let p(w) = 16*w**3 + 40*w**2 + 29*w + 15. Let i(q) = -3*q**3 - 8*q**2 - 6*q - 3. Let y(t) = 11*i(t) + 2*p(t). Let o be y(-7). Are 5 and o unequal?
True
Let x(o) = -3*o**3 + 14*o**2 - 13*o + 12. Let t be x(4). Is -27/4 less than 