 5*w - q - 354. Suppose 3*d + 350 = 5*v, v + 2690 = 5*d + 2760. Is w > v?
False
Suppose -5*i + 77 = 17. Let a = 9677 + -9676. Are i and a non-equal?
True
Let j = -8335 - -8335.1. Is j bigger than 15965?
False
Suppose 7*d - 461 = -419. Suppose -5*k - 5*k = -d*k. Let r = 544/4807 + -2/253. Is r equal to k?
False
Let h(j) = -2*j**3 + 2 + 2125*j - 2123*j + 13*j**2 + 2. Let n be h(7). Is n >= -28?
False
Suppose -160*o + 192*o = 94912. Which is smaller: 2967 or o?
o
Let c be -9 + (34723/(-42) - (-28)/(-294)). Is -835 less than or equal to c?
False
Let j = -8 + 6. Let c be (128/(-160))/(8/20). Let y be c/(-3)*(-48)/64. Which is smaller: y or j?
j
Let h = -86 + 87. Let n(i) = -4*i**2 + i. Let g be n(-1). Let k be (-3)/78*g*6/30. Which is smaller: h or k?
k
Let m be -1*2 + -2 + 3 + -5. Let f(z) = -14*z - 83. Let q be f(m). Let v be ((-2)/(-7))/(4/(-5)). Which is greater: v or q?
q
Suppose -92 = -68*k - 69*k + 45. Let a = -723 - -754.78. Let r = 0.78 - a. Which is bigger: r or k?
k
Let o be (1/(5/178))/(302/2265). Let n = o + -302. Is n smaller than -0.14?
True
Let p be -7 - (-1197)/168 - (57902/(-16) + -2). Is p greater than 3621?
False
Let y = 19610 - 19610. Which is greater: y or 41/138?
41/138
Let d = -0.1093 + 5.1093. Let s = -6.2 + -0.8. Let b = s + d. Which is smaller: -21 or b?
-21
Let k be -1173 + -5 + -7 + 8. Is k greater than -1173?
False
Suppose -332*s + 319*s = -13. Which is smaller: 2/8797 or s?
2/8797
Suppose 0 = 36*s - 10*s. Let x be (-336)/1560 + 1*2/10. Which is smaller: x or s?
x
Let u be (-92532)/(-165) + 32 + -2 + (-11)/(-5). Is u smaller than 589?
False
Let c = 97105 + -905795439/9328. Which is greater: c or 0?
c
Let t = 80 + -19. Let f = 61 - t. Suppose -2*o + 5*p + 41 = 0, 4 = -4*p - f. Which is greater: 19 or o?
19
Suppose 8*t = 13*t - 235. Suppose 2*r + 89 + t = 0. Which is greater: -2 or r?
-2
Let m = -19/4 + 17/4. Suppose 19*f = 1001 + 823. Suppose 247*l = 251*l + f. Which is bigger: m or l?
m
Suppose -5 = -2*f - 3*w, f = -f + 4*w - 30. Let c be ((-13)/2 - f)*(-6)/(-146). Let o = c + -399/7738. Which is smaller: 1 or o?
o
Let w = 1731 - 974. Let s = -637 + w. Which is smaller: 362/3 or s?
s
Let p(b) = b**3 - 3*b**2 - b + 3. Let k be p(1). Is k at most -55?
False
Let v = -29 - -63. Let o(i) = -10*i + 278. Let h be o(24). Is v < h?
True
Let w = -66860 + 66842. Let c = -32 - -18. Let b = -32 - c. Is b greater than or equal to w?
True
Let u be -2 + (9 - 4) - 3. Suppose u = 4*s - 17 + 9. Is s < 5/6?
False
Let i = 518372/9 + -57706. Which is greater: i or -110?
i
Let c(k) = k**2 + k + 1. Let h be c(0). Let s = 458 + -534. Is h greater than s?
True
Let z = 6397/119 + 1728/85. Let n = -520/7 + z. Which is smaller: 1/3 or n?
n
Let i = 9115/63 - 1297/9. Which is bigger: i or -139.2?
i
Let p = 5195/4 + -5262531/4052. Is 0 bigger than p?
False
Suppose 54 + 48 = -102*q. Is 5/768 greater than q?
True
Let d = -122 - -87. Let i be (-4)/(-14) - (-10)/d*1. Are -1/22 and i unequal?
True
Suppose -5*g + 0*g - 15 = 0. Suppose 260 = -8*x + 5*x - 4*k, 452 = -5*x - 2*k. Let m be (-2)/x*4 + (-16640)/5152. Is m at most as big as g?
True
Let t = -67/143 - -16651/38896. Is 0 equal to t?
False
Suppose g - 2*k = -476, 15*g + 3*k = -4339 - 2669. Are -463 and g equal?
False
Let c be 2/(-8) + 20/(-220) + (-605410)/88. Do c and -6879 have different values?
True
Suppose -68 + 135 = -36*p - 5. Is -64.66 at least as big as p?
False
Let d = 22 - 22.3. Let x = 11 + -72. Let s = x - -61.5. Is s bigger than d?
True
Let f(x) = -6773*x**3 - 5*x**2 - 4*x - 5. Let u be f(-1). Which is bigger: 6769 or u?
6769
Suppose -14*d = 13*d - 280 - 10871. Is 4548/11 > d?
True
Let g = -836 - -47651/57. Let a = 12031/682 - 1105/62. Which is smaller: a or g?
a
Let w be 16/(6/(-6)) + -6 + 0. Let s = -22 - w. Which is greater: s or -15/23?
s
Suppose -c - 21 = -g, g = -3*c - 2*c - 81. Let x = -79 - c. Let d = 78 + x. Which is bigger: d or 18?
18
Let a(d) = -d**3 - 3*d**2 - 4*d - 10. Let x be a(-6). Suppose -3*l + l + x = 0. Let m = -61 + l. Which is smaller: 2 or m?
m
Let d be (1 + -3 + 4)/((-2)/4). Let s be (-4)/(360/(-65)) + d/12. Is 1 greater than or equal to s?
True
Suppose 97*a + 114072 = 10*a - 11*a. Which is smaller: a or -6?
a
Let z be ((-2)/34)/(1 - 0/18). Let n = 16 + -43/3. Let k = n - 13/6. Is k at least as big as z?
False
Let g be 5/((-15)/(-4)) + 5/3. Let a be 2/(-1084 - 0/g). Which is smaller: a or 1?
a
Suppose -2*y - 3*o = 121, -4*o + 142 = -4*y + 2*y. Let p(w) = w**3 - 22*w**2 - 408*w - 65. Let i be p(-12). Is i at most y?
True
Let k = -1.2 + -0.2. Suppose -194*r + 24 = -195*r + 2*h, 3*h = 30. Which is smaller: k or r?
r
Let p = -1249/9 - 1412/9. Let u = -293 - p. Which is smaller: 3 or u?
u
Let k(u) = 51*u**2 + 123*u - 21. Let h be k(-2). Suppose 5*z + 2*x + 201 + 130 = 0, z - 5*x = -77. Which is greater: h or z?
h
Suppose -148*r = -154*r - 480. Which is bigger: r or -75?
-75
Suppose -5*k = -20, w + 3*k + k = 63. Suppose -b = -3*x + 6 - w, 4*x + 54 = b. Let f = -28775/2348 + 3/587. Which is greater: x or f?
f
Let c be (1/(-10))/((-12)/968). Let s = c - 25526/3165. Which is smaller: -1 or s?
-1
Suppose -5*s + 0*v = -v - 51, 0 = -4*s - 4*v + 36. Suppose -6*k + 9*k + 9 = 0. Let r be (-66)/(-6) - (0 - k). Which is smaller: r or s?
r
Let q be (60 + -119)/((-688*1)/(-4)). Which is smaller: q or -1?
-1
Let h = 16/10714839 + 976539709669/1307210358. Let x = h + -747. Let r = x - 765/61. Which is smaller: r or -13?
-13
Let p be 492/(-18) - 4/(-12). Let a(u) = u**2 + 26*u - 27. Let f be a(p). Is f <= -3/67?
False
Let j(y) = 19*y - y**3 - 24 - 18*y + 13*y. Let x be j(-7). Are x and 221 equal?
True
Let j = -108311/30 + 3611. Suppose -6*v + 14 - 2 = 0. Which is bigger: v or j?
v
Let k(t) = -14*t + 17. Let m be k(1). Suppose -m*r - 27*r + 1200 = 0. Which is greater: r or 38?
r
Let p = -1143/2050 + 23/50. Which is bigger: 0.5 or p?
0.5
Suppose -q - 4*y - 22 = 0, q + 5*y + 26 = -0*y. Let h(n) = -n**3 - 15*n**2 + 30*n - 75. Let l be h(-17). Which is greater: l or q?
q
Let c = 511 + -490. Let j be ((-168)/18)/(c/49). Which is smaller: j or -21?
j
Let a = -111.54 - -113. Let u = a - 94.46. Let b = 92 + u. Which is greater: -65 or b?
b
Let o be -12*2/3*-2. Suppose -11*l - 25 = -o*l. Suppose 5*t + 5 = 5*q, 0 = l*t + q - 7 + 30. Which is greater: -6 or t?
t
Suppose 5*d - 30 - 54 = -2*m, -248 = -5*m - 3*d. Let s(r) = 3*r**2 - 4*r - 3. Let a be s(5). Is m greater than or equal to a?
True
Suppose -34424 - 123718 + 37758 = 171*v. Is -703 at most v?
False
Let d(k) = 10*k**2 + 99*k + 43. Let t be d(-15). Is 811 smaller than t?
False
Let w(x) = 70*x**2 + 67*x - 698. Let b be w(9). Is 5574 not equal to b?
True
Suppose -t - 412*p + 410*p + 695 = 0, 0 = -t - 5*p + 689. Which is smaller: t or 3/5?
3/5
Suppose -19*c + 83 = -c - 43. Let r(i) = 4*i**3 + 2*i**2 - 2*i + 1. Let m be r(1). Suppose -m*y + 4*z + 17 = -0*z, -5*z = 15. Is y less than or equal to c?
True
Let a be (-4 - -1) + 47 + -51. Let u be 101/(1*a/7). Is -100 greater than or equal to u?
True
Let a = 0.739 - 0.6385. Let z = a - -3.8995. Let u = -0.3 - 0.2. Is u greater than z?
False
Let j(d) = -5*d**3 - 2*d**2 - 134*d + 32. Let i be j(-8). Is i at least 3536?
True
Let f be 14 - 14 - 7/22. Let r = 752201/176 - 4274. Let l = f - r. Which is smaller: 1 or l?
l
Suppose -732*r - 15821 = -745*r. Which is smaller: 1220 or r?
r
Let f = -164 + -249. Suppose 4996*z = 5335*z + 139668. Which is bigger: z or f?
z
Let d = 0.0525 - 219.1525. Does d = 2/5?
False
Let c be (-15)/((-975)/10) - (-608)/104. Is -111 > c?
False
Let k = 8021/210771 - -5/2129. Let j be (-3813)/(-2)*1/(-594). Let r = j - k. Is -3 greater than or equal to r?
True
Let q be ((-6)/72)/(8/(-96)). Do q and 9/437 have the same value?
False
Let v(r) = -r**3 + 21*r**2 + 53*r - 1461. Let m be v(20). Is m < -41/21?
False
Let y be (-10 - (-308)/33)*(-27)/2 - 7. Are 10/473 and y non-equal?
True
Let o = -4688 + 1551722/331. Which is smaller: o or -2?
-2
Suppose -51 = 18*k + 39. Let y be -6 + 5 - 3/k. Is y at least -25?
True
Let g = -12653 - -13692. Is g smaller than 1036?
False
Let m = 0.4197 - -0.1093. Let g = m - 0.429. Which is smaller: 10 or g?
g
Let y = -1/17840 - 35677/53520. Which is greater: 216 or y?
216
Let k(v) = 8*v**2 + 41*v + 59. Let m be k(-2). Which is bigger: 266/33 or m?
m
Let 