)/((135/30)/(-9)). Which is smaller: 1362 or p?
1362
Let x = 1795/5852 - 13/44. Let b = 955/37506 - x. Which is greater: 1 or b?
1
Let j be 57741/(-153045) + (-6)/(-10) - 2/15. Which is greater: -1 or j?
j
Suppose 439*o + 7*o + 235 + 211 = 0. Let d be 2/(-34)*(-3)/(-9). Which is smaller: d or o?
o
Let s = 4065 - 239793/59. Which is smaller: 2 or s?
s
Suppose -132*m + 56224 = -70*m + 5880. Is m greater than or equal to 812?
True
Let q = -17.02 + -15.4. Let a = q - -0.42. Let p = 26 + a. Which is smaller: -2 or p?
p
Let c be 45/(-35) + 2/7. Let y = 824/6699 + 20/609. Does c = y?
False
Let v be (-1 + -8 - (-1922)/186)*54/63. Suppose 0 = -0*a - 3*a. Let r be (3/6*a)/(-2). Which is greater: r or v?
v
Let c be (170 + -167)/(3/(-140)). Which is smaller: c or -141?
-141
Suppose 0 = -5*h + 147 + 228. Let i = -89 + h. Suppose 2 = -f, -4*d + 5*f - 28 = 22. Is i smaller than d?
False
Let j = 478913/27 - 17705. Is j <= 34?
True
Let f(z) = -z**3 + 18*z**2 - 18*z + 17. Let s be f(17). Let y be 15/12*(2/49)/(45/(-21)). Is y greater than or equal to s?
False
Let r(s) = 173*s + 523. Let v be r(-2). Which is smaller: v or 180?
v
Let x(a) = a**3 - 18*a**2 + 5*a + 13. Let r(b) = 2*b**2 - 7*b + 3. Let f be r(5). Let k be x(f). Suppose -5*c - k = -8. Which is bigger: 1/4 or c?
1/4
Let i = -0.03695 - 471.26305. Let x = -496 - i. Let s = x - -22. Is 0.3 bigger than s?
True
Let u(d) = -2*d**2 - 108*d + 341. Let j be u(3). Are 35/219 and j nonequal?
True
Suppose 18 = 2*b - 2*t, -4*t - 31 + 13 = 5*b. Let v be 18/5 + (-4)/(-10). Let f be (-39)/v*(-2)/6. Is b smaller than f?
True
Suppose 2*o + 150 = -22. Let y = -163 - o. Let x = -95 - y. Which is smaller: x or -16?
x
Let p(m) = -9*m + 23. Let j be p(6). Suppose -4*c + 125 = 2*d - 65, -141 = -3*c - 3*d. Suppose c = -6*r - 144. Is j greater than r?
True
Let n = -218.8815 + -77.1185. Let b = -1 - 0. Which is smaller: b or n?
n
Let t(q) be the second derivative of q**4/6 + q**3/6 + 5*q**2/2 + 14*q. Let j be t(4). Suppose 68 = 3*i - 49. Is j less than i?
False
Let o = 811 - 1440. Let v = o + 769. Which is bigger: v or 142?
142
Let y = -7/45 + 1/585. Is -65 less than y?
True
Let g = 611 + -614. Let m be 2301/13 + (3 - g). Which is smaller: m or 185?
m
Let z = -54/17 + 219/85. Which is bigger: 10 or z?
10
Let k = -17 - -20. Let b(c) = 0*c**k - 25*c**2 - 38*c - 25 + c**3 + 15*c. Let p be b(26). Is 53 not equal to p?
False
Let k = 54403/4 - 13609. Let y be 316/8 + 1/2. Suppose -5*v = -3*w + y, 1 + 7 = -v - w. Is k at least as big as v?
False
Let i be (-103)/210*-9*(-1 + (-7)/(-21)). Which is smaller: -2 or i?
i
Suppose 56 = -3*m + 53. Let z be ((-3 - -3) + m)*181. Is -182 > z?
False
Suppose -2*a = 3*a. Let t = -10008 + 9924. Does a = t?
False
Let d be (8/(-10))/((-6)/75). Suppose 0 = -8*k - 0 + 40. Suppose -4*p - 1 = -4*q - k, 4*p - q + 5 = 0. Which is bigger: p or d?
d
Suppose 29*b - 5354 = 17411. Let x = b + -812. Is -35 > x?
False
Let i = 1/205012322667 - -24253948391049226643/61708709122767. Let q = 393040 - i. Let k = q + -5/7. Which is smaller: k or 1?
k
Let t = -3.8 + 2.8. Let a = 34 - 31.5. Let r = a - -4.5. Is r >= t?
True
Let d be (-1 - -1)*4/8. Suppose 5*z = -v - 17, -2*v = -d*z - 4*z - 8. Let x be 2/24 - ((-4)/(-18))/((-8008)/(-105963)). Which is greater: v or x?
v
Let g(x) = 287*x**2 + 132*x + 686. Let i be g(-5). Which is greater: 7200 or i?
i
Let u be (90/105)/(32/(-14)). Suppose -8 = -2*b + 2*c - 0*c, 2*c + 14 = 4*b. Suppose -3*g + q - 6 = 0, -2*g + q - b = 2. Is u at least as big as g?
True
Let u = 0.2525 + -491.2525. Do 3 and u have the same value?
False
Let h(o) = 121*o**2 - o + 1. Let z be h(-2). Let g = z - 4391/9. Let f be 1/4*((-5100)/1300 - 1/13). Which is smaller: f or g?
f
Suppose 0 = -1035*d + 1050*d + 102255. Is d greater than -6819?
True
Let d be (1/(-5))/((-39)/(-1885)*-1). Let q = d + -85/9. Let c(a) = -a + 2. Let g be c(2). Is q at most g?
False
Suppose 2*k = -0*k - 3*k. Suppose -3*i - x - 310 = k, -x - 122 = i + 4*x. Is i smaller than -101?
True
Let f = 2581 + -1793. Let y = -109529/139 + f. Which is bigger: y or 0?
y
Suppose 126 - 100 = 26*a. Which is smaller: a or -12/3719?
-12/3719
Let h(t) = 9*t + 57. Let l be h(-13). Let w be ((-44)/l - 2)/(2/24). Which is bigger: -16 or w?
w
Let s = -1883 - -1233. Let n = s - -650.08. Suppose -z + 4 = 2. Is z bigger than n?
True
Suppose 4 = -3*j + 1. Let p be (j + (-15)/(-12))*-4. Suppose -n - 2 + 3 = -2*x, x - 5*n = 13. Is p at most as big as x?
False
Let m be (638 - 2)*(62/124 - 10/8). Are m and -5/11 non-equal?
True
Let b = -4 - -62. Let x = -57.935 + b. Let s = x - -0.935. Are 1 and s non-equal?
False
Suppose 0*d - 2*p = d - 3, -4*d - 3*p - 13 = 0. Let j be 1 + (-3)/(21/(-14)). Suppose 4*g = 2*f + 14, 0 = -j*f + g - 16 - 0. Which is greater: f or d?
f
Let x be (-3)/6 - -1 - 34/52. Let k be -1 - (-4 - (0 + -1)). Suppose -k*t = -t + 1. Is x at most as big as t?
False
Let s = 77484/445 - 240553393/1380390. Let l be ((-5)/940*12/(-9))/(-1). Let k = l - s. Is k less than or equal to -1?
False
Suppose 0 = -59*m - 144*m + 18*m - 212565. Which is smaller: -1146 or m?
m
Let t be ((-46)/(-1))/((-22)/121). Let u = t + 216. Is u greater than -36?
False
Suppose o = -8, -57*u - o - 8 = -53*u. Let h(p) = p + 8. Let j be h(-6). Let v be (2/(-46))/(j/6). Which is bigger: u or v?
u
Suppose -494*z = -588*z. Which is greater: 1/448 or z?
1/448
Let i = -35489 + 34867. Is i greater than or equal to -6209/10?
False
Suppose -40 = 5*h + 20. Let x be (444/2)/(h/30). Let c be (x/(-110) - 5)/(2/(-24)). Is c smaller than 0?
True
Let q = 494 - 493.689. Let p = -577 - -577. Is p less than q?
True
Let l = 5292837/19 - 278693. Is l less than or equal to -122?
True
Let i(k) = -6*k**2 - 20*k - 7. Let n be i(-3). Does n = -3/2630?
False
Suppose 55 = 23*k + 32. Is k greater than 1/2198?
True
Suppose 2*u = -4*m + 236, 3*m - 36 = -2*u + 197. Let s = u + -107. Let t = 2 - 1. Is t at least as big as s?
False
Let i(a) = a**2 + a + 2. Let v be i(0). Suppose v*p - 2 + 28 = 0. Let h(c) = -13*c**2 + 16*c + 15. Let n be h(-1). Which is smaller: p or n?
n
Let j = 11.78622 + -0.02022. Let c = 12.86 - j. Let d = c + 0.006. Is 2/5 not equal to d?
True
Let d(o) = 3*o**2 - 6*o + 11. Let x be d(6). Let y = x - -1. Let i = y - 87. Which is greater: i or 0.04?
0.04
Suppose 10*r - 11*r - p + 488 = 0, -4*p = 12. Let d = 489 - r. Which is smaller: -36/35 or d?
d
Let r = 129 - 141. Let k be (-33 - r)*10/(-6). Let m be (1 - (-16)/2)*k/(-21). Which is smaller: m or -11?
m
Let t(y) = 2*y**3 + 3*y**2 - y - 3. Let w be t(2). Suppose m - 16 = -5*u - 5, 5*m + w = u. Let f be 165/168 + (2 - u). Are f and 0 equal?
False
Let b(v) = -7*v - v**2 - 3*v - 1 + 4*v. Let a be b(-3). Suppose -5*t + 2*r = -60, -2*t - r - 25 = -4*t. Which is bigger: a or t?
t
Let y = -5727 - -5356. Which is smaller: -382 or y?
-382
Let l(r) = -32*r + 109. Let j be l(8). Suppose 4*d = y - d + 138, -2*d = 4*y + 596. Which is greater: j or y?
j
Let o be (-18)/1227*(-85)/510. Suppose 0 = 5*s - 10*s - 5. Are o and s nonequal?
True
Let q = 852 + -838. Let i be ((-26)/(-8))/(-1*(-5)/20). Do i and q have the same value?
False
Let l = -838 + 1107. Is 11 greater than l?
False
Suppose -231*i + 235*i = 12. Let p be i/((-1752)/4)*4. Let d = -2 + 1. Which is greater: d or p?
p
Let n = -3240.2 - -3214. Which is greater: -2/29 or n?
-2/29
Let c = -30 - -32. Suppose 114 = -c*y + 116. Let n be y/((-2)/(-22)*(-7)/7). Is n not equal to -11?
False
Suppose 8*u = -12 + 76. Let h be (-20)/60 + (u/(-6))/2. Is -19/9 bigger than h?
False
Suppose -39 = 5*q - 144. Let a be q/(-49) + (-936)/21. Let j = a + 62. Which is greater: 16 or j?
j
Let o be (-1586406)/(-3400) + (-2)/(-8). Let l = 467 - o. Let z = -4.1 - -4. Is z bigger than l?
False
Let d(c) = -3*c**2 + 217*c - 3504. Let a be d(49). Let h(v) = -v + 7. Let b be h(5). Do b and a have the same value?
False
Let h(s) = s**2 - 20*s + 4. Suppose 12*l = 10*l - 4. Let p be (-64)/(-3) + (l - (-40)/24). Let f be h(p). Is 25 greater than f?
False
Let b = -1161 + 1155.865. Let i = -5.1 - b. Let f = 0.665 + i. Is f less than -2?
False
Let w be (8/(-4))/(1/(-6)). Let c = 204 - 202. Let y be 15*c/w + -3. Is y < -1/2?
False
Let x be 90/25*1590/9. Let d be ((-4)/x)/(3/(1 + 8)). Suppose -g = 6 - 5. Is g not equal to d?
True
Let a = 0.9 