?
-20
Let h(u) = -175*u + 103. Let y be h(6). Is -947 not equal to y?
False
Let s be (4 + -1)*1036/(-21) - -7. Is -140 smaller than s?
False
Let q = 25337389557429/184 + -137703562009. Let o = -357891 - q. Let a = 13/8 - o. Which is greater: a or 0?
a
Suppose -4*k = -6*k + 4*x + 50, 4*x + 83 = 3*k. Suppose -2*f + 3*c = 8*c + 11, 87 = -4*f + 3*c. Let s be k/f*(-6)/(-4). Which is smaller: s or -4?
-4
Let m be (-539)/(-22) + (-1)/2. Suppose r + m = 23. Is r greater than or equal to -7?
True
Let q be (-902)/6020 + (30/195 - 9/819). Is 0 at most as big as q?
False
Suppose 37308 = 7*v - 63*v - 47588. Is v > -1519?
True
Let z = -1183345/472 + -784/59. Let m = -2524 - z. Let p = m - -245/72. Is -1 > p?
False
Suppose -11*r = 2595 - 2485. Is r smaller than 4?
True
Let x = -3364 + 16437/5. Suppose 231 = 10*g - 7*g. Let o = g + x. Which is greater: -0.06 or o?
o
Let o be (-1173)/(-1660) + (20/16 - 2). Let i = o - 10484/7055. Which is smaller: -1 or i?
i
Let i = -154 + 159. Let o be 2 + i + -7 + -2. Which is bigger: o or 7?
7
Let a(h) = 8*h + 108. Let f = 375 + -390. Let q be a(f). Is -15 greater than q?
False
Let w be -1309*((-12)/((-384)/40) + (-9)/4). Which is greater: 1314 or w?
1314
Let a be (-12)/((-1056)/322795) - (-2)/(-16). Suppose -80*x - a = -94*x. Is 261 greater than x?
False
Suppose 0 = -6484*y + 6500*y - 17792. Which is greater: y or 1110?
y
Let v be (182/(-4) - 0)*((-186340)/4655 + 40). Is 1/6 not equal to v?
True
Let z = -523 - -499. Let t be (-963)/(-180) + (-6)/z. Which is smaller: -1/9 or t?
-1/9
Let j = -663 + 664.4. Let k = 212.9 - 213. Is j <= k?
False
Let g = -499 + 343. Let q = -158 - g. Which is smaller: q or 57?
q
Let q be 11/22 + (-15518)/(-4). Let o = 174574/45 - q. Let j = o - -4/5. Is 1 < j?
False
Suppose 2*w - 33 - 23 = 0. Let j be (-2 - -2 - 0) + 32/w. Suppose s = -4*s. Do j and s have different values?
True
Suppose -7 = -z + r, 5*z = 4*r - 6*r + 14. Let q be (-28 + 9)*4/(-2). Let j be 7*(-7)/(-98) - q/z. Which is smaller: j or -46/5?
-46/5
Suppose v + 2*v + 93 = 2*h, 79 = h + 5*v. Let t be 3*12/h - (-7)/3. Let p be 88/(-33)*t*(-2 + 1). Is p at least 4?
True
Let r = 581/44 + -157257/11836. Let b = 12088/3497 - r. Does 3 = b?
False
Let d(f) = -17*f**3 - 4*f - 2 + 13*f - 4 + 16*f**3 - 6*f**2. Let v be d(-8). Let p be (-1)/((v/6)/((-14)/21)). Which is smaller: -1 or p?
-1
Suppose 705*l + 3 = 706*l. Let u be (-39)/26*-2*9/l. Which is smaller: u or 0.1?
0.1
Let i be (-56)/68 + (-20)/(-5). Let l = -347/136 + i. Is l less than or equal to 1?
True
Let c = 27 + 141. Let v = -164 - -165. Is c equal to v?
False
Let z be (-3)/18 - (23713/138 - 0). Is 75 != z?
True
Suppose 2*z + 21 - 51 = 0. Suppose -3*l = -6*l - z. Let t be -7*6/126*(-2 + 5). Is l at most as big as t?
True
Let r = -444 - -444.99. Let a = r - 0.89. Is a less than or equal to 6?
True
Let c = 25449/219842 + 1/10724. Which is bigger: 0 or c?
c
Let d be (2*21/35)/(8/(-4020)). Is -603 at most as big as d?
True
Let m = 5853 + -4077. Is m smaller than 1774?
False
Let r(s) = -s + 1. Let j be r(-2). Let i(u) = -u**2 + u + 331. Let d be i(-17). Which is bigger: d or j?
d
Let x = -1 + 1. Suppose -4*v = -5*t + 11128, 2222 = t - 0*t - 2*v. Let d = -37889/17 + t. Which is smaller: x or d?
d
Suppose b - 14 = 8*b. Let p be 27/(-14)*21/b. Let w = 615/28 - p. Which is smaller: w or 2?
w
Let w be ((-15)/((-75)/20))/14. Which is bigger: w or 2956?
2956
Suppose 52*c + 0 = 11*c + 41. Which is smaller: 2/19247 or c?
2/19247
Let q(f) = 5*f**2 + 126*f - 852. Let t be q(6). Is 46 > t?
False
Let g be (-4)/(-6) + (-25)/42. Suppose -48*a = -42*a + 90. Let i be ((a/20)/(-3))/((-5)/20). Is i at most as big as g?
True
Suppose 4*b + 43788 = -3*t, -51*b + 65702 = -57*b - 2*t. Is b > 0?
False
Let g = -9 - -26. Let k = g + -16.7. Let n = -136 + 123. Which is smaller: n or k?
n
Suppose m = 5*s + 10, -5*m + 4*s - 1748 + 1735 = 0. Let l be 2/10 + 12/15. Is l < m?
False
Let q be 1/(-1) + (-1348)/164 + 6. Are q and -4 equal?
False
Let i(w) = w**3 - 12*w**2 + 2. Let u be i(12). Suppose 20 = 4*m - 3*b, -b + 13 = -3*m + 33. Suppose -3*s = -u*s + m. Which is bigger: s or 0.1?
0.1
Suppose 50*a - 21*a + 203 = 0. Let u = 46 - 21. Let j = 24 - u. Which is bigger: j or a?
j
Let p = 0.05 - -35.95. Let m = 241661 - 241661.2. Is p at least as big as m?
True
Let h = -55/38 + 9/190. Is h at most as big as -0.289?
True
Suppose 0*q - 4*q + 52 = 0. Let h(m) = -m**3 + 12*m**2 + 12*m - 11. Let b be h(q). Let a = -707 - -682. Is b greater than a?
True
Let f be (10/(-30) - (-2)/6)/(-2). Suppose f = 3*a - 64 + 61. Which is bigger: 2/179 or a?
a
Let z(l) = -11*l. Let v be z(-2). Suppose 5*d - 90 = -5*n, n + 5*d - 39 = -33. Which is greater: v or n?
v
Let p be (-43)/((-3)/(-9)*3). Let r(w) = -4*w**2 - 3156*w + 9463. Let d be r(3). Is d smaller than p?
False
Let q(o) be the first derivative of -25 - 2/3*o**3 + 1/2*o**2 + 12*o. Let x be q(5). Is x equal to -34?
False
Let n be -3 - (-2 + (-19 - 1)). Let i(b) = -b + 41. Let z be i(n). Let j be ((-2)/3)/(z/(-12)). Which is bigger: j or 0?
j
Let o = -12278 - -6521. Is o less than -5756?
True
Suppose -f = 2*f - 318. Suppose -2*w = 3*z - 45, -5*w + f + 18 = -4*z. Suppose -5*d - 3*d = w. Is d > -18/5?
True
Let c be (8*7/56)/(2/((-52)/(-18))). Let x = -6 + 8. Which is bigger: c or x?
x
Let n be (524/(-13))/(-2) + (-38)/247. Suppose 0 = n*p - 26*p + 162. Let s = 66 + -41. Do s and p have the same value?
False
Let x = -0.02839 - 2.07161. Is 1/2 at most x?
False
Let y(m) = -m**2 + 11*m + 34. Let q be y(14). Let o be (-190)/q - (-15)/60. Let h = o - 24. Is 4/21 smaller than h?
False
Let u = 23519/705 + 62/141. Suppose 33*a + 297 = 42*a. Is a at least u?
False
Suppose -20*x - 110 = -21 - 29. Let w = -3934 - -15869/4. Let k = 34 - w. Is k bigger than x?
True
Let h = -43110 - -43146. Which is smaller: h or -91?
-91
Let s(o) = -o**3 + 14*o**2 + 95*o + 4. Let a be s(19). Suppose -2 + 7 = -5*v. Is v >= a?
False
Let v(r) = r**3 - 24*r**2 + 22*r + 4. Let q be v(22). Let t = q - -282. Let p be ((-10)/15)/(8/t). Is p >= 18?
False
Let m be 160/560 + (-4058)/(-7). Let y = m - 688. Which is greater: y or -111?
y
Let i be (-20)/(-25) - (-66)/55. Let k be (-6 + i - 3) + 3. Is k bigger than 0?
False
Let l = -6995/5664516 + 6/3301. Let k = -3283/255684 - l. Which is smaller: k or -2?
-2
Let p = -6026 + 6021. Which is smaller: p or -65?
-65
Let f = 80 + -78. Suppose f = -3*l + 35. Let u = -21 + l. Are u and -7 unequal?
True
Suppose 3*t = 5*n + 9, 4*t = 2*t - 2*n + 6. Suppose 4*m - 93 - 71 = 5*l, 80 = 2*m - t*l. Let b be 6 + -3 + m/(-14). Is b >= -1/4?
False
Let b be ((-3)/5)/(7787639/(-3095)). Are 1 and b nonequal?
True
Suppose -10 = 2*h, 3 - 5 = b + 2*h. Let o(v) = 2*v**3 - 24*v**2 + 35*v - 1. Let l be o(b). Is l not equal to -232?
True
Suppose 4*b - 9 = 43. Suppose 10*m = b - 3. Do -1/274 and m have the same value?
False
Suppose -37*i = -38*i - 24. Let g be 9/(-6)*32/i. Which is greater: g or 5?
5
Let a = 8614 - 8613. Is a at most as big as 5/1829?
False
Let k = 7.898 - 8. Let j = -4471 - -4476.102. Let o = k + j. Is o greater than or equal to -2/7?
True
Let t = -211/63 + -2327/63. Let n = t + -115/14. Is -49 < n?
True
Let w be (-1 + (1 - 1))*(3 - -368). Let d = w - -395. Are d and 24 non-equal?
False
Suppose 0 = -10*r - 566 - 544. Let w = -112 - r. Which is smaller: 3.8 or w?
w
Let v(n) = 19*n + 17. Let o(s) = -s**2 + 37*s + 34. Let u(q) = -2*o(q) + 5*v(q). Let r be u(-11). Let c be -2 - r/(-16) - 213/(-132). Which is smaller: c or 2?
c
Let o(v) = 111*v + 139. Let k be o(6). Suppose -k = -y - 343. Are y and 462 unequal?
False
Let w be (-70)/5 + (-966)/(-69). Which is bigger: w or 2/12963?
2/12963
Let u = -19 + 0. Suppose -1240 = 4*g - 2*m, g - 929 = 4*g - m. Let y = g + 289. Which is bigger: u or y?
u
Let i be ((-22)/55)/(1/470). Let z be i/308 - (-15)/35. Let r = 63 - 62. Is z smaller than r?
True
Let n = -2769.0408 - -2768. Let t = -0.0408 - n. Which is bigger: -30 or t?
t
Let w be (868/(-3) - 1)*77/(924/72). Which is greater: 1/3 or w?
1/3
Let g(b) be the third derivative of -b**5/20 + 17*b**4/24 - 29*b**3/6 - 27*b**2. Let v be g(3). Are v and -13/3 nonequal?
True
Let f = -2172 + 2173. Which is greater: -2/4949 or f?
f
Suppose 0 = -2*t + 9*t + 3*t. Suppose t = -585*n + 583*n - 20. Is -29/3 bigger than n?
