 11*d**2 + 30*d + 26. Let p be s(-13). Is p smaller than -3?
True
Let d = 107212/77937 + -114/83. Which is smaller: 1 or d?
d
Let p = 96.03 + -96. Is 4 less than p?
False
Let l(f) = -f**3 - 34*f**2 + 31*f - 140. Let i be l(-35). Let c be 1/(-1010)*-4*-5. Which is smaller: i or c?
c
Suppose -4*x + 91 - 643 = 0. Which is smaller: x or -137?
x
Let o = 194 + -193. Which is smaller: o or -2/157?
-2/157
Suppose -5*g = a - 17, 0*a + 2*g + 136 = 3*a. Let v = 17 - a. Is v >= -24?
False
Suppose 4*d = 12*d. Let p be 2 + (78/(-40) - d). Which is bigger: p or 0?
p
Let n(j) = -j**3 - 24*j**2 - 66*j + 21. Let y be n(-21). Which is bigger: y or 83?
y
Suppose 4*w = -2*f + 18, 0*w = 5*f - 3*w + 20. Which is greater: 3/635 or f?
3/635
Suppose 2*s - 4*s + 10 = 0. Suppose 0 = -t + 2*t - 1, -s*t = -5*v + 55. Do v and 2/5 have the same value?
False
Let c be ((36/10)/1)/((-23)/(-460)). Are 72 and c nonequal?
False
Suppose 4 - 32 = 7*a. Let c be (4/10)/(a/45). Let q(s) = s - 14. Let t be q(8). Which is greater: t or c?
c
Let h = 23 - 22. Let i be (-2)/5*(2 + 3). Let y be i*((-27)/(-6))/(-3). Which is bigger: h or y?
y
Let p = -18 + -54. Which is smaller: 2/7 or p?
p
Suppose 19*s + 68 = 49. Let j be 1 - 3/((-12)/145). Let b = j + -37. Which is bigger: s or b?
b
Let j = -14 + 14.048. Let n = j - 4.048. Which is smaller: n or 0.8?
n
Let b = -710 - -708. Which is smaller: -399 or b?
-399
Suppose 0 = -d + 5*d - 200. Which is bigger: d or 51?
51
Suppose 0*d - 10 = -5*d. Suppose -2*k = -5*s - 0 - 3, -d*s = -4*k - 34. Let y be (-24)/(-11) - (-2)/k. Which is smaller: 2/5 or y?
2/5
Let d = 10031/11 - 913. Is d at most 2?
True
Let o = -9076/3 - -2983. Is -43 at most as big as o?
True
Suppose y - f = 7, -2*f - 3*f - 32 = -4*y. Which is smaller: 72 or y?
y
Let m(w) = 3*w + 2. Let g be m(-2). Let t be (12/(-10))/(g/20). Suppose 4 = h - 3*h + 2*p, -p + t = 3*h. Is h smaller than 2?
True
Let j = -0.1 + 0.153. Let k = j - 0.053. Is 2 at most k?
False
Let p = 0.045 - 0.248. Which is smaller: p or -3?
-3
Suppose 0 = -x + 1, -4*m - 235*x + 239*x - 196 = 0. Do -287/6 and m have the same value?
False
Let g = 19.02 + -19.012. Which is bigger: 2/9 or g?
2/9
Let v(j) be the third derivative of j**4/8 - 2*j**3/3 - 6*j**2. Let m be v(4). Let i be 12/m*(-6)/(-9). Is i at most as big as 2/7?
False
Let m = -201 - -99. Let h = m + 507/5. Suppose -3*t + 2*i = 6, 3*i - 8 = 58*t - 54*t. Which is smaller: t or h?
t
Let q be 0*((-152)/24 - -6). Which is smaller: 4/69 or q?
q
Let c = -0.2 - 0. Let r = -0.2 - c. Let v = -116 - -115. Are r and v nonequal?
True
Let g = -543 - -921. Which is smaller: g or 1?
1
Let u = 137575/17 + -8089. Which is bigger: 5 or u?
5
Let z be 14/56 + (-6)/24. Let r be (-1*1*6)/5. Is z at least r?
True
Let n(y) = y**3 - 4*y**2 + 9*y - 10. Let q be n(2). Is 0.28 bigger than q?
True
Let o be 1182/(-78) + -1 + 6/39. Which is smaller: -21 or o?
-21
Suppose 2*g + k + 36 = 0, -3*g - 3*k = -5*k + 68. Suppose 16*f = -42 - 246. Are f and g non-equal?
True
Let k = 91 - 77. Let a be (-2 - 0)*7/k*82. Is a less than or equal to -82?
True
Let s be 3/(-1) + 547/176. Let i = 1/22 - s. Which is smaller: 0 or i?
i
Let m = -36 - -35.9. Let v = -24.013 - -0.013. Do v and m have different values?
True
Let g be (2/15)/(2/100). Let u = 1739 + -1733. Are u and g equal?
False
Let h(g) = g**2 - 7*g + 6. Let k be h(6). Let q(f) = -2*f + 4. Let a be q(k). Suppose -y - 3*p - 36 = 2*y, 0 = 2*y - a*p. Is y >= -8?
True
Let k = -30 + 93. Let s = k - 76. Which is bigger: s or -1/6?
-1/6
Let t be -1 + (3 - 1) + -2. Let z be (2*t)/(-2)*(-4 - -5). Is z bigger than -0.7?
True
Suppose -1 = o, 3*o + 64 = x + 7*o. Let l be -2 - 2/((-80)/x). Is 0 at least as big as l?
True
Let c(v) = -5*v + 211. Let a be c(43). Do a and -170/31 have the same value?
False
Let o = -7 + 35. Do 142/5 and o have different values?
True
Let h(p) = -7*p + 25. Let x be h(-4). Let s = 69 - x. Does 16 = s?
True
Let z be 6536/1940 + -4 - 18/(-30). Do z and 1 have the same value?
False
Suppose -4*u + 82 = 2*d, 3*d + 2*d = 5*u + 220. Let s = d - 131/3. Let c(q) = 7*q - 30. Let k be c(4). Are k and s equal?
False
Let a(y) = 3*y - 105. Let b be a(38). Does b = 5?
False
Suppose -3*z + 67 = 4*w, 2*z - 7 = 3*w + 32. Suppose -z = 2*p + 29. Is -26 <= p?
True
Let c be (-9)/5*2/6. Let t = 2.032 - 2.142. Which is smaller: c or t?
c
Let s = 52.4 - -8.6. Let q = -57 + s. Is q < -1/2?
False
Let n(i) be the third derivative of i**4/24 + i**3/6 - 3*i**2. Let y be n(4). Suppose 0 = 3*c - 8*c - 10, 2*c = -2*h - 2. Is h at most y?
True
Let v(p) = 2*p**2 - 34*p + 45. Let y be v(9). Does -100 = y?
False
Let m = 12.21 - 0.21. Let x = 0.1852 + -0.0852. Is x greater than m?
False
Let i be 2/5*20/8. Let q be 4/(-348)*(i + 1 + 1). Is q less than or equal to 1?
True
Suppose -3*j = 2*r + 3*r - 163, 3*j + 12 = 0. Let o = r - 35. Are o and 15 nonequal?
True
Let f = -162 + 162.06. Is f less than 1/3?
True
Suppose 0*l = l + 37. Let v = l - -38. Let n = 457 + -28789/63. Is v at most n?
False
Let s = 11 - 23. Let g be (45 - s/4) + -4. Suppose 0 = -2*h + 7*y - 3*y - 32, 4*h - 3*y = -g. Is h <= -1?
True
Suppose -1705*w = -1709*w - 84. Suppose -21 = -2*m + 3*m. Is w bigger than m?
False
Suppose -5*i + b + 3 = -2, 0 = 5*i - 2*b. Let u = 9313/30 - 925/3. Is u != i?
True
Let g be 18/4*(-7332)/423. Is g < -155/2?
True
Suppose 0 = 4*z + 4*h - 16, 0*z - 4*h = -2*z - 16. Let i be 106/(-360) + 98/392. Which is greater: z or i?
z
Suppose 3*a - 5*m + 5 = 0, m - 2 + 1 = 3*a. Suppose 4*g = 3*g - 3*y + 2, a = -4*g + 3*y - 7. Let n be (g/3)/((-6)/18). Is -1 equal to n?
False
Suppose -42 + 114 = q. Let w be 3/(-21) - q/280. Let g be 2/3 + 1/3. Which is bigger: g or w?
g
Let y = 30 + -33. Let h = 17 + -13. Let k = h + y. Is 1 greater than k?
False
Let t be (112/(-3))/(11374/(-66)). Let g = t - -24/47. Which is bigger: g or 2?
2
Let h = -1 + 6. Let g = 2186 + -2186.2. Is h equal to g?
False
Let k = -444 + 444. Is 3/434 greater than k?
True
Let o = 7607 + -1848493/243. Is o greater than 0?
True
Let c be -1*(15 - (0 + -3)). Let k(q) = -9*q + 45. Let w be k(7). Is c greater than or equal to w?
True
Let s = 67 + -58. Suppose 0 = -s*j + 13*j. Which is bigger: j or 1/59?
1/59
Let u(r) = -374*r**2 - 8*r - 20. Let b be u(-2). Is b equal to -1500?
True
Suppose -36 = 2*g - 132. Let u(x) = 45 - g - 2*x + 3*x. Let v be u(0). Which is smaller: v or -4?
-4
Suppose 3*k - 15 = 0, 4*k = -c + 4*c - 19. Suppose c*g + 30 = 11*g. Which is smaller: g or -13?
g
Let k = 1 - -1. Suppose -4*g - 12 = 0, g = k*u - 3 - 0. Is u less than -1?
False
Let k = -3 - -3. Suppose -2*o = -k*o + 10. Suppose 0 = 3*r + m + 2, 20 - 10 = 3*r - 5*m. Is o >= r?
False
Let f(y) = 2*y**3 - 5*y**2 + 4*y - 3. Let z be f(3). Let l = 26 - z. Suppose l = t + 9. Is 0 smaller than t?
False
Let r = -0.028 - 0.072. Is 0.01 > r?
True
Let s = -752.7 - -753. Which is smaller: -81 or s?
-81
Let x(w) = -11*w - 171. Let a be x(-9). Is a > -77?
True
Let m be -2 + 0 + 4 - 0. Let g be 2/(m*2/(-72)). Let t be 6/(-8)*48/g. Which is greater: 4 or t?
4
Suppose s + 3*s = 0. Suppose s*n + n = 6. Is 5 at most as big as n?
True
Let y = 297.9 + -298. Which is greater: y or 43/2?
43/2
Let c(k) = -k + 3. Let d be c(3). Let q = -78827/55 + 8322/5. Let g = -231 + q. Is g greater than or equal to d?
True
Let l be -3*(-6)/(-18) - 31. Is -34 > l?
False
Let o be ((-12)/4)/(-3) - -1. Suppose o*w - 18 = 5*z, -3 + 12 = w + 3*z. Which is smaller: w or 11?
w
Let s be 2/6 - 48/(-18). Let n be (s/(-9))/(7/21). Which is smaller: n or -2?
-2
Let z(n) = -n**3 + 2*n - 3. Let x be z(5). Are x and -119 nonequal?
True
Let z be -4 + (-1)/(8/(-34)). Suppose -3*x = -2*x. Suppose x = 2*q - 0*q. Do q and z have the same value?
False
Let l = 414 - 605. Is -191 greater than or equal to l?
True
Let u be (-14)/21 - 172/3. Let t = -984/17 - u. Is t greater than -1?
True
Let u(v) = -11*v**2 + 80*v + 4. Let d be u(8). Is -0.01 bigger than d?
True
Let t be -36*(1 - 2)/((-12)/8). Suppose 0 = -q + 4 - 0. Suppose 3*z + q*z = -168. Do t and z have the same value?
True
Let s = 0.83 + 7.07. Let z = s - 6.11. Let o = z - 1.9. Which is greater: 0 or o?
0
Suppose 5*g - 21 = -4*c, -5*c + 6*c + 16 = 3*g. Do c and 21/55 have the same value?
False
Suppose 2*r = 5*j - 44, -4*j + 4 = r - 26. Let x(d) = -d**3 - 6*d**2 - 5*