t k = p + -117. Is c at most k?
True
Let n = 956/17 - 1963/34. Let r be (-2)/7 - (-104)/(-126). Let v = r + 41/45. Are n and v nonequal?
True
Let w = -31155 + 16157. Let s = 4694378/313 + w. Is s equal to 1?
False
Let s = 6.1 - 6. Let c = 1537.23 - 1544. Let d = -1.33 + c. Is s smaller than d?
False
Let m = -18/7703 - 429406/839627. Which is greater: -1 or m?
m
Suppose 2999 - 3102 = -103*r. Do r and 236/109 have different values?
True
Let g = -20458 + 20458. Which is greater: -66/623 or g?
g
Let g be (-1*255/25 - 2)/((-13)/(-65)). Suppose 4*p = -4*m - 260, 251 = -0*p - 4*p - m. Which is greater: p or g?
g
Let a = 98/55 + -2/11. Let u(c) = -c**3 + 7*c**2 - 7*c + 7. Let r be u(6). Suppose -5 = -2*d + r. Which is greater: d or a?
d
Suppose 7*p - 9*p + 17 = m, 3*p = 2*m + 29. Is -24/3523 greater than m?
True
Let h(i) = -i**3 + 4*i**2 + 5*i - 1. Let o be h(5). Let t(l) = -6*l - 138. Let w be t(-33). Let m be w/(-48)*(-8)/(-19). Is m at least as big as o?
True
Let u = -3342 + 83562/25. Suppose -344 = -8*b - 88. Let c = 32 - b. Is c equal to u?
False
Let x = 122 + -54. Let p be (x/6)/((-7)/3). Are p and -6 equal?
False
Let g(p) = 35*p**2 - 35*p - 703. Let v be g(-14). Do 6647 and v have the same value?
True
Suppose -4*p - 20 = 0, -5*d + p + 4*p = 1095. Suppose -67*v - 10557 = 4518. Which is greater: d or v?
d
Let z = 2060 - 2213. Is -2 > z?
True
Let s = 232/15 + -114/5. Let a(h) = -h**3 - 4*h**2 + 12*h - 8. Let q be a(-6). Which is smaller: s or q?
q
Let c = -26.17 - -26. Let h = c + 0.37. Let q(r) = -6*r**3 - 25. Let w be q(0). Which is smaller: w or h?
w
Let v be (-15974)/35860 + ((-23)/(-22) - 1). Is v bigger than -28/201?
False
Let g = -142 - -390. Let l = 123 - g. Let r = -123.3 - l. Is -1/3 at most r?
True
Let p = -70 + 80. Let t be ((-10)/4)/(-5)*p. Suppose -t = c + 3. Are c and -2 unequal?
True
Let j be 4455/18*(-4)/(-5). Let p be 11/(j/(-12)) + 5/12. Let g = -0.9 - -0.9. Is g greater than p?
True
Let i be (-4 - 92/(-24))/((-3)/(-4)). Let u = i + -1/36. Which is bigger: -0.63 or u?
u
Let h = 5961/26 - 61110/13. Which is smaller: -4471 or h?
h
Let g(f) = f**3 + 91*f**2 - 484*f - 383. Let j be g(-96). Let a be (15/(-4))/(2/8). Which is bigger: j or a?
j
Let s = 57255 - 169074011/2953. Which is smaller: 1 or s?
s
Let z(i) = 4*i - 30. Let x be z(1). Let f = -35 - -67. Suppose 5*w + 155 = -5*y, y + 4*w = 3*y + f. Is x less than or equal to y?
True
Let b be (0 - (-25794)/(-4)) + (-9)/6. Let h be -1*3/(-6) - (-3351)/b. Let x = h - -6/43. Which is smaller: x or -1?
-1
Let m(z) = -z**3 - 6*z**2 + 11*z - 1. Suppose -2*v + v = 7. Let b be m(v). Is b bigger than -32?
True
Let r = 37.71 + -38. Let d = -551 + 546.71. Let z = r - d. Which is smaller: z or -0.3?
-0.3
Let j be 14/42*(5 - 14). Which is smaller: 1/512 or j?
j
Let q = 124179 - 92016625/741. Which is greater: q or -1?
q
Let s(u) = 3*u**2 - 22*u + 23. Let j be s(1). Suppose 0 = 4*z - 3*k - 12, 0*k - j = -5*z + k. Which is smaller: -77 or z?
-77
Suppose c - 18 = -3*w, 2*c + 130 = 124. Is w <= -13?
False
Let c be (-72406)/(-6) - (-16 + 1175/75). Which is smaller: 12067 or c?
12067
Let j be (0 + -2 - -1) + (5 - 10). Let q(i) be the first derivative of i**3/3 + 4*i**2 + 12*i + 11. Let v be q(j). Which is smaller: 3/10 or v?
v
Let h be (-26)/(-12) - (1 - -5)/36. Suppose 0 = 4*m + 4, 5*v - h = 2*m + 5. Which is bigger: 95 or v?
95
Let i = -5133 + 5127. Which is greater: -517 or i?
i
Suppose 2*k + 5*g - 408 = g, 0 = k + 4*g - 202. Let a = k - 205. Is -2 at most as big as a?
True
Suppose -5*i = 3*i + 12*i. Which is bigger: i or -91/102?
i
Let m = -2/5 + 1/15. Suppose 31*j - 18*j - 52 = 0. Let h be 2*(18/j + -5). Which is smaller: m or h?
h
Let t be ((-116)/924 - (-8)/84)/34. Let a = -9007/34782 - t. Which is smaller: a or 0?
a
Let u = -2494/477 - -47/9. Which is bigger: u or 1?
1
Let b be 2/(-4)*7/(7/(-20)). Suppose -b*o = -9 - 1. Let k be (-28)/30 + 1/1. Which is bigger: k or o?
o
Suppose -2*b = -2*j - 14 - 2, 5*b - 20 = -5*j. Let n be -5 + (b - 6) + 14. Which is bigger: n or 26/3?
n
Suppose h = p - 24, -4*p + 6*p + 2*h = 40. Let c(k) = 2*k**3 - 43*k**2 - 23*k + 16. Let u be c(p). Which is smaller: -17 or u?
-17
Let q(n) = -n**3 - 98*n**2 - 192*n. Let c be q(-96). Which is greater: -106/211 or c?
c
Let n be (-2)/8*230/(-15). Which is smaller: -0.4 or n?
-0.4
Let b be 3 + -1 + -3 + (-1033)/192. Let k = b + 3/64. Is -5 >= k?
True
Let h be 57041434/(-53070) + 2/(-15). Let x = h - -1075. Is 1 at least x?
True
Suppose -i = 5*i + 210. Let d = i + 42. Let c be (-108)/16 + d - 17/36. Which is smaller: c or 0.3?
c
Suppose -5*w - 5*v = 0, 0 = -4*w + 4*v + 27 + 5. Suppose -u = w*l + 139, -2*u = -2*l + 286 - 38. Which is smaller: -128 or u?
-128
Suppose j + 5*p = 692, -14*j - 2*p = -9*j - 3368. Suppose -299*f = -292*f - j. Which is greater: 97 or f?
97
Let v = 114 - 61. Let h = 64 - v. Let u be (18/132)/(h/(-6) - -2). Which is bigger: u or 0.2?
u
Suppose 2*k = -2*g - 16, -30*g + 35*g - 2*k = 9. Let c be (-10)/15 - 67/3. Let r be (-8)/(-24) - c/(-78). Which is greater: g or r?
r
Let t be (-20)/(-730)*(-2)/(-6). Let h be (-1)/((-4)/(-164))*(-3 + 1). Let z = h - 81. Is z at least as big as t?
True
Let c be (-2)/(-4)*0/(-2). Let s(x) = -x**2 + 291*x + 2418. Let n be s(-8). Which is smaller: n or c?
c
Let b(s) = -2*s - 9. Let d be b(-13). Let i be d/204 + 4030/24. Are 167 and i unequal?
True
Let r = -0.24888 - -1725.24888. Which is bigger: r or -3?
r
Suppose 5*c + 4558 + 11252 = 0. Which is smaller: c or -3163?
-3163
Let j(z) = -z**3 - 49*z**2 - 190*z - 451. Let l be j(-45). Let a be ((-3)/19)/(-3)*-23. Which is greater: a or l?
l
Suppose 2*a = a + 4*s - 8, -3*s = -3*a + 21. Let p be (a/36)/((1 - 3)/6). Is 4/45 less than p?
False
Let o be 21/(-196)*8*-7*(-1)/2. Is o greater than or equal to -97/53?
False
Let g be (141752/(-7480))/29 - 6/(-10). Is -1 greater than or equal to g?
False
Let v = 25827/5 - 5166. Which is bigger: v or -12.5?
v
Let o = -4163/7 - -596. Suppose 5*i = -5*w - 10, -6*i - 3*w - 6 = -7*i. Which is greater: o or i?
o
Let h(d) = -101*d**3 - 19*d**2 - 15*d + 3. Let m be h(-1). Which is greater: 102 or m?
102
Let g = 0.085 - 0.385. Which is smaller: -2.1 or g?
-2.1
Suppose 6*l + 4*q - 14746 = 0, -16*l + 13*l + 5*q + 7387 = 0. Which is bigger: l or 2458?
l
Let q be (2376/522)/((-427)/(-6)). Let x = q + -3/203. Is x >= 0?
True
Let u be ((-2)/(-14))/((-2)/678). Suppose -42*i + 35*i = 343. Let s = i - u. Which is smaller: s or 0?
s
Let t = -283.606 + 283.7. Which is greater: 9 or t?
9
Let i = -258283/43530 + 1/8706. Is -7 <= i?
True
Let x = 29171/7 + -4167. Does x = 49.96?
False
Let u be 8/(48/(-10))*(-51)/85. Is -2/1181 less than or equal to u?
True
Let m = 11.898 + -4.9. Let f = m + -7. Is f less than -6?
False
Let j = -58354/67149 + 4/829. Is 0 <= j?
False
Let u = -0.8 - -1. Let l = 36.52 + 27.5. Let b = -64.2 + l. Are b and u non-equal?
True
Let y = -592.9 + 558. Let n = 45.9 + y. Which is bigger: n or 2?
n
Suppose -304*a + 300*a + 1500 = 0. Let z = a + -745/2. Does z = 30?
False
Let l be 200/160 - 622/(-20). Let i = l + -103/4. Let f = -0.2 - -0.3. Which is smaller: i or f?
f
Let z(j) be the first derivative of j**2 + 4*j + 1. Let p be z(-9). Let i be 200/(-16) - (-3)/6. Which is greater: i or p?
i
Let b = -471 - -4234/9. Let x = 195 - 194. Suppose 0 = -23*j + x - 47. Is j != b?
True
Let h(i) = -6*i**3 + 14*i**2 + 3*i - 25. Let v be h(6). Is v greater than -800?
True
Suppose -25*x + 723 = -28*x. Let v = -224 - x. Is v at most as big as 17?
True
Let l be (2 - 4)*201/6. Suppose 0*j - 16 = 4*j, 0 = 3*z - 5*j - 83. Let h be ((-18)/z)/(-3) - (-471)/(-7). Is l <= h?
True
Let z(q) = q**2 - 30*q + 142. Let d be z(6). Which is bigger: d or -11/18?
-11/18
Let o(y) be the third derivative of y**5/60 - 23*y**4/24 + y**3/2 + 16*y**2 + 1. Let u be o(20). Suppose -4*m - 229 = -1. Is m greater than or equal to u?
True
Let f(b) = -4*b**2 + 26*b - 38. Let p be f(4). Do p and -1008 have different values?
True
Let v be 4569*(-6)/(-18)*9. Is v != 13706?
True
Suppose -250*t = 16*t + 193882 + 1251030. Which is smaller: t or 0?
t
Let y = 46 - 31. Let c = 32 - y. Let b = c + 21. Which is bigger: b or 1?
b
Let t(w) = 6*w + 346. Let p be t(-50). Which is smaller: 514/11 or p?
p
Let g = -59.8 - -67.51. Let k = -5.71 + g. Let u 