 -298. Let k be (130/3 + m)*(-6)/(-4). Is 74 at most k?
False
Let c = -863.9906 + 864. Let f = 117.0094 - c. Which is smaller: -2/5 or f?
-2/5
Let u(n) = -2*n**2 - 50*n + 51. Let k be u(1). Which is greater: k or -26/33?
-26/33
Let y(w) = -64*w - 380. Let g be y(-6). Suppose -4*f + g*f = 6*f. Let h = 3749 - 116207/31. Is f at least h?
False
Let t = 272 - 987. Let a = -715 - t. Does 351 = a?
False
Let c be (878/(-10) + -1)*(110/(-4) + 0). Is c greater than or equal to 2442?
True
Let b be (-6)/51 + 975/51. Let d = -15 + b. Suppose -d = 16*c - 17*c. Which is smaller: c or 0?
0
Suppose -6*m = 18*m - 3*m - 53613. Is m at least as big as 2554?
False
Let s = -308.9 + 424. Let f = -113.82 - 1.18. Let v = s + f. Which is smaller: v or 4?
v
Let s = -56 - -49. Let n be (2/s)/(26/(-91)). Let y be (-156)/(-415) - 6*(-1)/(-15). Which is smaller: y or n?
y
Let t = 6851 + -4678. Are 2174 and t equal?
False
Suppose -196*m = -184*m + 7848. Let a be (-1)/2 + m/4. Are 2/9 and a equal?
False
Let s = 8379/55 - 1095/11. Suppose 5*t - 131 = -2*y, -4*y = 3*t + t - 232. Which is smaller: s or y?
s
Suppose -4*y + y + 4*f + 40 = 0, 4*f = 4*y - 52. Let j be (78/y + -7)/(14/(-52)). Is j greater than or equal to 2?
False
Suppose 2*a + 5*z + 18 = 0, -4*a + 12 = -18*z + 16*z. Which is bigger: a or -4/37?
a
Let y = 0.625 + -943.625. Which is smaller: 0 or y?
y
Let p be 40/(-22) + 36/(-198). Let m be -5*52/(p - 2). Let j be 10/m + 24/1196. Is -1 less than j?
True
Let b(r) = 101*r - 66. Let c(a) = -20*a + 13. Let l(z) = 2*b(z) + 11*c(z). Let f be l(2). Is -27 at most as big as f?
True
Let y be 8*(-13)/520*10/(-237). Let d = 15 - 16. Which is bigger: y or d?
y
Let r be 112/(-272)*10*2. Let t = 1867/204 + r. Are t and 1 unequal?
True
Suppose -15 + 47 = 8*m. Suppose 4*z = -12, 0 = -6*a + m*a + z + 15. Is 10 at least as big as a?
True
Let h = -5592 + 5623. Is 6/11 less than or equal to h?
True
Let t = 1.98067 + -166.38267. Let n = t + -0.598. Are n and -2 unequal?
True
Suppose -3346 = -16*r - 786. Let v be (-4 + -4)/(2*5/r). Is v greater than -127?
False
Suppose 3*c + 4*n = 623, -c - 14*n = -12*n - 205. Let v be c*(-36)/(-1096) - 7. Is v greater than 0?
False
Suppose -15505 = 20*v + 12735. Let a = v - -351587/249. Are -1 and a equal?
False
Let k be 7/(31/((-744)/(-192))). Which is smaller: k or 1?
k
Let i be (135/(-12) - -5)*(-420)/65. Is 41 at most as big as i?
False
Suppose -i + 139 = 3*t, 0*t + 4*i - 151 = -3*t. Suppose 19*l = 5*l - 5*l + 912. Which is smaller: l or t?
t
Let f = -10.9 + 6613.9. Which is smaller: f or -1?
-1
Let m = 3463/60 - -241/12. Let v = -78 + m. Let h(u) = -u**2 - 3*u + 1. Let k be h(-3). Which is smaller: k or v?
v
Let l be ((-2)/(-4))/((-1)/2). Let z = 0.296 + 142.704. Let g = z + -142. Is g smaller than l?
False
Let t(q) = -q**2 + 2*q - 7. Suppose -5 = -5*o - 20, -2*b = 4*o + 18. Let j be t(b). Let r be (-12)/(-36)*36/j. Are r and 0 unequal?
True
Suppose 9 = -w + a, w - a + 5*a + 24 = 0. Let m be (-24)/w*7/((-35)/54). Which is greater: m or -21?
-21
Let f = 1.43 - 1.468. Does 28 = f?
False
Suppose 1 = 4*w + j - 0, -1 = 2*w - j. Suppose 10*r + w*r - 870 = 0. Let y = -84 + r. Are y and 11/6 equal?
False
Let r = 114.4363 + -0.0363. Let b = r + -106. Let m = -2.6 - b. Does m = -1/4?
False
Suppose -4*w + 8*k + 184 + 240 = 0, -2*w = 2*k - 194. Which is smaller: w or -2?
-2
Let j be (11/(-22) + 0/2)*105/(-10). Which is smaller: -2 or j?
-2
Let b = 3.587 - 37.587. Let x be 10/12*(-2)/10. Which is greater: b or x?
x
Let g(n) = -2*n. Let u be g(-6). Suppose -8 = u*a + 292. Let m be (a/(-15) + -2)*0. Do -1/73 and m have different values?
True
Suppose -39*p - 89437 = -511027. Is p at most 10810?
True
Suppose 4*g - 6 = 3*q, -8*q - 4*g = -4*q + 8. Let w be (2 + -5 - q)*-131. Is w less than 131?
False
Suppose -12*i + 8*i + 5*h + 692 = 0, 5*h = i - 188. Let f = -166 + i. Which is smaller: f or 36/41?
36/41
Let t be (5*(-48)/(-400))/(2*1/(-20)). Which is smaller: -47 or t?
-47
Let p = -2884 + 5769/2. Which is smaller: p or 6/35?
6/35
Let f be (-9)/(-1) + (-392)/(-56). Let v = -1 + 3. Let z be v/9 + 4/9. Is f equal to z?
False
Suppose s = 4*a + 352, -4*s + 2106 - 638 = 4*a. Let x be -8*(s/(-16) + 3). Is 159 < x?
False
Let i = 37.7 - 36. Let w = i + -4.7. Let o = 12 - w. Which is bigger: o or -2?
o
Suppose -5*m - 1801 = 6*g - 8*g, m + 2*g = -353. Let v = -378 - m. Is v <= -12?
True
Let u = -1412 - -1410. Are -30/31 and u nonequal?
True
Let s = 473876695 - 1407413766119/2970. Let y = -164/27 + s. Which is smaller: 0 or y?
y
Let g be (-1 + 0)*4 + (-306)/(-102). Which is bigger: g or -76/99?
-76/99
Suppose -9*w + 12 = -6*w - x, -5*w + 4*x + 13 = 0. Suppose 9*y + 2*t + 1346 = 5*y, w*y + 1702 = 4*t. Is y less than -339?
False
Let g = -472.68 + 470.88. Let w = -0.04 + 0.2. Let d = 0.06 - w. Is d < g?
False
Let n be 8/(-1)*(-42)/(-56). Let o be 1/(-2)*(-3)/n. Is -61 >= o?
False
Let j(w) = 36*w + 399. Let m be j(-11). Suppose -m*k + 167 - 17 = 0. Is k at least 340/7?
True
Suppose -78*n + 23*n = -9735. Are n and 355/2 unequal?
True
Let s be (3106/6)/((-60)/1080). Which is bigger: -9317 or s?
-9317
Let c be 7856/77 - (15 - (-404)/(-28)). Which is smaller: 101 or c?
101
Let q be 7 + 1 + (-138)/23. Suppose q*w + 3*w = d + 210, 4*d + 755 = 3*w. Which is smaller: d or -187?
-187
Let b = -866 + 1004. Suppose -8*m - 58 = -b. Let r(c) = -6*c**2 + 1. Let g be r(-1). Which is greater: g or m?
m
Let l be 4*-1 - (-20)/(200/(-30270)). Is l < -3033?
False
Let k(z) = 9*z - 18. Let a be k(2). Let b be a/((1 - 3)/2). Is 3/145 less than or equal to b?
False
Suppose 0 = 5*q + 29 - 24. Suppose -2*p - 264 = 52. Let k be 21/(-6) - -5 - (-245)/p. Is k <= q?
False
Let m(x) = 4*x**3 + x**2 + 8*x + 16. Let o be 6*9/18*4/(-3). Let a be m(o). Is a bigger than -256?
False
Let w = -3/5257 + 26492/362733. Suppose 1 = -3*i + 7, 5*i = 4*k + 10. Is k smaller than w?
True
Suppose 4*r = a + 68, -2 = r - 2*a - 12. Suppose -19*j + 159 = -r*j. Is j < 158?
False
Let b be (-13412790)/(-1350) - (8/(-5) - -2). Which is smaller: 9936 or b?
b
Let m = 153 - 78. Suppose 2*l - 238 = -122*p + 119*p, 385 = 5*p + l. Is p greater than or equal to m?
True
Suppose -24*b = -0*b + 20*b + 189464. Is b <= -8609/2?
True
Suppose -2*r = -2*v - 10, 4*v - 8 + 0 = 0. Let z = 241 + r. Is z at most as big as 246?
False
Let m = 26150 + -26151. Is m less than -5/402?
True
Suppose 0 = 4*f + 4*c + 25 + 39, 2*c - 10 = 0. Let a(x) = x**3 - 3*x**2 - 6. Let k be a(3). Let m be (-258)/12 + 0 - 3/k. Is f equal to m?
True
Let u = 3233 - 3233. Which is bigger: u or -3.781?
u
Suppose 2*y + 2*m + 1 = 3*m, 0 = 5*y - m + 1. Which is bigger: -17/2014 or y?
y
Let h = 4252 - 12755/3. Which is smaller: 0.481 or h?
h
Let z = -3 + 3. Let s = 138 - 127. Suppose s = 2*o + w, 5*o - 3*o + 5*w = 31. Which is smaller: z or o?
z
Suppose -n = -7*n - 6. Let v be (-4 + 203/2)*6. Let i = 9940/17 - v. Is n at most as big as i?
True
Let h = 1887008/29 + -65076. Which is greater: h or -7?
h
Let z = -98174845/214044 - 1/71348. Is -458 at most z?
False
Let y = -16981/7 - -427661/175. Which is greater: y or 0.1?
y
Let z be (-4 + 7)/((-12)/16)*1938/(-8194). Is 0 not equal to z?
True
Let h be 43/(-5)*(-7 + 8). Let w = 11 + -6. Suppose 4*c = 2*y + 34, -w*y - 2*c + 4*c = 53. Are h and y nonequal?
True
Let i = 334 - 203. Let p = -143 + i. Let v be 0 - 10 - (-2 + 2). Does v = p?
False
Let u = 27 + -27. Suppose 4*p - 5*l + 6 = u, -l - 4 + 5 = -p. Which is greater: -3/19 or p?
p
Let k be 3 - -1*(-6671)/2223. Suppose -v - 17 = 2*u, -40*u - 128 = -2*v - 26*u. Which is greater: k or v?
v
Let k be 42/206*13/(351/(-18)). Which is greater: 0.2 or k?
0.2
Let b be (1 + 2)/(-1 + (-107)/(-110)). Let t = 59 + -116. Let i = b - t. Is i less than -53?
False
Let q be ((-246)/14)/(87/(-58)). Which is bigger: 11 or q?
q
Let v = -0.29304 + -2132.70696. Which is smaller: v or -6?
v
Let f = -1/10 + 317/20. Let a(i) = i**2 - 7*i + 11. Let v be a(3). Let b be (10 + v)/(138/230). Do f and b have the same value?
False
Suppose 3*a = -f + 32, -a - 80 = -2*f + a. Let d be ((-6)/(-40))/(1518/(-3289) + (-138)/(-130)). Which is smaller: d or f?
d
Let g = 8644194 - 4762954820/551. Let j = g - -138/19. Which is smaller: j or 0?
0
Let p be (2/4)/(1/(-76)). Suppose 84*f - 3764 - 688 = 0. Let d = f + p. Is 15 at least d?
