as -3/5?
False
Let u = 0 - 0. Let r = -0.17 + 0.17. Is u at most r?
True
Let a = -90 + 83. Which is smaller: 1 or a?
a
Let g(j) = -j + 2. Let r be g(1). Let v(w) = 2*w + 6. Let p be v(-5). Let f be -2*((-3)/p - 1). Which is smaller: f or r?
f
Suppose 10 = 6*d - d. Let h be 2*1/d*-1. Suppose -4*m - 1 - 7 = 0. Which is bigger: h or m?
h
Let h = -7 + 7. Let j be 1 + h + (-27)/24. Suppose 0*a - a = 0. Are a and j nonequal?
True
Let c = 4.3 - 4.5. Suppose -2*h = 3*h - 20. Suppose 0*b = -h*b. Which is smaller: b or c?
c
Let k = -10 - -11. Does -1/17 = k?
False
Let h be 6 + (1 - 3) - 3. Let s = -4 + h. Which is bigger: s or -0.2?
-0.2
Let i(f) = 2*f**2 - f - 2. Let k be i(2). Suppose 2*m + 2*m - k = 0. Let o be m - (0 + 7 + 1). Does o = -6?
False
Let u = 74 + -224/3. Is -40 greater than or equal to u?
False
Suppose 2*o + j - 54 = -0*j, -116 = -4*o + 2*j. Is 27 > o?
False
Let a(i) = i**2 + 3*i - 11. Let d be a(6). Does 42 = d?
False
Let t = 44 - 441/10. Suppose 5*q + r = 0, -2*r = 3*q + r. Is q less than t?
False
Let l(w) = w + 6. Let v be l(-8). Are v and -5/9 equal?
False
Let z be ((-2)/(-12))/(4/8). Which is smaller: -6 or z?
-6
Let x = -3 - -6. Suppose z - o = 4, x*z - 8*z + 4*o = -18. Suppose 2*f + 1 = 5*t + 6, 0 = -f - 2*t - z. Is f equal to 0?
True
Let a(i) = -24*i. Let l be a(4). Let s = -865/9 - l. Which is smaller: s or 1?
s
Let x = 16 - 10. Suppose -2*b + q - x = -4*b, b = 4*q - 15. Which is greater: 2 or b?
2
Let n be -2*(-21)/6*4. Let q be (n/(-6))/(16/(-24)). Which is bigger: 2 or q?
q
Suppose -2*n - n = -12. Suppose 2*a - 7 = 5*w - a, 0 = n*a + 4. Let s(x) = -x**2 - 5*x - 6. Let o be s(-4). Is o at most as big as w?
True
Suppose 5*o - o - 36 = 0. Suppose o + 27 = 2*w. Suppose 4*t + 0*d - 2*d - w = 0, -4*t + 3 = d. Is t != 2?
False
Let d(r) = -r - 2. Let t(m) = -2*m - 1. Let y(v) = 3*d(v) - 2*t(v). Let h be y(-6). Which is greater: h or -1?
-1
Let q = -28 - 2. Which is bigger: -31 or q?
q
Suppose 15 = 5*b - 5*q, -q = 5*b - 5*q - 16. Suppose -6*v = -24 + 6. Do b and v have the same value?
False
Let a(d) = -d**2 + 4*d + 5. Suppose 0*b + 35 = 5*b. Let g be a(b). Let k be (2/(-12))/(g/(-72)). Is k greater than -1?
True
Let g = 0 + 0. Let t(p) = p. Let u be t(-6). Let k = 6 + u. Is g greater than or equal to k?
True
Let m = -1 + 2. Is m not equal to 1?
False
Suppose -r + 72 = -3*p + 6*p, p - 2*r - 24 = 0. Is p > 24?
False
Suppose 4 = 2*a - 4, 8 = 5*l + 2*a. Suppose l*u = -2*u + 8. Suppose -u*q = 9 + 3. Is q smaller than -3?
False
Let b be -1*(-3 + 1 + 1). Which is bigger: b or -22?
b
Let b be (-3)/9*3 + 2. Which is smaller: 2 or b?
b
Let i = 55 - 35. Suppose 0 = -3*j - 2*j - i. Does -5 = j?
False
Let h = 1 + 4. Let l(g) = -g**3 + 4*g**2 + 6*g - 5. Let f be l(h). Is f < -4/9?
False
Let b = 13 - 11. Is -0.2 less than b?
True
Let n = -382/981 + -6/109. Is -1 <= n?
True
Let a = -37 + 38.74. Let k = a + 0.16. Let f = -0.1 - k. Is 0.1 at least as big as f?
True
Let h = -2 - -7. Let f(o) = o**3 - 6*o**2 + 5*o + 1. Let s be f(h). Is 1 bigger than s?
False
Let c = -8 - 4. Let f = -10 - c. Are 4 and f non-equal?
True
Suppose 2*a = -4*x - 12, 0 + 4 = -2*a. Let y = -3 - x. Let u = y + 2. Does u = 1?
True
Let y be ((-17)/(-153))/(1 + -2). Suppose z - 6*z = -5. Which is greater: z or y?
z
Let r be 22/44 + 22/(-52). Which is greater: -0.3 or r?
r
Suppose 3*b - 6 + 96 = 0. Let w be (-6)/(-25)*b/9. Is w > -1?
True
Let y(d) = -5*d**3 - 2*d**2 + d + 1. Let p be y(1). Is -32/5 <= p?
True
Suppose 28 = g + 6*g. Which is smaller: 21/5 or g?
g
Suppose -t - 36 = -4*g, 2*t + 2*t - 2*g + 74 = 0. Is t less than -17?
False
Suppose 5 - 1 = 2*m. Suppose -2*o - m = -o. Let z = 2 + -4. Is z at least as big as o?
True
Let y be (-153)/(-102)*(8/(-10))/(-2). Suppose 2*u + 4*a = -6, 0 = -2*u + 5*a + 5 + 7. Is y less than u?
True
Suppose 13 = -6*y - 41. Is -11 equal to y?
False
Suppose 6 = 2*f, 2*d + f - 21 = -d. Let x be (-2)/d*6/2. Let j be 96/(-27) - 4/(-1). Which is smaller: x or j?
x
Let d be 10/(-64)*12/90. Which is smaller: 0 or d?
d
Let r = -163/5 - -18103/555. Is 1 equal to r?
False
Let p(z) = z**3 - 4*z**2 - 3*z - 4. Let w be p(5). Suppose 2*i - 4 = 8. Is w >= i?
True
Suppose -4*c + 13 + 27 = 0. Suppose -2*i + i - 11 = -v, -5*v + 47 = -i. Which is smaller: v or c?
v
Let f = -61.6 + 61. Is f at least as big as -2/5?
False
Suppose 3*t + 9 = 3*d, 3*d + 5*t = 5*d - 6. Suppose -5*u = -d*u. Are u and -2/7 unequal?
True
Suppose 2 = 5*k - 8. Suppose m - 32 = -4*d, 13 = 5*d + k*m - 30. Is d equal to 7?
True
Let c(v) = v + 12. Let u be c(-13). Is u greater than -5/9?
False
Let q = 13 + -13. Which is greater: q or 1/6?
1/6
Suppose 2*h - 15 = 5*h. Let l(k) = -k**2 - 6*k - 5. Let x be l(h). Suppose -3*i + 5*c - 2 - 8 = x, c = -3*i + 2. Are i and 0 nonequal?
False
Let b = 1 - 2. Suppose 0 = -g - 4*g + 40. Let u = g + b. Which is bigger: u or 6?
u
Let r = -13 - -19. Let y be 206/(-3) - 2/r. Let u = y + 209/3. Is u at most as big as 0?
False
Let m = 40.1 - 40. Is m greater than -1?
True
Let q be 2 + 7 + 0/1. Let l = -6 + q. Suppose 10 = -2*h - 3*d, -4*h - 4*d - 11 = h. Which is smaller: l or h?
h
Let o = 0.19 - 0.11. Which is bigger: o or 2/7?
2/7
Let f = -0.54 + 0.64. Which is bigger: f or 3/29?
3/29
Let u = -3 - -2. Let c = -334 - -6348/19. Which is bigger: c or u?
c
Let b be (-4 + 5)*3*1. Suppose -5*n = 2 + b. Which is bigger: -3/5 or n?
-3/5
Let d = 60 - 57. Is 0.3 at most as big as d?
True
Let z(x) = -3*x - 11. Let o be z(-5). Is 4 at most o?
True
Let b = -675/13 + 123499/2379. Which is bigger: b or 0?
0
Let y(j) = -2*j - 1. Let g be y(-8). Suppose c = 5*s - g, 0 = -5*s + 5*c - 0*c + 35. Suppose -3*h = -4*q, -4*h - s*q + 26 = h. Is h > 4?
False
Suppose -5*s - 5 = -0*s. Let c be (-2 - (-69)/36)/s. Let n = 1/12 + c. Which is smaller: n or 0?
0
Let d = 36.4 - 32. Let y = -6 + d. Let j = 2 + y. Which is smaller: -1/3 or j?
-1/3
Let w = 16.41 + -0.41. Let f = w - 13. Are f and 1/5 nonequal?
True
Let x = -20 + 20.1. Do -3 and x have different values?
True
Let q(z) = z**2 - 11*z - 8. Let w be q(10). Which is smaller: -19 or w?
-19
Let u = -2 + 1. Let k = 5 + u. Which is bigger: 3 or k?
k
Let f be (6/(-1) - -2)/(-2). Is f smaller than -3?
False
Let m = -13 + 9. Let c(n) = 2*n - 2. Let i be c(-3). Let q = i - -4. Is q at most m?
True
Suppose -5*a - 689 = -4*p, p - 2*a + 5*a = 168. Let y be -3*(6/p)/1. Which is greater: y or 1?
1
Let k be (3 + -3)/(5 + (-4 - -1)). Is k less than 2/9?
True
Let q = 15 - 11. Let m be (-10)/(-15)*6/q. Which is bigger: m or -1/5?
m
Let i = 6.3 - -1.7. Is i < 0?
False
Let z = 4 + -2. Let o(a) = a. Let d be o(z). Let c = d - 2. Is -5/6 > c?
False
Let k = 0.6 - -2.4. Let j = -0.13 - 2.77. Let a = j + k. Is a smaller than 0.1?
False
Let u = -7 + 4. Let g be 2 - (-10)/u - 1. Do -1 and g have the same value?
False
Suppose 3*l - 4*i + 34 = -2*i, -3*i = 3*l + 54. Let a = -34/75 - -1114/75. Let z = l + a. Is z < 0.2?
False
Let z = 0.21 - 8.21. Let c = -13 - -20. Let h = c + z. Is 0.2 at most h?
False
Suppose 0 = -3*p + 5*p. Let x be ((-6)/108)/(2/(-8)). Is x at least p?
True
Suppose -6 = -5*p + 4. Let f be (-65)/(-39) - (-4)/(-6). Suppose 0 = 3*m - 9, 2*m - f = p*l + 7. Which is smaller: l or -1/2?
l
Let z = -55 + 273/5. Is 0 not equal to z?
True
Let x = -12 - -17. Let n(r) = r - 3. Let s be n(x). Is s greater than or equal to 0?
True
Let h = 2 - 3. Let l = 67/3 + -23. Which is bigger: h or l?
l
Let n be (10/(-4))/((-1)/(-2)). Let d = -6 - n. Which is greater: d or 0?
0
Let v = -15.09 + 15. Let y = -0.19 - v. Let s be ((-3)/(-8))/(3 - 0). Is s equal to y?
False
Let m(u) = -2*u + 2. Let q be m(-1). Suppose 6 = r - 0*h + 5*h, 9 = 5*r + q*h. Is r greater than or equal to 1?
True
Suppose 2*d = -3*d - 3*i - 70, -4*i = 2*d + 28. Let o be 4/2*2/d. Is o at least -1?
True
Let a = -3.07 - -0.07. Let s = -3 - -5. Which is smaller: s or a?
a
Let q = 16 - 15.8. Which is greater: q or -0.1?
q
Suppose 2*f + 1 + 2 = 5*n, 3*f - 13 = 4*n. Let s = -39 - -21. Let m = s + f. Do -6 and m have different values?
True
Suppose 10 = -t + 2*t. Suppose -2*a = -11 - 9. Is a > t?
False
Let x(b) = 2*b**2 + 5*b - 1. Let n be x(-5). Which is smaller: 25 or n?
n
Let y = 0 - 0. Suppose -12 = -4*p - y. Is 8/3 less than p?
True
Let k be 2/9 - 1 - -1. Let r(c) = 3*c + 27. Let a be r(-9). Is k < a?
False
