t i be 4 + (15/5)/(1/38). Let f = -121 + i. Which is bigger: -14/5 or f?
-14/5
Let u be 6 + -12 + 3 + 1 + -4. Let x be u - (-3 + 1554/(-519)). Is -1 greater than or equal to x?
False
Suppose -2*n + 1 = -j - 2, -4*j = -20. Let u be 8/(-750)*(-6)/n. Let w = u + -264/875. Is w less than -1?
False
Let y be -7 + 3 - (-34)/1. Suppose -y = -3*u - 60. Is u > -12?
True
Let i = -130 + 130.148. Let m = -0.148 + i. Is 37 > m?
True
Let v = -5/21986 + 64577/90604306. Which is smaller: -1 or v?
-1
Suppose 0 = -4*n + 5*g - 20 - 17, 4*g = n + 23. Let u be 5/2 + 1 - (n - -6). Is 14 < u?
False
Let p(v) = -131*v**2 + 791*v + 7. Let z be p(6). Which is bigger: 359/10 or z?
z
Suppose 180 = -4*a + 560. Suppose 0 = -7*l - 37 + 353 + 244. Let u = a - l. Is u greater than 68/5?
True
Suppose 4*j = 311 - 43. Let s be (-117)/312 + 1802/(-16). Let z = s + j. Which is bigger: z or -44?
-44
Let p = 138/151 + 60931/906. Which is greater: 68 or p?
p
Let n be 10/(-175)*945/(-54). Which is greater: 124 or n?
124
Let j be 15/(-5) + (-528)/15 + -1. Which is smaller: -38 or j?
j
Suppose -x - 1453 = 5*a + 40, 5*a - 4*x = -1503. Let f = -309 - a. Is -11 >= f?
False
Let j = -5923.7 - -5924. Which is greater: 1.476 or j?
1.476
Let w = 7407179/57546 - 2317/18. Is w bigger than 0?
False
Let b = 2.8 - 3.18. Let c = -445.48 + 445. Let l = b - c. Is -1/16 bigger than l?
False
Let g be (-5)/6*(-6 + 0/(-8)). Suppose 0 = -g*b, -3*h + 3*b = 4*b. Which is smaller: 3/236 or h?
h
Let u be 32/24 - (-1128)/18. Suppose 3*q = 4*a - 84, 13*a - 4*q = 15*a - u. Is 18 greater than or equal to a?
False
Let f be (147/35 - 5)/((-28)/5). Is 4/401 less than or equal to f?
True
Let k = 1.393 - -0.607. Let h = -104.23 - -105. Are k and h unequal?
True
Let l be -4 - (-3 - -3) - -3. Let p be 4/((-4)/(-3))*l. Suppose 55 - 175 = 20*i. Which is bigger: i or p?
p
Suppose 5*v - 3*c = 130, -2*v + 5*c = -0*c - 52. Let b be 4/v + 10080/(-67886). Which is smaller: 0 or b?
0
Let n(u) = 3*u**3 + 6*u**2 + 246*u + 487. Let s be n(-2). Let f(v) = 3*v - 1. Let q be f(-1). Which is smaller: q or s?
s
Let p = 0.641 - 0.294. Let v = p - 0.327. Do -4 and v have different values?
True
Let m = 116.9143 + -0.5543. Which is smaller: -1/2 or m?
-1/2
Let y(s) = -s**2 - 24*s - 37. Let z be y(-10). Suppose -z = 6*b - 115. Do 9 and b have the same value?
False
Let m = -1695 - -11861/7. Is 671 greater than m?
True
Let z be ((-15)/6)/((-1)/(-2)). Let r be (2/6)/((-8)/(-144)). Let p be z + -2 + r + 0. Which is smaller: -2.9 or p?
-2.9
Let j be (17/(-4) - 1)*4. Let w = -206504/3 + 68815. Which is smaller: j or w?
j
Suppose -40 = -5*k - p, 0 = -k + 4*p - 3*p + 8. Let o be ((-1)/(-4) + 4148/(-272))/(2/(-4)). Is o greater than k?
True
Suppose -3*t + 7 - 31 = 0. Let f be (t/16)/(1/(-118)). Suppose f - 11 = -4*q. Which is smaller: -14 or q?
-14
Let p be 6*(9/(-9))/(-2). Suppose -4*o + 3*o + 4*z + 63 = 0, -149 = -p*o + 4*z. Are o and 48 unequal?
True
Let f be (-5)/3 - (-2)/3. Let x = 2957/78092 + -6/2789. Is x > f?
True
Suppose -4*j - 11 = -3*y, 3*j - 3*y + 3 = -9. Let k be 32/j + 0*3/27. Which is smaller: k or 30?
30
Let t(q) = q**3 - 16*q**2 - 7*q - 26. Let h be t(16). Let d = 257 + h. Is d at most as big as 120?
True
Let k = -15733/12 - -7819/4. Which is greater: 644 or k?
644
Let l = -9950 + 60269/6. Is l smaller than 95?
True
Let g = 1473 - 798. Let s = 11478/17 - g. Is s bigger than -1?
True
Let r be (-4)/(-1) + 8*12/(-24). Suppose -5*v - 533 = -4*y, -2*v = -2*y + 138 + 74. Are v and r equal?
False
Let m = -8794.17 - -8701. Let k = -0.17 - m. Let c = k + -161. Which is greater: c or -1?
-1
Suppose 30639 + 44133 = -6*c. Let n be -9 + 10 - c/(-12460). Let z = n + 12687/1414210. Which is greater: 1 or z?
1
Suppose -k - 7*d = -10*d - 20, 4*k = -6*d - 46. Which is smaller: 115/303 or k?
k
Suppose -30 + 251 = h - 2*y, 0 = 4*h - 3*y - 919. Which is bigger: h or 216?
h
Suppose -41*g - 12 + 27 + 26 = 0. Is g > 1449/16?
False
Let w be (3*-1)/(3/(-465)*-5). Let v = w + 96. Let t = 11 - v. Which is smaller: 10 or t?
t
Let i = -7033 - -7391. Is 360 less than or equal to i?
False
Let b = 0.1447 + -0.2447. Are 2330 and b equal?
False
Let g be 1*9*(-5 - -6). Let h = 173 + -491/3. Which is smaller: h or g?
g
Let c(f) = 74 + 100 + 12*f - 25 + 11. Let u be c(-15). Which is smaller: u or -21?
-21
Let l(n) = -n**3 + n**2 + n + 31. Let j be l(4). Let v be j - -8 - 3614/(-722). Which is smaller: 1 or v?
v
Suppose 3*u - 2*s - 24 + 4 = 0, -3*u = -3*s - 24. Suppose u*z + 0*z - y + 17 = 0, z = -5*y + 22. Let f be (-10)/(280/(-21)) + (-11)/4. Which is greater: z or f?
f
Let h = 750390 + -35914415792/47861. Is h smaller than 1?
True
Let w = -15721 + 1493459/95. Is w at least as big as 0?
False
Let u(t) = -t**2 - 10*t - 11. Let z be u(-8). Suppose 3*m + 654 = 3*g, 1287 = -z*m + g + 217. Which is smaller: -212 or m?
m
Suppose -10*b + 14*b - 16 = 0. Suppose -3*i - 15 = 0, -4*t + b*i = t - 30. Are t and 32/19 equal?
False
Let o = -5377 + 4967. Is o at least 0.04?
False
Let w be (-65844)/(-26572) + (-4)/28. Let d = w + -30/13. Which is greater: d or -2/5?
d
Let a = -47395/65412753 + 1/200039. Is a not equal to 0?
True
Let v(j) = -143*j + 1716. Let l be v(12). Is 2/2729 smaller than l?
False
Let i = 112/3 - 1906/51. Let j = 30 - 26. Suppose -j*z - 2 = 2. Is i < z?
False
Let i = 2756/2687097 + 4/4501. Which is greater: -1 or i?
i
Let u(v) = 5*v**2 + 98*v + 276. Let y be u(-10). Which is smaller: y or -4?
y
Let d be (3/(-228))/(5/(-4)). Let w(u) = u + 18. Let f be w(-16). Suppose 2*j + f*q + 0 + 2 = 0, 4*q = j - 9. Does d = j?
False
Suppose -3*p = 2*m + 1, -5*m - 9 = -25*p + 26*p. Is 2/52717 bigger than p?
False
Let u = 68/10373 + -15156/10373. Suppose 0*n + n = k - 2, 0 = 4*k - 5*n - 9. Let c = -2 + k. Which is smaller: u or c?
u
Suppose -4*t - 10*h + 3 = -7*h, -4*t + 2*h - 22 = 0. Let j be (4/632)/(t/(-12)). Which is bigger: j or -1?
j
Let r(s) = -s - 3. Let n be r(3). Let o(i) = i + 56 - 57 - 3*i. Let f be o(2). Are f and n nonequal?
True
Suppose -3*i = 4*y - 91 - 479, -939 = -5*i - 3*y. Suppose 0 = i*p - 198*p - 360. Are -30 and p equal?
True
Suppose -4*o - 4*i - 12048 = 7392, -o = -i + 4874. Is -4869 less than or equal to o?
True
Suppose -2*c + c + 510 = 0. Let m = 133727 + -133217. Is m at least as big as c?
True
Let t = 7059 - 7058. Which is smaller: -5/638 or t?
-5/638
Let n = -5 - -11. Let s = -5.59 + 0.59. Let u = n + s. Which is smaller: u or 2?
u
Let u be (2/(-2))/((3*-1)/((-161)/217)). Which is smaller: 0 or u?
u
Let x be 1/(-2)*-4 - (26 + -28). Suppose -a - 7*t + 4*t - 61 = 0, -x*t = 2*a + 126. Do a and -65 have different values?
True
Let b be (267/165)/(-15 - (-1130)/75). Is b less than 23?
False
Suppose 0 = 7*p + 4 + 31. Let z = p + 6. Let q(y) = y**3 + y**2 + y + 1. Let t be q(0). Does z = t?
True
Let p = -283.8 + 283.86. Let k(h) = -21*h + 1. Let q be k(-1). Which is bigger: p or q?
q
Let b be (0 + 1)*(-20)/(-5). Suppose -5*u - 36 = -46. Suppose 0 = -b*v - u*v - 228. Which is bigger: -37 or v?
-37
Suppose -2*x = 3*p + 279, 6*x = 2*p - 972 + 124. Is -1271/9 > x?
False
Suppose 6*x - 816 = 2*x. Let b = 175 - x. Which is smaller: -31 or b?
-31
Let t = 10278 + -10251. Which is smaller: -30 or t?
-30
Suppose s - 3*g = 30, -990*s + 5*g = -985*s - 70. Suppose 2*n + 3*z + 0*z = 40, n - 46 = 5*z. Which is smaller: n or s?
s
Suppose -64*v + 175424 = -20992. Are v and 0.1 nonequal?
True
Let i(m) = -128*m + 79. Let v be i(5). Let s = 549 + v. Is s greater than -3?
False
Suppose 5*b = j + 8, -3*j - 3*b + 8 = -2*b. Suppose 0 = a - 6*a + 5, -4*a - 56 = -3*y. Let w be (5*y/625)/j. Is -1 at most as big as w?
True
Let l = -19 - -19. Suppose l = -5*y + 3*y. Suppose y = p + u + 2*u - 21, -41 = -3*p + 2*u. Which is bigger: p or 0?
p
Let q = -1052.926 + 1050. Let z = -0.074 + q. Is -0.29 > z?
True
Let n = -3870 + 3457. Which is bigger: -2067/5 or n?
n
Let x = -1284.6 - -2376.6. Is x greater than or equal to -3?
True
Let h = -519497/570 - -5467/6. Let l = h - -12/19. Suppose -2 = -2*m + 2*f, 1 = 3*m - 2*m + f. Is m at least l?
True
Let w = 118 - 238. Let d = w + 144. Do d and 23 have the same value?
False
Let v = -463/11430 + -1/254. Let q be (176/(-6))/((-3)/9*2). Let l be 0/((-3)/(-4) + 11/q). Which is greater: v or l?
l
Let j = 7681/7 - 107259/91. Let y = 7095/26 + j. Let u = y +