 y. Suppose -f = -3*v - 5, -v + 3*f = f + l. Are -4/15 and v equal?
False
Let n(h) = 14*h**2 + 82*h - 12. Let f be n(-6). Which is greater: -48/239 or f?
f
Suppose -l = 5*k - 51, 4*l - 5947*k + 5942*k + 46 = 0. Let i = 373/117 + -28/9. Do l and i have the same value?
False
Let k(z) = 18*z - 45*z - z**3 - 7*z - 6 + 12*z**2. Let f be k(7). Is -5/57 at most f?
True
Suppose -9 = -5*p + 31. Let h = -125 - 219. Let s = h + 347. Do p and s have the same value?
False
Let l = -28333 + 28333.4. Which is smaller: -8/235 or l?
-8/235
Let m = -0.08325 + 0.88325. Is 17/3 less than or equal to m?
False
Let z be -23*((1 - -1) + -3). Let k = -148650 - -148680. Which is smaller: z or k?
z
Suppose t - 2*t - i = 35, 5*t + 215 = 3*i. Let n be ((-6)/(-4) + -1)*t. Let a = 5 + n. Is 0.1 at most a?
False
Let d = -67 + 96. Suppose 5*r = -544 + d. Let a = -103 - r. Is a >= 14?
False
Let v(d) = -d**3 + 13*d**2 + d - 8. Let t be v(13). Let n(j) = j**2 - 5*j - 2. Let p be n(-3). Let w(l) = 2*l - 35. Let s be w(p). Which is greater: s or t?
s
Let v be 14/63*-6*(-3 - (-18)/4). Which is smaller: v or -68/45?
v
Suppose -4*d + n - 21 = -2*d, -20 = -4*n. Let f be 12/(-48) + 526/d. Let b be (-4)/f*(-18)/24. Is -1 less than or equal to b?
True
Let f = 7290 - 6440. Is 848 > f?
False
Let g = -5334 + 1024117/192. Which is smaller: g or -1?
-1
Suppose -179 - 19 = -11*a. Let v be 75/a - (-12)/(-72) - 5. Let o be ((-6)/4)/((-3)/(-6)). Do v and o have the same value?
False
Let h = 50 - 50.1. Let k be -84*(-2)/(32/20). Let q be k/24 - (-25)/(-5). Is q less than or equal to h?
True
Let g = -438 - -431. Let z be (-205)/(-164) + g/4. Is z greater than or equal to -480?
True
Let j be 2/(-4 - -1 - (-16)/2). Let i be (39/(-540))/((-3)/174). Let f = i + -38/9. Is j < f?
False
Let w = -64147/3 - -21390. Is w > 0.21?
True
Suppose 4 + 0 = 2*i. Let w be (0 - (-284)/12)/(i/(-6)). Let v = 77 + w. Is 5 <= v?
True
Let y = 183 - 184. Which is greater: y or -3/854?
-3/854
Suppose 5*x - z = 10, 0 = -z - 9 + 14. Let l(r) = 40*r - 121. Let s be l(x). Let q = 3864 + -606646/157. Which is greater: q or s?
q
Suppose 2177 = a + 5*u, 4*u - 6051 = -5*a + 4834. Which is greater: 2178 or a?
2178
Let h(i) = -150*i + 527. Let v be h(6). Which is greater: -371 or v?
-371
Let v be 8/(-3)*-1*3. Let c = -31296/55 + 6356/11. Is v > c?
False
Let o = -132/731 + 119706/784363. Is o < 1?
True
Let r be (-338)/(-770) + (47/(-130) - 360/(-780)). Which is greater: 2 or r?
2
Let p(k) = 19*k**3 - 1. Let w be p(-1). Let h be 195/(-26)*(-58)/w. Is h != -23?
True
Suppose 830*k - 863*k = 66. Let c = 1108 - 15537/14. Which is smaller: c or k?
k
Suppose -3*d + 294 = -d. Suppose 4*h - d = -4*j + 1, 54 = 2*j - 3*h. Suppose -4*u - w = 4*w + j, -2*w - 2 = 0. Which is smaller: -5 or u?
u
Suppose 2*b = -4*o + 199 + 3, -2*b = -5*o - 166. Let x = b - 93. Suppose -g = 4*p - 36, x = -g + 3*g - 5*p - 46. Which is smaller: 2 or g?
2
Let i(q) = 14*q**2 - q. Let s be i(1). Let h(v) = 351*v + 706. Let n be h(-2). Is s smaller than n?
False
Let r be 6/(-4) + 334857/(-9982). Let n = r - -246/7. Let v be 4*((-3)/(-4))/3. Is n greater than v?
False
Let m be 2/(-7) + (-260)/(-28). Let z = 252 + -250. Suppose -z*f + 6*f - 33 = -3*w, -w + 2*f + 11 = 0. Does m = w?
False
Let w = -57 - -104. Suppose 41*k - w*k = 0. Let f be ((-13)/4 - -3)*-3. Is f less than or equal to k?
False
Let p = 36586 - 36586. Is -52/989 greater than or equal to p?
False
Suppose 386198 + 207055 = -87*r. Are r and -13637/2 equal?
False
Let x = -1 + 2. Let p = -0.84 + x. Let g = p - 0.26. Are 0 and g unequal?
True
Suppose -k = -9 + 6. Suppose 12 = -k*u - 6. Let h = u - -18. Is h >= 0.2?
True
Let c = -616107/17 + 36223. Is -18 <= c?
False
Let t be -16 + ((-89888)/48 - 8). Is t not equal to -1896?
True
Let k(v) = v**3 + 12*v**2 - 205*v + 58. Let r be k(-21). Which is smaller: 393 or r?
393
Suppose 3*y - 3*o = 16437, -3*o - 21915 = -16*y + 12*y. Is y at most as big as 5477?
False
Let x(d) = -d - 2. Let w be x(-2). Let y be w + 1 + 1 - -1. Let n be (-2)/5 + (1 - (-14)/(-15)). Which is smaller: y or n?
n
Let q = 2498 + -2524. Let c be (-1 + 0 + 0)*27. Which is smaller: q or c?
c
Let o be (-4)/(-10)*(1/(-19) - 1152380/(-570)). Is 808 at least as big as o?
False
Suppose 48*a + 3*w + 974 = 44*a, 494 = -2*a - 5*w. Let h be -80*(4*1 + -1). Is h smaller than a?
False
Let z = -3238711/216 - -14994. Which is greater: -1 or z?
z
Suppose -l - 5*q = 4067, -3*l - 5*q - 8164 = -l. Which is smaller: -4098 or l?
-4098
Suppose -1085 = -4*x - 61. Let z(n) = -42*n + 2232. Let w be z(47). Which is bigger: w or x?
w
Let s = 496 + -494. Suppose 59 = s*u + 5*m, 3*u - 3*m = 7*u - 139. Which is bigger: 42 or u?
42
Let x = 11589.9 + -11590. Is x at least as big as -3/416?
False
Suppose 4*y - 68 = -5*c, -4*c = -5*y - 7 + 51. Suppose -2*t - y = -3*t. Suppose 3*d = t - 6. Is 14 at least as big as d?
True
Let z = 37 + -32. Let l be (z - 3)/(2/(-3) + 0). Let y = l + 2. Which is bigger: y or -5?
y
Let r = 10 - 46. Let f be (10/(-12))/((-9)/1890*5). Let a = r + f. Which is bigger: 2/153 or a?
2/153
Let z = 33 + -29. Let u be ((-6)/z)/(135/(-40)). Which is smaller: u or 23?
u
Let m = 6284 - 68995/11. Is m at most 11?
False
Suppose 226*k = 273*k + 564. Which is greater: k or -77?
k
Let w = 4403/571560 + 3/4763. Which is smaller: -1/6 or w?
-1/6
Suppose 0 = 2*d - z - 76, -d = d - 5*z - 76. Let j = -35 + d. Let v be (j - (-14)/(-4))/((-2)/12). Are v and 9/4 nonequal?
True
Let g = -10681.1 - -10681. Let p(v) = -3*v**2 + 2*v**3 + 3 - 3*v**3 + 2*v + 5*v**2. Let f be p(-2). Is g at most as big as f?
True
Let g = 3656.052 - 3662. Let i = 312.052 + -312. Let d = i - g. Is -6 != d?
True
Suppose 59*l = 53*l + 144. Let a(n) = n**3 - 23*n**2 - 27*n + 39. Let p be a(l). Let k(h) = h**2 + h - 33. Let w be k(0). Is p bigger than w?
False
Suppose 2*a = -3*a - 560. Let n = 518 + -629. Is n smaller than a?
False
Let s = 15684 - 15549.98. Let r = 134 - s. Is -1/4 < r?
True
Let p = -20.051 - -20. Let n = 0.042 - 1.692. Let z = n + 1.55. Is z at least p?
False
Let q be ((-26)/65)/(2/(-25)) - 3. Suppose 10*b - q = p + 5*b, -2*p - 2*b = 40. Suppose 3*u - 9 = -57. Which is smaller: u or p?
p
Let f be 13/(52/16) + 1. Suppose 4 = -y + 7. Suppose -a = -y*a + f*a. Which is bigger: a or -3/22?
a
Suppose 6356 - 25217 = -24*m + 25251. Do 1836 and m have the same value?
False
Let h be 5/35 + (-216372)/(-4641). Is h not equal to 46?
True
Suppose -s - 2*g = -6, -5*g + 17 = 5*s + 2. Is s at most as big as 129/109?
True
Let y(l) = 42*l**2 - 553*l + 9. Let m be y(13). Which is smaller: m or -4?
m
Let d be (-270)/(-324)*714/(-7). Is d smaller than 47?
True
Suppose -45*g + 44*g = 200. Is 4/7 greater than or equal to g?
True
Suppose -492568 = 144*k + 40*k. Is k at most -2677?
True
Let t = 21927 + -21926.5. Which is greater: -1273 or t?
t
Let f = -0.34 + -36.66. Let o = 28.4 + f. Let p = -7.6 - o. Which is greater: p or -5?
p
Suppose -11*k = -8*k - 9. Suppose -2*r + k = 5. Let x = 6406/33 + -584/3. Is r >= x?
False
Let g = -110.64 - -112. Let w = g - 1.4. Is w less than or equal to -1?
False
Let b = 43 + -39. Suppose b*q - 2*k - 4 = 0, -5*q - k + 3 = -4*k. Suppose 39 = -2*o - 3*o - 4*h, -q*h + 32 = -5*o. Which is smaller: o or -8?
-8
Let a = -2722 + 3305. Is -1/4 bigger than a?
False
Let k be (-46)/(-4) - 3/(-6). Let b = k - 7. Suppose -t = 0, 4 = 2*d + 4*t - 6*t. Which is bigger: d or b?
b
Suppose 312 = -3*q - v, 5*v - 42 = -3*q - 354. Let w = -104 - q. Which is smaller: w or 7/23?
w
Let b be (2/8*8/6)/((-1656)/(-54) - 30). Let z(r) = -21*r**3 - 5*r + 2. Let p be z(3). Which is smaller: p or b?
p
Suppose 4*u - 14 = y, -4*u - 3 = -4*y - 11. Suppose m = 3*v - 103, -5*v - y*m + 40 = -117. Let t be 22/v*12/(-5). Which is bigger: t or -3?
t
Let h = 802 - 559. Suppose 3*d + h = 81. Is d less than -51?
True
Let m(y) = y**2 + 27*y + 51. Let u be m(-25). Let w be (0/(-85))/(u*4 - 1). Does -2 = w?
False
Let o = 1126 - 1079.9. Let y = 46 - o. Which is greater: -0.01 or y?
-0.01
Let f = 12048 + -12054. Which is bigger: f or 45?
45
Let t = 14218 - 796717/56. Is -8 greater than t?
True
Suppose 121953 = -42*s + 101*s. Which is smaller: s or 2070?
s
Let p = -55.2 + 55.091. Let v = 0.009 + p. Which is smaller: v or -496?
-496
Let x(h) = -h**3 - 5*h**2 + 18*h - 47. Let n be x(-8).