Let m be v(0). Do m and c have different values?
True
Let p = -251 + 252. Is p >= -2/21423?
True
Let r = -49.29 + 81.29. Which is smaller: r or 3/5?
3/5
Let t(r) = -39*r - 102. Let s(z) = 59*z + 153. Let w(x) = -5*s(x) - 7*t(x). Let f be w(-4). Is f at least as big as 149/4?
False
Let g = -145 + 148. Let n(c) = c - 26. Let q be n(g). Which is bigger: -25 or q?
q
Let b be 1*(-7)/(-21)*-6. Let o be 33/b + 126/(-84). Which is smaller: o or -1?
o
Let w be 7/49 - (-688)/(-14). Let c be w/(-74) + 35/(-70). Suppose -3*a = -0*a, -m - 5*a = 1. Which is bigger: c or m?
c
Let c = 497.96 - 505. Let j = 6.04 + c. Is j smaller than 109?
True
Suppose 42*v + 128 + 40 = 0. Is v != -29/6?
True
Let f = -1004 - -792. Let w = 212.15 + f. Let k be ((-18)/20 + 1)*-2. Is k <= w?
True
Let f be (-2)/(-3)*(-6)/(-10)*5. Suppose f*v + 0*v = 7*v. Let u = -734 - -27155/37. Is u less than v?
True
Suppose -3*n - 2*f = -2, 2*n + 5*f = -40 + 45. Let i be 2 - (-1 + 9946/2898). Let z = -2/161 + i. Is n less than z?
False
Let h be ((-12)/(-8) - 0)/((-21)/(-28)). Let f be 4 + 4 + -3 + -3. Let w be (f - 0)*(-1)/h. Is w less than or equal to -6/17?
True
Suppose -6*y + 8*y - 318 = 0. Let v(t) = -t**3 + 35*t**2 + 248*t + 78. Let w be v(41). Which is bigger: w or y?
w
Let i(t) be the third derivative of -t**4/8 - t**3/6 - 2*t**2. Let p be i(-1). Let h = -1157 - -1160. Which is bigger: p or h?
h
Let v(r) = -5*r**2 + 13*r - 26. Let w be v(9). Let h = w + 172. Which is smaller: h or -141?
h
Let m = 841/1196 - 1/92. Does -0.2 = m?
False
Let x(b) = -49*b + 4. Suppose -2*r + 5*r - 17 = -2*f, 0 = 2*r - 4*f + 10. Let d be x(r). Let i = d - -68. Do -76 and i have the same value?
False
Let r = 15711 + -15733. Does r = -193/9?
False
Let d = -103 + 102.855. Let v = d + 77.145. Which is smaller: 0 or v?
0
Let b(t) = 3*t**2 - 9*t + 4. Let l be b(3). Let w be l*((-44742)/5592 - -8). Which is smaller: 0 or w?
w
Let a = -801 + -10. Let c = a - -782. Let m be -1*1/1*1. Is c at most as big as m?
True
Let o = 129740687/22178770 + -2698/3583. Let p = 2/619 + o. Which is bigger: p or 4?
p
Suppose 6*g - 15 = -4*r + g, r + 2*g = 0. Suppose 0 = 5*i - 3*m + 20 + r, -4*i - 3*m - 24 = 0. Are i and 5 non-equal?
True
Let s = -711242/2175 + 9484/29. Let p = -0.5 + 0.5. Is s smaller than p?
False
Let z be 8 + 6 - (-1 - 5). Suppose -2*n + 4*k - 20 = 0, 19*n - 15*n - z = -4*k. Is -2/41 greater than or equal to n?
False
Let u = -0.729 - -0.829. Let h = -839 + 54538/65. Which is greater: h or u?
u
Let o be (36/(-10))/(2/(-10)). Let p = 10 + o. Let l be (2/(-1))/(p - 6). Which is smaller: 0 or l?
l
Let v = 0.1 + -1.1. Let a be 16/40 + -3 + (-762)/15. Let j = a + 53. Which is bigger: j or v?
j
Let m = 208 - 209. Let a = -115/2 + 1709/30. Is m >= a?
False
Let d = -255.1 + 22.1. Let z = d + 236. Does 12 = z?
False
Let c = -37 + -18. Suppose 228 = -4*s + z, -616*s = -614*s - z + 116. Which is bigger: c or s?
c
Let z = -251 + 334.2. Let n = 83.61 - z. Which is bigger: n or 5?
5
Let l be 12/(10/(-30)*9/16). Let p be (-24)/(-35) + (l/28 - -2). Is -57 greater than or equal to p?
False
Let t(s) = -s**2 + 102*s - 680. Let m be t(95). Which is bigger: -5 or m?
-5
Suppose -4*d + 26 = 2. Suppose -3*a = -3*b - 30, -15*a + 16*a = -3*b - 18. Is b at most d?
True
Suppose -506 = -54*i - 140 + 1578. Let g = 0 - -3. Suppose g*n - 2*n + 2*j = 37, -172 = -5*n + 3*j. Which is greater: i or n?
i
Suppose 12*m = -5*m - 3209 - 2758. Which is smaller: m or -353?
-353
Let t = 27.8 - 27.511. Let a = t + -0.349. Which is bigger: -14 or a?
a
Let h be (-3)/(-12)*694/8 + 12/(-16). Is h at most as big as 21?
True
Suppose -5*c + 2*z - 8687 = 0, -2*c + 9*z - 3478 = 5*z. Are -1738 and c unequal?
True
Let r = 12662 + -13685. Is 0.04 at least as big as r?
True
Let y be (-3 - -1) + (-6 - -11). Let r be y - 7/(21/(-9)). Let c be r + (4 - ((4 - -7) + -3)). Are c and 8 non-equal?
True
Let q be 57 + 3*28/21. Suppose -a = -c + 101, 3*c + 458 = -4*a + q. Is -98 equal to a?
False
Suppose 8*n - 36 = -4*n. Suppose -3*s + 490 = -5*v, n*v + 270 = s - 4*s. Let q = v - -80. Do q and -18 have different values?
True
Let q be (-1044)/(-7140) - (-36)/(-306). Is 117 >= q?
True
Let d = 3760796755/966 + -3893164. Let j = -3/322 + d. Is 26 not equal to j?
True
Let g(j) = j**3 - 5*j**2 + 5*j. Let m be g(3). Let s be m/7*-66 + 6/(-21). Let t be s/(-4 - 0) - 4/(-2). Which is smaller: 1/15 or t?
t
Suppose 88*a + 24996 = 92*a + 4*w, 2*a = -w + 12499. Is a <= 1?
False
Let k be 40/(-10 + 5) - -6 - 80. Is k less than 17?
True
Suppose -98 = 4*y + 3*h, 11 = -y + 4*h - 4. Let f = y - 26. Let m be f/(-3) + 6/(-18). Which is greater: m or 17?
17
Let b(v) = 7*v - 33. Let p be b(6). Let j be (6/p)/((-2)/183). Let q = j + 61. Is -2/85 not equal to q?
True
Let u = -531.93 - -458.93. Let i = -0.2 + -0.8. Which is smaller: i or u?
u
Let t = 64697/11 - 5875. Which is bigger: t or 6?
t
Suppose -3*z + z = 2*g - 26, -5*z + 63 = 3*g. Suppose z = 886*f - 890*f. Which is smaller: -2 or f?
f
Suppose 429*m - 423*m = 36. Suppose -m*n = 1218 + 444. Is -277 smaller than n?
False
Let d(z) = 241*z - 1928. Let v be d(8). Which is bigger: v or -2/13967?
v
Suppose 4*k - 81*m + 84*m + 628 = 0, -2*k = 2*m + 312. Which is greater: k or -158?
-158
Let n(r) = -r**3 + r**2 + r + 2. Let t be n(0). Let f = 2202 + -2207. Let v be f + t + (44/3)/2. Is v bigger than 5?
False
Let m = 43.25 - 43. Let o = m - 21.25. Let j = 24 + o. Which is smaller: -5 or j?
-5
Let h = 6267 + -582797/93. Is -0.1 at least as big as h?
False
Let y(z) = 12*z**2 + 49*z + 313. Let d be y(-8). Which is bigger: d or 690?
690
Let b = -500 + 546. Which is greater: 9.2 or b?
b
Let q = 80 - 77. Suppose u + 64 = -0*y + q*y, -5*u - 67 = -4*y. Let w be 4*1*4/24. Which is greater: w or y?
y
Let h = 1664 + -1480. Is 187 > h?
True
Suppose -3 + 3 + 0 = 54*f. Is f equal to 109/58?
False
Let w = 0.3 + -0.2. Let n = -35.935 + 36. Let h = 0.085 - n. Which is greater: w or h?
w
Let s = -22697.4 - -22697. Which is bigger: s or 786?
786
Let c(i) = -i - 25. Let n be c(-26). Let g be (3 + -5 + 1)/n. Which is bigger: 2.51 or g?
2.51
Let x = 2274 - 2435. Is -162 greater than x?
False
Let h = 0.10302 + -3.48902. Do h and 1 have the same value?
False
Suppose 2*q + 6988 = -4*y, -5*q - 5548 - 3182 = 5*y. Which is smaller: -1746 or y?
y
Let c = -57/8 + 75/8. Suppose 0 = 3*f - 588 + 585. Do f and c have different values?
True
Let o = -28.1516 - -0.0116. Let t = 516 - 488. Let h = t + o. Which is smaller: -0.1 or h?
h
Let b = 39.36 + 13.64. Which is greater: 10 or b?
b
Let a(z) = -32*z + 15*z + 5*z**2 - 10 + 2*z**3 + 16*z - 2*z**2. Let b be a(-4). Is b at most -87?
False
Suppose 0 = -0*a - 10*a + 10. Let y = -3002 + 591392/197. Is a at most as big as y?
False
Let q(n) = -5228*n - 550. Let f be q(-5). Which is smaller: f or 25589?
25589
Let y be 2/6*3*2. Does 13/23 = y?
False
Let d = 268.17 - 266.77. Let m = 1.7 - -0.3. Let a = m + -4. Which is bigger: d or a?
d
Let y = -0.0223 + 24.0223. Let d = 0.1677 - 23.9877. Let a = y + d. Which is smaller: 0.1 or a?
0.1
Let x be ((-3)/12)/(12/(-336)). Suppose -24*l + 4960 = x*l. Which is greater: 162 or l?
162
Let u be ((-5285)/63)/(13838/1320) + 16/2. Which is greater: 1 or u?
1
Let x = -8511 - -9872. Is 1361 != x?
False
Suppose 0 = -333*m + 329*m + 3*y + 3002, 2*m - y = 1498. Is m greater than 746?
False
Suppose -21*g + 15 = -24*g. Let s(c) = -186*c**2 - 7*c - 10. Let n be s(-5). Let p = -60185/13 - n. Is g less than p?
True
Let n = -4128 - -4128.0513. Is -4 at least n?
False
Let j be -10 - 27/((-1528065)/573232) - 2/15. Are j and 0 equal?
False
Let q = 88.85 + -89.85. Which is bigger: q or 11.19?
11.19
Let k(g) = 3*g**2 + 9*g + 1. Let m be k(-3). Suppose 3*q = -3, 2*a - q + m - 8 = 0. Do 0 and a have the same value?
False
Let k = -1748/5 + 43697/125. Which is bigger: k or 0?
0
Let u = 107 + -21. Suppose -3*n - 5*a + u = 0, a = -5*n + 3*a + 133. Let l be 0*(n/36)/(-2 + -1). Which is bigger: -2 or l?
l
Let b = -42 - -73. Let h(z) = -z**2 - 5*z + 49. Let r be h(-8). Which is smaller: r or b?
r
Let u(c) = 684*c**3 - 4*c**2 - 5*c - 1. Let r be u(-1). Is r at least -684?
True
Let b(d) = -37*d**2 + 194*d + 136. Let r be b(6). Let t(v) = 33*v**3 - 2*v - 1. Let x be (2/(-4))/(-1)*-2. Let w be t(x). Is w at least as big as r?
True
Let x = 0.453 - 