*3 + 13*s**2 - 5. Let p be f(-13). Let v be (-1)/5 + (668/p)/2. Let i = v - -407/6. Which is smaller: 1 or i?
i
Let u = 3.07455 + -0.08455. Which is greater: 51 or u?
51
Suppose 0 = -122*d + 119*d. Suppose -3*y = 9, d = -2*i + i - 5*y - 80. Is i less than or equal to -65?
True
Let c = 246.56 + -0.56. Let f(t) = t**2 - 41*t - 87. Let x be f(43). Do c and x have the same value?
False
Let x = -2856 - -7165. Let p = 4283.036 - x. Let m = 0.036 - p. Is m not equal to -1?
True
Let y(o) = -o**2 - 3*o - 2. Let w be y(-3). Let l = -120 - -116. Let c be 15/(-3) + -3 - l. Which is smaller: c or w?
c
Let d = -19/884 - 5/52. Let q be (70/15)/(1/3). Let r be 8/22*7/q. Is r < d?
False
Suppose -3*k - 209 - 190 = 3*p, -2*k - 3*p = 271. Let t be 48/k*(30/(-9) - 0). Is -0.06 at most as big as t?
True
Let a = 101 - -171. Let z = 281 - a. Is 5 greater than z?
False
Let f = 1034 + -5197/5. Suppose -4*y = 11 - 43. Suppose -q - 19 = 3*v - 3*q, 2*v = -q - y. Which is greater: v or f?
v
Let p = -118147 + 302574471/2561. Is p less than or equal to -1?
False
Let o = -7402 - -7529. Which is bigger: o or 117?
o
Let f be -2550 - -15 - (-2 - 11). Which is greater: -2520 or f?
-2520
Let n = -19869/5 - -3965. Let m = 21 - 36. Let v = 7 + m. Which is greater: n or v?
v
Let i(z) = z**3 + 34*z**2 + 69*z + 118. Let u be i(-32). Which is bigger: -38 or u?
-38
Let z = -31229 - -31443. Is 220 > z?
True
Let i be ((-27)/6 - -3) + (-8622)/(-5700). Let p = -1110 - -1109. Is i equal to p?
False
Suppose -459*m + 600*m = -141. Which is greater: m or 9/4012?
9/4012
Let f be 3 + 9/(-18)*0. Suppose -a - 198 = -4*a - 5*j, 0 = f*a - j - 180. Suppose v = 62 - 2. Which is greater: v or a?
a
Let j = 1065 - 580. Suppose -2*l + j - 483 = 0. Which is smaller: l or -1/113?
-1/113
Let r = -0.742 + 367.742. Let f = 144 - r. Are 0.1 and f equal?
False
Let v = -3112 - -3112.2. Which is greater: 268 or v?
268
Let w be 10 + (-143 - (-6 + -2)). Which is smaller: w or -119?
w
Let m be (0 - 2)/(6 - 1 - (45 + -33)). Is -19/335 != m?
True
Let m = 19 - 35.4. Let u = -16.45 - m. Is -12 greater than or equal to u?
False
Let u(r) = -r**2 + 8*r - 4. Let a be u(0). Let c be a/(-2) - -3 - 7. Which is smaller: -33.2 or c?
-33.2
Let a(p) = 15*p + 39. Let q(d) = 2*d - 1. Let z(b) = 3*a(b) - 24*q(b). Let o be z(16). Which is greater: o or 91?
o
Suppose 317 = 7*s - 1048. Let v = s - 194. Which is smaller: v or -3/125?
-3/125
Let x be 0/4 + 1 + 17 + 1. Let j be -4 + 2 + 3 + 57/x. Let z be 5 + (-9)/(-21) + 17/(-7). Which is greater: z or j?
j
Let l(s) = 3*s + 8. Let k be l(-2). Suppose -3*f = -k*f + 14. Let r be (-125)/(-420) - (-4)/f. Are 1 and r equal?
False
Let z(p) = -6*p**2 - 52*p + 145. Let x be z(-19). Which is smaller: -1032 or x?
x
Let y be -4*(-2)/20 - 0. Suppose 4 = i + 2. Let j(b) = -b**3 + 3*b**2 - 4*b + 3. Let z be j(i). Is z > y?
False
Suppose -29*x + 83*x - 54 = 0. Do x and -3/1094 have the same value?
False
Let y = -248531/79 + 3146. Is y != 1?
True
Let s = -98.864 + -1.136. Is 5 at most s?
False
Suppose 423 = p - 5*d + 347, 80 = p - 4*d. Is p < 85?
False
Let q = -638 + 655. Let g be -10*452/(-24) + q/(-51). Is g >= 190?
False
Let y(d) = -5*d - 7. Let r be y(-2). Suppose -p + r = 2*p. Let i be ((-6)/44)/((27/(-12))/p). Which is bigger: i or 1?
1
Suppose -2*c = -4*y + 216, -2*c + 336 = -5*c + 2*y. Let r = c - -114. Are -1/627 and r nonequal?
True
Let z = -20.06 + -0.94. Let o = z + 21.1. Which is smaller: 1.3 or o?
o
Let c = 17195899 + -1564809789/91. Let k = -187 + c. Which is bigger: k or 1?
1
Let t = 0.092 + 0.008. Is t < -0.2711?
False
Let j = 1061.58 + -1141. Let d = j + 80. Let h = -0.62 - d. Is h at least 2/15?
False
Let s = 384 - 229. Let f = -147 + s. Is f > 9?
False
Let n(r) = -2*r**2 - r - 4. Let l(t) = -7*t**2 - 12*t - 24. Let m(f) = l(f) - 4*n(f). Let c be m(9). Which is smaller: c or 2/1129?
2/1129
Suppose -5*l = 7*g - 2*g - 95, 0 = -3*l - 2*g + 60. Let y be l/1 - (1 + (-7 - -2)). Is y greater than or equal to 27?
False
Let r be (42/24)/(-7) + (6/(-8) - 2). Is 88 less than r?
False
Let s = 35 - 58. Let w = -53 - s. Let o = w - -32. Which is smaller: 0.5 or o?
0.5
Suppose o - 11 = -7*l + 9*l, -2*l - 12 = 0. Which is bigger: o or -75/44?
o
Let a(f) be the third derivative of f**6/120 + f**5/15 - 13*f**4/24 - 13*f**3/6 - 221*f**2. Let d be a(-6). Is -36/5 > d?
False
Suppose 6 = 29*x - 110. Let j = 2 + -3. Let i be (j/2)/(103/26 - x). Is 13 equal to i?
True
Let o be 15*80/5100*21/88. Which is smaller: 1 or o?
o
Let x = -122 - -114.1. Let w = 8.89 + x. Let o = w + 1.01. Which is smaller: o or -2/59?
-2/59
Let d = -2806 - -5611/2. Is d at least as big as 2579?
False
Let o = 21.7 + -21.8. Let l = 8.13 + -3.54. Let w = l - 4.4. Which is bigger: o or w?
w
Let g = -7 - -7. Let k = -937/2456 + 2/307. Is k != g?
True
Suppose -2*d = -h - 5*d - 563, 2*h = 3*d - 1099. Let n = 538 + h. Is n less than -14?
True
Suppose 3*z = -k + 3577, 3*z = 3*k - 14271 + 3564. Let h = k - 17927/5. Is -15 bigger than h?
False
Let t be (2 - (-933754)/(-336)) + -4. Let n = 2781 + t. Let p = 139/15960 + n. Are 1 and p equal?
False
Let a = -804 - -809. Suppose -3*i = 5*b - 807, 5*i + a*b - 1115 = 230. Which is smaller: 268 or i?
268
Let b = 64/525 - 52/22575. Is b != 0?
True
Let b = -7039 - -8002. Does b = 964?
False
Let l = 25100/3 + -4342435/519. Which is smaller: l or 1?
l
Let d = -3977 + 27842/7. Is 1/53 at most d?
True
Let q = 26.4 + -12.9. Let l = q + -12.4. Let v = 31/2 - 221/14. Is v at least as big as l?
False
Suppose 105*b = 94*b + 22. Suppose 8*j = 4*j, b*j = -2*i - 2. Is i greater than or equal to -21/11?
True
Suppose 4*h + 5*q - 35 = -157, -3*h - 3*q = 93. Let l be (-22)/h - 32/51. Which is smaller: l or -4?
-4
Let r = 849 + -849. Suppose r = -2*l - 19 + 17. Which is smaller: -3/239 or l?
l
Suppose -238 = 4*m + 38. Let n(o) = -3*o**2 - 10*o - 20. Let j be n(-4). Let u be ((-68)/3)/(5 - j/(-6)). Which is greater: m or u?
u
Suppose -14945 + 4684 = -23*n - 8*n. Is n at least 326?
True
Let s be 2/(5 - (-195)/(-40)). Let v = -21529/4 + 5410. Let x = 28 - v. Which is smaller: x or s?
x
Let d = 114 - 117. Let q be 85 + (d - (-10 + 4)). Is 89 smaller than q?
False
Let x be -1344 - 209/(-11)*-1. Which is greater: -1367 or x?
x
Let t(v) = v**3 + 8*v**2 - 11*v - 2. Let q be t(-9). Suppose 4*s + 2*k = -16, 2*s + q = -2*k + 6. Let b be ((-24)/3 - -7)/(-1). Which is smaller: b or s?
s
Let g = 51 + -52. Let q = -72.899 + -0.101. Is q smaller than g?
True
Suppose 61*c = -54*c + 71923 + 592432. Is c at least as big as 5776?
True
Let j = 8182/185087 - -2027993541823/2035957. Let u = j + -994922. Let b = -1165 + u. Is 1 greater than b?
False
Let p = 94066 + -366391/4. Is 2469 less than p?
False
Suppose -4*v = -r - 143 - 570, -3*v - 2*r = -543. Which is greater: 174 or v?
v
Let v = -10414455 + 55623603986/5341. Let b = 1/109 - v. Is -1 >= b?
False
Let y = -15.3 + -266.7. Let j = -282.1 - y. Is -5/12 != j?
True
Let s be 2519/(-44) + 3*1/(-4). Let z = 70 + s. Suppose z*a - 10*a + 4 = 0. Which is smaller: 18 or a?
a
Let s = -14421 - -14162. Is -258 at most s?
False
Let r be ((-111)/9)/((-165)/(-90) - 2). Suppose -i + 78 = -4*b, 2*b - 226 = -3*i + 6*b. Is r greater than i?
False
Let z = 5 + -7. Let f = 241.81 + -239. Let i = f + -2.49. Which is smaller: z or i?
z
Let c = -29.023 + 0.023. Let p = 0.044 - 28.044. Let d = -27 - p. Which is smaller: c or d?
c
Suppose -9*x + 1255 = -320. Let h be x/(-20) + 27/(-12) + 2. Let t be 6/(-7)*(-1)/h. Which is bigger: 1 or t?
1
Let a = 960/13 - 272653/3692. Let i = -279/1420 + a. Which is greater: i or 1/18?
1/18
Suppose 0 = 2211*t - 2213*t - 22590. Let d = -21935/2 - t. Is d not equal to 327?
True
Let c be ((-627)/(-55))/(117/(-780)). Does -671/9 = c?
False
Let l = -680.4 - -678.4. Which is smaller: -1587 or l?
-1587
Let r = -3422 + 3422.8. Let l(g) = -g**2 - 10*g - 10. Let o be (3/(-6))/((-3)/(-48)). Let a be l(o). Which is smaller: a or r?
r
Suppose 0*k = -3*k + 6. Let p be k - (-32)/(-18) - 0. Let n = 201006/11 - 20301628/1111. Is n less than p?
True
Let u = 838.5 + -836. Let m = -3 + -2.5. Let z = u - m. Is z >= 2/5?
True
Let q be (-70)/(-175) - 7*4/(-272)*-4. Is q > -1?
True
Let i be (-11)/99*4/(-8). Suppose -45*c + 12 = -46*c. Let p be 0*(-3)/c + 3 + -2. Which is smaller: p or i?
i
Let x = 857140