) - (-310)/20. Which is smaller: c or 14?
14
Let a = -121 - -69. Let o = -51.55 - a. Let s = 0.11 + o. Is -1 greater than s?
False
Let s = 96 + -138. Let p = 19093/57261 - 2/19087. Is p smaller than s?
False
Let k = 2366257/177 - 13369. Is -1 != k?
True
Let a(y) = -406*y - 1218. Let m be a(-3). Which is greater: m or 22/47?
22/47
Suppose -79*u = -56*u. Which is bigger: u or 46/41?
46/41
Let w(f) = 3*f**2 + 30*f + 13. Suppose -2*c = n + 11, 5*c - 4*c = 3*n + 40. Let l be w(n). Which is greater: 132 or l?
132
Suppose -4*c + 12 = 2*w, 0*c - 3*w + 2 = 2*c. Let r be c/(-410)*((-25)/20 + 0). Which is smaller: -1 or r?
-1
Let f be (-36)/(-42)*(-3 + 10). Let t be (-7*(-3)/21)/((-9)/f). Which is smaller: -0.03 or t?
t
Let n be (616/(-6))/(744/1116). Let y(q) = -3*q**2 - 9. Let d be y(7). Are d and n unequal?
True
Let k be (57/15)/(5/50). Which is greater: -2 or k?
k
Let q = -12163/3 + 48655/12. Which is bigger: 2025 or q?
2025
Let s = -1143.9 + 1144. Let i(m) = -3*m**3 - 2*m**2 - 3*m - 3. Let h be i(-2). Are h and s equal?
False
Let x be (-329)/(-28)*(-9 - (-7 - -2)). Which is bigger: -35 or x?
-35
Let w be (-320)/18 - (-3 - 58/(-18)). Let a(f) = -3*f - 8. Let c be a(3). Is w != c?
True
Suppose 2*i = -3*y + 32, -2*y + 15 = -2*i - 3. Let b be 1806/(-105) - 8/y. Which is smaller: 2/7 or b?
b
Let z = 0.04936 + -67.04936. Which is greater: z or -0.7?
-0.7
Let b be (-7572)/(-17717) - 63/147. Does 0 = b?
False
Suppose -19*c - 4396 = 859 + 2060. Which is bigger: -390 or c?
c
Let n be (-1)/7 - 200/(-28). Let t(w) = 5*w - 10. Let d be t(6). Suppose 2*m - 38 = -3*m + 4*a, -5*m - 5*a = -d. Is n equal to m?
False
Let k = -0.7 + 0.5. Let u(r) = r**3 + 9*r**2 - 6*r + 32. Suppose 0 = -4*s - 5*l - 65, -8*s - 4*l + 20 = -12*s. Let i be u(s). Which is smaller: k or i?
i
Let h be (-72 - -52) + 25275/1280. Do h and 0 have the same value?
False
Let n be (-6)/10 - 52/(-20). Let u be (4/(-430))/((-8)/10)*n. Let t = u + -47/172. Is t equal to 3?
False
Suppose 4270 = 7*z - 581. Suppose 3*k - 4*m = -403, -5*k - 5*m = -m + z. Which is smaller: -138 or k?
-138
Suppose -5*n + 15 = -10. Let v = -7/237 - -5005/948. Which is smaller: n or v?
n
Let k be (11/(-33))/(-10 + 2197955/219795). Which is greater: k or -14652?
-14652
Let s(x) = -12*x - 219. Let z be s(-21). Let t be 24*((-135)/(-6))/15. Is z bigger than t?
False
Suppose 0 = -l + n - 13, 7*n + 4 = -l + 5*n. Is l < 5/42?
True
Suppose -224*h + 226*h - 20 = 0. Let t(l) = -l**2 - 16*l. Let r be t(-15). Suppose -3*f - r = 0, 5*v - 43 - 27 = 2*f. Which is smaller: v or h?
h
Let o be 1229/3*15*(-22)/(-55). Is o bigger than 2460?
False
Let u(j) = j**2 - 14*j + 69. Let c be u(8). Let l be c/33 - 1*2. Suppose -12 + 14 = -2*y. Which is greater: l or y?
y
Let g be 1560/(-27) - (-2)/(-9). Let p = 1796 + -1801. Is p less than g?
False
Let k be (2/(-57))/((-204)/27). Suppose 167*p + 16*p = -202*p + 385. Which is bigger: k or p?
p
Let u be (0 + -1)*1 + 1053/156 + -6. Is -430.8 > u?
False
Let t = -1.9609 - -2.0609. Is 0.2366 at least t?
True
Let s(m) = -28*m - 1. Let r be s(-1). Suppose 0 = 20*o - 3*o - 3315. Let z = -168 + o. Is r >= z?
True
Let m be (-9)/(-12) - ((-426)/168 - -3). Is -5/77 greater than or equal to m?
False
Let c be (-1 - 14/(-21))*(-3)/1. Let h be (((-4)/(-5))/(-4))/(-5). Which is bigger: h or c?
c
Suppose -60*n = 22*n + 31*n + 54466. Which is greater: n or -494?
n
Let b = 2.593 - -0.407. Which is greater: 601 or b?
601
Suppose 11405 - 812 = -33*k. Let q = 310 + k. Is -11 at least q?
True
Let s be 225/(-50)*(-59)/(-8). Let q = s + 134295/4048. Do 0 and q have the same value?
False
Let c = -54 + 79. Suppose -n + c = -4. Suppose -32 = l - n. Is l greater than -6?
True
Suppose -g + 148 = -w - 4*g, 426 = -3*w - 3*g. Let q be ((-6)/(-8))/1*(3 - 17 - 174). Is q <= w?
True
Let g be (-1)/((-4)/4 - 0). Let b be (5 + g)*12/6. Which is smaller: 21/2 or b?
21/2
Suppose -2*c = 8*v - 7*v + 29, -2*v + 5*c - 31 = 0. Let n be (-1 - 1) + (-21 - v). Is 1/85 less than or equal to n?
False
Let q = 22/457 + -70847/1443206. Let s = q + 2559/200533. Which is greater: s or -1?
s
Let v(b) = -2*b + 60. Let g be v(0). Suppose -3824*x + 3814*x = -40. Which is bigger: x or g?
g
Suppose -90767 = -10*n + 46*n - 18479. Which is smaller: -6026/3 or n?
-6026/3
Suppose 3*d - 4*r - 221 = 0, -2*d + 0*r + 5*r + 152 = 0. Let i be 81/6*(-1760)/1155*(-14)/4. Which is bigger: d or i?
i
Let r = 160 - -2663. Which is greater: 2818 or r?
r
Let c = 2/5533 - 1416454/16599. Which is smaller: -5 or c?
c
Let u = -24 + 29. Suppose -3*x = -7*x + 8, -u*x = -t - 5. Let k(h) = -h**3 + 6*h**2 - 8*h + 8. Let j be k(t). Does -6 = j?
False
Let v be (1/3)/(2/(-6)). Let d(f) = -f**2 + 21*f + 17. Suppose -2*p = 2*w - 14 - 26, 0 = 2*p + 2. Let g be d(w). Is v greater than g?
False
Let c = -140591701477/1211292 - -1044608/9. Let a = 353024297/1211292 + c. Let d = a + -291. Which is smaller: d or -1?
-1
Let n(l) = -l**3 - 12*l**2 - 12*l + 1. Let h be n(-11). Let w be (-1 - -5)/(1/3). Is h not equal to w?
False
Suppose 0 = -52*j + 44*j + 16*j + 25*j + 396. Let c be 2/1*(15 - 1). Suppose c + 14 = -3*r. Is r greater than or equal to j?
False
Let z = 1046500/3371 - 5861604589/18102270. Let h = z + 401/30. Which is smaller: 1 or h?
h
Let u = 4146 - 4147. Is 8/825 bigger than u?
True
Let m = -14782 - -14499. Are -279 and m nonequal?
True
Suppose 3*o = -4*u - 8 + 97, -2*o + 66 = -4*u. Suppose -f = -16 + o. Let q be ((-2)/f)/2*-6. Which is smaller: 0 or q?
q
Let s = -202 - -207. Suppose s*a = -7*a + 804. Is a bigger than 67?
False
Suppose 4*x + 74 + 206 = 0. Let r = x - -71. Let v be (r/(-2))/(0 + 1/(-2)). Is v less than -1/148?
False
Let z(s) = 2*s**2 + 28*s - 32. Suppose 4*p - 5*o = -45, 5*o + 24 = -p + 2*o. Let n be z(p). Is n less than -0.43?
True
Let g = -396.4 - -347.4. Which is smaller: g or -200?
-200
Let r be (17/4 + -2)*32/24. Suppose -15*u + r = 2*v - 14*u, -v = -4*u + 21. Let o be 16/6*6/50. Is v > o?
False
Let q = -817 + 2104. Which is smaller: q or 2?
2
Let n = 9715 + -9716. Is -12403/4 < n?
True
Let d be (-3)/(-9) - 26/6. Let l be (-720)/(-72) + 14/32*-30. Which is greater: l or d?
l
Let w(g) = 5*g**2 - 38*g - 308. Let x be w(-12). Is -2/3 != x?
True
Let o(p) = -p**3 + 13*p**2 - 14*p + 7. Let m be o(11). Suppose 5*n + 4*t = -391, -n - t - m = 4*t. Is n at most as big as 0?
True
Let l = -82 + 79. Let t be ((-43)/l)/(2/24*2). Let o be 1/(-3) - (4 + t/(-6)). Which is smaller: o or 9?
9
Let i be (-66)/627 + (18/57)/3. Suppose i = 5*y - 3 - 22. Which is bigger: y or 13?
13
Let d(u) = u**3 + 4*u**2 - 2*u + 5. Let i(c) = 2*c**2 + 22*c - 4. Let k be i(-11). Let m be 60/8*k*1/6. Let x be d(m). Is x greater than or equal to -10?
True
Let g(s) = 6*s**2 + 5*s - 25. Let b be g(3). Let h be 115/b - (440/(-32) - -14). Is -3 != h?
True
Let k(z) = -11*z**2 + 2*z + 3. Let f be k(3). Let x be (-12)/8 - f/44. Is 4/3 less than or equal to x?
False
Let o = -4176 + 4122. Is -36 greater than or equal to o?
True
Suppose 4*b + 8*w - 9*w = -14092, -5*w + 24674 = -7*b. Is -3522 less than b?
False
Let a = 35097 - 36187. Which is smaller: a or -0.04?
a
Let c be (2225/125 - 19)/((-1)/(-2645)). Is -3173 >= c?
True
Let u = 3035653589356/13357 - 227270614. Let n = -1/361 - u. Which is greater: 1 or n?
1
Let y = -0.058 - 0.572. Let m = -3.63 - y. Let p be ((-1)/2)/(3/(-15)). Do p and m have the same value?
False
Let q(r) = -2*r**2 - 12*r + 3. Let z(d) = -d**2 - 2*d + 15. Let s be z(4). Let y be q(s). Is -50 < y?
False
Let d = 4873 - 3897. Is -3 < d?
True
Let x = 67 + -69. Suppose 5*k - 50 = -0*k. Let g be (k/25)/((-2)/2). Is g less than or equal to x?
False
Let o be 9 + (-119)/14 - ((-51765)/103490 + 1). Which is bigger: o or 0?
o
Let t be 1/((-1)/179)*(5 - 3)/2. Is t bigger than -34?
False
Let w be -3 - ((-32)/6 - 2/3). Suppose -w = 5*f + 2. Is f >= 2/93?
False
Let t be ((-3)/(-9))/((-4)/(-132)). Suppose -5*q + y = -t, 2*q - 10 = -0*q - y. Suppose -7 = q*l - 4. Which is smaller: -3.9 or l?
-3.9
Let k be 16/1200*-3*3. Which is bigger: k or 0.07?
0.07
Let g = 61203/176 + -1391/4. Which is greater: 0.2 or g?
0.2
Let n = 120 - 120. Suppose n = 4*c - 16, -2*c - 8 = -d + 47. Let q be 14/d + (-4929)/(-1755) + -3. Which is smaller: q or -2/3?
-2/3
Let j = -39 - -199. Let y = 44137 - 43976. Which is smaller: j or y?
j
Le