Let p = -5218 + 5652. Which is bigger: p or 4?
p
Suppose -19*y - 13*y + 12*y - 111620 = 0. Which is smaller: -5582 or y?
-5582
Let l = -1 - -6. Suppose f - 689 = 3*z, -2*z + 4*f - l*f - 451 = 0. Is z less than or equal to -228?
True
Let j = -5610 - -5666.13. Let q = -56 + j. Let i = -0.003 - -0.103. Which is smaller: i or q?
i
Suppose 29*r - 28*r = -10. Let d be r/(-80)*94 + (-2)/8. Which is smaller: d or 1/2?
1/2
Suppose -60*q = -67*q + 84. Let j be (-375)/(-1980) + 1/q. Which is smaller: j or 11?
j
Let o = 340148/9 + -37845. Are o and -51 unequal?
True
Let u(v) = 319*v - 289. Let w be u(1). Which is smaller: w or 51?
w
Suppose 232 = 20*l + 15592. Which is greater: l or -769?
l
Let a = -209 - -109. Let i = a - -100.1. Which is smaller: 0.3 or i?
i
Suppose 0 = -5*z + 2*z - 192. Suppose -5*h - 5*l = -2*l - 578, -5*l = h - 120. Let n be (-7370)/h - 4/46*-1. Does z = n?
True
Suppose 3*l = 2*q - 11, 15 = 5*q - 3*l + 1. Let p = 357/4 - 89. Which is greater: q or p?
q
Let m(o) = 2*o**2 + 229*o + 4619. Let s be m(-31). Is s smaller than -556?
True
Let o = 41747 - 41743. Let f be 21/69 + (-1)/3. Which is greater: f or o?
o
Let v = 608527/52 + -11710. Is v less than or equal to -9?
False
Suppose -7*m - r = -2*m, 5*m + 4*r = -15. Let g be (-9)/(-18)*(-2 - (-9 + -1)). Let k(i) = -i + 4. Let z be k(g). Is z bigger than m?
False
Suppose -3*r = 5*i + 426, -2*i + r - 170 = 7. Let g = i + 91. Suppose g*s - 3*s = -37. Is s != -37?
False
Suppose 114*o = -3*x + 117*o + 15, -3*o - 15 = 0. Is x != -8/11?
True
Let o = -46828/4957803 - -40/3303. Let s = o + -445813/6004. Is -73 > s?
True
Let z = -0.621 + 0.5415. Let l = z + -0.9205. Which is greater: l or 1?
1
Let l(a) = -a**3 - 4*a**2 + 14*a + 12. Let n be l(-6). Suppose 2*x + 2*c - 2 = n, -7*c + 3*c = 5*x - 2. Which is bigger: -5 or x?
x
Let y = -8552 - -7963. Is y less than or equal to -589?
True
Let b = 168 + -119. Suppose z + 5*g = -0*z - b, 0 = -4*g - 4. Which is greater: -41 or z?
-41
Suppose 0 = 2*x + 634 - 646, 4*x + 16 = -2*t. Which is bigger: t or 1/100?
1/100
Let w = -48 - -36. Let x = 13 - w. Suppose -7 = -3*m + 5*k - x, 3*m + 12 = 3*k. Which is greater: -2/59 or m?
-2/59
Suppose -13*k - 8582 = 5*b - 16*k, -5*b = k + 8566. Let z = b + 18878/11. Is z < -3?
False
Let c be 1/15 + 3/9. Let j(o) = 32*o**2 + o**3 - 18*o**2 - 1 - 2*o - 14*o**2. Let y be j(-1). Which is bigger: c or y?
c
Let n be (-3)/(-3) - (-20 + 0). Suppose 82 = 2*q - 43*q. Which is bigger: n or q?
n
Let x = 22.886 + -23.186. Which is bigger: 3509 or x?
3509
Let c = -49780.849 + 49481. Let z = c - -300. Which is smaller: -0.1 or z?
-0.1
Suppose -92*h - 108*h = -63*h + 7398. Which is smaller: h or 2.9?
h
Suppose 0 = -3*k + 5*k - 12. Suppose -40 = k*w - 2*w. Suppose -22*m = -m + 189. Which is smaller: m or w?
w
Suppose -5*k = -5*r - 175, r - 6*r = -3*k + 107. Let x be (k/(-8))/((-1)/(-4)). Suppose -360*j - 4926 + 1992 = -197*j. Does x = j?
False
Let r be (102/18 + -5)/(4/(-6)). Let o(j) = -4*j - 3. Let k be o(r). Is k < 42/53?
False
Let a(d) = -d**3 + 8*d**2 + d - 8. Let o be a(8). Let s be 15/(-10) + 1 - (-9)/(-11). Let p = s - -9/11. Are o and p nonequal?
True
Suppose 3063 = 89*j + 1550. Is j bigger than 477?
False
Let t = 3934 + -3581. Is t at least -0.024?
True
Let k = 312.9927 + -313. Let q = 16.9927 - k. Which is smaller: q or -0.2?
-0.2
Suppose 3*i + 11 = 17, -2*i = 5*z - 44. Which is smaller: 163 or z?
z
Suppose 38 + 22 = -k - 14*k. Suppose -o + 378 = -4*o. Let t be 0 + 9/(o/40). Are k and t equal?
False
Let c = 0.7777 + -3.4277. Which is greater: -0.7 or c?
-0.7
Let b be (-28)/162631*((-175)/(-30) - 7). Which is bigger: b or -2?
b
Suppose f - 1095 = -4*d, -f + 2175 = f + 3*d. Suppose f = -18*z - z. Are -57 and z non-equal?
False
Let o = -1032 - -518. Let s = 354 + o. Which is bigger: -321/2 or s?
s
Let u(l) = 4*l**2 - 17*l - 3. Let b be u(7). Suppose 2*w + 2 - b = 0. Let r = w - 27. Does r = 10?
False
Let j = 0.0434 + -0.0434. Let s = -18.83 + 16.8. Is j at most s?
False
Let j(q) be the first derivative of -q**4/4 + 7*q**3/3 + 9*q**2 - q + 35. Let b be j(9). Let y be b - (-2)/(0 - -1). Which is smaller: -1/18 or y?
-1/18
Suppose 0 = 5*p - 4*g - 8, -6 = 10*p - 9*p + 3*g. Suppose -a = 3*a + 28. Let l be (4/6)/(a/6). Which is smaller: l or p?
l
Let p = -39 - -39. Suppose 5*k = 5*q - 20, -2*k = -p*k - 4*q + 6. Suppose 2*f - f + 7 = o, 2*o - 9 = f. Is k < f?
False
Let p = -134 - -96. Let f = p + 33. Which is smaller: 0 or f?
f
Let j be (-9)/2 - (-1334)/276. Which is smaller: 5/92 or j?
5/92
Let o(s) = -2*s**2 + 12*s - 15. Let a be o(-9). Is -284 at least a?
True
Let f be (1*(0 - 1))/((-9)/45). Suppose 0 = -2*b + f - 1. Suppose -4*q + b*d - 16 = 0, 0 = -q - q + 3*d - 4. Which is greater: q or 0.3?
0.3
Let s be (((-24)/(-16))/(-3))/1. Let c = -213 + 389. Which is greater: c or s?
c
Let z = -43 + 46. Suppose -3*d + 48 = z*d. Let w be d/36 + ((-14)/9)/(-2). Is 2/47 at most w?
True
Suppose -20 = -5*g, 3*s + 3*g + 2*g = 500. Suppose 47*m = 31*m - s. Is m less than or equal to 1/3?
True
Let v = 11 - 79/7. Suppose -19*y + 18*y + 17 = 7*g, -3*g + 34 = -2*y. Which is bigger: v or g?
g
Suppose 13*y - 2 = 8*y + 2*x, 0 = -2*y + 5*x - 16. Suppose 3*r + y*v + 112 = 0, -r - 5*v + 17 = 76. Which is greater: -19 or r?
-19
Suppose 2*c - 162 = 52. Let q = -2 - c. Is -109 at least as big as q?
True
Let t(x) = -31*x + 1356. Let i be t(44). Which is greater: -84/11 or i?
-84/11
Suppose 3*s = 5*j, 5*s = 3*j - 2*j + 22. Suppose j = -y - 2*y. Let p be (4/2 - y)/((-9)/48). Which is smaller: -18 or p?
-18
Let o = 756.1 + -950. Let y = o - -193. Is y < 7?
True
Suppose 4*d + 2470 = 3*s, -2*s + 5*d = 590 - 2232. Suppose 7*y - s = -0*y. Is 118 less than y?
False
Let q = -25774 + 27263. Is -2 equal to q?
False
Let y = -6887 + 6887. Which is greater: -1/9307 or y?
y
Let l = 9014 + -9016. Which is greater: l or -1.1?
-1.1
Let v be ((-10)/1312)/((-27675)/1620). Is 0.1 less than or equal to v?
False
Let g = -50 - 5. Let b = -56 - g. Let s = b - 56. Which is greater: s or -1?
-1
Let v = 3 - 2. Let y = -41 + 120. Let h = y + -1105/14. Is h smaller than v?
True
Let r = 63 + -101. Let l = 36 + r. Let o be l/9 - 128/(-90). Is 2 > o?
True
Let j = 1238 + -1236. Which is smaller: -117 or j?
-117
Suppose -4*j = 5*d - 20, 4*j + 8 = 2*d + 28. Suppose d = 2*i - 3*a + 47, -6*a + 8*a + 34 = -i. Is -82/3 < i?
False
Let z be 2/((12/3)/(-4))*11. Let p = -195 - -176. Is p less than or equal to z?
False
Let h be (-23)/(483/63) + (-118)/(-39). Let y = -4 - -3. Which is smaller: y or h?
y
Suppose 3*z = -2*x + 20, 0 = -10*z + 8*z - 3*x + 20. Suppose -z*o = -14*o - 950. Which is bigger: o or -375/4?
-375/4
Let r be 6 + -1 - ((-445689)/(-187))/(-27). Which is bigger: r or 94?
94
Let x = 2366.5 + -2371. Is x >= -141?
True
Let c be 6 + 5*4/20 + -8. Which is smaller: c or 1/1672?
c
Let a = 4079 - 4073. Are a and 198/41 unequal?
True
Let d(m) = -34*m - 863. Let j be d(-4). Which is bigger: j or -724?
-724
Suppose -20*h = -18*h - 16. Let c = 13 - 10. Let j(m) = m**2 + m - 3. Let z be j(c). Are z and h non-equal?
True
Let r be (-5)/(-2)*(-32)/(-2). Let a be ((-8)/(-12))/(r/(-90)). Are a and -3 non-equal?
True
Let h = -14.09 - -14. Let g = 173 + -93. Let b be 3*(-6)/(-27) + g/(-210). Which is smaller: b or h?
h
Let q = -5355 + 5299. Which is greater: q or -48?
-48
Let f(z) be the first derivative of -z**4/4 - 8*z**3/3 + z**2/2 + 8*z + 2. Let i be f(-9). Let u be ((-1)/15)/(i/12). Which is smaller: 1 or u?
u
Suppose -3*b = -2*o - 1498, 3*o - 2048 = -4*b - 62. Let i be (-4)/(-28) - (b/(-483) + 1). Which is smaller: i or -1?
-1
Let c = -0.115 - -1.005. Let w = -2.31 + 1.31. Does c = w?
False
Suppose -15 - 40 = 5*w - 5*r, 54 = -5*w + 4*r. Let s = -28 - -28. Let k = s + -3. Is w <= k?
True
Let p(f) = f**3 - 4*f**2 - 5*f + 4. Let m be p(5). Let a be 1*2/m - 23/(-2). Let b be a/(-21) - -3 - (0 + 3). Which is smaller: b or 3?
b
Let u = 11 - 1. Let r be 11 - (27/45 - 0). Which is smaller: r or u?
u
Let g = 50 + -73. Let d = g - -19.8. Let a = -3 - d. Which is greater: a or 0.8?
0.8
Let h = 77701/4 + -19645. Which is smaller: h or -219?
h
Suppose 4*z + 2426 = 5*x, 0*z + 1442 = 3*x + z. Let m = -1447/3 + x. Is m greater than -4.79?
True
Let l = -184327937/717420 + 11305/44. Is l at least 1?
False
Let c be (6/(-4