se
Suppose 0 = -3*f - 5*v - 8, -4*f - 5 = 5*v - 1. Let r be -4*89*4/(-344) - f. Which is smaller: 1 or r?
r
Let y be ((-3)/(-226))/(-12 + (-297)/(-24)). Which is smaller: y or 0?
0
Let s = 0.0695 + -0.1195. Which is smaller: s or 104?
s
Let j be (-2 - (-14)/4)/(660/1210). Is 0.3 less than j?
True
Let q = 36 + -51. Let w = -16 - q. Let v = -19 + 8. Is w bigger than v?
True
Suppose j = -3*d + 229, -j = -4*d - 4*j + 302. Is d < 79?
True
Let n(d) = d**2 + 7*d + 4. Let z be n(-6). Let k be (z/6)/(1/(-6)). Let m be 2*(k + 44/(-20)). Is -6 at least as big as m?
False
Let l(s) = -s**2 + 2*s. Let m be l(2). Let x = m + 0. Let u = -47296/11 + 4300. Does u = x?
False
Suppose -28*c = -32*c + 636. Let g = -2386/15 + c. Let m = 6 - 6. Which is greater: g or m?
m
Let j(r) = -42*r - 264. Let u be j(-5). Which is bigger: -323/6 or u?
-323/6
Let p = 141 - 59. Let g = 100 - p. Which is smaller: g or 19?
g
Suppose 5*x - 3 - 1 = -4*g, 0 = -2*x. Suppose 21*t - 5 = 16*t. Is t less than g?
False
Suppose 5*x = 61 + 134. Let d be 1*42 - (-10 + 5 + 9). Is x at least as big as d?
True
Let p be -8 + -7*2354/(-77). Is 209 at least as big as p?
True
Let j(p) = -p**3 - 9*p**2 - 8*p - 9. Let y be j(-8). Let h = y - -8. Let l be 0 + (0 - 10/25). Is l at most h?
False
Suppose -5*u = 2*y, -2*u + u = y. Let t be 7/2 + 3/6. Suppose -t*l - 9 + 1 = 0. Are l and u unequal?
True
Let x = -1745 - -1999. Is x greater than or equal to -3?
True
Let d = 361 + -651. Is d at most as big as -290?
True
Suppose -5*p - 2*w = 1, -13*p + 11*p = -2*w - 8. Is p >= 1/245?
True
Suppose 0 = -2*x - x - 2*d - 19, 3*x = -d - 17. Let m = 36 - 60. Let i = m + 19. Does x = i?
True
Let a be 4 + 40/(-25) + -2. Is a smaller than -52?
False
Suppose -2*a = w + 2, 4 = w - 4*a - 12. Suppose 26 = -3*c - w*g, -2*c + 0*g - 9 = g. Is c <= -4?
False
Let o be (-2)/6 + (-32)/(-6). Suppose -r + 5*d + 10 = -3*r, 0 = -o*d. Does -8 = r?
False
Let c = 1 - 1. Let s = -265 - -313.2. Let m = s + -48. Which is greater: m or c?
m
Suppose 0 = 3*f - 9*v + 4*v + 162, 5*f + 4*v + 307 = 0. Let x = 42 + f. Is x not equal to -17?
False
Let h be 0/(-3 + 2 + 0). Let v(c) = -c**3 + c**2 + c + 3. Let b be v(h). Let p be ((-4)/(-10))/(b/15). Which is smaller: -2 or p?
-2
Let t = 1 + 7. Suppose 0 = -q + 5*q + t. Let j be (-1)/(-9) + (-3 - 292/(-126)). Are q and j non-equal?
True
Suppose -4470 + 288 = -34*r. Which is smaller: 121 or r?
121
Let c = 1.24 + -1.4. Let u = c + 0.36. Let g = 48 + -50. Is g < u?
True
Let o = -25456/41 + 621. Which is smaller: o or 0?
0
Let n = -10 - -4. Let s be (-3)/7 - 572/(-28). Suppose -16*k + 16 = -s*k. Which is smaller: n or k?
n
Let t = 1.2 - 0.2. Let x = -7.113 + -0.087. Let c = x - -7. Which is bigger: t or c?
t
Let u = -19 + 19.09. Let a = u - 5.09. Are -0.3 and a non-equal?
True
Let i = -11 + 5. Let s be (937/i)/(2/(-1)). Let b = -78 + s. Is b greater than or equal to 0?
True
Suppose 3*c - 4*h = -8, -2*c + 5*h - 7 = 2*h. Let d be ((-101)/(-2))/(3/(-6)). Let k = d - -106. Which is smaller: k or c?
c
Let k = 0.05 + -3.05. Let v = 31.2 - -3.8. Let u = v + -34. Which is smaller: k or u?
k
Let y = -19.3 + 12.14. Let f = -0.16 - y. Let m = f - 6.9. Which is smaller: m or -2?
-2
Let s = 184/187 + -9/17. Suppose -81*z - 7*z + 176 = 0. Is s smaller than z?
True
Suppose 2*s = 4*w - 118, 4*w = 3*s - 8*s + 97. Let z be 7/w - 166/(-8). Let d = 21 - z. Is 5 at least d?
True
Let k = 639 + -628. Which is smaller: 6 or k?
6
Let v = 4/119 + -1079/238. Let u be 2*1 + 4 + -6. Which is greater: v or u?
u
Suppose -4*v + 9 = -2*r + 3, 5*r = 2*v - 23. Let u(n) = -n**2 + 12. Let g be u(0). Let w be 134/(-472) + 3/g. Which is smaller: w or v?
v
Let u = 10.0174 - 0.0174. Let z = -0.2 + 0. Let d = z + -0.8. Is d less than u?
True
Suppose -2*q - 58 = -36. Let g(o) = -o**3 - o**2 - o + 2. Let v be g(0). Suppose 3*w - 3*h = -21, -v*h + 4 = -w - 0*h. Is q <= w?
True
Let u be 5*(-2)/(-5) + 1. Suppose 3*b = -u*a - 18, b - 3*b = -3*a + 7. Is 1/73 greater than a?
True
Let x be (-5)/10 + (33/(-14))/(-3). Is x less than -68?
False
Let j = 10.75 - 10.85. Which is smaller: -22/19 or j?
-22/19
Let c(a) = -9*a - 28. Let r be c(-5). Let n = -1 + 5. Suppose -6*t + 20 = -t, n*t = -v + r. Which is smaller: v or 1/12?
1/12
Let w(f) = -f**2 - 12*f + 12. Let h = -23 + 38. Let r = 2 - h. Let z be w(r). Which is bigger: -12/13 or z?
-12/13
Let o = 1026 + -4103/4. Let j = 1.8 + -1. Let u = -0.3 + j. Is u bigger than o?
True
Let a = 13765/476 + -20/119. Is 30 equal to a?
False
Let y = -4 + 7. Let u be (9/(-6))/(y/16). Which is smaller: u or -29/4?
u
Let z be 52/234 + (-7)/(-9). Let n be ((-20)/22 + 1)*1. Which is bigger: n or z?
z
Let w be 114/(-144) + 3/(-9). Is 0.2 > w?
True
Suppose 2*m + 65 = -29. Let j = 3966 + -4013. Is m at least j?
True
Let i be (1298/154 + -9)/((-6)/35). Are i and 1/11 equal?
False
Let s(f) = -f**3 - 10*f**2 - 8*f - 73. Let l be s(-10). Is l >= 16?
False
Let g = 1 - 1. Let u = 7572/59 + -2114201/16520. Let h = u - 3/40. Which is smaller: g or h?
g
Let x = 389/3 + -485/4. Which is smaller: 9 or x?
x
Suppose -42*b = -442 - 146. Is b equal to 14?
True
Let x be 0*(3/18 + 4/24). Suppose -9*k - 5 - 49 = x. Which is greater: k or -23/5?
-23/5
Let x = -16 - -16.2. Let k = x + 30.8. Let r = k - 19. Which is smaller: r or -0.1?
-0.1
Let q(h) = 17*h + 17. Let i be q(-4). Let s be 6/i + (-144)/(-646). Does -1/2 = s?
False
Let v be 4 - (7 - (-5)/(5/(-3))). Let r = 1546/129 + -12. Do v and r have the same value?
False
Suppose -2*h - 6 = 4*p, 4*h - p = -2*p + 9. Suppose 4*l - i = -7 - 10, 0 = 4*l + h*i + 13. Is 0 < l?
False
Let a(o) = -o - 2. Let y be a(6). Let x = y + 17/2. Let s = -4.9 + 5. Are x and s nonequal?
True
Let c = -155/2 + 3101/40. Which is smaller: 21 or c?
c
Suppose -r - 3*u = 3, 4*r = u + 15 - 14. Let x = -4816/17 - -283. Which is bigger: x or r?
r
Let v(d) = -497*d**2 - d - 1. Let o be v(-1). Let f = o + 12427/25. Is f <= 3?
True
Let a(o) = -o**2 - o + 2. Let z = -20 + 20. Let r be a(z). Let l = 1/63 + 17/63. Which is smaller: r or l?
l
Suppose 5*m + 15 = -4*q + 8*m, -q - 5*m = 21. Let c be (q/9)/((-46)/3). Do -1 and c have the same value?
False
Let y = -3 - -2. Let c = -175 + 1747/10. Is c at most as big as y?
False
Let i = -553 + 546. Are 5 and i equal?
False
Suppose -m - 1114 + 678 = 0. Is -436 at most m?
True
Suppose z = 17*z. Is z less than -34/57?
False
Let h = -7170 - -3857461/538. Is h not equal to -1?
True
Let w = 3.5 + -9.5. Let j = w - -39. Is 1/3 smaller than j?
True
Let r be 1*(440/(-24))/(-5). Is r at least as big as 3?
True
Let w be ((-8)/(-4) + -413)*22/(-33). Is w at least as big as 549/2?
False
Let w = -1401 - -771. Which is bigger: w or -629?
-629
Suppose -5400*u + 186 = -5406*u. Which is smaller: 14 or u?
u
Let x be 1/(-3)*0*-1. Let p = x + 11. Suppose 2*k + 5*d = 3*k - 16, 4*k + 3*d - 41 = 0. Is k at most as big as p?
True
Let h be 2632/(-72) - (-1 - -2). Which is smaller: 0.1 or h?
h
Suppose -4*y + 152 = -2*i + 6*i, -5*y + 151 = 4*i. Let d = 44 - i. Are 5 and d equal?
True
Suppose 4*j - 4*n - 20 = 8, -6 = 3*n. Suppose -j*g + 19 = 4*v - 24, -1 = g - 4*v. Let a = g - 6. Is 3/8 smaller than a?
True
Let t be (-1)/2 - 3/2. Let k = 15/4 + -9/2. Which is greater: k or t?
k
Let g = 3.79 + -3.89. Which is smaller: -3 or g?
-3
Let k = 8 + -7. Let h be 32/24*(4 - k). Suppose h*u + 16 = a, -4*u = u + 20. Is a greater than or equal to -1/6?
True
Let v = 0.7 + 16.3. Let x = v + -20. Is -9 not equal to x?
True
Let y be ((-3)/(-2))/((-6)/8). Let l(s) = s**2 - 40*s + 306. Let t be l(30). Which is greater: t or y?
t
Let j = -6/127 + -212/889. Which is smaller: -0.13 or j?
j
Suppose -3*c = c - y - 12, -4*c = 2*y - 12. Suppose -5*b + 3*t + 16 + 49 = 0, 3*b - 39 = -c*t. Suppose 6*m = -b - 11. Which is smaller: m or -5?
-5
Let p = -46 + 90. Which is greater: p or 2/7?
p
Let k = 2/55911 + -273370/764117. Let q be -2 + (-4 - 1225/(-205)). Let z = k - q. Is z <= -1/2?
False
Suppose -10 - 10 = -5*q. Suppose o - 6 = -3*j - 0*o, q = 2*j + 5*o. Let g be (1/j)/((-1)/24). Which is smaller: -11 or g?
g
Let v be (((-2784)/(-9))/(-4))/((-2)/6). Suppose 0 = -8*w - v - 88. Are -40 and w non-equal?
False
Suppose -5 = -4*h - 21. Let l be (h + 3)*(0 + -1). Let k(f) = -3*f - 1. Let q be k(l). Which is greater: -5 or q?
q
Let m = 345212/87 + -3968.