e -5*s + 2*i = x, -s - 3*i + 5 = 26. Is b > s?
True
Let w(i) = i**2 - 3*i + 1. Let q be w(2). Let k = 556318/29 - 19184. Which is smaller: q or k?
q
Let c(m) = 9*m**2 - 44*m - 20. Let p(d) = -d**2. Let k(s) = -c(s) + p(s). Let i be k(7). Which is bigger: -164 or i?
i
Let d = 12 + -24. Let c(i) = i**2 - 24*i + 69. Let b(m) = 10*m + 100. Let y be b(-8). Let h be c(y). Do h and d have different values?
True
Suppose 2*t = -4*l - 5 - 3, l = -5*t - 2. Let c be (-1)/31*(89 + 72) + 5. Which is smaller: c or t?
c
Let a be 37740/(-120) + 0 + 1/2. Let v = -315 - a. Which is smaller: v or 3/155?
v
Suppose -171 = -5*v - 81. Suppose -3*j - 109 - v = -4*n, j + 61 = 2*n. Which is smaller: 32 or n?
n
Suppose -21*d + 23*d = -3*l - 10456, -3*l - 20924 = 4*d. Which is greater: d or -5233?
-5233
Let z(i) = -i + 6. Let t be z(3). Suppose t*h + 16 = -h. Let a be (11/h)/((-2)/8) - -2. Which is smaller: a or 1?
1
Suppose 3*l - 402 = 3*i, -2*l - 4*i - 172 = -470. Let h = l - 97. Let w = -29 + 71. Are w and h nonequal?
False
Let c = -423.298 - -4.498. Let z = -419 - c. Let f = 103/2 + -53. Which is greater: z or f?
z
Suppose 73 + 68 = -i. Let o = 59/15 - 2194/15. Are o and i non-equal?
True
Let r be (4/(-6) - 296/(-111))*(-7)/(-21). Which is smaller: r or -660/13?
-660/13
Let c = 66 - -5. Let a = 246411 - 246340. Is a less than c?
False
Suppose -4*g = -5*o - 17 + 59, 0 = -4*g + 2*o - 48. Suppose 4*c + s + 242 = 0, c + s + 0*s + 59 = 0. Let t = 54 + c. Is g >= t?
False
Let j = -59 + 59.23. Let v = j + 0.04. Let w = -0.33 + v. Is -5 at most w?
True
Let d = -12167 - -7375. Which is smaller: d or 1/4?
d
Let g = 763 + -540. Is 222 smaller than g?
True
Suppose 724 - 3564 = -2*a. Let d be (-3)/(45/a) + (-8)/24. Is d greater than -95?
False
Let l = -173.3 - 1114.7. Is l >= -1/4?
False
Let w be (-96)/(-10) - (-8)/20 - 0. Let h be (6/(-5))/(w/25). Let t be 18/24 + 2 + h. Is t less than or equal to -2/157?
True
Let v = 362 + -300. Suppose 0 = -3*h - 2*t + 143 + v, -2*t - 2 = 0. Is h equal to 72?
False
Suppose 14*v - 16*v + 968 = 5*y, -466 = -v + 2*y. Let h = -468 + v. Which is smaller: 11 or h?
h
Let o be 6/84*2 + 2784/(-17528). Is 1 greater than o?
True
Let r be 2067/45 + 20/50 - -5. Suppose y = -4*y + 250. Is y bigger than r?
False
Let g = 0.122 - -10.678. Let s = g - 10.824. Do 0.02 and s have different values?
True
Let z = 15848697/79 - 200613. Is z at most as big as 4?
True
Suppose -16 = 4*y, -3*y = -4*f + 2*y + 676. Suppose 4*a + 6*s = s + f, -4*s = -5*a + 164. Which is smaller: a or 0?
0
Suppose -263 = -13*v - 94. Which is greater: 367/27 or v?
367/27
Let v = -1128.4 - -1128.2. Are 6.31 and v non-equal?
True
Let t = -205 + 123. Are t and -3/10 equal?
False
Let c = 0.13611 + -0.18411. Are -5.3 and c equal?
False
Let w be (532/42)/(4/(-18)). Let p = 398/7 + w. Which is greater: 2/27 or p?
2/27
Suppose -4*k = -5*f + 17, 5*f - 21 = 7*k - 5*k. Suppose k*r = 3*i + 7, 3*i + 5*r - 15 = 8*i. Which is smaller: i or -8?
-8
Suppose -5 + 33 = 7*t. Suppose 0 = 4*b + 2*f + 2, 5*f + 4 + 1 = -5*b. Suppose -t*q - 16 = 2*d, -d + q + 1 + 6 = b. Which is greater: d or -0.3?
d
Let t(c) = -c**3 - 6*c**2 - 5*c - 1. Suppose 4*a - 3*a + 2 = -b, -b - 12 = 3*a. Let y be t(a). Let f be (-49)/483*42/(-49). Which is greater: f or y?
f
Let z = 17353 + -16953892/977. Which is smaller: z or 0?
z
Let m be (27 + -2 + 0)*(-48)/(-40). Suppose 3*b = 3*x + m, -7*b + 60 = -2*b - 3*x. Which is greater: b or 0?
b
Let h(o) = o**2 - 72*o - 224. Let b be h(-3). Does b = -0.191?
False
Let o = 509/51 - 186962/18411. Is o bigger than 1?
False
Let f = -137 + 160. Let q(y) = -2*y - 8. Let c be q(f). Is c bigger than -53?
False
Let n = -809 + -856. Which is smaller: n or -1663?
n
Let i = -4770565/437784 - -3323/296. Let z = 2/493 + i. Do 32/5 and z have the same value?
False
Let u be 2958/39 - (-6)/39. Suppose 3*c + u = 76. Suppose -2*i = -4*h + 2*h - 4, -2*i = -5*h - 10. Is i > c?
False
Let z(t) = 197*t + 4333. Let l be z(-22). Which is smaller: l or -104/321?
l
Let g = 2.37 + 120.63. Let j = -242 + g. Let x = 117 + j. Which is greater: 3/17 or x?
3/17
Let k be 2/(-5)*(-30)/1*4845/(-228). Is -258 smaller than k?
True
Let f = -39922/36575 - -2/3325. Let l = -44.9 - -15. Let a = l - -30. Which is bigger: a or f?
a
Let h be ((8/6)/(115/3))/(1312/744560). Are 20 and h unequal?
True
Let f = 10 + -18. Let d be (245/30 + f)/((-1)/(-4)). Suppose 22*g - 10 = 17*g. Which is bigger: d or g?
g
Let r be ((-290275)/68)/25*(-49 + 1). Is r greater than or equal to 8194?
True
Let c = -2404 - -2404. Which is smaller: 96/49 or c?
c
Let a be (2/38)/(44/15928). Is 19 smaller than a?
True
Let y(h) = h**3 - h - 1. Let u be y(0). Let d be (28/8)/u*-26. Suppose -d = -4*v + 77. Which is smaller: 43 or v?
v
Suppose 297*f + 315 = 304*f. Is f < 137/3?
True
Let q = -147424 + 39951854/271. Is q smaller than -1?
False
Let y be 408/(-1122) + 2152/7249. Which is smaller: 1 or y?
y
Let f = 0.4882 + 393.6118. Let r = 394 - f. Which is greater: -0.007 or r?
-0.007
Let d = 11827 + -11858. Is -5 less than or equal to d?
False
Let w = 0.502 + -0.47. Let f = 71.032 - w. Let h = -52 + f. Is 0 <= h?
True
Let w be (-32)/(-72) - (-851962)/(-1918089). Is 0 at least w?
False
Let d(q) = -28*q + 470. Let z be d(15). Is z at least 27?
True
Suppose 2*a + 4*t + 5532 = 0, 3634*a = 3632*a - 2*t - 5544. Which is smaller: a or -2777?
a
Let l = 1.85216 + 0.14784. Which is smaller: l or -4342?
-4342
Let k be 4/(-5) + 64/5. Suppose k + 4 = 4*o. Let x be ((-10)/(-6))/(o/(-12)). Which is greater: -10 or x?
x
Let m = -205 + 186.4. Let n = m - -12.6. Let b = -0.3 - 0.1. Which is bigger: b or n?
b
Suppose 4*p - p = 879. Let c(k) = 259*k + 34. Let z be c(1). Are z and p nonequal?
False
Let s = 20190 - 30056. Let g = s - -207274/21. Which is smaller: 3 or g?
3
Let o = 17.48 + 283.12. Let u = o + -300. Which is greater: -2/17 or u?
u
Suppose 4*r = -4*a - 192, a - r - 3*r = -23. Which is smaller: a or 12?
a
Let g(x) be the second derivative of 7*x**3/3 + x**2 + 5*x. Let d be g(-5). Let u = 100 + d. Are u and 31 unequal?
True
Let f be (-3)/(-2)*16/12. Suppose 4*y - 2*h - 14 = 0, -21*y + 22*y - 5*h = 17. Is y equal to f?
True
Let j = -78 + 548/7. Let r = 0.064 - 0.043. Let w = -0.069 - r. Which is smaller: w or j?
w
Suppose 2*t - 4 = 0, -49 = 4*q - 3*t - 15. Let u be 2/(1/1 - (-21)/q). Which is smaller: 2/87 or u?
u
Let a be 10360/(-10410) + -1 + -6 + 8. Is a less than -1?
False
Suppose -5*j + j + 20 = 0. Let c be ((-80)/12)/j*-3. Suppose -3*n + 7 = l, 0 = c*n + 2*l - 6*l + 12. Which is bigger: n or 7?
7
Let a(b) = -b**2 + 6*b + 6. Let i be a(11). Let g = 1.13874 + -0.13874. Which is greater: i or g?
g
Let o = 130/3 + -43. Let w be (-23)/(-115) + 211/(-55). Which is bigger: o or w?
o
Let h = 1168 - 1342. Is -181 at most h?
True
Suppose -j + 3 = 2*j. Let a be (2/89960)/(-7 + 297199/42448). Let u = a + -2/585. Which is smaller: u or j?
u
Let p(w) = 5*w**2 + 2*w + 5. Let n be p(-2). Suppose -11 = -n*a + 20*a. Let j be (-42)/a + (-2)/11. Which is smaller: -13/3 or j?
-13/3
Let b = -301.9 + 302. Let q(w) = -w**2 - 2*w + 2. Let j be q(8). Let a = 28 + j. Is b equal to a?
False
Suppose -503 = -3*s - 4*g + 74, g - 973 = -5*s. Let r = -49781/3 - -16789. Which is smaller: r or s?
s
Let n be (-525)/(-700)*(-12)/(-387). Suppose -3*r = 2*x + 4, 0 = 2*r + r - 3*x - 6. Which is bigger: n or r?
n
Suppose -40 = -5*o, -v - 3490 = -2*o + 1408. Is v at least -4884?
True
Suppose -69*p - 32 + 101 = 0. Suppose -3*d + c + 0 - 4 = 0, 2*d + 5*c + 14 = 0. Which is smaller: d or p?
d
Suppose 0 = -40*h + 49*h - 162. Let u be (-2)/(-5) + 28/(-45). Is h greater than u?
True
Let p(z) = -9*z**2 - 5*z**2 + 11*z**2 + 8 + 17*z. Let h be p(6). Which is smaller: 36/19 or h?
36/19
Let i(h) = -15*h - 33. Let l be i(-6). Let z = 56 - l. Is z at most as big as 14/43?
True
Let c = -584 + 661. Let o = 3 - 80. Let h = o + c. Which is greater: 2/13 or h?
2/13
Let r(j) = -147*j - 199. Let t be r(19). Let u be (t/110)/(2/(-5)). Which is smaller: u or 66?
66
Suppose 69 = 4*w + 253. Let h be (461 - -3) + 1 - (1 + -6). Suppose 23*v + h = -611. Is w equal to v?
False
Let z = 85 + -147. Let a be (12/(-10))/(z/(-65) - 1). Which is greater: 32 or a?
32
Let v = -433 - -460. Let u(r) = -r**3 - 6*r**2 + 5*r + 15. Let k be u(-7). Does k = v?
Fal