= l + -68.8. Is 0 smaller than p?
True
Let t = 104 + -54. Let u be (16/t)/(8/(-40)). Suppose -3 = -v - 6. Which is smaller: v or u?
v
Suppose -15*c + 9*c + 66 = 0. Is c >= 12?
False
Let z = 4878 + -190262/39. Is 0 not equal to z?
True
Let w(v) = -v**2 - 6*v - 5. Let n be w(-4). Suppose 22*c - 19*c + 180 = 0. Let k be 20/c + (-17)/n. Is k at most as big as -6?
True
Let x(g) = g**3 - 3*g**2 - 4*g. Let o be x(-3). Let z = -43 - o. Do z and -11 have the same value?
False
Suppose -72 = -2*g - 2*g. Suppose 75 = -23*h + g*h. Let i be 2/10 - (-18)/h. Which is smaller: i or -5/13?
i
Let x(t) = t**3 + t**2 - 30*t - 13. Let c be x(-6). Is -92/7 > c?
False
Suppose 2*h - 2 = -5*l + 30, 0 = -2*h + 2. Let r = l - -9. Let j be (r/(-10))/(51/(-4)). Which is bigger: j or 0?
j
Let d = 10.3 + -11. Let g be (3/6)/((-1)/12). Let r be (-14)/(-7) + 14/g. Do r and d have the same value?
False
Let l = -1 + 0.7. Let r be (154/11 + -12)*2/(-8). Are l and r unequal?
True
Let l = 31.462 - 25.69. Let m = l - -0.228. Let p = 0.1 - 0.1. Which is smaller: m or p?
p
Suppose 2*w - 4*v = 40, -8*w + 13*w - 4*v = 88. Let y = -14 - -30. Is y > w?
False
Suppose -7*d - 19 = -264. Let t be d/(-10) - (-3)/(-6). Which is greater: 3 or t?
3
Let b(o) = -o**2 - 5*o + 7. Suppose -2*p - 20 = 3*h, 0 = 4*h - 0*p - p + 23. Let a be b(h). Is -1/7 != a?
True
Let r be (-37)/(-3) + 2/3. Let x = -16509 + 16523. Which is greater: x or r?
x
Let h be 26/91*7/2. Suppose -m = m - 5*x + 2, -m - x - h = 0. Which is smaller: 3/13 or m?
m
Let g = -174 - -116. Let m(w) = 8*w + 45. Let s be m(-13). Which is greater: g or s?
g
Let o(u) = u**2 + 7*u + 10. Suppose 19 = 3*r + 10. Suppose -2*h - 41 = 5*x - 0*h, 2*h + 27 = -r*x. Let s be o(x). Is 10 less than s?
False
Let t be 58*(3/4 + 41/(-164)). Which is bigger: -11 or t?
t
Let i be (1/6)/(1/(-8)). Let g(d) = d**2 - 6*d + 3. Let u be g(6). Suppose u*t = t. Is t at most as big as i?
False
Suppose 12*h - 6*h + 4122 = 0. Let a = h - -17177/25. Is a < 0?
False
Let o(f) = 31*f**2 - 2*f + 2. Let b be o(1). Suppose v - 2*t - b = 0, 2*v + 3*v + 2*t = 119. Which is smaller: v or -1?
-1
Let b = -71/4 + 31/2. Which is smaller: b or -10?
-10
Let u = -450 + 498. Which is greater: u or -11?
u
Suppose 0 = -125*w + 122*w - 2*p - 262, 0 = 3*p - 21. Let v = -230 + 137. Does w = v?
False
Let y(h) = 2 + 7 + 2 + h. Let t be y(-10). Let k be 18/6 - (t + -1). Which is greater: 0 or k?
k
Let z = -312 - -347. Is z <= 32?
False
Let q = 23 - 37. Let i = q - -14. Do 20 and i have different values?
True
Let h be (4 - 6)*2 + -1 + 7. Which is smaller: h or -5?
-5
Let f = 389.1 - 389. Is 0.301 < f?
False
Let o = -0.4 + 0.6. Let r = -1.27 - 5.73. Which is smaller: o or r?
r
Let t(v) = v**2 - v - 2. Let r be t(0). Suppose s - 3 - 7 = 0. Suppose -8*h = -3*h + s. Is r not equal to h?
False
Let g(r) = -r**2 - 41*r - 409. Let x be g(-17). Let o be -2 - ((-176)/87 - 0). Is o smaller than x?
False
Let y be (-2525)/(-1095) - 2 - 2/6. Let b = 0.076 - -0.024. Which is greater: b or y?
b
Let q = 1 - 0.5. Let z = -139201 + 1529229/11. Let c = -180 - z. Is c != q?
True
Suppose -7 + 17 = 5*u. Let x be ((-14)/(-42))/(u/(-6)) + 9. Is x at least as big as 7?
True
Suppose 2*f - 5880 = 7*f. Let d = 16475/14 + f. Let g = 1/2 - d. Which is smaller: g or 1?
g
Let i = 0.16 + 6.84. Let h = -13 - -12.95. Let l = 0.15 + h. Is i at least as big as l?
True
Suppose -u - 3*j = 2*u + 261, 0 = 5*u + 3*j + 441. Is -92 at most as big as u?
True
Let s = -10 - -14. Suppose 3*a = s*q - 4, 2*q + 0 = 4*a + 2. Suppose -5*p = -3*f - 7, 6*f - f + 3*p - 11 = a. Which is smaller: -3/13 or f?
-3/13
Let w be (13 - (8 - 5))/(-107). Which is greater: w or 1?
1
Let z = 504 - 528. Let t = 12 + -12. Is z smaller than t?
True
Let f = -6.4 + -2.6. Let o = f - -10.8. Which is smaller: 1/6 or o?
1/6
Let p = 4.06 - 3.86. Is -11/7 less than p?
True
Let h = -21 + 12. Let j = h + -6. Let z = j + 8. Is z less than or equal to -9?
False
Suppose 0*x = -x - 11. Suppose 11*n + 82 = -50. Let i = x - n. Which is smaller: i or -1?
-1
Let d be 17/(-10) - (-6)/12. Suppose 3*o = o - 2. Is d < o?
True
Let d(a) = -3*a + 30. Let q be d(13). Let k = q + 9. Is k not equal to -2/39?
True
Let t = -69 + 68.7. Which is greater: t or 3/2?
3/2
Suppose -4*s - 276 = -2*r, -5*r + 0 = -2*s - 130. Is -71 > s?
False
Suppose -16 = -24*t + 20*t. Which is greater: t or -0.5?
t
Let l = -1302 - -1304. Which is smaller: 29.7 or l?
l
Let p be 1 - (-3)/1 - (-1485)/(-396). Which is smaller: p or 2/3?
p
Suppose 3*l - 5*l = -36. Let a be 3/1*(8 - l). Let o be (-6)/(-9) + a/(-9). Which is bigger: o or 3?
o
Let y = 10 - 16. Let m be y/21 + (-24)/(-35). Suppose 0 = -5*k - 25, -3*k = -x + 3 + 11. Which is bigger: x or m?
m
Suppose 3*v = -4 - 2, -5*v - 132 = 2*d. Does d = -58?
False
Suppose 4*x - 84 = -b, -62 = -3*x - 13*b + 12*b. Are x and 29 equal?
False
Let m be 38/6 + 8/(-24). Let i be -2*m/(-9)*-3. Let n be 1 - 4/(-32)*i. Which is smaller: n or -10?
-10
Let r be 34/14 - 3 - (-1140)/525. Which is smaller: r or 0.4?
0.4
Let g be (-6 - 50) + 1*-3. Let s = g + 83. Let a = -3 + 26. Is s < a?
False
Let w be ((-147)/(-15) + 3)/(4/50). Let z = w - 8162/51. Which is smaller: 0 or z?
z
Let j = -395 - -394. Let w = -1703/665 + -1/95. Is j <= w?
False
Suppose 4*o - 30 + 10 = 0. Suppose o*l - 36 = l - 4*k, -11 = -4*l + k. Suppose 5*a + 32 = z + 3, -3*z + a + 17 = 0. Is l at most z?
True
Let x = -4 - -10. Let n be (-1 + 110/120)*(-1)/(2/136). Which is bigger: x or n?
x
Let i(k) be the second derivative of -k**5/20 + k**4/4 + 5*k**3/6 - 2*k**2 + 7*k. Let y be i(3). Suppose 2*j - b = j + 12, -5*j - 4*b = -51. Does j = y?
True
Let h = -687 + 688. Is h <= 114?
True
Suppose 3*p + 4 = 7. Let k = -121/6 + 4229/210. Is k bigger than p?
False
Let f be 33/(-22)*(-32)/(-6). Let n be (-6)/f*(-24)/(-27). Is 6/11 smaller than n?
True
Let v(l) = -14*l + 11*l + 5*l - 12. Let i be v(7). Suppose y = -5*x - 5, -y - i*y + 13 = x. Which is bigger: -4 or x?
x
Let q(w) = 3*w**2 - 7*w + 2. Let o be q(3). Let c be -5 - o/(-2) - -6. Suppose -c*g = -3 - 2. Is g less than or equal to 2?
True
Let a = 130/191 - 33518/2101. Let p = -1462/77 - a. Are -4 and p equal?
False
Let j(h) = -h. Suppose 4*y = -0*y. Let i be j(y). Suppose -5*x = 5, 3*z - 2*x + 7 = -i. Do -3 and z have the same value?
True
Let u(x) = -7*x**2 + 59*x - 2. Let j be u(8). Is 2 >= j?
False
Let v(t) = -t**2 + 11*t + 14. Let g be v(12). Suppose -25 = g*r + 3. Which is smaller: r or -13?
r
Let n = -1305 + 1306. Does n = 50?
False
Let p = -389 - -382. Let v(l) = l + 2. Let c be v(-9). Are c and p equal?
True
Suppose 4*w - 43 = -123. Let d be w/(-50) - 2*6/(-40). Which is smaller: 0 or d?
0
Suppose -4 - 17 = 7*j. Suppose 5*r = -10 + 15. Is j greater than r?
False
Let n = -0.151 - 81.849. Let v = -0.001 + -0.099. Which is bigger: n or v?
v
Suppose -5*q = -q + 32. Let b be (q/6)/((-354)/9). Let l = -169/236 - b. Is 1 != l?
True
Let d be -6 - 2*3/(-2). Let n(k) = -k**3 - 3*k**2 - k + 1. Let b be n(d). Suppose -b*h = -7*h + 18. Is h bigger than 5?
True
Suppose -26*p + 34*p = 16. Are 0 and p nonequal?
True
Let y = -5 - -1. Let b(x) be the third derivative of -x**5/12 + x**4/12 + x**3/3 - 8*x**2. Let t be b(-1). Which is smaller: t or y?
t
Suppose 3 - 18 = -5*d. Let k be (-4)/(-7) - 3/d. Let f(z) = 2*z**2 + 27*z - 27. Let p be f(1). Is p greater than or equal to k?
True
Let o be (-9)/(-1935) - (-1 - -1). Do o and 1 have the same value?
False
Let y be (-2 - (-14)/4)*-24. Let m = y - -38. Is 2 greater than or equal to m?
True
Suppose -4*r = 3*z - 34, 2*r + 7 = 2*z + 31. Suppose 5*s + r = 4*v, -5*s + 14 = 2*v - 6. Are v and 2 equal?
False
Suppose 3*y - 9 - 9 = 0. Suppose 4*s - q = -y - 1, -3*s = -5*q + 1. Let j = -0.5 + 4.5. Which is smaller: j or s?
s
Let r be (-3)/(-3)*(3 + 16). Which is greater: 97/5 or r?
97/5
Let u be ((-1310)/50 - -5)*-5. Is u smaller than 0?
False
Let s = -5.56 + 5.485. Is -2 smaller than s?
True
Let h(l) = 3*l**3 - l**2 - 10*l - 3. Let k(z) = -z**3 + 3*z + 1. Let t(y) = -2*h(y) - 7*k(y). Let u be (-16)/72*-3 - 16/6. Let f be t(u). Is 2/7 greater than f?
False
Let h(g) = -3*g + 56. Let q be h(22). Let k(d) = -2*d**2 - 22*d - 22. Let a be k(q). Do 0.01 and a have the same value?
False
Let q = -1598 - -7993/5. Let z(o) = -o**2 + 5*o. Let h be z(5). Suppose 