4*n + 5*s. Let v = -10/51 + -257/510. Is v at least n?
True
Let j(n) = 1231*n - 240. Let s be j(4). Are s and 4683 non-equal?
True
Let l(i) = -i**2 + 11*i + 3. Let o be l(11). Suppose -25*w + 23*w - 12 = 5*x, -2*w - o*x - 8 = 0. Which is smaller: 7/27 or w?
w
Let d be 3*(-39716)/59592 + (15 - 13). Are d and 0 nonequal?
True
Let j = -9066 - -9067. Which is smaller: 2/15679 or j?
2/15679
Suppose -r - 4 = -0. Let m(y) = -y**2 - 4*y - 1. Let x be m(r). Let o be 2 + 184/18 - 88/396. Is x != o?
True
Let j = -271055506/1621 + 167215. Is 0 greater than j?
False
Let i be ((-149)/7599)/(2/4812). Is -47 less than or equal to i?
False
Let x(j) = -j + 55. Let m be x(20). Suppose -m = 5*k - r, -k = 2*r - 4 - 0. Is k equal to -5?
False
Let m = 23.6412 + 0.0588. Let s = 23.6 - m. Is 9/20 smaller than s?
False
Let p = 390 + -134. Suppose -23*s + p = -31*s. Is s <= 0.4?
True
Suppose -10*r + 3153 + 4647 = 0. Is 780 smaller than r?
False
Let t = 666797/68943941 + -47/5093. Are t and 1 nonequal?
True
Let f = -222.4 + 225. Let s = f - 41.6. Is -2 <= s?
False
Suppose -b + 125 = -5*w - 6*b, -3*b = 2*w + 53. Let m be (-4)/4*15/3 - w. Is 17 at most m?
True
Suppose 3*x + 4*t + 29 = 0, 4 + 0 = -2*x + 5*t. Let o be (-4)/18 + (6195/27)/x. Let c be ((-2)/4)/(-3*o/18). Is 0 < c?
False
Let d(l) = -8*l**3 - 6*l**2 - 10*l - 12. Let h be d(-6). Let z be (-1)/4 + -6*(-55)/h. Let g = -0.1 - 0. Which is smaller: g or z?
g
Let m = 864 - 1832. Let r be 64/6*(m/224 - -4). Let z(x) = x**2 - 5*x - 4. Let y be z(5). Are r and y non-equal?
True
Let w be (165/(-18))/(-19 - 10). Let a = w + 1/58. Is a not equal to -0.096?
True
Suppose -2*c - f + 8 = 0, 4*c - 4*f + f = 26. Suppose z + 10 = 6, -160 = 5*g + c*z. Which is bigger: -138/5 or g?
-138/5
Let h = 8 + -10. Let s be (-1)/h - (-119)/(-34). Let p be 46/2 + 2 - (s + -1). Are 26 and p equal?
False
Let h = 5602 - 4781. Are h and -0.02 unequal?
True
Let s be (214 - 216)/(-1 + 5). Let c be (1/2)/(7/(-252)). Is s greater than or equal to c?
True
Suppose -13*v - 103388 = 3914. Is -8253 >= v?
True
Let y be (-868)/(-7 - 0) + (-4)/2. Let h = y - 121. Let x = -95419/93 + 1026. Is x less than h?
True
Let q = 1445 - 1444.8. Which is bigger: -516 or q?
q
Let u be (-21)/(-28)*(-2)/6. Suppose 0*h - 5*h = -22*h - 748. Which is smaller: u or h?
h
Let f = -533 - -457. Let b = f + 16. Is b != -64?
True
Suppose -49074 = 9*g - 43548. Which is smaller: -616 or g?
-616
Let m(q) = -2*q**3 + 93*q**2 + 51*q - 206. Let b be m(47). Which is smaller: -339/19 or b?
b
Let a = -3723 - -3585. Which is smaller: 1.4 or a?
a
Let q be (516/(-301))/(21/(-27)). Which is smaller: -4 or q?
-4
Let p = 2862 - 51505/18. Which is smaller: p or 1?
p
Let i = 8278 + -6323. Which is greater: -2/3 or i?
i
Let m be -146 + (-14 - (18 - 24)) + (0 - -14). Which is greater: m or -151?
m
Let j = -853.678 + 853. Let d = 40.322 - j. Which is greater: d or 0.3?
d
Suppose 16*h - 88099 = -48*h + 11805. Is 1559 at most h?
True
Let i = 286 - -704. Let l be 2 + -2 - 2 - i/(-506). Suppose 0 = 4*h + 5*g - 9, -5*h - 3*g + 5 = -3*h. Is h bigger than l?
True
Suppose 10*y - 7*y + 5*a = -6, 2*y = a + 9. Let k be (-5)/(-1) - 0*y/(-6). Suppose -k*b = b + 5*b. Which is greater: b or 40?
40
Let n = -0.187 - 20.413. Let f = 3.6 + n. Let w = f + 18.2. Which is greater: 1 or w?
w
Suppose 0 = c + 4*i + 3 - 39, 9 = 3*i. Let g be 248/c - (5/(-3) - -2). Suppose -2*d = -5*o - 7, 11*o = 13*o + g. Which is smaller: d or -7?
d
Suppose 0 = 32*z + 98 - 66. Which is greater: -2/36869 or z?
-2/36869
Let f be 8/(-10) + (-7268)/(-60) + (-46)/(-69). Is f > 1?
True
Suppose 9*n - 19*n - 740 = 0. Let y = n - -68. Which is smaller: -5 or y?
y
Let k = -9979.6378 - -9979. Is k not equal to 1?
True
Let h(j) = -j**2 + 9*j - 2. Let g be h(8). Suppose 2*t = 4*t + g. Let m = -183 + 182. Which is bigger: m or t?
m
Let b = -6637369/140 + 47410. Which is smaller: 1 or b?
b
Let v = -28 - -24. Let n be (17 - (7 + v))*1. Let s = n - 12. Do s and 0.3 have the same value?
False
Let b(t) = 263*t - 34. Let r be b(2). Suppose -r*l - 981 = -501*l. Which is greater: 107 or l?
l
Let y = 206 + -208.67. Let v = -4.67 - y. Which is bigger: 2/23 or v?
2/23
Let z = -14.254 - -14.154. Which is greater: z or 6132?
6132
Let v be (-506)/184*(-1)/(-11). Suppose -9 = 3*r + 24. Which is smaller: r or v?
r
Let a be (198 + -188)/(3/((-138)/(-34))). Is a <= 15?
True
Let f(d) = 11*d**2 + 3*d**2 - d - 3*d**2. Suppose -53*o = 29*o + 63 + 101. Let v be f(o). Is v bigger than 48?
False
Suppose 3*h - s = 17 - 4, 3*s = -6*h + 51. Is h greater than 166/33?
True
Let h be (2/(-11))/(2/156). Let z be ((-64)/36 - (-4)/(-18))/(8 + 2585/(-329)). Which is smaller: z or h?
h
Let p be (-444)/18796*50/6. Which is bigger: 0 or p?
0
Let n be (48/(-32))/((-17)/(-10) - 2). Suppose -4*v + 5*v = -5*h + 86, -4*v = n*h - 359. Is v less than 89?
False
Let b = -17792 + 18739. Is 954 not equal to b?
True
Suppose 0 = -3*y - t - 1894, -5*y - 1083 = -3*t + 2083. Let s = 560 + y. Are s and -74 non-equal?
True
Suppose -i + 940 - 988 = 4*g, -3*g - 257 = 5*i. Which is greater: -39 or i?
-39
Let i be (-4)/12 - 5*(-28)/105. Do i and 13/16 have the same value?
False
Let q be ((-1)/5*(0 + -1))/7. Let v = -57/770 + q. Suppose 2*j - 34 + 30 = 0. Which is smaller: j or v?
v
Let l = 31659/58930 - 192/355. Let j = 11701/22410 + l. Let o = j - 1/54. Which is greater: o or 4/67?
o
Suppose 11*i - 84 + 1800 = 0. Which is smaller: i or -1861/12?
i
Let t be (286/99)/13 + (-194)/630. Which is bigger: -1 or t?
t
Let q be 6/(-33) - (-63812)/(-176). Let p = q - -363. Is p at most -32?
False
Let m be (-3)/2 - (-33)/6. Suppose -m*x + 80 = 4*z, z + 5*x - 4 + 0 = 0. Let n(d) = -24*d - 49. Let h be n(-3). Is h not equal to z?
True
Let b = -15549 - -513119/33. Are -0.06 and b equal?
False
Let k = 30 + -11. Suppose -17*s + 324 = -16. Let m = k - s. Is m >= -2?
True
Let r = 2189 - 5369. Is 2/7 < r?
False
Let s(o) = 135*o**2 - 487*o - 36. Let f be s(-14). Is 33242 at least f?
True
Let c = 0.13 - 0.23. Suppose -48 = o - 6*b + 3*b, 156 = -3*o + 5*b. Let l = o + 56. Which is greater: c or l?
c
Let t = -377916 + 60466959/160. Is t less than 1?
False
Suppose -70 = -4*h + 46. Suppose -4*y = -r - 94, 17*r + 107 = 5*y + 14*r. Is h < y?
False
Suppose 3*y + 3160 = 5*u, 33*u - 1275 = 31*u - y. Let p = u - 604. Is p greater than or equal to 29?
True
Let s(z) = -3*z - 56. Let u(w) = w + 19. Let x(c) = -4*s(c) - 11*u(c). Let g be x(-7). Suppose -31 = -5*d - 4*j - g, -2*d + j = -4. Are d and 4 equal?
False
Let o(q) = -q**2 + 22*q - 90. Let d be o(20). Let z = 106 - 51. Let v = z + d. Is v greater than 9?
False
Let l = -1/29525 + 3690718/2745825. Let f = l - 1/93. Which is smaller: -103 or f?
-103
Let q = -704 + 703. Is -31/68 at least q?
True
Let w = -50748 - -50781. Suppose 0 = 2*d + 2 + 2. Which is smaller: w or d?
d
Let j = -3426005/8271 + 3728/9. Which is smaller: -1 or j?
-1
Let w = -5.42 + -1.68. Let d = w - -4.139. Let m = -0.039 + d. Which is smaller: m or 0.4?
m
Let d = 0.32 + 363.68. Let i = 348 - d. Let f = -35 + 104/3. Is f > i?
True
Let z = -20 - -14. Suppose 4*c = -2*g - 830, 0 = -7*c + 6*c - 4*g - 190. Let h be c/84*(-16)/10. Do z and h have different values?
True
Let t = 130 + -173.7. Let s = t - -59. Let c = s - 11.3. Is -2/31 at least as big as c?
False
Suppose 11 - 53 = -14*m. Suppose 0 = 2*w - u + 17, 2*w + m*u = -5 - 0. Which is bigger: w or -19/3?
-19/3
Let b = 85.7 - 75.69. Let g = b - 0.01. Let a = g - 7. Is 3 > a?
False
Let u = -54 + 118. Let o be (-36)/(-48)*1*u. Is o >= 48?
True
Let q be 65 + 16/(8 + -6). Suppose 3*i + k = -5 - 36, -4*i - 5*k - q = 0. Which is smaller: i or -13?
-13
Suppose -188 = -11*q + 6*q - 4*b, 0 = 3*q + b - 110. Is q bigger than 394/11?
True
Let a = -774 - -1646. Let u = a - 93308/107. Is u bigger than 0?
False
Let y = 44.019638 + -0.036638. Let t = y - 44. Let z = t + -2.983. Which is smaller: 2 or z?
z
Let y be ((-2)/4)/(2/(-40)). Let v = -373 + 376. Let i(t) = 2*t**3 - 4*t**2 - 4*t + 3. Let k be i(v). Which is smaller: y or k?
k
Let m = 56 + -142. Let v = m - -87. Let w(g) = 3*g**2 - 2*g. Let a be w(v). Which is greater: -2/67 or a?
a
Suppose 0 = -0*g + g. Suppose -87*q + 2467 + 1622 = 0. Suppose -7*v - 135 - q = g. Is -26 > v?
False
Suppose -5*d + 0*d = -465. Let j = -375 - -283. Let a = 