 Suppose -k*j = -0*j. Are j and 1/3 non-equal?
True
Let f = 515/2 - 247. Which is bigger: f or 11?
11
Let p(k) = -k**2 + 3*k + 7. Let v be p(4). Is 2 < v?
True
Let g = -0.59 - -3.49. Let o = g + -3. Suppose 3*y - 4*q = 26, -17 = -y + 2*q - 5. Which is smaller: y or o?
o
Let o = 3.7 - 3.8. Which is bigger: o or -2/15?
o
Suppose u = -5, -5*n + 20 = -4*u + 3*u. Suppose n*z + z = -36. Let k be 1*3*(-3)/z. Is -1/8 bigger than k?
False
Let i = -23/4 + 6. Let q(l) = 5*l**2 - 2*l**2 - 4*l + 1 + 0*l**3 + l**3. Let s be q(-4). Is s at most as big as i?
False
Let m = -377/1020 + -4/85. Is m at most as big as -1?
False
Suppose 0 = 3*j - 7 + 4. Is -2/45 <= j?
True
Let y = 161493/5 + -32461. Let q = y + 18726/115. Let s = q + -84/299. Which is greater: s or 1?
1
Let u be ((-2)/(-10))/((-5)/(50/(-3))). Which is greater: u or -0.1?
u
Let g(h) = 5*h + 3. Let m be g(-2). Let q(n) = -n**3 - 7*n**2 - 10*n - 1. Let a be q(-5). Are a and m equal?
False
Let o(z) = z - 1. Let w be o(1). Let q = 3 + w. Let a(h) = -h + 7. Let g be a(7). Which is smaller: g or q?
g
Let r be -7 - 0 - (-2)/1. Suppose 7 = -f + 3. Let q = f - r. Do q and -1/4 have the same value?
False
Suppose 0 = -5*p + 13 - 3. Suppose 2 = -q - p, -2*z = q + 2. Which is bigger: 1/5 or z?
z
Let r(s) = -s**2 + 4*s + 1. Let t be r(5). Let b be (-2)/t*6/9. Suppose -1 = 2*d + 1. Which is smaller: b or d?
d
Let p(i) = 2*i**2 - 14*i. Let r be p(6). Is r greater than or equal to -13?
True
Let g(s) = -6*s**3 - 12*s**2 - 6*s. Let r(k) = -7*k**3 - 13*k**2 - 7*k + 1. Let w(v) = -6*g(v) + 5*r(v). Let a be w(-7). Which is bigger: 2 or a?
2
Let v = 820/3771 + 2/419. Which is greater: v or -6?
v
Suppose 0 = -5*o + o - 16. Let u be 6*2/16*4. Let g be (-1)/u*o/14. Which is smaller: 0 or g?
0
Let b = 7 + -4. Suppose -b*s + 3*r + 3 = -6*s, 6 = 2*s - 2*r. Let p = 66/7 - 851/91. Which is smaller: s or p?
p
Let w(j) = -3 - 4*j - 2 + 23*j. Let a be w(8). Let x = 738/5 - a. Is x at most as big as 2?
True
Let x(a) = -3*a. Let o be x(1). Let y be 1/3 + (-5)/o. Let v be (8/(-20))/(6/(-10)). Which is bigger: v or y?
y
Let f = -527/32 + -25/32. Are -18 and f equal?
False
Let l = -8 - -15. Are 7 and l non-equal?
False
Let p be 472/(-2)*16/18. Let h = -210 - p. Which is bigger: 1 or h?
1
Suppose 0*z = -3*z. Let t(o) be the third derivative of -o**4/24 + o**3/3 + 12*o**2. Let a be t(z). Is 3 at least a?
True
Let v = 38/2389 - -207134/795537. Let h = v + -2/37. Does h = 2?
False
Let i = 0.03 + 0.01. Let u = -0.36 - i. Is u <= 0.1?
True
Suppose -5*q = j - 2, 3*j - 26 = 6*j - q. Let o be j/(-36) - 46/126. Which is bigger: o or 0?
0
Let j = 35 - 36.04. Let l = j + 0.04. Is 0.1 not equal to l?
True
Let y = 78 - 56. Let o be (-48)/y - (-6)/33. Let m = 10 + -13. Which is smaller: m or o?
m
Let z be (-4)/(-30) - (-662)/60. Does z = 11?
False
Let g = 0.06 + 0.09. Let n = -0.15 + g. Let z = 1/106 - 111/530. Is n smaller than z?
False
Suppose 7*b + 12 = 3*z + 4*b, -5*z = -3*b - 30. Let i = z - 10. Which is smaller: i or 0?
i
Suppose 7*f = 2*f. Let h = f + -1. Is -1/2 <= h?
False
Let w be (-13)/11 + 10/55. Let f = w + 0. Let i = 2 + f. Which is smaller: i or -1/5?
-1/5
Suppose 5*s - 26 = -3*v, -3*v = -4*s + 12 - 2. Suppose 3 = k - 2*z, -s*k - 27 = -k + 3*z. Is -4 > k?
True
Let p be (-4)/(-2) + 898/(-546). Let o = 2/91 - p. Which is smaller: 1 or o?
o
Let m = 0 + 5. Suppose i - 2 = 4*d, 7*d - 10 = -5*i + m*d. Which is greater: 4 or i?
4
Suppose -18 - 26 = -4*r. Let c(j) = -j + 6. Let a be c(r). Is -4 greater than a?
True
Let n(m) = 3*m + 5. Suppose 4*p - 3*p = 4. Let x be n(p). Suppose 5*t - 2*b = 2*b - x, t - b = -4. Which is smaller: -2/7 or t?
t
Suppose 0 = f + g - 4, -4*f + 4*g + 7 = -g. Are 3 and f non-equal?
False
Suppose 7 = -2*o + 3. Let c be (-2 - 1)*(-3 + 4). Let u be -7 + (-2 - -2 - c). Is u at least as big as o?
False
Let h = 151/834 - 2/139. Which is smaller: -1 or h?
-1
Let z be 2 + (0 - 1) + -1. Let c = 0.5 - 0.48. Let i = c + -2.02. Which is smaller: i or z?
i
Let g = -8.7 - -8. Let s = g + -0.3. Let l = -0.07 + -0.33. Which is smaller: s or l?
s
Let r = 73 - 72. Which is smaller: -0.55 or r?
-0.55
Let x be (4 - 1) + (-30)/8. Let s = -3 - -4. Let t be 10/(-6) + s/(-3). Is x smaller than t?
False
Suppose 0 = -2*t - 3*d + 39, 2*t - 79 = d + 4*d. Do 24 and t have the same value?
False
Suppose 2*a + 5 = -1. Let f = -0.8 + 0.3. Let n = f + 0.4. Which is smaller: a or n?
a
Let p be (-5 - (-79)/11) + -1 + -1. Let d = -71 - -353/5. Is p >= d?
True
Suppose 3*h - 38 = -5*v, -4*v = h - 0*v - 22. Let s be (-2)/(8/h - 2). Let i = 9 + -5. Is i at most as big as s?
False
Let x = 17 + -17. Is 1.7 <= x?
False
Let u be (-1)/5 - (-12)/(-15). Is -1 < u?
False
Let u be 1/(-2) - (-7)/(-14). Let w(g) = g**3 + g**2 - 1. Let h be w(u). Is -3 bigger than h?
False
Let d = 4 - 3.9. Let z = 0 + -3. Let f = -2.8 - z. Which is greater: d or f?
f
Suppose 4*f = -6 - 10. Let y(d) = -d + 1. Let g(b) = 2*b - 16. Let p(n) = g(n) + 3*y(n). Let l be p(-8). Are l and f equal?
False
Suppose -2 = -5*a + 5*h - 37, -2*a - h - 5 = 0. Let w(l) = l + 2. Let y be w(-5). Do a and y have the same value?
False
Let c(m) = 2*m**2 - 1. Let u be c(-1). Let a = 4 - u. Let z be ((-1)/((-2)/3))/a. Which is bigger: z or -1/2?
z
Let i = 124 - 125. Let a = -0.43 + 0.03. Let p = 0.2 + a. Which is smaller: p or i?
i
Let q = 204 - 205. Is q < 5/27?
True
Let g = -263/679 + -4/97. Let d = 12 - 12.1. Which is greater: g or d?
d
Suppose 0 = -j - j. Which is smaller: 3 or j?
j
Let q = 1.5 - 2. Let b = -0.4 - -0.2. Let s = b - q. Which is greater: 1 or s?
1
Let m = 6 - 5. Let y = 4 - m. Let f(c) = -c**3 + 2*c**2 + 2*c. Let p be f(y). Do p and -3 have the same value?
True
Let d = -0.193 + 1.003. Let p = -0.11 + d. Which is smaller: 1/3 or p?
1/3
Let h = -0.63 - -0.5. Let s = -0.14 - h. Which is bigger: s or 1/4?
1/4
Let q = -0.08 - 0.05. Let a = q - -0.03. Is 2 smaller than a?
False
Let p be (-3)/2 - (-4)/8. Does p = 1?
False
Let y(t) = -t + 3. Let b be y(9). Which is smaller: -9 or b?
-9
Let y(n) = -n**2 + 20*n - 19. Let q be y(19). Which is smaller: -1/4 or q?
-1/4
Let w be ((0/1)/(-1))/1. Let a = 0.114 + 8.186. Let b = a + -8. Are w and b unequal?
True
Let b(h) = -h + 4. Let a be b(4). Is 1 at most as big as a?
False
Suppose -6 = 4*n + c + 6, 0 = 4*n + 4*c. Let a(o) = -2*o - 6. Let z be a(n). Let j(l) = -l**2 + 5*l - 4. Let f be j(3). Are z and f unequal?
False
Let y(a) = a**2 - 5*a + 4. Let z be y(4). Suppose z*p - 19 = 2*j + 5*p, 22 = -5*j - 4*p. Let u be j/(-4)*12/8. Which is smaller: 0 or u?
0
Suppose 0 = -5*d - 12 - 18. Suppose 0 = -3*o + 3 - 18. Let v = 0 + o. Which is bigger: d or v?
v
Let a(w) = w**3 - 12*w**2 + 10*w + 16. Let b be a(11). Let v(y) = y**3 - 4*y**2 - 6*y - 1. Let d be v(b). Which is smaller: d or -5?
d
Let c = -0.2 - -6.2. Let s = 5.8 - c. Is 1 greater than s?
True
Suppose -5*a + 27 - 2 = 0, 39 = -3*h + 3*a. Which is smaller: h or -7?
h
Suppose d = -0*d - 1. Let m = -27/5 + 71/15. Is d at most m?
True
Let m = 2.6 + -0.6. Let x = -47 - -44.9. Let w = m + x. Do 0.2 and w have the same value?
False
Let u be ((-174)/(-9))/(-3 + 26/6). Is 15 >= u?
True
Let r = 52 + -33. Let d = r + -21. Do 2 and d have the same value?
False
Let o = 31 - 30. Which is smaller: -6/13 or o?
-6/13
Suppose 0 = 2*m - 4 - 2. Let t = 0 + m. Let a be 3/(6/(-2))*t. Is -4 at most as big as a?
True
Let a be ((-8)/2 - 301/(-21))*-3. Is -30 less than a?
False
Let u(a) = 3*a**2 - 6*a + 7. Let i(o) = 4*o**2 - 6*o + 7. Let x(g) = 2*i(g) - 3*u(g). Let n be x(5). Let v = 17 - 17. Is v at most as big as n?
False
Suppose -5*k + m - 11 = 0, -3*k - 4*m = -0*m + 2. Which is bigger: -17 or k?
k
Suppose 5*k = -18 - 2. Let g be 13/2 + (-2)/k. Which is smaller: 6 or g?
6
Suppose -4*r + 3*r = -2*x + 8, 11 = -r + x. Let y = -14 - r. Suppose 0*b - 2 = -2*b. Is y at least as big as b?
False
Let b be (-180)/(-1053) - 2/9. Which is greater: b or -1?
b
Let m(j) = j**2 - 5*j. Let i be m(5). Suppose 2*g = -28 + 10. Let c be g/(-42) - 4/(-14). Which is smaller: c or i?
i
Let t be 621/33 + (-6)/(-33). Is 18 greater than or equal to t?
False
Let m = 48567/55 + -883. Which is smaller: m or -1?
-1
Let g = -244/187 - -16/17. Let y = -3 + 4. Which is smaller: g or y?
g
Let m = 4.7 + 0.3. Let b = 9 - m. Which is smaller: b or 2/7?
2/7
Let u 