 v?
False
Let g = -54520/81413 + 390/4789. Suppose -4*y - 4 = -0. Let t = y - 1. Which is smaller: t or g?
t
Let f = -162690245 + 11388509303/70. Let i = f - 2745. Which is smaller: 1 or i?
i
Let c = -4043/100 + 16004437/395900. Which is greater: c or 0?
0
Let v be (-1 - 0) + -77 + 0 - 2. Let i be ((-54)/1)/(v/480). Which is smaller: i or 325?
i
Suppose -11*t - 5*t + 32 = 0. Let w be (-2 + -1)*(84/(-45) + t). Is -110 != w?
True
Let g be ((-8)/10)/(2/(-130)). Suppose -56*b + g*b = -20. Suppose 5*q = -5*x - 140, -b*x + 46 = -3*q - 46. Which is greater: -27 or q?
-27
Let a = 120.13 - 119.13. Is 4 >= a?
True
Let u be (348/(-462) - 4/(-7))*-1. Let o = -2.6 + -8.4. Let v = o - -13. Which is smaller: u or v?
u
Let u = -1/142076 - -203168701/2983596. Is 67 less than u?
True
Let z = 20.278 - 20.178. Which is smaller: z or 65?
z
Let u = -100 - -132. Suppose -u*s = -28*s - 8. Suppose s*z = 31 + 3. Is z not equal to 15?
True
Let b be 0/(-1) + -1 + -4 + 20. Suppose b = 10*s - 75. Are 4 and s equal?
False
Let m = 17.5 + -19.2. Let v be 8/(-48) - -15*(-1)/18. Which is greater: v or m?
v
Let o(v) = -1070*v - 2893. Let l be o(-3). Is 368 bigger than l?
True
Let s be 1998/444 + (-592)/138. Which is smaller: s or 1?
s
Suppose 0 = 13*n - 18*n + 3*c - 328, -4*n + 4*c = 272. Let a(q) = -62*q**3 - q**2 + 1. Let w be a(1). Is n less than w?
False
Let s be (-6 - (1 + -9)) + 2. Let d be (-3)/(-4)*s/(-18). Is -14/5 < d?
True
Suppose 3*f = -2*t + 18, -3*t + 1 = -5*f + 12. Let d be (21 + -20)/((-26)/f) - 0. Are -1/105 and d nonequal?
True
Let f = 3829 - 49775/13. Let i = 0.1 - 0.5. Let b = i - -1. Are f and b nonequal?
True
Let b = 11.2 - 11.055. Let y = b - 0.215. Which is greater: y or 0.3?
0.3
Let f(q) = 300*q**3 - 2*q**2 + 3*q - 1. Let t be f(1). Suppose -10*j + 0*j = -t. Let c be ((-156)/j)/(((-4)/(-20))/(-1)). Is 25 <= c?
True
Let g(d) = -3*d + 41. Let b be g(14). Suppose 0 = -3*f - 0 + 6. Let r be (1 + f/2)/((-22)/44). Is b greater than r?
True
Let f = -0.58 + -0.04. Let c = -5368/545 + 1139/109. Which is smaller: f or c?
f
Let l = -826 + 15688/19. Let z(d) = -d**3 + 2*d**2 + d + 4. Let n be z(0). Suppose -11 = -n*b - 7. Is l less than b?
True
Let i = 97 - 92. Suppose 0 = -4*q + 1 - i. Let f(g) = -g + 8. Let h be f(6). Is q >= h?
False
Suppose 2*o - 11123 - 1247 = 4*n, 6*n + o + 18551 = 0. Is n equal to -3090?
False
Suppose u + 2*p = 6, -7*u + 3*p - 9 = -3*u. Let w(q) = q**3 + 5*q**2 - 3*q. Let v be w(u). Which is smaller: v or 4/305?
v
Suppose -5*k = -4*p - 271, 0*k - 4*p - 169 = -3*k. Let n be 16/10*5/k. Is 1 at least n?
True
Let m be 15*(2 - 6)/12. Let q = -117 + m. Is q < -121?
True
Suppose -6*u = -46 + 208. Suppose -62*i - 1508 + 20 = 0. Is u >= i?
False
Let d be ((-1)/(-3))/((-80)/(-36)). Let w = -407 - -277. Let t = 129 + w. Which is smaller: d or t?
t
Suppose 0 = -4*y + 5*c - 537, 3*y + 6*c = 5*c - 379. Let h = -0.119 + 1.119. Which is smaller: h or y?
y
Let b = 129 - 142. Let h be 1 + 2/1 - (-5)/(-5). Suppose -h*g + 4*p - 12 = -0*p, -5*p + 8 = -2*g. Which is smaller: b or g?
g
Let m = -35213/498 - -7/166. Which is greater: m or -71?
m
Let a be -12 - 35/330*5526/(-48). Are -1 and a non-equal?
True
Let f = -0.15814 + 0.26548. Is f less than or equal to -0.1?
False
Let q = 6 + -1. Let z be (-3)/(-2)*(-42)/63 + 15. Suppose -u - 3 = -q*w, 3 - z = -5*w - 3*u. Is w smaller than 1/153?
False
Let b = -335 - -334.953. Let h = b + -1.753. Which is bigger: 3 or h?
3
Suppose -67*z - 37 = -30*z. Is z smaller than -66/295?
True
Suppose 3*m + 47 - 41 = 3*q, 0 = 2*m + 5*q + 4. Let n = -53/64 + -39/64. Is n != m?
True
Let o(h) = 16*h + 4. Let s be o(4). Suppose 795*v + 216 = 1011*v. Which is bigger: v or s?
s
Let q be 0 + 0 + 3 - (1928/160 + -9). Suppose 2*o = 3*m - 5, 4*m - 4*o = 6 + 2. Is q <= m?
True
Suppose -3*n - 3 = 5*b - 8*b, 3*n + 5*b + 11 = 0. Let d be 22/(-3)*((-25)/n - 8). Let v be ((-75)/d + -2)/(6/14). Which is greater: v or 0?
v
Let l = 152 - 171. Let m be l/30 + (-29)/(-58). Let z(c) = -c + 2. Let b be z(3). Which is smaller: b or m?
b
Let o = 3.1 + -2.974. Let d = o - 0.054. Let c = -0.128 - d. Are 4 and c unequal?
True
Let i = -3159 + 3146. Which is greater: i or -83?
i
Suppose 0*n = 2*n + 4*d + 4, -3*d = 2*n + 6. Suppose -2*k = 2*k. Let c be (k/(-2))/(12/n). Is 6/5 less than c?
False
Let l be (-13920)/(-340344)*(-288)/(-10). Which is smaller: l or 1?
1
Let l = 1421/3 - 469. Suppose -19*y + f = -11*y - 16, -4*y - 4*f = -8. Is y at most as big as l?
True
Let f be 4998 - (21 - (-57)/(-19)). Which is smaller: -1/3 or f?
-1/3
Let n = 410278 + -410277.9. Let s = 0.026 + -118.026. Let z = 180 + s. Which is greater: n or z?
z
Let c(v) = v**3 + 6*v**2 + 4*v + 2. Let j be c(-4). Let u be (-5)/j*7/35. Let r(h) = h**3 - 50*h**2 + 96*h. Let m be r(48). Do m and u have different values?
True
Let q(d) = -51*d + 5305. Let z be q(104). Suppose -5*n + 38 = -52. Which is smaller: z or n?
z
Let w = 14.786 + -14.7. Let p = w - -13.914. Let s = -0.7 - -0.6. Which is bigger: p or s?
p
Let a be (-6)/(-28)*174 + (-16)/56. Let x be 6/(-2) + -28 + a. Let g = 5.6 + -6. Is x bigger than g?
True
Suppose -2*c = -0 + 2. Let w = 89592 - 626106/7. Let o = w - 149. Is o less than or equal to c?
False
Let m(o) = -o**2 - 33*o - 261. Let t be m(-13). Are t and 9151 non-equal?
True
Suppose -5*s = -2*s - 12. Suppose f + 33 = s*f. Suppose -9*g = -f*g + 4. Do 1/2 and g have different values?
True
Let q be 228/1482 + 1084/3094. Which is bigger: q or -1/2?
q
Let a(l) = -l**3 - 82*l**2 - 1402*l + 583. Let i be a(-25). Let u = -9 - -15. Is i at most as big as u?
False
Suppose -2*r = -24*r - 1386. Let o be (-1 + (-126)/(-4))*-2. Are r and o nonequal?
True
Let b = -504 + 507. Suppose 5*j - 3*g - 90 = 0, -b*j + 11*g = 6*g - 70. Is j at least 8?
True
Let l = 4/66213 + -1197598/95412933. Which is bigger: -1 or l?
l
Let h = -251.2 - 2. Let q = h + 253. Is q bigger than -164/3?
True
Let p be (-4)/(-14) + (-144)/(-112). Suppose 18*x = 5*x + 39. Which is smaller: x or p?
p
Let z be (-13 - (-2552)/(-33))*(-32)/2. Let s = -1344 + z. Are 100 and s non-equal?
True
Suppose -5*q - p + 5*p + 32 = 0, 4*q - 19 = p. Suppose w - q*z + 1 = 0, -2*w - 33 = -3*z - 11. Is w smaller than -19?
False
Let p = -25761 - -25825.955. Let c = 0.045 + p. Which is smaller: c or 0.2?
0.2
Suppose 4*r = -2*u - 28276, 4*r + 19*u = 23*u - 28264. Is -7067 bigger than r?
True
Let i = 10556 + -10556.3. Is i at least -1?
True
Suppose -13*h = -1126 - 226. Suppose u + 78 = -h. Is -182 smaller than u?
False
Let s be ((-34)/6)/(-3*(-17)/2992). Let o(m) = -m**3 - 7*m**2 - 4*m - 8. Let k be o(-10). Let d = s + k. Is d at most 0?
True
Let n be 36*((-140)/15)/2. Let y = -1328 - -1161. Which is greater: n or y?
y
Suppose 5*b - b + 15 = 5*m, -3*b + 9 = 3*m. Suppose -m*j + 9 = -5*q + 22, 4*q - 32 = -3*j. Let v be (2 + -3)*-5 - (-3 - -2). Which is greater: q or v?
v
Suppose -5*w - 45 = -15. Let n be 133/(-49) + 4/(-14). Let k = w - n. Which is smaller: k or 3?
k
Let f be ((-344)/40 - -8)/((-4596)/(-15)). Which is greater: 1 or f?
1
Let h(f) = -f**2 + 19*f + 45. Let u be h(21). Suppose 3*r + u*r = 12. Suppose l - 5 + 2 = 0, -4*j - 34 = -r*l. Is -6 greater than or equal to j?
True
Let t = -275 - -274. Which is greater: t or 1.308?
1.308
Suppose -28 = -5*r + 2. Let m be ((-10)/(-4))/(3/r). Suppose 5*q = 4*q + 5*z + 9, 0 = -m*z - 5. Which is smaller: q or 2?
2
Let u = 6.4 + -6.22. Let m be (-10 - -6) + 4/2. Let z be ((-66)/12 + 5)/(1/m). Is z less than or equal to u?
False
Let k = -97 + 58. Let i = k + 100. Let s = i + -76. Which is smaller: s or -2?
s
Suppose -21*v = -25*v + 2*r, 2*v + 2*r = 0. Which is bigger: v or 26/45?
26/45
Let c be (-48)/20 + 0 + 4/10. Let o be c/2 + 0/20. Which is smaller: 2/471 or o?
o
Let l be -4 + ((-10)/5 + 12 - 2). Suppose 4*q + 8 = 0, 2*w + 29*q = 30*q - l. Suppose -3*f - 9 = 9. Which is greater: f or w?
w
Suppose 4*t = -1 - 3, 4*t = 2*v + 1114. Let l = -380 - v. Is l at most as big as 178?
False
Let n be 114/16 + -5 - (-2)/(-16). Suppose -2*s - 13 = -15*c + 20*c, s + n = -c. Let f = -296/3021 + 10/159. Which is smaller: f or s?
f
Let a(j) = -j**3 - j**2 - 5*j - 15. Let o be a(0). Let c be (-1)/3 + ((-560)/o)/16. Which is greater: c or 23/13?
c
Let s be (-1764)/(30/(-12)*-10). Let h = s + 70. Are h and 1 non-equal?
True
Let w