5) + 5 - 22/(-14). Suppose -f*d - 8 = -16. Is 25/7 at most as big as d?
True
Let p be 212/(-954) - 76/9. Is p != -8?
True
Let q(o) = 7*o**3 + 2*o**2 - 2*o + 2. Suppose -58*i + 62*i - 4 = 0. Let r be q(i). Is 12 at most r?
False
Suppose -v + 3*z = 23, 0*v + 2*z = -4*v - 134. Let c = -33 - v. Is 4/23 bigger than c?
True
Suppose 19*y = -y + 720. Is y != 36?
False
Let k = -270 - -271.36. Which is greater: k or -1/3?
k
Let o(y) = -11*y + 4. Let t be o(6). Let d = 44 + t. Is -18 less than or equal to d?
True
Suppose 10 = 2*p, 4*f + p = -4*p - 267. Is -359/5 at least as big as f?
True
Suppose -f + 1 = -0. Let y be -1 - 2 - 12341/(-4312). Let q = -1/77 - y. Is q bigger than f?
False
Let v(h) = h**2 - 6*h + 3. Let c be v(7). Suppose -4*d - 16 = 0, -2*d = -2*w + 7 + 9. Let x = c + w. Is 13 less than x?
True
Let q(w) = -w**2 - 3*w. Let y be q(-1). Suppose -3*o + 74 = -5*o - y*z, -5*z = -25. Is -41 smaller than o?
False
Let k be ((-10968)/663)/4 + 4. Let s = k - -1/17. Let q = 44/65 + s. Which is greater: 4 or q?
4
Suppose 0 = 5*p - 3*p + 20. Let r = 4 + p. Let c(g) = -2*g - 8. Let q be c(r). Which is bigger: q or 3?
q
Suppose -5*h - 5*r = -r + 235, 3*h + 141 = 4*r. Which is greater: h or 0.3?
0.3
Let i be 1/(360/(-183235)) - 5. Let h = 514 + i. Which is greater: h or 0?
h
Suppose -2 = -2*i - 8. Let g = i + -4. Let w = -1424 - -1416. Is w equal to g?
False
Let b be 8 - 472/56 - 6/(-14). Are -1/8 and b equal?
False
Let x = 80 + -67. Which is smaller: 158/11 or x?
x
Let o(p) = -p + 5. Let m be o(10). Let b be m/15 - 48/(-9). Suppose -3*t + 21 = 3*c, -2*t - 11 + 4 = -b*c. Is -1 greater than c?
False
Suppose -3*k - 4*k = -91. Suppose 0 = -5*f - 4*y + 68 - 6, -66 = -5*f - 2*y. Is f less than or equal to k?
False
Let l be -9*(-1)/(-2)*-1. Suppose 345*v - 1122 = 158*v. Which is smaller: l or v?
l
Let n = 281/110 + -3/55. Let m(w) = -w**2 - 3*w + 13. Suppose -10 = -v - 15. Let x be m(v). Is x less than or equal to n?
False
Let x(g) = 14*g**2 - 2. Let n be x(-2). Are 48 and n non-equal?
True
Let c be (1/(-1))/(4 - 3). Let w be (-2)/4 - (-76)/8. Let a be w/6*(-1 - 1). Which is smaller: a or c?
a
Let g(m) = -7*m + 15*m + 22 + m**2 + 16*m - 6. Let j be g(-23). Which is smaller: -0.1 or j?
j
Let k = -552.6 - -614. Let z = -56.57 + k. Let y = 0.17 + z. Which is smaller: y or -1/3?
-1/3
Let y = 34.58 + -35. Let d = 1.58 - y. Which is bigger: 12 or d?
12
Let f be 2*(17/18 + (-136)/306). Are f and -1/3031 equal?
False
Let q = -974 + 492. Which is greater: q or -483?
q
Let a = -18 + 12. Suppose -q - 3*q + 2*i - 6 = 0, 0 = -5*q - 3*i + 9. Let x = a + q. Is x at most 2?
True
Let j be 7 - 1/(2/8). Suppose -j = -5*o + 2*o. Let v be 2*((-3)/6 + o). Do v and -2/11 have the same value?
False
Suppose 3*q = -44 + 11. Let h = -1995/26 + -465/13. Let y = 113 + h. Which is bigger: y or q?
y
Let n(q) = 2*q**2 + 3*q. Suppose -k + 8 = -5*g, -2*k + 4 + 2 = -5*g. Let x be n(k). Suppose 0 = -v - 0*v - x. Which is smaller: v or -1?
v
Suppose -2*c - 8 = 0, 3*h + 5*c = 4*c - 76. Let f = h + 27. Is 5/2 equal to f?
False
Let k = -1016 - -4071/4. Suppose -s - 2 = -2*s. Is k at least as big as s?
False
Let t = -29765/319 - -2292/29. Let i = 15 - 1. Let c = i + t. Is c less than 1?
True
Suppose 0 = -5*d + 3*o + 200, -d - 12*o + 63 = -8*o. Is 49 at most as big as d?
False
Let q be 2*(-12)/8 - -2. Let s be (q/(-4))/(21/12 + 1). Is 0 < s?
True
Suppose 4*z + 3*p = -p - 24, -z + 4*p + 19 = 0. Is -9/107 at most z?
False
Suppose 5*f + 3*o = -42, 5*o + 2 = -0*f + 3*f. Let s(k) = -k**3 - 6*k**2 + 3*k + 7. Let u be s(f). Let p be ((-22)/6)/(2/6). Do u and p have the same value?
True
Suppose 2*b + 10 = 12. Which is greater: -14/37 or b?
b
Let j = 5332 + -122552/23. Are j and 4 nonequal?
True
Let s = 153 - 97. Let o be 37/s - (-4)/(-14). Suppose 0 = 137*h - 51*h. Which is smaller: o or h?
h
Suppose -1 - 5 = -2*r. Suppose -i = 3*y - r*i + 2, -4*i + 4 = 4*y. Suppose 4*z - 2*j + 2 = -y, 4*z + j + 5 = 0. Is -1/8 greater than or equal to z?
True
Let w = -106 + 30. Which is greater: 1/3 or w?
1/3
Suppose -3*q + 4*m = -15, 3*q - 2*m - 15 = -3*m. Which is greater: -7 or q?
q
Let s = 6 - 1. Suppose -s*r + 14 = 19. Let j be (-3)/15*3 - r. Is j smaller than -3/4?
False
Suppose 2*u + 94 = -4*r, 4*r - 5*u + 82 = -3*u. Suppose 5*v = 5*f - 130, 0 = -221*v + 217*v - 5*f - 59. Is r <= v?
True
Let m be (-2*(2 + -1))/(-2). Let t be (4/(-9))/((-4606)/423). Which is smaller: t or m?
t
Suppose 0 = -y + 2*i - 0*i + 4, -2*i + 14 = -4*y. Let x be (y/(-4))/((-9)/(-12)). Suppose n = -0*n + x. Which is greater: 3 or n?
3
Let g(j) = j**2 + 6*j + 2. Let n be g(-7). Suppose i = 0, -2*i - 32 = -2*t - 2*t. Is n >= t?
True
Let a = -2/119 + 244/357. Let y be (-371)/3 + -3 - -2. Let f = 13096/105 + y. Are f and a nonequal?
True
Let l be 7/4 - 2/(-8). Suppose 0 = l*d + 7 - 15. Let x be d + (-3*8)/3. Which is bigger: x or -1?
-1
Let p = 0.3 - 0.5. Let r be -1*((-22)/6 + (-22)/(-33)). Is p less than r?
True
Let f(r) = -r**3 - r**2 + 3*r + 4. Let g be f(-2). Let a be 3/g*1/3. Which is smaller: a or 6/11?
a
Let r = 7795/924 + -59/7. Which is bigger: 0 or r?
r
Let t = -8 + 8. Suppose 0 = 5*j - t*j + 50. Let q = j + 1. Is q at least -9?
True
Let g = 10.5 + -9. Let u = 1.8 - g. Let z = 0.1 + -0.2. Which is smaller: z or u?
z
Let n = 7.97 - 8. Let f = n - -2.03. Let i be ((-6)/4)/((-168)/32). Is f greater than i?
True
Let v(c) = 2*c**2 + 12*c - 31. Let r be v(-8). Is 0.19 bigger than r?
False
Suppose 2*t = -5*v + 2349, -74*t + 2*v = -78*t + 4690. Is 1171 smaller than t?
True
Let v be -14 + 12 - -2*3. Let s be (-8)/6*(-6)/4. Let p be (-80)/(-25) - s/10. Is p at most as big as v?
True
Let f = -1.1 + 1. Let x = 0.13 + -0.03. Let c = x + f. Which is bigger: c or -2?
c
Let k be (3 - (14 - -4)) + -2. Let z = -33/2 - k. Let v = -0.8 + -0.2. Is z bigger than v?
True
Let x be (-6904)/(-8) - 143/(-13). Which is smaller: x or 873?
873
Let s be (450/(-4))/(3/(-4)). Let m be ((-36)/(-10))/(45/s). Suppose -m - 13 = 5*w. Is w less than -8?
False
Let v = -11 - -12. Let c be (-32)/(-24) - (-2)/3. Let w be -1 + c + (-96)/100. Which is greater: v or w?
v
Suppose 2*a - 8 = 5*k, 3*k + 2*a + 2 = 6*a. Suppose 19*u + 30 = 4*u. Is u at most as big as k?
True
Let a be (-96)/(-162)*3/(-18). Is 0 >= a?
True
Let m = 3/179 + 152/1611. Which is greater: 0 or m?
m
Suppose 3*q + 3*o = -645, -2*o = 14 - 16. Is q at least as big as -214?
False
Let j = 1 - -13. Let h = 12 - j. Let k = 2 + h. Which is smaller: k or -1/2?
-1/2
Let h = -8 + 6. Let s = -57 + 54. Let v = s - h. Which is greater: v or -0.3?
-0.3
Let l be ((-2)/(-6))/((-1)/(-3)). Suppose 2*o - 4*v = 28, 7*v - 4*v + 15 = 0. Let m be 1/(o - 2/(-1)). Is m < l?
True
Suppose 2226*v - 59 = 2225*v. Which is smaller: 1 or v?
1
Suppose 104 = -l - l. Let w(x) = -x**3 + 20*x**2 - 35*x - 24. Let f be w(18). Let c be f/(-2) - (-154)/l. Which is smaller: 0 or c?
0
Let o be -3 - 4*((-1794)/(-168))/(-13). Does o = -0.418?
False
Let d be ((-56)/35)/((-4)/450). Let j be d/35*70/(-4). Let z be j/27 + 2/6. Which is smaller: 3 or z?
z
Let g = 1508 - 1508. Suppose 0 = h - 4 + 2. Which is smaller: h or g?
g
Let y = 9778 + -8927313/913. Are 1 and y unequal?
True
Let g(v) = v**3 - v**2 - 3*v - 1. Let w be g(3). Let j = 5 + 1. Let q be j/(-9)*36/w. Is -3 != q?
False
Suppose 4*q - 2 - 6 = 0. Let h = q - 3. Let r = 1279 - 8956/7. Which is greater: r or h?
r
Let v = 502 - 513. Which is smaller: v or -195/16?
-195/16
Let l(v) = 2*v**2 - 69*v + 98. Let i be l(33). Is -124 less than or equal to i?
True
Let p(y) = y - 7. Let n be p(10). Suppose -n*c = -3*i - 9, 0 = -2*i + 4*c - 3*c - 2. Let k be i*(-7 - -3 - -3). Are 1 and k non-equal?
True
Let f = -455 - -433. Which is bigger: f or -64/3?
-64/3
Let u = -252 + 123. Is u at most -128?
True
Let f(r) = r**2 - 2*r + 2. Let o be f(2). Suppose -3*h - 170 = -2*x, 7*h + o*x + 222 = 3*h. Which is greater: h or -57?
h
Suppose 0 = 5*q - 25, 0 = -2*w - 5*q + 16 + 25. Which is smaller: 96/11 or w?
w
Let h = -1032 - -1015. Is -16 smaller than h?
False
Suppose 68*k - 62*k = 0. Do -48 and k have the same value?
False
Let g = -283 + 276. Which is bigger: 1 or g?
1
Let k = -3 + 2. Let o be (-3 - 0)/6*76/(-95). Are o and k nonequal?
True
Let j be ((-1040)/182)/((-6)/63). Which is bigger: j or 58?
j
Let c be (0 + 35)*(35/25 - 