ppose -c + 2*k + 1 = 3*k, 0 = -4*c + 2*k + l. Is c greater than or equal to 7?
False
Suppose 8*m + 243 = -189. Let s be (-2 - -7) + 204/m. Which is bigger: -2/5 or s?
s
Let k = -391738 - -48183431/123. Are k and -4 equal?
False
Let h(l) = 19*l + 1201. Let g be h(-70). Is -134 <= g?
True
Let v = 0.1 - -0.9. Let h be 13/(-39)*213/(-1). Let s = h - 80. Does v = s?
False
Let o = -2/1257893 + -5010358/13342471051. Which is greater: o or -1?
o
Let h(s) be the first derivative of s**4/4 - 4*s**3/3 + 3*s**2/2 - 9*s - 31. Let u be h(4). Suppose u*n = -96 + 57. Which is greater: n or -15?
n
Let s be (-24)/(-1*6/4). Suppose 0 = 3*b - 2 + 17, -4*b = -3*q + 1688. Let z = q - 539. Is s greater than z?
False
Let z(b) = 13*b - 7. Let r be z(13). Let s be r/(-36)*(-10)/(-3). Which is greater: -31/2 or s?
s
Let g(n) = 5*n + 7. Let l(h) = -3*h + 31. Let x be l(11). Let u be g(x). Let k be (162/(-60) - -3)/(u/4). Is k less than -6?
False
Let k = 2661/164 - 696/41. Which is bigger: k or -19/10?
k
Suppose -5*v - 7*v - 1284 = 0. Let i = v + 103. Let b be i + 8 - 2*3/6. Is b greater than 18/11?
True
Let m(q) = -2*q**2 - 93*q - 340. Let f be m(-4). Which is smaller: f or -16/119?
-16/119
Suppose 3*t = -5*w + 6 + 41, -5*t = -3*w + 35. Let v = -7800 - -54680/7. Is w less than v?
True
Let r = -224 + 387. Suppose -44 - r = 23*q. Which is greater: -6 or q?
-6
Let q be (3 - (4 - 2)) + 1. Let s = 476/11 + -2572/33. Let k = s - -1162/33. Which is bigger: q or k?
q
Let c(p) = p**2 - 22*p + 19. Let u be c(21). Let a be u/6*(-8 - -6). Let z = -7315/6488 - -2/811. Which is greater: z or a?
a
Let c be 36*(19/(-38) + (-1)/(-4))*-2. Is c < 107?
True
Let v be 6 + (-2 - 805/(-119)) + -9. Are 1 and v nonequal?
True
Let c(y) = 4*y - 14. Let k be c(12). Let z(u) = 26*u + k*u + u**2 + 9 - 49*u. Let x be z(-10). Is 1 <= x?
False
Suppose n + 5*b = 26, 7*b - 5*b - 10 = 0. Are n and 4/365 unequal?
True
Suppose 10*t - 28 = 17*t. Let k be 17 + -15 - (-1 + -19). Let c be (k/t + 6)*(0 - 8). Are 15 and c unequal?
True
Suppose -2*h = -5*k - 6*h + 8, -2*k - 2*h + 4 = 0. Let y be (137358/27450 - 5)/((-12)/20). Which is smaller: y or k?
y
Suppose -48*d = -39*d - 9. Let w be ((-24)/13 - 8/52)/d. Which is bigger: w or -32/15?
w
Let t = 8.72 - 432.72. Let l = t - -877. Which is smaller: l or 2/7?
2/7
Let y = 7035081/652 + -10790. Let w be 0 - (-6 + 4 + 1). Is y not equal to w?
True
Let d = -87.67 + 87.47. Let p(z) = -z**3 + 6*z**2 + 7*z - 9. Let i be p(7). Is d < i?
False
Suppose 0 = -3*d - 2*o + 27642, -312*o + 315*o = 3*d - 27657. Is 9215 less than or equal to d?
True
Let h be 2*37 - (-40)/40. Suppose -5*b + 187 = 2*s, 5*b + s - h = 111. Suppose -r + 16 = -21. Is b >= r?
True
Let n = -739 + 1290. Let x = n - 532. Suppose 0 = 3*m + 26 - 80. Is x smaller than m?
False
Let y(k) = -14*k - 6*k**2 + 2*k**3 + 20 + 0*k**2 - 7*k**3 + 6*k**3 + 31. Let l be y(7). Is l at least -175?
True
Let h(g) = -3*g**2 + 184*g - 209. Let x be h(60). Suppose -7*k - 3*v + 61 = -5*k, 170 = 5*k + 4*v. Is x > k?
False
Let v = -25065 + 24489. Which is smaller: 0 or v?
v
Suppose -5*s - 11 + 41 = 0, -4*t - 4 = -2*s. Suppose -4*l + 2*a = 2 + 8, -a = 2*l + 15. Is l smaller than t?
True
Suppose -57*d + 16*d + 656 = 0. Suppose -11*y - 39 - d = 0. Which is bigger: y or -7?
y
Let u = -351.095 - -0.095. Let i = -0.2028 - -0.3028. Which is smaller: u or i?
u
Suppose -2*z + 124 = 46. Let x(l) = l**2 - 2*l + 4. Let h be x(7). Let j = h - z. Which is greater: 3/55 or j?
3/55
Let i = 1432/61083 - 2/617. Suppose 2*r - 86*x = -89*x + 6, 2*r - 5*x = -10. Is r < i?
True
Let u be (-12)/21*(-5)/(-2)*(72 - 79). Do u and 819 have the same value?
False
Suppose -9 = 8*a - 33. Let r(v) = -58*v + 162. Let m be r(a). Which is smaller: -9 or m?
m
Let q = -0.08 + 3.08. Let d = -1.8 + q. Let r be (-8 - 9/(-3)) + (-38)/(-8). Is r != d?
True
Let b = 65.0308 + -65. Let j = b - -21.2692. Let m = -22 + j. Which is bigger: m or 1?
1
Let x = 130.835 + -130.595. Let g = 0 + 0. Let o be 4/((-4 + g)/(-2)). Which is smaller: x or o?
x
Let h be 2/9 + 29658/(-54) + -5. Let o = 524 + h. Which is smaller: o or -25?
o
Suppose 4*u = 5*q - 5, 4*u - 7*u = q - 1. Let d = 1492/334215 + 2/1061. Do d and u have different values?
True
Suppose -142*w = -34*w + 108. Which is smaller: -11/292 or w?
w
Suppose 48*j = 19*j + 290. Suppose 2*h - 56 = -j*x + 14*x, -94 = -4*h + 2*x. Is 19 greater than h?
False
Let g be (-1)/(-1) - ((-3 - 1) + -47). Suppose 0 = -57*m + g*m + 145. Let s(h) = -5*h**3 - 4*h**2 - 2*h. Let t be s(-2). Is m greater than or equal to t?
True
Let m = 167.09 + -0.09. Let q = -168 + m. Let s = 0.25 + 7.75. Which is bigger: s or q?
s
Let m = 10904 - 10919. Is 15 >= m?
True
Let w = 184.94 + -185. Let d = -0.04 + w. Which is bigger: d or 24?
24
Let o = 1083269/477 + -2271. Is o at most as big as -1?
False
Let n = -3157705/1919427 + -2/61917. Which is smaller: -3 or n?
-3
Let p = -760 + 732. Which is smaller: -55 or p?
-55
Let a be (-6)/(-1)*156/(-36). Let c = -47 - a. Let k = 19 + c. Are k and 11 equal?
False
Let y = -1.8853 + 2.7853. Which is greater: 2405 or y?
2405
Let n be ((-11)/33)/((-8)/(-6)). Let f(g) = -g**2 + 6*g + 2. Let m be f(6). Let b be (3/12*m)/2. Is b less than or equal to n?
False
Let j = -40.33 + 40.83. Which is smaller: j or 459?
j
Let w = -44/311 - -173136/1555. Which is smaller: 112 or w?
w
Let a(d) = d**3 - 11*d**2 + 2*d - 19. Let g be a(11). Suppose -3*p - 2*y = -4*p + 12, -3 = -g*p - 5*y. Is 16 at least p?
True
Let x be 12159/42*2/3. Let h = -193 + x. Is h less than 4/5?
True
Let r = 134 - 114. Let b = -450.7 + 429. Let n = r + b. Which is bigger: -2/3 or n?
-2/3
Suppose w = -22*v + 25*v - 8, -v + 76 = -4*w. Let f(l) = -l**2 - 12*l + 160. Let z be f(w). Which is greater: -316 or z?
z
Suppose 5*o - 2*f + 2002 = 0, 1996 = -5*o + 2*f - 6*f. Is o smaller than -405?
False
Let o = 0.1802 - 0.2162. Let g = 0.2 - 0.136. Let m = o - g. Is m bigger than -0.045?
False
Let y = 247.28 + 7.72. Which is smaller: y or -10?
-10
Let h be (-16)/(-144) - 28/9. Let x be (h/7)/(66/44). Do -2/19 and x have the same value?
False
Let v = -4632 + 4631.995. Which is smaller: 0 or v?
v
Let q = -10/168857 - -1089784/12699228399. Which is smaller: 0 or q?
0
Suppose -5*i = -2*i - 3*j - 18, 2*j = -8. Suppose -i*q = -2*w + 18, 7*w = -2*q + 11*w - 20. Is -4 > q?
True
Let x(k) = 9*k**2 - 382*k + 168. Let i be x(42). Is -16/787 less than i?
True
Let w = 0 + 14. Let q be ((-10)/(-6))/(-1)*(-300)/(1550/(-31)). Let y = q + w. Is y at least as big as -2?
True
Let k be ((1 + -2)*0)/2. Let t be 78 - k - (-1 - 0). Suppose -3*z + t = 4*g - 51, -3*g = -z + 39. Which is bigger: 43 or z?
43
Let k = 0.115 + -21.415. Let w = k - -25.3. Are -30 and w equal?
False
Let l be (-2)/22*-2 + (-59045517)/(-2343). Does l = -1?
False
Let z = -4313 + 3127. Are z and -1186 nonequal?
False
Let a be (-252)/168*4/(-6). Which is bigger: a or 1/29094?
a
Let y = 24696 - 617773/25. Is y at most as big as -16?
False
Suppose 22*v = 62*v + 115*v + 310. Which is smaller: -835/9 or v?
-835/9
Let m be (-51)/(-15) - 3 - 65292/(-3080). Let f = 362/77 + m. Let o = f + -26. Which is bigger: 0.1 or o?
o
Let k = 312 + -311. Let x be (2 - 6) + 3 + k. Is 2/37 smaller than x?
False
Let c = -428 + 410. Let n be -6*(-12)/c - -9 - 4. Is n at least as big as 3/7?
True
Let v(j) = -j - 24. Let o be v(-12). Let n be 4/(-2*8/o). Let g be (1 - ((-15)/(-4) - n))*-4. Is -17 less than g?
True
Let y = 6.11 - 7. Let f = y + -0.41. Which is smaller: f or 0.8?
f
Let z = 1926 + -1923.23. Is z <= 2/5?
False
Let a = 2/10429 - 21720/4494899. Is 1 <= a?
False
Suppose -105 = -u + 3*b - 8*b, -5 = b. Let j = 36614 + -36615. Which is bigger: u or j?
u
Suppose -7789 + 4002 = 190*j + 4953. Suppose -5*q - 101 = 119. Let s be 1 + 0 + q + -3. Do s and j have the same value?
True
Let w(i) = -54*i + 13. Let c be w(-1). Let j be ((-30)/(-33))/(-5) - c/(-66). Is 2 greater than j?
True
Let v be 1/(((-3)/(-6))/(-6 - (-30641)/(-26))). Is -1 >= v?
True
Suppose q = i - 4, 3*i = -5*q + 373 - 353. Is q at least 3100?
False
Suppose -u + 68 = -2*s, 11*s + 72 = 9*s - u. Let i(m) = -m**2 - 37*m - 71. Let z be i(s). Is z greater than 1/45?
False
Let b = 9 + -1. Suppose -b*y = -14*y - 156. Is y greater than or equal to -26?
True
Let f be (-120)/96*(-24)/(-15). Is -0.0537 at 