?
v
Suppose 3*v - 4*y - 193 = 0, -4*v - 7*y + 8*y + 266 = 0. Which is smaller: 65 or v?
65
Let c(w) = 18*w - 17*w + 8 - 7*w + w**2. Let r be c(2). Is 2/85 at least as big as r?
True
Let i(q) = -q - 1. Let y be i(-3). Let x be y - -1 - (-115)/207. Does 5 = x?
False
Let w be (15/(-35))/(3/2). Let z(l) = 2*l + 7. Let s be z(-9). Let v = s + 12. Which is smaller: v or w?
w
Suppose -14*u - 12 = -10*u. Let s be 3 + -2 - -24 - u/1. Which is smaller: s or 27?
27
Let k = -4 + 1. Let a be 1 - (1 - 3) - (-48)/(-16). Is k greater than or equal to a?
False
Let y = 44483/18 - 2470. Is y less than or equal to 1?
False
Suppose 3*k - 135 = -4*u, 0*u + 4*u = 0. Suppose 6*v + k = v. Which is greater: -2 or v?
-2
Let x(j) = -685*j**3 - 4*j**2 + 9*j - 6. Let s be x(1). Which is bigger: s or -687?
s
Suppose 0 = -4*f - 3*j - 411, -5*f - 580 = -2*j - 49. Let u = f + 99. Let t(i) = -4*i. Let w be t(1). Which is bigger: u or w?
w
Let t(v) = 2*v**2 + 2*v - 2. Let m be t(-3). Let c = -13 + m. Let i be (4 - 4/4) + c. Are i and 3/7 non-equal?
True
Let p = -49 - -40. Let b(k) = k**3 + 10*k**2 + 12*k + 19. Let t be b(p). Suppose -5*r - 14 - 26 = 0. Is t smaller than r?
False
Suppose 25 = 5*r - 4*t, 0*r = 3*r - 2*t - 13. Let q be (-55)/(-195) - (-1)/(-3). Are r and q non-equal?
True
Let u = -11 + 14. Let r be 2/u - (-1077)/(-18). Let b = r - -59. Is b not equal to -1?
True
Let u be (7/126*-9)/(2/4). Which is bigger: u or -2/551?
-2/551
Let w be (-1)/3 - (-65)/15. Suppose -3*y + 8 = y, w*y = n + 6. Is n smaller than 0?
False
Let j = -1.111 - -0.911. Which is smaller: j or 12/7?
j
Suppose 0 = 5*v - 5, -3*d + 210*v - 1027 = 215*v. Which is smaller: d or -342?
d
Let x = 1530 + -1584. Is -51 less than or equal to x?
False
Let y be (-6)/(-72)*-3 + 0 + -48. Let x = y + 49. Which is smaller: x or -3/8?
-3/8
Let o = 179 + -212. Which is smaller: -34 or o?
-34
Let l be 3 - ((1 - -2) + (-18)/(-564)). Is l less than 1?
True
Suppose u + 11 + 9 = 0. Suppose -5*w = 4*g - 2*g + 92, 0 = -3*w + 3*g - 72. Let v = w - u. Which is smaller: v or 4/11?
v
Let j be (1644/1507)/((-4)/(-22)). Let o = -2 - -2. Which is greater: j or o?
j
Suppose 0 = h - 2 + 4, 4*t - 6 = 5*h. Let a = -19275 + 1792576/93. Does t = a?
False
Let a(y) = -5*y**2 + 21*y + 20. Let h be a(5). Is h > -3/160?
True
Suppose 2*p = p + 10. Let y = p - 12. Let z be (y/(-36))/((-2)/8). Which is smaller: z or 1?
z
Let h = 857.1 - 793. Let o = 64 - h. Is o at least as big as -9?
True
Suppose -98 = l - 19. Let a = 74 + l. Which is bigger: -7 or a?
a
Suppose -152*c + 155*c = 4*i - 4497, -c = 3*i - 3363. Is i smaller than 1122?
False
Let h = -0.084 + 63.084. Let i = -63 + h. Is i <= -5/6?
False
Let r be 2/1 - (-1 - 0). Let w = 11.3 + -95.3. Let k = -93 - w. Which is greater: k or r?
r
Let p = 16 + -11. Let g = p + -4.9. Let m = 1 + -1.06. Which is smaller: g or m?
m
Suppose 1 - 7 = n. Let u be (4 - 5) + (n - 0). Let z(o) = -2*o - 14. Let m be z(u). Is -2/43 not equal to m?
True
Let r = 15 - 12. Suppose -9 - 15 = -r*c. Which is smaller: 62/7 or c?
c
Let t = 225728/175 + -9056/7. Let c = 36/25 + t. Is -1 smaller than c?
False
Suppose -n - 7 = -3*z + 4*z, 4*n = z - 38. Suppose 0 = -g - 0*g + 5*w + 11, 3*w + 12 = 0. Is g != n?
False
Suppose -89 = -2*j + 93. Let a be j/(-795) - 20/(-150). Suppose -l + 5*w = 8*w + 1, 2*w - 2 = 2*l. Which is bigger: l or a?
a
Suppose 5*m = -127 + 12. Is -10 equal to m?
False
Let t = -619 + 693. Which is smaller: 376/5 or t?
t
Let c = -0.064 + -51.936. Let r = c - -52.5. Which is smaller: 3 or r?
r
Let y = 42.1 - 39.1. Which is bigger: -31 or y?
y
Let r = 1817 - 1819. Is -34/33 at most as big as r?
False
Suppose g - 2*p + 54 = 143, -g = p - 101. Let b = g + -115. Is -35/2 equal to b?
False
Let v be 10 - ((-187)/(-66) + 7). Which is bigger: v or -2/265?
v
Suppose 0 = 6*q - 2*q - 16. Let z = 15 - q. Does z = 11?
True
Let j be 381*(4/10)/(48/40). Which is smaller: 128 or j?
j
Let f be (-4)/(-1)*(-2 + (-25)/(-4)). Is -5 at least as big as f?
False
Suppose 3*w + 2802 = 2943. Do w and 385/8 have the same value?
False
Let q = 1 + -13. Let h be (-1 + 2)/(1/q). Let x be 3 - (0 + h/(-4)). Is x smaller than 6?
True
Let w be (-3)/6 - (-39)/6. Suppose -2*h - k + 12 = 0, 12*h - 14*h + 8 = 2*k. Which is smaller: h or w?
w
Let n(r) = 2*r - 9. Let w be n(6). Let a = -3 + w. Let l = 1.6 + -12.6. Is a equal to l?
False
Let h = -14.6 - -14. Let w = -3.6 + 1. Let q = h - w. Is -0.07 not equal to q?
True
Let o = -27213 - -244267/9. Which is smaller: o or -72?
o
Let f = 414 + -414.1. Which is smaller: f or 20.9?
f
Suppose -4*h - 12 = -8*h. Let z be (1/((-2)/4))/(20/(-230)). Suppose 4*d + w = -8, 2*w + 6 = 25*d - z*d. Which is smaller: d or h?
d
Let s be 10 - 7 - (-1)/(-1). Suppose 3*b + s*f + 15 = -0*f, 5*b + 25 = -4*f. Let q be (2/(-12))/(b/(-15)). Which is smaller: -2.8 or q?
-2.8
Suppose 4*y + 0*y = y. Let c(u) = u**3 - u**2 + u. Let k be c(y). Which is smaller: k or 20/17?
k
Let t(i) = -7*i - 45. Let r be t(-21). Let g = 101 - r. Is -28/15 smaller than g?
True
Suppose 5*p + 3*w - 40 = 5*w, -p + 8 = -5*w. Is p <= 21?
True
Let b be (-3 - (-3935)/1830)*2. Let u = b - -2/61. Which is greater: u or -2?
u
Let u = 68 + -21. Let v = -46.8 + u. Which is smaller: 0.07 or v?
0.07
Let f = 120 - 87. Let j = f - 32. Is j bigger than -40?
True
Let k = 449 - 455. Is -6 != k?
False
Let u = -0.34 - 0.96. Let q = u + 1. Let m = -0.4 - q. Is m less than or equal to 0.04?
True
Let h be 57/(-2)*12/(-1926). Is h less than 0?
False
Let k be 60/2560*(-2)/(-3). Suppose 0 = -36*m + 38*m. Which is bigger: k or m?
k
Let q = 7.01 - 7. Let x = -0.21 + q. Let o = 447/7 + -64. Is x less than or equal to o?
True
Let k = -9.287 - -0.187. Let x = k - -10.1. Are 3.7 and x unequal?
True
Suppose -2*z - 2*g + 4 = 0, 4*g = 5*z - 22 + 3. Let t = -261 - -2109/8. Are z and t nonequal?
True
Let n be (-3)/9 - 8/(-6). Let p = 52 + -28. Let z be p/(-16)*(-4)/3. Is z at most as big as n?
False
Let w(l) = 2*l + 493. Let d be w(0). Let i = d + -11336/23. Is 1 greater than i?
True
Let h = 0.037 - -0.163. Let s = 0.48 - -3.22. Let j = 1.3 + s. Which is smaller: j or h?
h
Let a be -11 + 67 + (-35)/5. Let p(w) = 13*w**2 - w - 1. Let b be p(2). Is a greater than b?
False
Suppose -m + 4*m + 6 = 0. Let z be (-3)/(-6) + (-429)/m. Let n be 0 + -3 + z/71. Are n and -1 equal?
False
Let v = 1.58 + -1.33. Is -8 at least v?
False
Let y = 0.037 - -22.963. Let a = y + -21. Let d(x) = x**2 + 3*x - 1. Let v be d(-3). Which is smaller: a or v?
v
Let v(w) = -w**2 + 44*w + 671. Let a be v(56). Let u = -42/25 + 1352/775. Let g = u + -84/341. Is a < g?
True
Let i = -25 + 27. Suppose i*s + 207 - 67 = 0. Is -70 > s?
False
Let d(k) be the third derivative of k**4/24 + 3*k**3 + 7*k**2. Let b be d(-8). Is b not equal to 1/2?
True
Let t = 2597 - 2682. Is t at most -93?
False
Let m = 1151361/6584 + -1399/8. Which is smaller: -1 or m?
-1
Let j = 4 - -3. Let g be ((-1)/(-2))/(93/90 - 1). Suppose j*h - 4*h = -g. Is -5 at least as big as h?
True
Let f be (4 - 1)/(5/(-10) + 2). Suppose -3*b + f*b - u + 8 = 0, -2*u = 0. Which is smaller: b or 51/7?
51/7
Let d = -91/198 - -5/18. Let t(h) = 2*h - 6. Let f be t(4). Suppose -a - 8 = -6*a - f*s, 5*a = 5*s - 20. Which is smaller: d or a?
d
Let f be (-10)/(-12) - (-1 - -1). Let o be (0/1)/(-5 - (6 + -12)). Let q be o + 0/3 + 2 + -1. Which is smaller: q or f?
f
Let r = 9/73 + -426/1679. Is -1 < r?
True
Let o = 367 + -405.9. Let y = o + 39. Is -2/11 != y?
True
Let a = -42 + 33. Suppose 12*h = 9*h - 9. Let l be 6/(-9)*-6 + h. Do l and a have different values?
True
Let m = -176.97 - -177. Is 3 at least m?
True
Let y = 0.313 + -0.101. Let i = -0.012 + y. Which is greater: i or -6/13?
i
Let h be ((-144)/40)/(20/50). Which is bigger: -19 or h?
h
Let s be (-2)/(-21) - (-7 + (6 - -1)). Which is bigger: s or -20?
s
Suppose f + 3*u = 5 - 35, f = -4*u - 30. Let v = f + 13. Let h = -17 - v. Which is smaller: -1/26 or h?
-1/26
Suppose -s + 4 = 3*s, 3*h = 4*s + 11. Suppose t - h*t = 0. Let n(d) = d**3 + d**2 + 2. Let q be n(t). Is q greater than 9?
False
Let f be 8/36 + (-187)/(-9). Let z = -24357/5 - -4892. Which is smaller: z or f?
z
Let f = 817 - 788. Are 2/9 and f nonequal?
True
Suppose -y + 2*g + 460 = -4*y, -4*y - 604 = -2*g. Do -153 and y have the same value?
False
Let o = -363 +