aller: j or p?
j
Let u(d) = d**3 + 23*d**2 - 48*d - 259. Let m be u(-24). Is m greater than or equal to 309?
True
Let y = -178 - -181. Suppose 9 = 3*t + y, -t + 16 = -2*o. Is -20/3 at least as big as o?
True
Let m = -9/2794 + 21295/539242. Is m <= 0?
False
Let t be 5/30*-3*-2. Let o be 6/12*t*(-1 + -47). Let u be 266/8 + 6/o. Is -1 at most u?
True
Let i = 3464 + -13731/4. Let x = -1423298 + 404207755/284. Let m = i + x. Which is greater: m or 1?
1
Let z be (-114)/10*(-113900)/(-1020). Is z equal to -1273?
True
Let t = -15781 + 15782. Suppose -w + 6 = r + 2, 2*w + 5*r - 17 = 0. Let q be (w/3)/((-28)/12). Are t and q nonequal?
True
Let y = -123 - -118. Let u be 1 - (30/y + 4). Is u greater than -7?
True
Let y(v) = -v**3 - 34*v**2 - 119*v + 53. Let j be y(-30). Suppose 0 = 2*w + 48 - 8. Let a = w + j. Which is greater: a or 15/8?
a
Let f(g) = 559*g - 33. Let b be f(-1). Let c = b - -3583/6. Does 4 = c?
False
Let i be -4*1*3*4/(-24). Suppose i*y + 450 = 7*y + 5*t, -4*y + 2*t = -360. Let d = 137/2 - y. Is d < -0.1?
True
Suppose -5 = f, -2*f - 2143 = 2*d + f. Let p be (-4)/6 - (4 + d/(-231)). Which is smaller: p or -9?
p
Let q = 1 - -10. Let o = -1166.8 + 1156. Let s = o + q. Is s less than -0.1?
False
Suppose 0 = -2*f + 1910 - 1046. Are 428 and f nonequal?
True
Let v = 260 + -252. Let h(b) = -b**2 + 10*b - 17. Let l be h(v). Which is smaller: -1/66 or l?
l
Let w(b) = -b**3 - 13*b**2 + 19*b + 15. Let l be w(-14). Let f = -65 - l. Let k = f + 5. Does -6 = k?
False
Let k be 15192/(-13840) + (-4)/(-8) + 1. Let f = -2/5 + k. Which is bigger: 1 or f?
1
Let m = -16421/400 + 637/16. Is m > 0.1?
False
Let a = 14485 - 16932. Is a less than or equal to -2447?
True
Let y(c) = -c**3 - c**2 - c. Let x be y(-3). Let w be 4 + (-51)/x + -1. Is w at most as big as -3/5?
False
Let k = -76 - 290. Let c = -367 - k. Are -1/58 and c nonequal?
True
Suppose 5*s = 5*d + 40, s = -4*d + 8*d + 44. Let m = -18913/1428 - 2/357. Is d greater than m?
True
Suppose 9*l = -9*l - 20*l - 16*l. Which is greater: -8/3943 or l?
l
Let o(r) = -7*r - 35. Let m be o(-7). Let y = 8994 - 16243. Let a = 50831/7 + y. Is m at least as big as a?
True
Let i = 1/18 - -5/18. Let x = i + -8/15. Suppose -2*d + 4 = -5*v, -151*v - 1 = -146*v - 3*d. Which is smaller: x or v?
v
Let v be (-14 - 1)*((-52)/12 + 56/14). Is 170/31 != v?
True
Let q = -133 - -94. Suppose 0 = 168*t + 26*t + 7372. Which is greater: q or t?
t
Let d be (291/2)/(126/1848). Is 2135 < d?
False
Let d be (-42)/8 - (1 - -2). Suppose -y = -2*c - 19, -y = y - 2. Is c greater than or equal to d?
False
Suppose 0*o - 36809 + 8199 = 2*o. Is o bigger than -14306?
True
Let c be 10/(-3490)*(-33)/(-22). Which is smaller: c or -1?
-1
Let g be -3 + 7/3 + (-371)/(-21). Suppose -13*f + g*f = 0. Let a be 4/(-14) - 96/(-287). Which is smaller: f or a?
f
Suppose -3*o + 213 = 3*q, q - 2*q + 3*o + 87 = 0. Suppose 5*h + q = 2*a, 4*h = a + 3*h - 30. Is 25 >= a?
True
Let i = 36 - 45. Let h be -4 + 2/(-6)*i. Let c be (8/(-324))/(2 + (-21)/(-9)). Which is bigger: c or h?
c
Let i = 401 - 399. Suppose -2 = -0*m - i*m. Which is greater: m or 11/7?
11/7
Let l = -2373401/269 + 8823. Is -1 at most l?
True
Let q be 3*2/(-21) + (-620)/(-14). Let c = q - 103. Let j = c - -84. Is 25 less than j?
False
Suppose 4 = -2*w + 2. Let x be 53/(-4) + w/(-4). Let c(k) = -22*k - 70. Let j be c(-3). Is x not equal to j?
True
Suppose 12*s = 15*s - 1110795. Let t = 7044039/19 - s. Let n = 474 - t. Is n less than or equal to -2?
False
Let x be 4 + 99/(-11) - 107/(-19). Let q be (-8)/24 - (0 + 8/(-6)). Which is bigger: q or x?
q
Suppose 9*u = 94 - 103. Let f be ((-425)/10)/(((-5)/10)/u). Is -83 > f?
True
Let z = -57.06 + 56. Let n = -0.42 - z. Let c = n + -0.74. Is 27/7 > c?
True
Suppose -2*q - 2*q + 332 = -i, q = -3. Let o be (2 - i/(-28)) + 6/21. Let a be 14/21*1/5*o. Is 1/4 >= a?
True
Let p be (6 - 82962/220) + (-2)/4. Which is smaller: p or -373?
-373
Let b(g) = 1165*g + 8167. Let i be b(-7). Suppose v = -4*v - 95. Let o = v + 30. Which is bigger: o or i?
i
Let t be 6 - (37188/(-5196) - -13). Which is bigger: 0 or t?
t
Let v be 755073/891*(4 - 1). Do 2542 and v have different values?
True
Let r be (9 + (-870)/92)*44. Which is bigger: r or 0?
0
Let p be (4 - (1 + 1))/310. Let o = -5813 - -5813. Is p smaller than o?
False
Suppose -13*h + 7*h + 450 = 0. Let x be 24/60 + 64/(-10). Let f be -4 + (-22)/x - h/126. Do f and 0 have the same value?
False
Let o be 14175/(-110160) + 1/4. Is o less than -1?
False
Let d(c) = c**2 - 37. Let n be d(0). Let u = -25 - n. Let o be ((-2)/u)/(25 + -24). Which is greater: -2/19 or o?
-2/19
Let b = 72 + -72.43. Let t = 0.4 + b. Suppose -g - 5*y + 20 = 0, -4*g = -85*y + 83*y + 8. Which is smaller: g or t?
t
Suppose 6*l - 50 = l. Suppose 0 = l*x + 19 + 91. Let q be 2/(-5) - 96/(-165). Is q greater than x?
True
Suppose -31*v - 7744 = -20*v. Is -704 at most as big as v?
True
Let j be 265*(-8)/(-20)*54/164. Let n = 35 - j. Which is greater: n or -0.1?
n
Let v = 3.41 - -59.89. Let z = v + -63.2. Is -8/55 != z?
True
Let x = 568 + -329. Let i be 7/(133/(-95)) - ((-98205)/(-84))/5. Let d = i + x. Which is greater: d or 1?
1
Suppose 0*d + 26 = k - 5*d, 4*k + d - 62 = 0. Let r be 4 + ((-1375)/(-77) - 7). Which is smaller: k or r?
r
Suppose 624 = 19*u - 13*u. Let h(q) = -q**3 + 10*q**2 - 9*q + 12. Let b be h(6). Which is bigger: b or u?
u
Suppose y + 2*d - 25 = 0, 3*y - 46 + 6 = d. Suppose -3*f + 34 = 2*o, f + 48 = 5*f + 2*o. Let u(t) = -2*t**2 + 26*t + 43. Let j be u(f). Does y = j?
True
Let l = -9227.01141 + 11.04741. Let c = -9199 - l. Let o = -0.036 - c. Which is greater: 1/3 or o?
1/3
Let m = 1514 - 1511.009. Is m < 1?
False
Let p = 2.223 - -1.777. Which is smaller: 1/7 or p?
1/7
Let o = 234482 + -234454. Suppose 2*g = 4 + 4. Suppose -n + g*n = 81. Which is smaller: n or o?
n
Let a = -99/464 + 7617/42224. Suppose 4*f - 4 = -0*f. Which is smaller: f or a?
a
Suppose 0 = -4*p - f + 69, 2*p + 0*f = -3*f + 37. Let b be (0 + p)/(4/(-4)). Let d = b - -16. Which is bigger: d or 4?
4
Let z be (-468)/30*(-4275)/30. Is z > 2223?
False
Let j be ((-8)/20 - 12/20)*(-44)/(-154). Which is smaller: -2/3 or j?
-2/3
Let f be (-40)/8*1593/15. Let l = 529 + f. Which is smaller: l or 3/11?
l
Let v(x) = x**3. Let y be v(-2). Let h be y/(-12) + (-6)/9. Let u = 144 - 76. Which is smaller: h or u?
h
Let d be (0 + 0 - 1)/(180 - 177). Is -4970 > d?
False
Let b = 1043.82502 + 0.17498. Which is bigger: -1 or b?
b
Let x = -1429 - -1429. Suppose h - 4*h + 21 = 0. Is x greater than or equal to h?
False
Suppose 2*s - 2*r - 1398 = 0, -266 - 458 = -s - 4*r. Which is bigger: s or 707?
707
Let k be (-8 - -15) + 15892/(-2268). Let t = 11152/26649 - k. Which is greater: 0 or t?
t
Let f be (-66)/(-8)*(-5*4 + -1). Let l = -173 - f. Is 1 at most as big as l?
False
Let v = -53 + 55. Let m = -3156/11 + 25237/88. Which is bigger: m or v?
v
Suppose -286 = 21*o - 24*o + 4*b, 0 = -b - 4. Let l be o/27*2/((-40)/(-36)). Is 7 <= l?
False
Suppose o - 102 = -17. Suppose 5*m - 116 = 2*f, 74 = -3*f + 3*m - 127. Let v = o + f. Which is smaller: v or -4?
-4
Let y be ((-72)/(-16))/3*8/(-3786). Let f = 101 - 100. Is y at least as big as f?
False
Suppose 0 = 12*z + 3459 - 351. Let i = z - -293. Suppose -3*a + 5*j = -119, 0*a = 2*a - 4*j - 82. Is a greater than or equal to i?
False
Let p = 758 - 705. Let s = -53.6 + p. Which is smaller: s or 3.1?
s
Suppose 4*s = -q + 111, -2*s - 643 = -6*q + q. Suppose -5*m - 3*w = -120, -3*w - q = -4*m - 31. Suppose m - 28 = h. Is h less than or equal to -7?
False
Suppose 0 = 2*q + 3*q, 0 = 5*h + 5*q - 540. Let l = h - 469. Is -361 != l?
False
Let u = -156248 + 1097431/7. Let b = -529 + u. Is -2 less than or equal to b?
True
Let v = 129.139 + -130. Let b = v - -0.569. Which is greater: 0.1 or b?
0.1
Suppose -4*a + 23 = m + 26, 5*a = 4*m - 9. Do 3/784 and m have the same value?
False
Let m = -7557 - -7562. Which is smaller: 15/7 or m?
15/7
Suppose 34*i - 246 = 35*i. Let z = 359 + i. Is z != 113?
False
Let k be 3/(-147)*(-26805 - -1). Suppose 240 = 3*c + 1881. Let i = k + c. Is 0 > i?
False
Suppose 587*q = 551612 - 84947. Is -0.9 >= q?
False
Suppose 60*r - 105 + 45 = 0. Which is smaller: 65/152 or r?
65/152
Suppose 4*m - 5*v - 41 = 0, 4 = m + 5*v + 25. Let f(d) = -7*d - 3. Let h be f(3). 