alse
Let w be ((-3)/2)/((-3)/6). Suppose 29 = w*m - 10. Suppose -2*a - 3*u = -11 + 10, -5*a - u - 4 = 0. Is a >= m?
False
Let c be -20*(4 + 90/(-20)). Is 3/11 at least c?
False
Let p = -665/663 - -8/51. Let g = 955/1144 + p. Let c be (0*(0 + 1))/2. Which is bigger: c or g?
c
Let g be ((-8)/50)/((-12 - -17) + 113/(-15)). Suppose 5 = -2*y + 3. Which is greater: y or g?
g
Let j = -130 + 142. Let v be 2*((-138)/j - 1). Which is greater: v or 1?
1
Suppose 0 = f - 2*l - 9, -25*f = -22*f + 2*l + 13. Is 8/65 smaller than f?
False
Let m be ((-12)/21)/1 - 585/(-105). Suppose -21 = -16*k - m. Is k less than 1/135?
False
Let m be -16 + (-11 - (-1474)/55). Which is greater: -0.4531 or m?
m
Let w be (-2)/(-5) + 406/(-890). Suppose 33*c = 35*c + 5*z + 27, -2*c + z = -3. Which is smaller: w or c?
c
Let o(h) = -h**3 + 5*h**2 - 105*h + 525. Let z be o(5). Is z at most as big as -5/782?
False
Let h be (-2)/(-4) + (-82)/(-28). Suppose 18*g - 2*g = -9584. Let o = g - -602. Is o < h?
True
Let u be (-2)/(-46)*-2 + 0. Let o = -4593 + 4589. Is o at most u?
True
Let j(w) = w + 3. Let i be j(-5). Let p = i + 2. Let b(d) = -2*d**3 + 52*d**2 + 53*d - 1380. Let u be b(26). Is u bigger than p?
False
Let s = 262.12 - 50.24. Let u = -212 + s. Is -8 >= u?
False
Let v(c) = -6*c + 96. Let l be v(-3). Do l and 106 have different values?
True
Let r(p) be the first derivative of -p**4/4 - 5*p**3/3 - 3*p**2 - 2*p - 6. Let c be r(-4). Let q = c - 14. Is 1 less than q?
False
Let x = -2/221127407 + -68747626325930/82038267997. Let w = 838 + x. Which is smaller: w or -1/3?
-1/3
Let a be (-6)/(-45) - (-9 + 9). Let n = -18 - -18. Let b be (2/(-8)*n)/(-1). Are b and a nonequal?
True
Let d(m) = 5*m + 42. Let h be d(-10). Let u be (-10 + h)/((-1)/(2/(-4))). Which is smaller: -8 or u?
u
Let w(o) = -3*o**3 + 9*o**2 - 1. Let l be w(-2). Suppose -80 + l = 21*q. Which is smaller: 10/7 or q?
q
Suppose -22 = 5*i + 2*v, -4*i + 8*v - 26 = 11*v. Which is bigger: -87/5 or i?
i
Let m = -14.1044 + 234.2254. Let h = m - 220. Which is bigger: -1/2 or h?
h
Let o(l) = -62*l + 63. Let h be o(7). Let t = 371 + h. Which is smaller: t or -5?
-5
Let y = -274.6 + 276.6. Is y bigger than 450?
False
Let t(c) = -34*c + 682. Let i be t(20). Let g be ((-1)/(-3))/(3/333). Suppose -13*x + i = -g. Is 5 < x?
False
Suppose -137 + 1559 = 4*d - 3*o, 0 = -d - 2*o + 339. Which is greater: 344 or d?
d
Let c(j) = -3*j**2 + 3*j - 61. Let l be (-11)/(-2) + 21/6 + -3. Let m be c(l). Is -151 < m?
False
Let h(y) = y**2 + 118*y + 4567. Let w be h(-50). Is w smaller than 1167?
False
Let n = -29794 + 29795. Which is bigger: 11488 or n?
11488
Let w be -1 - (0/(-42))/(1/(-1)). Do w and -2/4527 have different values?
True
Suppose -55 = 5*x + 5. Let h = -5421/5 + 5364/5. Which is bigger: x or h?
h
Let b = -11587 - -289678/25. Let a = 14 + -10. Let y = a + -3. Is y >= b?
True
Let s be 3/((-3)/(-1)) + -3. Let a be (s/6)/((-46)/4). Let z(b) = -b**3 - 2*b**2 - 3*b - 45. Let d be z(-4). Which is smaller: a or d?
d
Let k = -156 - -192. Let m = k - 35. Let j be 1/3 - (-224)/(-744). Is m > j?
True
Let x be (6/(-4))/((-1)/2). Let f be x/(-9) + 2210/15. Let r be ((-5)/(-4))/1*f/(-3430). Which is bigger: 1 or r?
1
Let k(n) = n**3 + 4*n**2 - 7*n - 90. Let o be k(-6). Which is bigger: 5 or o?
5
Let d be (999/(-9))/((-3)/2). Let x(f) = -f**3 + 86*f**2 + 440*f - 3. Let p be x(-5). Which is smaller: d or p?
p
Let a be -12*(2 + 15/(-6)). Let n = -6601 + 6613. Is n < a?
False
Let b = -238.5 + 238.4. Which is smaller: b or 1017?
b
Let s = 99 - 98. Let z be (1 - (-21)/(-35))*65/s. Suppose 0 = -9*o + 152 - z. Which is smaller: 11 or o?
11
Let t(b) = -b**2 - 2*b + 3. Let n be t(3). Let y be (n/112)/((-4)/42). Let u = 2836 + -2835. Which is bigger: y or u?
y
Suppose 0 = 4*b + 3*y - 12233, 5*b + 4*y - 9209 = 6083. Let a = -128165/42 + b. Let c = a + -37/7. Is -1 at least as big as c?
False
Suppose -3*c + 4*o - 204 = 0, 4390 - 4546 = 3*c + 4*o. Let n(q) = -q + 6. Let z be n(6). Is c < z?
True
Let t = -41948/33 + 429773/528. Let y = t + 457. Suppose -10 + 12 = -2*x. Is x > y?
False
Let x = 20692 + -21571. Which is smaller: -6150/7 or x?
x
Let n be -5*(-3)/10*4*(-1)/(-2). Is n equal to 78/35?
False
Let p = 94989/24938 + -140/37. Is -1 greater than p?
False
Suppose 4*g + h = 76, 0 = -4*g - 5*h + 88 + 4. Let q be (-2 - 12/(-9)) + 12/g. Is q at least 2/703?
False
Let t = 20137 + -20137. Suppose 3*b - 160 = -b. Which is smaller: b or t?
t
Let y be (-27)/(-6)*20/15. Let t(u) = 2*u + 3. Let m be t(y). Let f = 453 + -438. Are f and m equal?
True
Let x(k) = -28*k**2 + 8*k - 28. Let g be x(5). Which is smaller: -4821/7 or g?
-4821/7
Let a = -5376 - -5066. Is -311 at least as big as a?
False
Let n = 850/1277 - 14987188/22527557. Is n at most as big as -1?
False
Let q(g) = -g**2 + 145*g - 4136. Let m be q(39). Is -880 not equal to m?
True
Let y be (4/(-6))/((102/2754)/(42/(-9))). Which is smaller: y or 414/5?
414/5
Suppose -n = -4*v - 21, -4*v + 9 = -4*n + 33. Suppose 0 = -2*w + w - 5. Let m = n + w. Which is smaller: m or 3?
m
Let p(l) = l**3 + 5*l**2 + 12*l + 10. Let x be p(-5). Let f = 51 + x. Let t be f/3 + ((-7)/3 - -3). Is -0.8 at most t?
True
Let v be 0 - 2 - 1197903/(-599466). Which is bigger: 0 or v?
0
Let g(l) = -l + 5. Let j be (-2 + 2 - -1)*5. Suppose -3*p = -j*c + 34, 0*c - 3*c + 3 = 4*p. Let s be g(c). Which is greater: s or -4/5?
s
Suppose 1169 + 6585 = 73*k - 349. Which is bigger: k or 1890/17?
1890/17
Let w be ((-2)/36)/(3/(-12)). Let q = -45 - -44.65. Is w >= q?
True
Let g(w) = -w**2 - 3*w + 11. Let b be g(0). Let a(t) = t**2 - 14*t + 29. Let z be a(b). Which is smaller: -11/4 or z?
z
Let s be (-8)/1 - (479/(-21) - (-91 - -94)). Which is greater: 19 or s?
19
Let c = -17551.03 - -17551. Which is greater: 120 or c?
120
Let u = -40.84942 + -0.01058. Are u and -4 equal?
False
Suppose 4*u - 840 = 11*u. Let b be u/1026 - (118/38 - 3). Is 0.47 at least b?
True
Let t = -388.67 - 5.33. Let m = t + 735. Which is smaller: m or 1?
1
Let i be 2/1 - 460/231. Suppose 5*h + 0*h - 5 = 5*m, -9*m = 2*h + 9. Which is greater: i or m?
i
Suppose 0*y - 26 = -y. Let v be (1/2)/(13/y). Are 3/164 and v unequal?
True
Let v = -21227741/1872927 + -164/6713. Let s = -173/31 - v. Is s > 5?
True
Let m(n) = 13*n**3 + 3*n**2 + n. Let q be m(-1). Let v be ((-6)/(-4))/((-30)/(-40)). Suppose -t = v*f + 6, -2 = -f - f. Is q >= t?
False
Let j = 104314 - 3338043/32. Suppose -2*g = -6*g. Which is smaller: g or j?
g
Suppose -7*x - 8 = -29. Suppose 5*b + 2*m = 7*b + 110, x*m = -5*b - 243. Are b and -51 unequal?
False
Let p = 4533 - 4531. Which is smaller: 196/139 or p?
196/139
Let m be -2 + 0 + 4 - 2314/(-26). Let c = m + -79. Which is greater: 80/7 or c?
c
Let z = -2.9238 - 0.0762. Do -35 and z have the same value?
False
Let w = 295 - 288. Suppose w = -x + 40. Which is bigger: 0 or x?
x
Suppose -6*y + 9 - 3 = 0. Let a be (32/185)/((-68)/500). Let j = a - -34/37. Is j at most as big as y?
True
Suppose -18709 = 4*n - 18685. Is 20 less than n?
False
Let p be (-20 + 3757/170)/(24/(-10) + 0). Which is bigger: p or -1?
p
Let t(w) = 2*w**3 - 12*w**2 - 6*w - 60. Let d be t(7). Are -27/10 and d equal?
False
Let i = -2 - -2.09. Let u = i + -3.99. Let h = u - -3.6. Which is greater: 1/2 or h?
1/2
Let o = -11 - -12. Let x be 111/3 - (o - 0). Let g = 659 - 622. Which is smaller: g or x?
x
Let u = 1230 - 1233. Which is bigger: 37.8 or u?
37.8
Let f = -362 + 379. Suppose -7*a = f*a + 456. Which is greater: a or -164/9?
-164/9
Let u = -15.21 - -2.834. Let z = 0.024 - u. Let t = z - 15.4. Are -1 and t nonequal?
True
Suppose -3*z - 2*g + 1077 = -387, -15 = 5*g. Let i be 7*28/z + 4/(-10). Is i greater than or equal to -473?
True
Let o(v) = -v**2 - 23*v + 96. Let g be o(-36). Is -370 not equal to g?
True
Let a = 9.817 - 20.817. Let w = -0.35 - -4.25. Let x = -4 + w. Which is greater: x or a?
x
Suppose 2*a = 2*z - 0*z + 1486, a + 4*z - 733 = 0. Suppose -b + a = 12*b. Let m = b - 58. Are -27 and m equal?
False
Suppose -2*t + 240*d + 40 = 238*d, -d + 60 = 4*t. Let s = -0.22 + 13.22. Is s < t?
True
Suppose 46 = -i - 4*v, -4*v - 108 = 2*i - 0*v. Let k be (4 - i/(-16))/(1/(-6)). Which is bigger: -1 or k?
k
Let j(t) = -2*t - 37. Let d be j(-21). Is 11 >= d?
True
Suppose 0 = -50*k + 52*k + 3*h + 3850, 3*h + 24 = 0. Which is 