38 - 1.93. Let b = -1.892 - g. Which is smaller: -13/7 or b?
b
Let d = 5.1 - 772.1. Let f = -631 - d. Is 1 not equal to f?
True
Let q = -573 + 2713. Is q at most as big as -1/2?
False
Suppose 608*x = 603*x + 120. Suppose y = 25*y - x. Which is greater: 5/9 or y?
y
Let p = 3688 - 3681. Which is bigger: p or -1/5?
p
Let f(r) = -r**2 - 22*r + 2588. Let p be f(41). Is 2/17 greater than p?
False
Let r = 293.44 + -293.24. Which is greater: r or 248/9?
248/9
Let r(o) = 2*o**2 + 146*o + 283. Let k be r(-71). Is k at most 3862?
True
Let s = 52913 - 52520.33. Let z = s + -393. Do z and -2/3 have different values?
True
Let g = -77.065 - 15.036. Let i = 34.899 + -35. Let k = i - g. Is -2/5 < k?
True
Let n = -1.2 - 28.8. Let h = -23.5 - n. Let i = h - 7.5. Is i <= -0.43?
True
Let y be 4/56 + (-8 - (188324/(-14560) - -5)). Which is smaller: -1 or y?
-1
Let o be 112/26 - -2 - (-35 - -41). Let s = o + 398/143. Suppose 20 = -g + 6*g. Which is smaller: g or s?
s
Let z be 20/11 + 3/(18/(-24)). Let y = -0.127 - 17.773. Let j = 18 + y. Which is greater: j or z?
j
Let k = 44828 - 44699. Are k and 218 nonequal?
True
Let s(u) = -7*u - 20. Let b be s(-18). Suppose -426 = -5*h - b. Let l = h - 63. Which is bigger: 2/33 or l?
l
Suppose -10*j + 36*j - 51073 = 15*j. Is j at most as big as 4642?
False
Let d = -53 - -107. Let p = 70.5 + -117.5. Let h = p + d. Is h bigger than 2/3?
True
Let y = -1164 + 1162. Is y at least -18/11?
False
Let z be (56/(-12))/7*-1*-3. Suppose 4*u = -2*h - 154, -4*u - 155 = 5*h - 16. Does z = u?
False
Let u = 2449 + -2453.2. Are u and 0.02 nonequal?
True
Let i(l) = -14*l + 157. Let a be i(7). Let j = a - 8. Is j less than or equal to 54?
True
Suppose 392 + 438 = -205*c + 215. Which is bigger: -209/49 or c?
c
Let l = 85 + -100. Let i be l/92*8/12. Is 0 < i?
False
Let n = -227 + 312. Let h(l) = -93*l - 7. Let i be h(-1). Which is smaller: n or i?
n
Let r = -1730 + 1733.2. Let a = 0.35 + -0.15. Does a = r?
False
Let i = -266 + 266.47. Let s = 1.11 + -0.91. Is i less than s?
False
Let o be (4/(-52) + 490/(-3770))/(-148). Which is smaller: -1 or o?
-1
Let r = -1865/387 + 44/9. Let n(g) be the third derivative of g**6/60 + 11*g**5/60 - g**4/24 - 31*g**3/6 - 65*g**2. Let f be n(-5). Is r at most as big as f?
False
Let a be (10/(-4))/(1/6). Let f = -27 - 8. Let c = f + 21. Which is smaller: c or a?
a
Let l(p) = 4*p - 12. Let m(z) = -23*z + 71. Let h(i) = -34*l(i) - 6*m(i). Let n be h(9). Is -4/85 less than or equal to n?
True
Let j = 16803/31 - 541. Suppose 2*l - 5*m = l + 17, 3*l = 3*m + 15. Which is smaller: j or l?
j
Let d = -9.37 + 0.8. Let y = d + 0.17. Does -3 = y?
False
Let x = 274 + -275. Which is smaller: x or 7/2119?
x
Suppose 0 = -2*m + 4, -42*c - 2 = -46*c - 3*m. Let u = -4 + 5. Let t be u + 1 + 72/(-37). Do c and t have the same value?
False
Let p = 18 - 40. Let i(y) = y**3 - 19*y**2 - 18*y - 17. Let u be i(20). Let c be u*(-26)/(-39)*(-3)/2. Is p != c?
True
Let u(t) = t**2 + 29*t - 20. Let r be u(-28). Let g = -49 - r. Let m = 383/1764 + 1/196. Which is smaller: m or g?
g
Suppose -10 = -3*i + 2. Suppose -i*w - 166 = -2*t, 4*t - 206 = 4*w + w. Let u(d) = d**2 + 195*d - 1877. Let q be u(9). Which is smaller: w or q?
w
Let j = -2931 - -2931. Which is smaller: 76 or j?
j
Suppose -3*i + 4*z + 51 = 2*i, 0 = 4*z + 16. Let g = -16816 - -16814. Which is smaller: g or i?
g
Let z = -37 - -47. Let l = z + -10. Suppose m + 5*p = -l*m + 8, 2*p = 3*m - 24. Is m greater than 10?
False
Suppose d = -p - 59, -11*d = -13*d - 4*p - 122. Which is smaller: -56 or d?
d
Let k be (((-44)/2)/528)/(2/(-318)). Do 6 and k have the same value?
False
Let k = -13896/5 - -80417/35. Let h = 483 + k. Let z = 1/14 + h. Which is smaller: -0.01 or z?
-0.01
Let l = -616 - -593. Let c be (-25 - l)*39/6. Let w = -24 - -12. Is c less than or equal to w?
True
Let c(m) = 107*m**2 + m. Let o be c(-1). Suppose 0 = -4*w + o + 42. Let s = -37 + w. Which is smaller: 4/7 or s?
s
Let s = -712 + 806. Is s < 664/7?
True
Let z = -13.7 + -4.3. Let c = -228.9 - -211. Let b = c - z. Which is smaller: 24 or b?
b
Suppose -2 = -2*m - 4*a, 22*a = -3*m + 24*a + 3. Is 2/4197 smaller than m?
True
Let x = 931/328 + -45293/13776. Let l = x + 1/48. Let t be (32/(-80) + 2/5)/2. Which is bigger: l or t?
t
Let h be (-2)/6 + (-47)/(-87). Let u(d) = 3*d**2 + 8*d - 36. Let b be u(3). Suppose -5*r + 15 = 4*l, 2*r + 2*l - b = 7*r. Do h and r have the same value?
False
Let y = 3.1 + -3.21. Let i = 0.19 + y. Let k = i + -2.08. Which is smaller: 1 or k?
k
Let y(l) = l**3 + 4*l**2 + 5*l + 4. Let w be y(-3). Let p be w*((-49)/2)/(-1). Let o be ((-30)/(-100))/((-13703)/(-284) + -49). Which is greater: p or o?
o
Let j(n) = -10*n + 24. Let t be j(10). Suppose s - 4*s = 0, -26 = 2*y + s. Let p = t - y. Do 1/2 and p have the same value?
False
Let g = -35891.9 - -35892. Which is smaller: 9319 or g?
g
Suppose -77*b - 16 = -80*b + 2*p, -3*b - 2*p = 16. Is b smaller than -186/437?
False
Let k = 42691/21 + -2033. Let o = -2.86 + -0.14. Which is bigger: o or k?
k
Let c(g) = -g + 5. Let z be c(5). Let r(b) = 2*b**3 + b. Let n be r(2). Suppose -n*a + 14*a + 16 = 0. Which is smaller: z or a?
z
Let w = 28 - 41. Let x be 96/10 - (-2 - w/5). Let o be 1/(x/(9/2)). Is o smaller than 5?
True
Let y = 6686/105 - 306/5. Let r = -15/7 + y. Which is bigger: r or 95?
95
Suppose 0 = 5*w - 15, 0 = 2*y - 3*w + w + 36. Let h = -23975 - -23959. Is h at least y?
False
Let w = -83 + 55. Let z be w/13 + 14/91. Let t be ((-24)/48)/(-1 - z). Which is smaller: -0.02 or t?
t
Suppose -6*u - 6*u = -29 + 41. Which is smaller: -111/124 or u?
u
Let r be (6000/(-14))/(-12) + (-2)/(-7). Let g be r/(-20) - (-34732)/(-285). Which is smaller: -125 or g?
-125
Let w = -3 + 1. Let h = 8.404 - 0.204. Let z = h + -8.1. Which is greater: z or w?
z
Suppose 5*u + 649 = r + 203, 1366 = 3*r - u. Let x(s) = 50*s**2 - 2*s - 1. Let z be x(-3). Which is smaller: z or r?
z
Let i be 0/((-12)/51*34/(-4)). Is i >= -9/532?
True
Let s = -381.04 - -381.04. Let v = -38 - -10. Are v and s unequal?
True
Let h(x) = x**2 + 75*x + 1240. Let k be h(-31). Is k greater than 3?
False
Let b be (2 + 0 + -973)*(-8)/(-2 - -6). Are b and 1943 non-equal?
True
Let c = 71.5 + 8.5. Let f = c - -43. Let v = -122 + f. Which is bigger: 3 or v?
3
Suppose 86*x + 30 = 91*x. Suppose -3*l + 1521 = x*l. Is l less than 169?
False
Let y = 4603/19695 + -1/2626. Let g be (0/2)/(3 - 1). Is g bigger than y?
False
Let f = 83728/9 + -1090557218/117225. Which is greater: f or -1?
f
Suppose -3*s = 4*z + s - 40, z + 5*s - 30 = 0. Which is bigger: 462 or z?
462
Suppose 4*r + 4 = -2*x - 4, -x - 3*r - 7 = 0. Suppose 2*l + 7 = -c, x*c = -2*l + 4 - 16. Let b(u) = u**2 - 2*u - 3. Let g be b(l). Is g > -10/7?
True
Let i = -525.49 + 523. Let q = i + 5.49. Is 1/5 greater than q?
False
Let l be (-6445)/1898 + (-11)/(-22). Let h = 22411/13 + -1721. Let k = h + l. Are k and -1 nonequal?
True
Let o(a) = a**2 + 5*a - 22. Let u be o(-8). Suppose 0 = 4*h + u*t + 98, -2*h + 4*t + 16 = 40. Suppose k = -1 - 22. Which is bigger: k or h?
h
Let w = -6703 - -7635. Which is smaller: -0.4 or w?
-0.4
Let r = 5396 + -4315. Do 1/2 and r have different values?
True
Suppose 10*m - 11*m + 69 = 0. Let f = -2181 + 2250. Is f < m?
False
Let u be 3/15 + 9/5. Let p = -1695 - -1720. Suppose 2*g + v + p = -4*v, u*g + v = -5. Which is smaller: g or 2?
g
Let f be 1 - (-52)/(-44) - (-10401)/33. Suppose 0 = 4*o + f - 767. Which is greater: o or 112?
o
Suppose -5*q - 45 = c, 32 = c - 3*q + 101. Which is bigger: -61 or c?
c
Let b be (-2835)/(-156) - 90/(-120). Which is greater: 18 or b?
b
Let a = -3966 - -4318.9. Let b = 26.9 - a. Which is bigger: b or -0.1?
-0.1
Let j be (0 - (-6)/1070)*129820/(-16). Let o = j - 1/428. Which is smaller: o or -46?
-46
Let r(j) = 2*j**2 - 80*j - 7. Let z be r(42). Let d = 160 - z. Is 7/44 >= d?
True
Suppose -5*f = -8*f - 12. Let d(o) = -3*o - 39. Let x be d(-10). Let n be 36/54*x/2. Is f at least n?
False
Let w = -0.3 + 10.3. Let p = w + -19. Let v = 27 + p. Which is greater: v or 1?
v
Let u(d) = d**2 - 4*d + 8. Let j(r) = -r**3 + 26*r**2 + 2*r - 47. Let b be j(26). Let k be u(b). Do 130/9 and k have the same value?
False
Let x = 356 - 544. Let g be x/342 - 16/(-152). Let d = -7 + 6.8. Which is greater: g or d?
d
Let q be 159/(-231