be (-1 - 4/(-6))*s. Let d(w) = -w + 3. Let r be d(2). Which is bigger: r or h?
r
Suppose -2*x + 2 = -0*x. Let w = -83.7 - -56.7. Is x less than or equal to w?
False
Let m be 5/((-20)/(-3)) + 2451/60. Is m != 43?
True
Let n = 0.4 + -4.4. Let g = -3 - n. Let s = 5 - 5.9. Which is bigger: s or g?
g
Let f(x) = -x**2 - 2*x - 1. Let q be f(-2). Let v be (q/(-10))/((-2)/(-8)). Which is smaller: -1/4 or v?
-1/4
Let y be (-19)/(-4)*-6*(-4)/6. Suppose -l = -2*s + y, -10 = -0*l - 2*l. Let j = 22 - 12. Are s and j unequal?
True
Let a = -3 + 0. Let c = -2.93 + 0.33. Let b = c - -2.6. Which is smaller: b or a?
a
Let q(w) = w**2 + 6*w + 9. Let z be q(-2). Is -5/162 < z?
True
Suppose 423*h - 427*h = 0. Do h and 1/316 have the same value?
False
Let d = 25 + -24.6. Let l = 0.3 - 0.3. Which is bigger: d or l?
d
Suppose 10 = 16*x - 6. Is x > -2/261?
True
Suppose -p + 25 = -6*p - 3*o, -p = -3*o - 13. Let w be 15/(-20) + p/8. Let d be w - (-3)/(-9)*-2. Are -2/5 and d nonequal?
True
Let x be (-1)/(-8) + 3*(-580)/96. Let q be ((-3)/x - 3/18) + -126. Which is greater: q or -125?
-125
Let k = -10.309 + 10.4. Let b = k - 0.091. Which is smaller: b or -0.2?
-0.2
Suppose 3*d + 122 - 32 = 0. Suppose -132 = 4*w - 8. Is d at most as big as w?
False
Let j be ((-4)/(216/(-6)))/(58/6 - 7). Let i = -354 + 4600/13. Which is bigger: j or i?
j
Suppose -22*s = -24*s - 46. Are -2 and s unequal?
True
Let l = 361 + -365. Is l at most -13?
False
Let n be (-12)/(-30) + (-1145)/3050. Which is smaller: n or 0?
0
Suppose 44*y + 3*t = 45*y + 33, 4*y - 2*t + 122 = 0. Which is greater: -39 or y?
y
Let k = -139282/7 + 11417519/574. Let t = k + 98883/15170. Let q = t - -6/37. Which is greater: 0 or q?
q
Suppose 13*w = 29 - 16. Is w >= -1/29?
True
Let c be (253/33 - 5)*15/(-2). Which is bigger: c or -19?
-19
Let f be -1 + -11 + 5 + 16. Let s = 15 - 6. Is f greater than s?
False
Let h be 285/(-12) + 0 + -4 + 1. Is -27 less than h?
True
Let w = -421 - -422. Let v = 15/62 - 269/1240. Let z = v - 5/8. Which is bigger: z or w?
w
Let w be (-10506)/515*-5*1/2. Is 57 not equal to w?
True
Let y = 13 - -34. Let f = y - 47.19. Which is smaller: f or 0.2?
f
Let r = -63 - -61. Let b(w) = -w**3 - 12*w**2 - 12*w - 8. Let g be b(-11). Suppose f = -5*o + g, -5*f + 2*o = -6 + 18. Is r not equal to f?
False
Let d(l) = -3*l - 20. Let s be d(-8). Suppose -s*y - 2*c = 0, 5*y = -0*y + 2*c - 9. Is y < 2/73?
True
Let x = -718.9 + 760. Let c = x - 41. Suppose 0 = -2*d + 8, 5*w - 2*w + 26 = 5*d. Is c less than w?
False
Suppose -38 - 22 = -4*x. Suppose 4*r + 3 = 5*w, -5*w + 5*r + x = -10*w. Is w bigger than 0?
False
Suppose -9*d + 8 = -5*d. Let j be (1 - 3/d)*0. Let o be (j - (4 + -7)) + -13. Is -8 > o?
True
Let k(g) = -g**2 - 3*g + 168. Let s be k(15). Is s at most -102?
True
Let s(d) = 12*d + 4. Let u be s(5). Let y be 10/15 - u/6. Let f = y - -11. Which is bigger: -2/7 or f?
f
Suppose 3*o - 5*s + 0*s + 25 = 0, 25 = 5*o + 5*s. Let t = 93279/352 - 2916/11. Which is smaller: t or o?
t
Let j(z) = 3 + 2*z - 8 - 1 + 4*z + z**2. Let h be j(-7). Which is smaller: h or -1?
-1
Let y = 0.009 + -0.209. Which is smaller: y or -4/11?
-4/11
Suppose m = 4*m. Let k be (-3 - 2 - -4)*2. Which is smaller: k or m?
k
Let r be (-8)/((4/3)/4). Let z = 32 + r. Let p(m) = -4*m + 28. Let k be p(z). Is k at most as big as -16/5?
True
Suppose 0 = 72*d - 80*d + 584. Which is bigger: 72 or d?
d
Let m(z) be the second derivative of z**3/6 + z**2/2 - 3*z. Let n be m(1). Suppose 3*y + n = 8. Which is smaller: 5/7 or y?
5/7
Let u(i) = i**2 - 4*i. Let y be u(4). Let s = -6/1993 + 4652/221223. Which is smaller: s or y?
y
Let m = -84808/13 - -6524. Let n = 0 - 0. Is m bigger than n?
True
Let o(l) = l**2 + 6*l - 102. Let m be o(0). Let j = m + 115. Which is bigger: 15 or j?
15
Let z be 3/6 - (10 - (-170)/(-20)). Which is smaller: z or 1/79?
z
Suppose -2*f + 0*f - 4*g + 2 = 0, 0 = -5*f - 5*g - 20. Suppose -8*x - 2169 + 2081 = 0. Are f and x nonequal?
True
Let k(p) = -p**3 + 7*p**2 - 8*p - 4. Let q be k(6). Let m be 4/q*(2 - 14). Suppose -18 + 0 = -m*g. Which is greater: 5 or g?
g
Let j = -914 + 915. Is j greater than -3/46?
True
Let t = 1 + -2. Let z(i) = -i**2 + 4*i - 2. Let g = -31 - -36. Let n be z(g). Which is greater: n or t?
t
Let s be (-20)/30 - 8/(-3). Let t be -63 + (1 - 4/s). Let c be 10/25 + t/210. Is c equal to 1?
False
Let h(r) = -2*r**3 - 2*r**2 - 4*r + 1. Let t be 1*9/(-12)*4. Let w be h(t). Is 48 equal to w?
False
Let p(d) = -d**3 + 16*d**2 - 24*d - 191. Let a be p(15). Does -327 = a?
False
Suppose 11*y - 16*y = -15. Let m be y*1/(-3)*1*-1. Which is bigger: 1/32 or m?
m
Let q be (-3)/1 + 8/(-12) + 3. Let p(t) = -t**2 + 6*t + 15. Let j be p(8). Is j at least as big as q?
False
Let f = -74181/16040 + -1/4010. Is -6 greater than f?
False
Let x be (-4)/(-5)*1*30. Suppose -4*p + 4*o + x = 0, -6*o + o - 22 = 3*p. Let y be (4 - 3)*p/(-4). Is -1 at least y?
False
Suppose 2*i - 3*s = -743, i + 379 = -8*s + 7*s. Which is bigger: i or -372?
-372
Let m(b) = -2*b**2 - 9*b + 43. Let s be m(10). Is -248 smaller than s?
True
Let h be (10/(-25))/((-6)/55). Let p = 0 - 3. Let d(r) = -r**2 - 5*r - 2. Let k be d(p). Is k < h?
False
Let q be 33/(-18) + 4/(-24). Suppose -6*f + 64 = -2*f. Suppose -3*n + 12 = 5*y - 0, 4*n = f. Is q greater than y?
False
Let s(x) = -x - 9. Let t be s(-8). Suppose 0 = -5*y - 2*r - 25, 0 = -2*y + y + 2*r - 17. Let p be 55/(-13) + (-28)/y. Which is bigger: t or p?
p
Let f be 12/176*(-64)/(-120). Suppose 5*b = 2*b. Which is greater: f or b?
f
Let a = 52285/14157 - 1/1089. Let h = -458/117 + a. Which is smaller: 12 or h?
h
Let r(i) = -5*i**2 - 9*i + 149. Let g be r(11). Which is bigger: 1/4 or g?
1/4
Let l(g) = 118*g**2 + 4*g - 7. Let f be l(2). Let t = f - 1867/4. Which is smaller: 5 or t?
5
Let d(g) = g + 21. Let a be 1206/(-54) - -1*(-8)/(-6). Let j be d(a). Which is smaller: 1/12 or j?
j
Suppose 50*j - 57 + 2657 = 0. Is -52 at least as big as j?
True
Let g be 3/6 - 33/(-6). Let d be ((-68)/g)/((-4)/6). Which is bigger: 16 or d?
d
Let o = -8.9 + 5.9. Let m = -1 + 8. Let s = o + m. Which is greater: s or -2?
s
Let f be (-525)/6*(-24)/15. Let l be 4/9*(-2)/f*5. Suppose -v + 0 + 1 = 0. Are l and v non-equal?
True
Let s be (6 + (12 - 10))*(-2)/(-84). Is s at least as big as -1/4?
True
Let j be 6800/(-15) + 4/(-6). Let z be j/(-140) + 7/(-28) - 3. Which is smaller: 1 or z?
z
Let p = 1/3 - 1/21. Suppose -4*l + l - 2*r = -19, 5*l - 31 = -3*r. Let k be (21/(-15) + 1)*l. Is p != k?
True
Let m be (8 + -12)*(-2 - 1). Suppose -2 + 1 = n. Let k be (-4)/m - n/30. Is 1 bigger than k?
True
Let o be (31 - 31)/(3*2). Which is smaller: -3/190 or o?
-3/190
Suppose 3*t + 2*d - 90 = 0, 2*t - 55 = 2*d + 5. Is 92/3 > t?
True
Let o be ((-2)/(-3))/((-1)/27*6). Suppose 0 = -5*k + 3*s + 13, 2*s - 8 = -0. Let l be (6 - k) + (-20)/14. Is o at least l?
False
Let r be 18706/17*(-8)/96. Let p = 275/3 + r. Which is smaller: -1 or p?
-1
Let x be (((-50)/(-35))/((-4)/(-28)))/(-1). Do -75/7 and x have the same value?
False
Let u = 77 - 52. Suppose 1 = 3*k + u. Is k > -4?
False
Suppose -4*r = -6*r + 4*v - 4, -4*v + 12 = 0. Suppose -3 = -r*c + 7*c. Let d = -4241/21055 + 6/4211. Is d > c?
True
Suppose 0 = 2*l + h + 4, 0 = 3*l + 5*h + 13 - 0. Which is bigger: -1/263 or l?
-1/263
Suppose -3*c + 7*c = 12, -5*c - 11169 = 4*k. Let x = k + 109034/39. Let v = 188/429 + x. Which is greater: v or -2/3?
v
Let k = -13 - -12. Let j be 19413/39*4/6. Let y = j + -332. Is k smaller than y?
True
Let s be (-9)/27*9*1 + -71. Is s bigger than -72?
False
Let t = 1.94 + 0.16. Let b = -2 + t. Let p = -0.61 - -0.21. Is b > p?
True
Let c be -351 + (-2)/(-2) + -1. Let j = -8776/25 - c. Let h be ((-13)/2)/13*(-1 - -1). Which is bigger: h or j?
h
Suppose -3*s + 14 + 13 = 0. Let q be -18*s/((-9)/2). Is q at most as big as 37?
True
Suppose -2*n + 70 = -5*n - 2*c, -5*c = -20. Let y = 24 + n. Let v be (2 - 9/6)/y. Are 0.1 and v non-equal?
True
Let p = -6 + 10.4. Let r = p + 0.6. Let l = 11.8 - 12. Which is bigger: l or r?
r
Let i = 651 - 651. Which is smaller: -4/9 or i?
-4/9
Let x be (-38)/(-10) - 7/(-35). Let y be (-6)/(-4) - 102/x. Let p be y/(-16)*4/3. Is 2 bigger than p?
False
Let x = -22 - -24. Suppose -p + 3*p + 4 = -d, -x*d = 5*p + 12. Suppose w - 15 = d*h - 2, 2*h + 3*w = -3. Is -1 > h?
True
L