 v?
v
Suppose 0 = -5*v + 1 - 6. Let g be 2/8 - 2169/(-72). Let l = 123/4 - g. Is l equal to v?
False
Let s = -2.45 - -2.6. Let f = s + -0.05. Which is smaller: f or 2/63?
2/63
Suppose g - 5*t = -18, t - 2 = g - 0*t. Let o = -372/13 + 4170/143. Which is bigger: g or o?
g
Suppose d + 4 = -a, -4*d + 5 = -9*d - 2*a. Let g(m) = -m**2 - 35*m + 158. Let s be g(4). Is s != d?
True
Suppose -3*w = -4*n, -n = n. Suppose w = -4*j - c - 3*c + 160, -3*j = 5*c - 130. Is j > 34?
True
Let g(h) = 10*h + 9. Let k be (-27)/(-6)*2/(-3). Let q be g(k). Is -17 less than or equal to q?
False
Let i be ((-3)/(-18) + 8/(-12))*0. Suppose -p - s + 2 = 0, -5*s = -2*p - i*s - 24. Which is smaller: p or -1?
p
Let k(s) = -s**3 + 6*s**2 - 5*s + 3. Let g be k(2). Let w(y) = -g*y**2 + 19*y**2 + 14*y - 11 - 9*y**2 + 1. Let b be w(-16). Is b smaller than 22?
False
Let x = -1106 + 1126. Are 21 and x nonequal?
True
Let h = 0.1 + -0.1. Let m = 0.71 - 6.51. Let j = 3.2 - m. Which is smaller: j or h?
h
Let y(u) = u**2 + 52*u + 51. Let s be y(-51). Is 5/4 > s?
True
Suppose 6*l - 20 - 28 = 0. Let h = -9 + l. Let u = 28/9 - 31/9. Is u equal to h?
False
Let l = -78 - -77. Let x be 4/(l*1)*(-390)/(-300). Which is smaller: -4 or x?
x
Let d = -5 + 7. Let k be d - (35/2)/7. Let t = 9 + -11. Which is bigger: k or t?
k
Let m = 0.2 - -1.8. Let o = -4 + 8. Let i = o - 5. Is m > i?
True
Let u = 133.44 + -122.486. Let n = u - -0.046. Which is smaller: n or -2/11?
-2/11
Let s = -259.5 - -261. Which is smaller: -10 or s?
-10
Let r = 1194 - 15531/13. Which is smaller: -1 or r?
-1
Let v be (-193 - -12)/(2/(-8)). Let d be v/1140 + ((-12)/5)/4. Which is smaller: d or 0?
0
Let q = 675/2 - 349. Is -12 <= q?
True
Let r(l) = -5*l + 3. Let j be r(1). Let v = j + 9/2. Is -0.1 not equal to v?
True
Let v be 0 + -2 + (1 - -6). Let r be 1 - (1 + -4)*1. Suppose 0 - r = -2*l. Does v = l?
False
Let g = -1025 + 995.7. Which is bigger: g or -1?
-1
Let g be 3 + -2 - 2 - -4. Let r = 150 - 115. Suppose -39 + r = 4*a. Is a != g?
True
Suppose q = -48 + 264. Suppose -35*x - q = -39*x. Is x at most 54?
True
Let q(x) = -4*x + 16. Let y = -15 + 24. Let n be q(y). Let t be (n/(-6))/((-8)/12). Is -4 >= t?
True
Let z(i) be the second derivative of 5*i**3/6 + 9*i**2 - 18*i. Let k be z(-4). Which is smaller: k or -1?
k
Let a be (-135)/(-126)*20/75. Is a bigger than -16?
True
Let z(b) = 6*b - 410. Let v be z(43). Is v less than or equal to -151?
True
Suppose 0 = -4*d + 3*h - 11, -3*d = d - 5*h + 13. Suppose n = -3*z - 1431, 0*z - 5*z + n = 2377. Let q = -3344/7 - z. Does d = q?
False
Let x = 0.95 + -0.85. Let j = -44704 + 2503689/56. Let a = -31/8 + j. Is x != a?
True
Let a(c) = 91*c - 24. Let t be a(1). Which is smaller: t or 66?
66
Suppose 4*p = 6*p + 260. Let j = p - -129. Which is bigger: j or -2?
j
Suppose 0 = 3*n + 15, -4 = -5*l + 4*n + 31. Suppose -2*p = p + 5*u + 19, 4*p = -l*u - 7. Let d be p - (1 + 1 + -1). Which is smaller: 1/9 or d?
1/9
Suppose -3*z = 20*l - 25*l - 75, -4*l - 62 = -2*z. Which is bigger: -19 or l?
l
Let d(v) = v**3 + 23*v**2 - 23*v + 18. Let u be d(-24). Do -53/8 and u have the same value?
False
Let l = -100 - -100.082. Let a = l + 0.018. Let w(u) = -u**2. Let o be w(-1). Which is smaller: a or o?
o
Let c be -5*7/(14/(-34)). Are c and 87 equal?
False
Let t(z) = 6*z - 9. Let s be t(13). Let a = 65 - s. Is a smaller than -4?
False
Let l = 32.8 - -0.2. Let g = -25 + l. Do g and 2 have the same value?
False
Let g be (6/(-4))/(21/(-28)). Suppose 27 = 3*s + 2*l + 5, -2*l + 18 = g*s. Let r be 1/(-1) + 2/((-42)/(-91)). Which is bigger: r or s?
s
Suppose z - 6*z = 0. Let f = -3/181 + 1137/3077. Which is bigger: z or f?
f
Let b be (-14 - -8)/(2*-1). Suppose 0 = b*p - 1 - 11. Suppose 4*k + 8 = 3*d, d + p*d + 10 = -5*k. Is -4 at most k?
True
Let l(r) = r**2 + r - 7. Let z be l(-3). Let y = 0.2 - 0.23. Let j = -0.13 - y. Is z at least as big as j?
False
Let w(f) = -f + 19. Let u be w(11). Let r be 12/u - (-30)/(-28). Let h = 42 + -42. Which is greater: r or h?
r
Let k(p) be the second derivative of p**3/6 - p. Let v be k(-5). Suppose -r - 9 = s, s = -s - 3*r - 22. Is s less than v?
False
Let h = -796 + 772.4. Which is greater: h or -0.3?
-0.3
Suppose 5*p + 163 - 168 = 0. Is p < -1/21?
False
Let h(o) = o + 2*o + 142 + 8*o + o**2 - 113. Let f be h(-6). Let j = -154 + 4309/28. Which is smaller: f or j?
f
Let d be 2*1 + 0 + -2. Let h = 7373847/141968 - 24/8873. Let l = 52 - h. Which is smaller: d or l?
d
Suppose -7*l = -11*l - 5936. Let c = l + 7447/5. Which is smaller: 5 or c?
5
Let u be (-245)/50 - 35/(-7). Let a = 5.2 - 5. Which is smaller: a or u?
u
Let m = 21 - 144. Is -123 at least m?
True
Suppose a = 0, -j - 89 + 9 = -3*a. Let s be (j/112)/((-1)/197). Let d = s - 141. Is 13 < d?
False
Suppose -m + 0*i = -i - 3, 0 = 2*m + 4*i + 18. Let j = 0.13 - 0.21. Let q = j - -0.28. Is q <= m?
False
Let g = -46 - 7. Let v = g - -54. Let h = 2.4 + -0.4. Is h less than or equal to v?
False
Let b(t) = t - 11. Let a be b(0). Suppose -170 = -5*c + 22*c. Does a = c?
False
Let p be 1 + ((-48)/(-21) - (-5)/35). Are -0.2 and p non-equal?
True
Let r = 1331/784 - 74/49. Which is smaller: -24 or r?
-24
Suppose 2*j - 2*h - 504 = 4*j, 4*j - 4*h + 976 = 0. Let p be j/570 - (-4)/10. Let t = -12/19 + p. Is -1 bigger than t?
False
Let n = 104.098 + 0.202. Let s = n + -106. Which is greater: 0 or s?
0
Let v(c) be the first derivative of c**3/3 + c**2 + 7*c - 5. Let f be v(0). Suppose -z + 3*k + f = 1, 4*k = 2*z - 8. Do z and 3/5 have the same value?
False
Let f(o) = -759*o**2 + 9*o + 8. Let a be f(-1). Which is bigger: -0.1 or a?
-0.1
Let l = -365 + 583. Which is smaller: l or 217?
217
Let d(a) = -2*a**2 - 4*a + 1. Let w be d(3). Let q = -205/7 - w. Is q < -13?
False
Let r = 2406 - 2406. Which is bigger: 0.1 or r?
0.1
Let v be (-140)/20 - (2 + -2). Is -3 less than or equal to v?
False
Let f(i) = -i**2 + 4*i - 6. Let m be f(2). Let c be 18/(-108) - m/12. Which is smaller: 1 or c?
c
Let x(j) = -j**3 + 16*j**2 + 2. Let y be x(16). Which is bigger: 12 or y?
12
Suppose -23 = -a - 3. Let y = a + -23. Which is smaller: y or -4?
-4
Let y(q) = q + 15. Let z be y(-14). Let c be 8/42*z/(-2). Is c bigger than 0.1?
False
Let m be -1 - ((2 - 0) + -4). Let h = -995 - -32830/33. Which is bigger: m or h?
m
Let l(p) = p + 2. Let d be l(3). Suppose -q + 84 = -d*q - 4*c, q + 25 = -5*c. Is -20 at most as big as q?
True
Let u = 24 + -23.99. Let s be 1*(1/(-3))/((-35)/21). Which is smaller: u or s?
u
Let a = 194 + -190. Suppose 0*p + a = 2*p - o, -o + 4 = 0. Let c = 6 + -2. Is p at most c?
True
Let d = 0.139 - 1.139. Which is bigger: -212 or d?
d
Let z = 3422 + -88953/26. Which is smaller: z or 0?
0
Suppose 3*j + u = 2*j + 30, -4*j = 3*u - 118. Suppose 4*a + 4 = -4*i, 0*i + 3*i = 2*a - j. Let n = 10 + -12. Does i = n?
False
Let n = -22.943 + -0.057. Let i = n - -25. Is 7 bigger than i?
True
Let w be (-364)/(-10) + 50/(-125). Let h be 118/9 + (-4)/w. Is 71/5 at most as big as h?
False
Let g = -0.65 - 55.35. Let f = g - -94. Which is smaller: f or -1?
-1
Suppose 0*t + 3 = 3*t. Let c be 0 - 1 - 60*2/3. Let r = c - -41. Which is greater: r or t?
t
Suppose 371 = -2*n + 2*q + q, 0 = 4*n + 2*q + 702. Let d = n + 4631/26. Is d equal to -1?
False
Let s = -17 + -4.1. Let i = 21 + s. Is i smaller than -2?
False
Let t = -329 - -107. Is -223 at least as big as t?
False
Let r = -95.867 + 1.767. Let f = 94 + r. Are f and 0.026 unequal?
True
Suppose 104 = -10*t + 6*t. Let s = t - -24. Is -4/7 smaller than s?
False
Let k = 3.15 + -2.15. Do k and -6 have the same value?
False
Let w(h) = -h**2 - 7*h + 5. Let s be w(-4). Suppose 12*l - s*l + 165 = 0. Which is smaller: l or -2?
-2
Suppose 5*y = -3*u, -3*u + y = 2*u. Suppose -5*w = -u - 0. Is w < 3/11?
True
Suppose -5*w + 50 = 3*x, 5*w - 2*w + 3*x = 30. Let t be 4/18 + (-291)/(-27). Is w equal to t?
False
Let f = -587 + 587.2. Let p(k) = -k**2 - 1. Let g be p(0). Let t be -21*g*(-3)/9. Is f greater than t?
True
Suppose 2*o + 124 = -4*q, -q + 33 = -2*q - o. Let m = -36 - q. Is -7 smaller than m?
False
Let m(t) = -t**2 - 3*t + 7. Let d be m(-4). Suppose d*v = -2*a + 5, 3*a - 4*v = -2*a + 1. Which is greater: a or 3/59?
a
Let p be (8/(-40))/((-144)/(-5)). Let i = 151/1008 + p. Let t be (-2)/8*(-10 + 2 + 12). Do i and t have the same value?
