 r?
r
Let d = -1/571 + -3986/6281. Which is bigger: d or -2?
d
Let y = -0.3 - 0.7. Let f = 0.2 + 1. Let n = y + f. Is -0.3 smaller than n?
True
Suppose -s + 5*s - 16 = 0. Suppose -3*z + 13 = -w, 7*z - 3*z + s*w + 4 = 0. Let h(b) = b**2 - 6*b + 7. Let p be h(5). Which is bigger: p or z?
z
Let i(l) = l + 8. Let m be i(-10). Let j be 10/(-4) - (-2)/(-4). Do m and j have different values?
True
Let k(r) = -r**3 + 0*r**3 + 2*r**3 + 7*r**2. Let j be k(-7). Let h be (-12)/(-8)*2/12. Which is smaller: j or h?
j
Let j(s) = 4*s**3 - 11*s**2 - s - 3*s**3 + 0 - 3 + 16. Let t be j(11). Is -0.2 >= t?
False
Suppose -4*h - 27 = -7, 24 = j - 5*h. Which is greater: 2/113 or j?
2/113
Let l = -5 - -4.7. Let c = -0.12 + 0.02. Let u = c + 1.1. Which is greater: l or u?
u
Let l be (2 - -6)*7/2. Which is greater: l or 29?
29
Suppose -2*x + 5 = 1. Is 6/7 <= x?
True
Let z = -0.1 + 0.1. Let r = 195.1 - 195. Is z greater than r?
False
Let m = -3 + 5. Let d(h) = m*h + 11*h**2 - 4 - 5 - 11*h - h**3. Let z be d(10). Do -2/9 and z have the same value?
False
Let c = 0.12 - 0.05. Let l = 0.07 - c. Let u = l + 5. Which is bigger: u or 0?
u
Let v = -33 + 23. Let j = 0.07 + 10.93. Let x = v + j. Which is smaller: -1/14 or x?
-1/14
Suppose -2*c + o = -4*o - 15, -2*c + o = -3. Let u = -31.9 - -33. Which is smaller: u or c?
c
Let x be (-74)/26 + (-4)/26. Let f be (-13)/x - (-3)/(-9). Suppose -2*s + 6 = -4*i, -2*i + f*s - 9 = s. Which is greater: i or 1?
1
Let m = -2 - -4. Suppose 4*j + 3 = 7*j. Suppose -1 = -m*c + j. Is c less than or equal to -1?
False
Let d = -3 - -2. Let y be d - (-28 + 1)/(-3). Is y equal to -10?
True
Let c = 1/39 - -115/78. Suppose -i - 4*i + 15 = 0. Let y = -2 + i. Is y smaller than c?
True
Let g = -1 - -1. Let z be 44/(-99)*2/(7 + 1). Are g and z equal?
False
Let s be (-358)/(-12) + 6/36. Let h = 2918/5 + -30438/55. Let l = s - h. Which is smaller: 0 or l?
l
Let c = 2 + -2. Let f(n) = -n**2 + 3*n. Let a be f(3). Suppose 3*w - w = a. Are c and w equal?
True
Let d(f) = 2*f - 7. Let n be d(6). Suppose -n*m + 46 = -4*k, -5*k - 33 + 13 = 0. Let w = 1 + 6. Is w >= m?
True
Let n(p) = -2*p + 5. Let u be n(4). Let w(v) = v + 4. Let d be w(u). Let x be -1*(-2 + 3)*-1. Is d <= x?
True
Let r be (-172)/444 + (-2)/(-6). Which is greater: -1 or r?
r
Let l(o) = -o + 8. Let t = 21 + -11. Let m be l(t). Which is greater: m or -8?
m
Suppose 0*c = 2*c - 44. Suppose -c*j + 21*j = -6. Are 5 and j nonequal?
True
Suppose 1 = 4*n - 7. Which is smaller: 10/7 or n?
10/7
Let w = 1.77 + -0.75. Let r = 0.02 - w. Let k = r + 9. Are -2/3 and k nonequal?
True
Let n = -7/101 + 2473/707. Which is smaller: n or 4?
n
Let m = -10 - -12. Let r be m + -5 - (-4 + 0). Which is bigger: r or 1/2?
r
Suppose 0 = j + 4*u - 7 - 1, 4*j - 2 = -u. Which is bigger: j or -4/7?
j
Let m = 12.33 - 13.1. Let i = -0.8 - m. Let q = i + -0.97. Is q smaller than -1?
False
Let m(f) = -5*f**3 + f. Let j be m(-1). Let p(q) = -q**2 + 4*q + 2. Let u be p(j). Let n be (26/(-12) + u)/(-1). Which is smaller: -1 or n?
-1
Let s = 196 + -587/3. Do s and 0.76 have different values?
True
Suppose -2*t = 2*f - 0*f + 42, -f - 17 = -3*t. Which is greater: f or -18?
-18
Suppose -8 = 4*i - 6*i. Suppose -1 = -3*l + 2*o, i*l - 9 = -0*l - 5*o. Let v be (-1)/4 + 45/84. Which is smaller: l or v?
v
Suppose 4*d = 2*b + 10, b = -6*d + 5*d + 1. Let j be 74/14 - d/7. Suppose -3*k + 1 = -j. Which is smaller: 3 or k?
k
Let o = -26 - -26. Which is smaller: -3 or o?
-3
Let r = -13 - -18. Let d be 136/140 + (-2)/r. Is d at most 2?
True
Let f be ((-6)/18)/(1 + 22/(-27)). Are f and -1 non-equal?
True
Let s be (290/16)/5 + -3. Is 2/5 < s?
True
Suppose n + 4 = 2*n. Is 5 < n?
False
Suppose 0 = c + 2*u, -3 = 2*c + 3*u - 1. Which is smaller: -2 or c?
c
Suppose 2 = 3*s - 4. Suppose -s*p + 6 = 2. Suppose -p = -a - 0*a. Is 3 < a?
False
Suppose -2*b = -3*g + 5, -9 - 1 = -2*g - 2*b. Let f = 3 - -1. Suppose -r = -f*r + g. Are -1 and r equal?
False
Let q = 0 + 2. Suppose 0 = -3*l + 5*b + 46 - 9, 3*l - 3*b - 27 = 0. Suppose l*k - q*k = -6. Do k and -3 have the same value?
True
Let s be (2/11)/(2 + 1). Suppose -j - 2*u - 13 = -4*j, 5*j - 3*u - 20 = 0. Which is smaller: s or j?
s
Let y(z) = -4*z**3 + z**2 + z + 1. Let p be y(-1). Suppose p*k - 2 = -42. Let m be (-1)/(16/14 + -1). Is m equal to k?
False
Let o(a) = 40*a**2 - 2*a + 1. Let t be o(1). Is 2/7 <= t?
True
Let s(o) = o**2 + 2*o - 25. Let f be s(8). Which is smaller: -1 or f?
-1
Let v(t) = -t**3 + 6*t**2 - 4*t - 2. Let h be v(5). Suppose -24 = 6*k - h*k. Is k smaller than -8?
False
Let c be ((-2)/(-4))/((-14)/(-84)). Is c at least 2?
True
Suppose 4*h - 11 = -2*r + 13, -5*r = 3*h - 18. Let u be h/(-21) - (-94)/84. Which is smaller: 0 or u?
0
Let a(j) = 6*j**2 + 4*j + 3. Let c be a(-1). Suppose 0*r - 2*r + 11 = -3*q, 0 = -4*r + q + 17. Which is bigger: r or c?
c
Let j = 19 - 9. Are j and 10 equal?
True
Suppose 0 = -2*d - 2*o + 4*o + 12, 3*o = -3*d - 12. Is 5/4 not equal to d?
True
Let r be 2/3 + 34/(-42). Suppose 4*c + 23 = 3. Let y be 2/c + 2/5. Which is bigger: y or r?
y
Let h = -5 + -1. Let l = h + 4. Which is greater: 0.3 or l?
0.3
Let p = 0.01 - -0.09. Let k = 0.2 - 0.5. Let o = k + p. Is o greater than or equal to 1/3?
False
Let q = -4 - -24. Let z = -14 + q. Suppose z*b = 3*b. Is b >= -2?
True
Let t = -2/245 - -249/490. Which is greater: 7 or t?
7
Suppose 0 = 5*z + q + 77, 0*q = -4*z - q - 61. Let w = -15 - z. Suppose -t - t = -4. Which is bigger: t or w?
t
Suppose 3*c + 3*y = 3, 2*c + 2*y = -c. Which is smaller: -18/11 or c?
c
Suppose 3*q = 4*y + 31, 0 = -2*q + y - 0*y + 14. Suppose 4*h - 1 = q*h. Let w = -98 + 880/9. Are h and w nonequal?
True
Suppose -3*s + s = -6. Suppose -2*t - 10 = s*t. Let x be (0 - t)/(3 - 2). Which is smaller: x or 4/7?
4/7
Let m = 5 - 32. Let r = 63 + m. Let u be (7 - 1)*8/r. Which is bigger: 2 or u?
2
Let y(o) = o**2 + o + 5. Let w be y(0). Suppose 4*i = -i + w. Suppose 3*k = f - 1, -3*k - 6 = f - i. Is 0 equal to k?
False
Let j = -7 + 12. Suppose -4*m + 12 = 3*n - 5*n, -15 = -j*m. Let l be (-4)/(-42) - 0*7/(-21). Which is smaller: l or n?
n
Suppose -4*b - 8 = 4. Is b greater than -5?
True
Let s = 26/287 + 8/41. Let h = 1/31 + -57/806. Let q = -7/13 - h. Does q = s?
False
Suppose -3*x - 4*r - 93 = 0, -x - 4*x - 2*r = 155. Are -31 and x equal?
True
Let w = -11 + 9. Let t(y) = -y**2 + 4*y + 8. Let b be t(6). Is w bigger than b?
True
Let q = 15 + -16.1. Let n = q - 2.9. Let z be 6/(-9)*(-3)/(-6). Which is smaller: n or z?
n
Let f be ((-1)/(-2)*4)/(-15). Suppose 0 = -u + 2*x + 3 - 2, 5*x = -5*u - 25. Let i(b) = b**3 + 4*b**2 + 4*b + 2. Let z be i(u). Which is smaller: z or f?
z
Let t(z) = -z**3 + z**2 + z + 2. Let d be t(0). Suppose -d = -4*r + 14. Suppose r*v = -v - 5. Is -2/7 greater than or equal to v?
True
Suppose -2 = -4*b + 4*o - 3*o, b - 5*o - 10 = 0. Let t(s) = s**2 - 2*s. Let r be t(2). Suppose r = -3*d - 2 + 5. Which is smaller: d or b?
b
Let q = -11.7 + 12. Which is smaller: -3 or q?
-3
Let t = -1 + 6. Suppose t*w - 9 = -2*h, 0 = 3*w + 4*h + 3. Suppose -n - w + 0 = 0. Which is bigger: -2 or n?
-2
Let a = 3 + -2. Let u(r) = r**3 - 1. Let c be u(a). Suppose 4*d = 2*x - c + 6, -2*d = x - 1. Is x at least as big as -2?
True
Suppose -4*y + 42 = 3*t, 3*t - 37 = -2*y - 13. Is 3 not equal to y?
True
Let c = -19 + 20. Which is greater: c or -2?
c
Let x(b) = b**2 + 9*b - 1. Let d be x(-9). Let l(g) = -6*g**3 + g. Let c be l(d). Suppose -c*s + f = -2*f + 17, -2*f = s - 7. Are -1 and s non-equal?
False
Suppose 6 + 10 = 4*j. Suppose j*s - 5*s - 1 = 0. Is 5 smaller than s?
False
Let j = 0.99 - 1. Let y = -0.29 + j. Let w be 3/(-2)*(-16)/36. Which is smaller: y or w?
y
Let b be 2/(-13) - 72/39. Let o = -4 - -7. Let q = o + -3.1. Which is bigger: b or q?
q
Let i(t) = t**3 + 4*t**2 + t + 1. Let a be i(-4). Is a at most as big as -2?
True
Let a be 3405/35 - (-2)/(-7). Which is greater: 98 or a?
98
Let m = -2.8 - -16.8. Let h = m + -14.09. Let v = -0.09 - h. Is -1/4 < v?
True
Suppose 2*c - 7*c = 5*v, 1 = -4*c - 5*v. Let s = -46/5 + 327/35. Is s < c?
True
Let p be 5/(-4) + 6/24. Which is bigger: p or -1/29?
-1/29
Suppose 4*n = 4*x + 4, 2*x - 4*x = -3*n - 3. Let y = 7 + x. Are 1 and y equal?
True
Let o(j) = -10*j + 1. Let h be o(-1). Suppose 3*r = 2*i - 0*r - h, 2*i = -r + 23. Let f(m) = -