-p + 4*j + 1440, 8*p - 4*p - 5815 = 5*j. Let v = p - 1459. Let x be 6/(2/(-3) + 0). Is v <= x?
False
Let f be (-4 + 14)/((-6)/4) - (-230)/345. Is f < -560/107?
True
Let r = -75 - -164. Let k = r - 90.4. Let f = 2.8 - -0.2. Which is smaller: f or k?
k
Let r be ((-5)/(-15))/((-3)/9). Let d = 1780 - 183334/103. Let g = -1709/721 - d. Which is smaller: r or g?
g
Let u be ((-3)/6)/(1/78). Let h be (3/((-27)/6))/(64/(-3168)). Let o = h + u. Which is greater: -1 or o?
-1
Let d be ((-39048)/12180 - -4) + (-4)/10. Let l be ((-118)/(-116) + -1)*2. Let c = d + l. Which is greater: c or 0?
c
Suppose 375*b = 373*b + 3*c - 8, c - 6 = 4*b. Let s(p) = 24*p - 4. Let h be s(2). Let u be 37/h + 9/(-12). Do u and b have the same value?
False
Let x = -4792 - -5684. Is x not equal to 894?
True
Let f = 37.24 - 37.24. Which is greater: f or 127?
127
Let g = -930552/19 + 48976. Suppose -4*c = 20, 2*c - 11 = -3*o + 3*c. Let n be 1 + (o - 1 - 3). Is g bigger than n?
True
Suppose 3*j + 1 = -38. Let z = -19735/649 + 1011/59. Which is greater: z or j?
j
Suppose 709 = -3*n + 481. Let l be (-1 - 0)*(-114)/(-2). Let u = l - n. Which is greater: 77/4 or u?
77/4
Let q be (((-4)/(-13))/(1 + 209))/(820/123). Is 1 <= q?
False
Let d be 6/39 + (-1058)/2990. Let g(t) = t + 1. Let i be g(0). Let b be i - -1 - (0 + -1). Are b and d nonequal?
True
Let h = -5315 + 5319. Is h > -36?
True
Let b(t) = 4*t**2 - 2*t - 9. Let j(v) = -v**2 + 22*v + 27. Let d be j(23). Let n be b(d). Let h = -10.1 - -10. Which is smaller: h or n?
h
Let b = 122 - -356. Let v = b + -481. Let u(w) = -w**3 + 4*w**2 - 4*w. Let i be u(3). Is v less than i?
False
Suppose -450*s - 1220 = -455*s - 3*k, 4*s - 976 = k. Let r = 0.3 + -0.4. Are s and r equal?
False
Let t(y) = y**3 + 3*y - 55. Let q be t(-8). Let a = q - -590. Is 6/43 greater than or equal to a?
True
Let q be (1 + -2)*(-4)/2. Let a = -10 - -16. Suppose -k - u = 3*k - a, -2*u - 10 = -3*k. Is k not equal to q?
False
Let n = 48 + -19. Suppose -3*o + 0*o + 16 = 4*t, 0 = -3*t + 2*o + n. Let p(c) = -c**3 + 7*c**2 - c + 6. Let z be p(t). Which is greater: -2 or z?
z
Let j be (220/150*-5)/(8/852). Is -781 < j?
False
Suppose 5*x + 25 = -5*t, 3*x + 44*t - 5 = 45*t. Which is greater: x or 4757?
4757
Let r = 4119 + -4614. Is r bigger than 1/2?
False
Let o(p) = -p**3 + 3*p**2 - 8*p + 53. Let y be o(4). Is y smaller than -98.2?
False
Let j be (-1)/2 - 22/(-20). Let u = -7.0319 + 4.0319. Is u at least as big as j?
False
Let x = 312.708 + -125.585. Let a = 187 - x. Is -1 less than or equal to a?
True
Suppose 3*k + 0*k + 2*q + 7 = 0, 2*k + 12 = -5*q. Let f(y) = 3*y**3 + 3*y**2 - 4*y + 5. Let m be f(-5). Let j be 4 - k - (-1463)/m. Are -1 and j non-equal?
True
Let b(a) = a**2 + 10*a - 40. Let j be b(-12). Let z = -11 - j. Suppose 10 = z*c + 5. Which is smaller: c or -2/91?
-2/91
Let l be 204/267*(-1362)/(-280). Let j = 1/445 - l. Which is smaller: -4 or j?
-4
Suppose -13688 - 119260 = -419*d + 437*d. Is d bigger than -7386?
False
Let k = 1.12 - 1.38. Let f = 4.54 - 5. Let x = k - f. Which is bigger: 1 or x?
1
Suppose 0 = -5*h - 5*y - 835, -3*y + 4 - 13 = 0. Let z(g) = -82*g + 1. Let x be z(2). Does x = h?
False
Suppose 26*k - 25*k - 4*g - 1100 = 0, 4*g = 4*k - 4460. Suppose -4560 = -8*w - k. Which is greater: 429 or w?
w
Let s = 0.186 + 0.124. Let u = 115.69 + s. Let y = -117 + u. Is y greater than -0.09?
False
Suppose 0*a = 5*x + 2*a + 3, -3*x - 5*a + 2 = 0. Suppose -13*i - 48 = 95. Let z be i + 15 - 68/14. Is x > z?
False
Let l = 2 - 2. Let o = 25.4 - 22. Which is smaller: l or o?
l
Suppose 17 = 3*s + 2*t, 0 = 3*s - 3*t + 1 - 13. Suppose -y + s*i = i + 115, y + 5*i = -79. Let b be 13/((-1001)/14) - (-136)/y. Which is smaller: -0.1 or b?
b
Let t be (5/((-175)/20))/(2/(-7)). Let o(g) = -g**3 + g - 1. Let q be o(0). Let a be q/t - (-5)/((-30)/3). Which is smaller: a or 1/8?
a
Let r = 0.10477 + -20.10477. Is r equal to -2/23?
False
Let d = 8432 + -8426. Is 583 greater than d?
True
Let d = -10.369 - 2845.631. Which is bigger: d or 2?
2
Let q = 6/3576451 + -368875156218/46493863. Let g = 7926 + q. Is g smaller than -7?
True
Let h = -108 - -108.1. Suppose 47 - 67 = -4*z. Suppose 4*u + 8 = -5*f, z*u - 49 + 18 = 4*f. Which is bigger: f or h?
h
Let u = -7 - -2. Let y = 910/33 + -5449/198. Which is smaller: u or y?
u
Let d = -24.767 - 1353.233. Do 6 and d have the same value?
False
Let d(k) = k**2 + 77*k + 102. Let h be d(-75). Which is smaller: h or -51?
-51
Suppose 0 = 2*v - 10, -3*f + 4*v - 23 = -2*f. Let u be 3*(89/(-29) - f). Let w(r) = r**3 + 18*r**2 + 31*r - 17. Let n be w(-16). Is u < n?
False
Suppose -c + 0*g + 3*g + 19 = 0, 3*c = 4*g + 37. Let m = -4 + 8. Suppose 5 = 4*q + 5*v, 0 = -5*q - m*v + 11 + 2. Which is greater: q or c?
c
Let r = -2437 - -2437. Is -1433 greater than r?
False
Let v = -275 - -389. Let h = v + -113. Which is greater: h or -2/81?
h
Let b = -3.9 - -2.39. Let g = -0.95 - b. Let l = -0.621 + g. Is l < 2/7?
True
Suppose 107*g + 97 = -224. Which is smaller: -32/19 or g?
g
Let r = 1005 - 987. Which is greater: r or 82?
82
Let y(v) = -3*v + 6. Let k be y(25). Let n = k - -70. Let t be ((-1 - 1) + n)*(-10 - -8). Which is smaller: 2.3 or t?
t
Let o be 6/(-75)*(6 + (-187)/17). Which is greater: o or -60/43?
o
Let j be (-3 + 2)/(31/(-2) - -1). Let b(k) = 2*k + 25. Let x be b(-17). Let n be 3/x - -2 - 2/3. Which is greater: n or j?
n
Suppose -8*a + 124 + 852 = 0. Which is smaller: a or 120?
120
Suppose 4*z = 4*r - 548, 4*r + 240 = z + 788. Which is greater: 47 or r?
r
Let h be (225/(-15) - 349)/(-2). Which is smaller: h or 151?
151
Let g = 670 - 663. Suppose 10*s + 5*j - 7 = g*s, 4*s + 3*j - 2 = 0. Which is bigger: -3/179 or s?
-3/179
Let i = 46.1 + 1.9. Let l = 1.51 - 50.51. Let r = i + l. Which is smaller: 0.19 or r?
r
Let n(i) = -3*i**2 - i + 6. Let a be n(-5). Let t be (-3)/9 + a/6. Let q be -8 + 4 + (676/(-91) - (-3)/7). Do t and q have the same value?
True
Let p = 8175.0988 + -8177. Let x = 0.0012 + p. Is x at least as big as 1/3?
False
Let n be (8019/17940)/(3294/(-36)). Let i = 1/598 - n. Which is smaller: 1 or i?
i
Let o = 4320 - 3269. Which is smaller: o or 0?
0
Suppose 3*c - 5*a + 3*a - 749 = 0, -2*c + a + 499 = 0. Suppose -2*s + 2*w = 474, -s - 16*w = -11*w + c. Do s and -240 have different values?
True
Let y be (-20975)/4225 - (0 + -5). Does y = -1?
False
Suppose 2*t + 4 = 4*t. Let j = 55 - 435/8. Which is greater: t or j?
t
Suppose -j + 4*k = -83 + 23, 0 = 3*j + 4*k - 148. Which is bigger: j or 37?
j
Let h(j) = -19*j**2 - 38*j - 174. Let w be h(-6). Are -627 and w nonequal?
True
Let t = -15339 + 13878. Is t not equal to -10232/7?
True
Suppose -71 = -21*c + 34. Suppose -3*i = -9, -c*i + 25 = 5*d - 0*i. Which is smaller: d or -6.8?
-6.8
Suppose 2*c = 6, 2*c + 564 = 2*f - 222. Let o = f - 1187/3. Are o and -40 nonequal?
True
Suppose -5*l - 10*l + 60 = 0. Suppose -5402 + 618 = -l*b. Let d be (-1)/5*65/b. Which is greater: d or -1?
d
Let a = 132.9 - -11.1. Let q = 230 - a. Let v = q + -92. Are 2/3 and v nonequal?
True
Let d = 1966554853/9045 + -217419. Is d at most 0?
True
Suppose -1608*d - 5871 = -1589*d. Suppose -3*w + s - 921 = 0, -6*w - 4*s - 1244 = -2*w. Which is smaller: w or d?
d
Let j = -2.21 - 5.01. Let b = 8.22 + j. Which is bigger: b or 13?
13
Let i = 1.87 - 1.19. Let r = 0.78 - i. Are 6 and r non-equal?
True
Suppose 0 = -2*p + 6*p - 24. Let h be -1 - (5*6)/(-5). Suppose -f - 133 = h*r, -r - 2*f - p = 17. Which is greater: -28 or r?
r
Suppose -982 = -8*h - 942. Suppose -2*x + 6 = 0, 3*f = -2*x + 3*x + 69. Let d be ((-15)/h)/(2/(f/9)). Which is greater: -6 or d?
d
Let a(h) = 7*h**2 - 1027*h - 1170. Let w be a(148). Let f be -1 + (656/2)/2. Do w and f have the same value?
False
Suppose 42*a = 39*a + 78. Suppose 0 = 30*d - a*d + 72. Let z = 72 + d. Is z != 53?
True
Let a be 12/(-60)*(4 - 4). Are a and 1/43416 equal?
False
Let d = 0 + 5. Suppose 0 = -36*w + 53*w - 7140. Suppose u + w - 428 = 0. Are u and d equal?
False
Let t = 818 + -506. Let r = -283 + t. Is r < 4?
False
Let v = -0.03499 - -3.03499. Which is smaller: v or -1023?
-1023
Suppose -30 = -4*s + 54. Suppose -3*v + 675 = m, -2*v - 5*m = 274 - 724. Let o = v + -226. Which is bigger: o or s?
s
Suppose 4*s - 39 + 258 = -3*n, -3*s = -n - 73. Let p = n - -97. Which is bigger: -1/2 or p?
p
Let