e -5*r = 0, -4*q - q - 210 = -h*r. Is q smaller than -41?
True
Let c = -479/75 - 12707/1275. Let v = 2616/187 + c. Suppose -16*n - 30 = -6*n. Are v and n unequal?
True
Let u = -20.840737 - 0.159463. Let o = u - -0.0002. Let m be 10/8*(-2)/(-10). Which is smaller: o or m?
o
Suppose 2097*r = 4*p + 2102*r + 34, 0 = 3*p - 5*r - 27. Let q = 2/691 + 1060/111251. Which is smaller: q or p?
p
Suppose 0 = -z - 0 - 1. Let h be (-3 - z) + -5 + 3. Let x be (-4 + 4 + 22 + -12)/(-2*1). Which is smaller: h or x?
x
Suppose -5*d = -145*x + 144*x + 54, 0 = 5*d + 55. Let r be 4/18 + (-152)/630. Which is greater: x or r?
r
Let d = -645 + -845. Are d and -1490 equal?
True
Let h(b) = -690*b - 6899. Let l be h(-10). Is 4/7629 > l?
False
Let m = -56295/29 + 1941. Suppose 2*w + 6 = 0, 0*w - 7 = 4*j + w. Is j equal to m?
False
Let b = 0.1778 - 0.0978. Let g = 1.4 + 1.6. Which is smaller: b or g?
b
Let q be -15 - (-5 - (-27)/(-3)). Which is smaller: -47 or q?
-47
Suppose -9*b + 24 = 2*q - 6*b, -5*q + b = -26. Let l be 7 - 1 - (q - (70 + 1)). Is l equal to 2?
False
Let r be 280/(-112)*(-110)/25. Which is smaller: r or 3?
3
Let w = -57 - -59. Suppose 421 = 5*l + w*m, 2*m - 89 = 7*l - 8*l. Let h = l + -64. Which is bigger: 20 or h?
20
Let k be 2/(-890)*184890/(-156). Let d = -71/26 + k. Is d <= -1?
False
Let c = -519 - -541. Let y = -225663/104 - -17183/8. Let g = c + y. Which is smaller: -1 or g?
-1
Suppose -6*v = -9 - 3. Suppose 90 = 3*w + 2*w + 2*p, v*p = 0. Are 20 and w nonequal?
True
Suppose 4*k = -4*s - 602 - 750, s - 1362 = 4*k. Are -2375/7 and k equal?
False
Suppose 68*u + 1688 = 72*u. Suppose -13*m + u = 2268. Which is smaller: m or -144?
-144
Let q(c) = -20*c - 138. Let f be q(-7). Suppose s + 13 = 3. Let w be -2*(0 - s/(-18)). Is f greater than w?
True
Let v = -5450407/400 - -13626. Which is smaller: 1 or v?
v
Suppose -3*a + 30 = -3*c, -4*c + 17 = 3*a + 8. Suppose 0 = x - 4*w - a, x - 6 = -3*x + 5*w. Which is smaller: x or 1/229?
x
Let b be ((-6)/15 + (-50)/(-125))/(-3). Is 1/234 less than or equal to b?
False
Let v be (-3)/(-12)*38*2. Let d = 370 + -365. Suppose d*j + 1127 = 1237. Does j = v?
False
Suppose -2*f = 5*f - 502 + 2959. Which is smaller: -354 or f?
-354
Let h = -3/874 - 2121/145958. Let f = h + -12501/1336. Which is smaller: -10 or f?
-10
Let f be 141/(-6)*(-22 - -2). Let v = -472 + f. Which is smaller: v or 2/31?
v
Suppose -4*g - 5*h - 11318 = 2969, -g = 4*h + 3569. Are g and -3572 non-equal?
True
Let t be -4 - (-454)/63 - (-2)/9. Let m = 130 + -127. Is m less than t?
True
Let k = -1020 - -1018. Which is bigger: k or -5076?
k
Suppose -34 = 2*w - 248. Let j = 167 - w. Suppose 0 = -32*u + 27*u + j. Which is bigger: u or 3?
u
Let l = -30 + 48. Let q = -13 + l. Suppose q*j - 11*j = 0. Is j greater than 0?
False
Suppose 64 = 476*t - 412*t. Is 18/25 greater than t?
False
Let j be 222/36 - (-3)/(-18). Let i(p) = -p**2 + 8*p - 7. Let w be i(j). Suppose -w*h - 3*d + 39 = 12, 3*h - 5*d = -11. Is 3 >= h?
True
Suppose 2*w - 5*z - 121 = -8*z, -4*z = 2*w - 116. Let l be (-10)/(-4*2/w). Which is bigger: 84 or l?
l
Let o = -248 - -255. Let z be 8/56*o - 184. Are -183 and z non-equal?
False
Let x = 16913/15 + -1129. Let g = -94/7 - -317/21. Let w = g + x. Are w and -0.3 nonequal?
True
Let u = -114.2 + 120. Let s = -3.6 - u. Is -2/5 >= s?
True
Let o = -18 + 17.3. Let a = o + 0.9. Let j = -3 + 2.97. Which is greater: j or a?
a
Let j be (-404)/(-833) - (-2)/(-17). Which is smaller: j or -3?
-3
Let c = 1/43911993 + 27249830968/10699888961. Let d = 25/129 - c. Let a = 2634/1105 + d. Is -1/4 greater than a?
False
Suppose -f - 21 - 2 = 0. Suppose 18*x - 149 = 31. Suppose x*j + 2 = -228. Is f bigger than j?
False
Let r = -1893 - -1548. Are -343 and r unequal?
True
Let w = 1547/27 - 731515/12771. Is 1 greater than w?
True
Let s(h) = 4*h**3 + 14*h**2 - 61*h - 684. Let v be s(-13). Which is bigger: v or -6312?
-6312
Let n be -21911 - (-4 + (10 - -13)). Are n and -21930 non-equal?
False
Suppose 2*h = -12, -513*h + 512*h = t + 6. Which is bigger: 7/358 or t?
7/358
Let u = 7/18 - 19/72. Let w = -0.773 + 0.833. Which is bigger: w or u?
u
Let c(g) = -56*g - 26. Let n be c(-3). Suppose -b = -k - 29, -5*k - n = -5*b - k. Which is smaller: 24 or b?
24
Let z be 506/472 + 237/(-316). Let f = z - -1915/649. Which is smaller: 2 or f?
2
Suppose 11*m - 368 = -12*m. Let d be (-8 - (-136)/m)/((-2)/148). Which is greater: d or -39?
d
Suppose -530*o = -532*o - 2, -158 = -y - 4*o. Which is smaller: y or -2?
-2
Suppose -4*r = -2*g + 128, -5*r + 95 = 5*g - 180. Suppose -26*c - 176 - g = 0. Which is bigger: c or -10?
c
Let b(n) = -n**3 + 25*n**2 + 27*n - 24. Let l be b(26). Let c(q) = -13*q**2 - 5*q + 9. Let o be c(3). Is l <= o?
False
Let a = 53004888 - 77758187032/1467. Let d = -4/163 - a. Which is bigger: d or 12?
12
Let i = 26665/2 - 13333. Which is smaller: i or 18/359?
i
Let s be (-1)/(-1)*(-1 + 3). Suppose -b + 2*r - 6*r + 11 = 0, -s*b = 5*r - 13. Does 2/739 = b?
False
Let h(o) = -307*o + 100. Let w be h(-14). Let r = w + -237505/54. Which is smaller: 1 or r?
r
Let s(r) = r**2 - 12*r - 13. Let c be s(13). Suppose 3*h - u - 127 = 0, c = -h + 2*u + 26 + 13. Let d = 54 - h. Is -0.1 less than or equal to d?
True
Suppose 539*o = 526*o - 208. Let c(t) = t**2 + 25*t + 72. Let m be c(o). Is m less than or equal to -70?
True
Let m(r) = 4*r**3 - 7*r**2 - 41*r + 172. Let w be m(11). Which is bigger: 4199 or w?
4199
Let n be -49 + 4696 - (-3 - 0)/(-3). Is 4645 bigger than n?
False
Suppose -3*s + 38 = -2*d, 2*d - 20 + 58 = 4*s. Let z be ((-3)/(-1))/(d + 20). Suppose 15 = z*p + 18. Is p bigger than 2/93?
False
Let t = -33913/18 - -1884. Which is smaller: t or 1?
t
Let k = -14 + 19. Suppose -3*p = 2*q + k, 3*q = p + q - 9. Let z(u) = 18*u**3 - u**2 + u + 1. Let c be z(p). Which is smaller: 2/3 or c?
2/3
Suppose 36 = -i - i. Let r be (-5)/2 - (i/(-4))/(-3). Let d be (r + 0)*-4*12/(-16). Is -5 less than d?
True
Let n be 4/(-16) - 171/(-12). Suppose -2*h = 2*p - n, -5*h + 4 = -h. Suppose 2*i + 2*z - 4*z = p, -2*i + 4*z = -12. Is i >= -22?
True
Let c be (-20)/(-505)*(-2)/20. Let u = c + 1113/505. Which is smaller: u or 3?
u
Let o be ((-139846)/14973)/7 + (-52)/(-39). Is o bigger than -1/2?
True
Let c = 12198 + -2385. Let h = c + -9263473/944. Let b = h + 8509/12272. Which is greater: 1 or b?
1
Let z = -351.167 + 351.3. Is -5 at least z?
False
Suppose -5*g = -3*m + 274, 15*m - 13*m = 4*g + 220. Which is greater: g or -58?
g
Let r(b) be the second derivative of -b**4/12 - 19*b**3/6 - 11*b**2/2 + 29*b. Let x be r(-18). Suppose 4 = i, 5*y - i + x = -12. Which is greater: y or -4?
y
Let k be -7*(7 - (-220)/(-28)). Let s be (16/(-60))/(-2) + k/(-45). Is s at most as big as -6/13?
False
Let m = -86.2 + 86.1. Let t = -9533/6825 + -828/175. Let q = t - -37/6. Are q and m unequal?
True
Suppose 7*j - 1474 = 4367 - 528. Which is smaller: j or 758?
758
Let t = -38963 - -39095. Let o = 27 - -102. Are o and t non-equal?
True
Let j(h) = 18*h - 39. Let d be j(2). Let c be ((-5)/d)/(10/6). Is c at least as big as -4/15?
True
Let q = -187.154 - -187. Let p be (-1552)/194 + 7/1. Do q and p have different values?
True
Suppose -2*l = -4*l - 30. Let g = 22 + -20. Suppose 0 = -4*b - z - 4, 3*b + 12 + g = 2*z. Which is smaller: l or b?
l
Let b(u) = -20 - 13 + 3*u - 2 - 2. Let d be b(13). Is d >= 1?
True
Let m = -4.7 + 1.7. Which is smaller: m or 2/23?
m
Let a = -341.131 + 341. Are a and 0.01 non-equal?
True
Let n = -2826 + 100. Which is smaller: n or 0?
n
Let g = 246 + -194. Let j be (2*g/(-24) - -4)*-3. Which is smaller: -2/645 or j?
-2/645
Let g = 9320.28 + -9533. Let n = 6.28 - g. Which is smaller: n or -1?
-1
Suppose -j + 13*j = -5208. Let a = 254 + j. Which is smaller: -179 or a?
a
Let d = 7187 - 603709/84. Suppose 0 = 2*t - t - 4. Let r = 3 - t. Which is greater: d or r?
d
Let w = 773.482 + -774. Let n = -0.482 + w. Let l = -34.19 + 34. Which is greater: n or l?
l
Let j = -1.459 - -38.939. Let v = 38 - j. Let k be (-16)/6*(-1)/(-4). Which is greater: k or v?
v
Let n = 1.1922 + 803.8078. Which is smaller: n or -7?
-7
Let a(f) = -8 + 24 + 19*f**2 - 16*f**2 + 17 - 6*f. Let i(k) = 4*k**2 - 5*k + 34. Let j(v) = -5*a(v) + 4*i(v). Let w be j(-13). Is 11 at most w?
False
Suppose 0 = 2*m + 2*m + 2*i + 1168, -5*i = 0. Let h be 3/15*10