s a > r?
False
Let g = 7 + -12. Let d = g - -7. Suppose -5*z - 1 + 16 = 0. Which is smaller: z or d?
d
Let i = 1 - 1. Let y = -127549/1532 - -5/766. Let v = 84 + y. Is i < v?
True
Let u = 4 + 0. Suppose 0 = 6*s - 2*s + 3*j - 3, -s + 4 = u*j. Let l be 10/24 - (-2)/(-3). Is l < s?
True
Let k(x) = 2*x + 3. Let f be k(-2). Let g be (8/28)/(f - -2). Let w(j) = j - 6. Let l be w(5). Which is bigger: g or l?
g
Let g = -34 + 34. Is 1/23 greater than or equal to g?
True
Let j be (1 - 4)*(-8)/(-276). Which is bigger: j or 1?
1
Suppose w = -0*w + 3. Suppose 2*t + 3*r + 1 = 0, -5*r - 3 = w*t + t. Does t = -2?
True
Let c be ((-1)/5)/((-6)/5). Let h be -5 + ((-1)/9)/((-25)/1075). Which is smaller: c or h?
h
Let h = 4 - 10. Let b = h - -7. Which is greater: 0.6 or b?
b
Suppose -2*w - 3 = -2*a - 1, 12 = 4*w + 4*a. Let s(q) be the first derivative of 2*q**3/3 - q**2/2 - q + 2. Let y be s(-1). Which is smaller: w or y?
w
Suppose -5*g = 2*m - 0 - 1, 0 = -4*m - 2*g + 10. Do m and 13/4 have different values?
True
Let x be 4/(-18) + 1208/4464. Let s = -151/558 + x. Suppose 3*n = -c - c + 3, 0 = -3*n + 3. Which is greater: c or s?
c
Suppose 0 = -2*r - 3 + 23. Is 0.1 equal to r?
False
Let f = -209 + 1883/9. Suppose -6*s + s = 2*v + 14, s + 2*v = -6. Let n = s - -3. Which is smaller: f or n?
f
Suppose -p - 4*p + 20 = 0. Suppose 0 = -y + 5*o + 9, y - 9 = p*o - 2. Which is bigger: y or 0.06?
0.06
Let f = -13 - -25. Let r = 4 + 8. Is r at most as big as f?
True
Let c(z) = 11*z - 8. Let o be c(1). Which is greater: 25/6 or o?
25/6
Let z = -450/7 + 64. Let k = 2 + 0. Suppose -5*j = 4*i - 6, -4*j + 12 = -6*i + k*i. Is z <= i?
False
Suppose -3*z + 69 = 5*g + z, z = -4. Let p = g + -19. Does p = -4/3?
False
Let c(k) = 2*k**2 - k - 9. Let u be c(0). Which is smaller: -7 or u?
u
Suppose -2 = u + 1. Which is bigger: u or -13/4?
u
Let g be (-1)/4 + (-1)/(-4). Suppose -5*r - z = -4, r + r - 3*z - 5 = g. Suppose -12*t + 2 = -11*t. Which is smaller: t or r?
r
Let c = 22 + -18. Let o be 3 + (39/27 - c). Is 2/9 >= o?
False
Let o be 3*-2*5/10. Let n(t) = 2*t**2 + 6*t. Let r be n(o). Which is smaller: r or -2/37?
-2/37
Suppose -2*q + 49 + 13 = 0. Is q < 31?
False
Suppose -10 = -n + 6*n + 2*m, 5*m = -3*n - 25. Is 1/53 at least n?
True
Suppose 0 = 2*a - j - 0*j + 13, 0 = a + 2*j + 19. Suppose -t = -c + 12, -2*t - 48 + 18 = -4*c. Let z = t - a. Which is smaller: 2/7 or z?
z
Let l be (1 - 2)/((-1)/(-2)). Let u be (2/6)/(l/(-30)). Suppose -3*q + u*q = -2. Which is smaller: 0 or q?
q
Let o = -9 + 12. Suppose g = -o*g + 20. Which is smaller: 6 or g?
g
Suppose -5 = 4*x - 1. Is x bigger than -0.7?
False
Suppose -1 = -5*o - 6. Which is smaller: o or 1/56?
o
Suppose 2 = 3*m + 5. Let u be 2/(-7) - 130/(-406). Let o = u + 80/203. Which is smaller: o or m?
m
Suppose 9*n = 6*n. Which is smaller: 4/13 or n?
n
Let i = 2371/6 + -394. Are i and 1 unequal?
True
Suppose 2 = 5*v - 7*v - 4*h, 2*v - h - 13 = 0. Suppose 3*d = -w - 0*w - 245, 3*d = v*w + 1189. Let g = -1676/7 - w. Is g at most 1/4?
True
Let f = -12 + 14. Which is bigger: -2 or f?
f
Let w be 1 + -2 - ((-132)/124 - 0). Which is smaller: 0 or w?
0
Suppose 2*j + v - 1 = 0, v + 2*v = 5*j + 25. Suppose t - 15 = -4. Let d = 8 - t. Is d at most as big as j?
True
Let k be 4 + (-1)/((-3)/(-6)). Suppose 0 = a - 8 + k. Let m be (9/a + -1)*4. Is m > 2?
False
Let o = 21/13 - 160/91. Is o < -1?
False
Suppose 0 = -75*c + 83*c + 16. Which is greater: c or -0.09?
-0.09
Let r = 8 + -12. Let u be r/26 + 2/13. Is u smaller than 0?
False
Suppose 22 + 73 = -5*y. Let s be y/40 - (-9)/15. Is 1 less than s?
False
Suppose 0 = -4*i + 20, 4*i = 2*q + 2*i + 12. Let r(u) = -4*u + 1. Let h be r(q). Is h not equal to 6?
True
Let s = 6/7 + -32/21. Suppose -2*u + 5*u = 6. Let w = u - 2. Which is greater: w or s?
w
Let v be 2/8 - (-1)/(-28). Which is bigger: v or -1?
v
Suppose -17*x + 9*x - 8 = 0. Are x and 2 unequal?
True
Let l(f) = -3*f - 6. Let v be l(-6). Let r = 6 + v. Let p be 14/(-4) + r/12. Which is greater: p or 0?
0
Let v = 6.3 - 4.3. Let q = 0 + 0.1. Which is bigger: v or q?
v
Let h be (10/(-7))/(10/(-70)). Let z = 17 - 8. Which is smaller: h or z?
z
Suppose z - 3*k - 2 - 6 = 0, -z + 11 = -4*k. Let f be z - (2 + -3 + -1). Let u be 2/(f - (-1 - -1)). Which is greater: 1 or u?
u
Suppose 5*j - 6*j = 3*h, -5*h - 14 = 4*j. Let d be 4/j - (-38)/(-6). Are d and -6 equal?
False
Let i = 0.1 + -0.05. Let k = i - 2.05. Let h be (-2 + 4)/2 + -2. Which is bigger: h or k?
h
Let u(d) = 2*d - 5. Let z be u(4). Let b be z + (-60)/9 - -3. Do 0 and b have the same value?
False
Suppose 0 = 2*v + v + 27. Let x = -16 - v. Let y be 50/28 - (-2)/x. Which is smaller: 2 or y?
y
Let h = -2 - -5. Let b = 1 - 5. Let m = h + b. Is 0.3 <= m?
False
Suppose 0 = -g - 3*g - 3*b - 1, -5*g - 5*b = 0. Let f = 1 + g. Let w be ((-24)/(-32))/(-3 + 0). Is w greater than f?
False
Suppose 10*m = 7*m + 3. Let t(a) = 6*a**3 + a + 3. Let k(i) = 31*i**3 + 6*i + 16. Let f(p) = 2*k(p) - 11*t(p). Let c be f(m). Is -4 > c?
False
Let b = 231/4 - 58. Is b < -2?
False
Let g be (24/64)/((-3)/4). Let q = -1.1 - -1. Let h = q + 0.3. Is h greater than or equal to g?
True
Let b = 12 + -12. Which is smaller: 1 or b?
b
Let n = 0.26 - 0.16. Which is greater: 0.04 or n?
n
Suppose x + 3*t = 7*t + 1, 4*t = 4*x + 8. Let h be 12/(x + 0) - -3. Let b be h + 2/(28/18). Is b smaller than -1?
False
Let m be (12/1144)/(2/18). Let a = 3/22 + m. Which is bigger: 1 or a?
1
Let p = -80 + 718/9. Let g be 4/8 - (-9)/2. Let k = g - 4. Which is smaller: k or p?
p
Suppose -2*j - 11 + 34 = 5*h, h = -j + 7. Let s = j - 6. Let m be ((-1)/(-1 + 0))/(-3). Which is smaller: s or m?
s
Suppose 7 - 52 = -5*j. Let p be 113/(-7)*3/j. Let g = p - -17/3. Is g greater than 0?
True
Suppose 81 = -4*d + 3*v, 0 = 2*d - 2*v + 6 + 36. Let p be d/45 + (-2)/(-5). Is 1 at most as big as p?
False
Let x be -1 - 5 - (10 - 13). Are x and 0 non-equal?
True
Let l = 6 + -3. Let c(d) = -11*d. Let y be c(-1). Suppose l*h - 5 = -y. Is h equal to -2?
True
Let b(p) = 3*p + 1. Let s be b(-1). Let a = -3.04 - -3.3. Let z = a + 0.04. Is z less than s?
False
Let c(d) = d**3 + 4*d**2 + 3. Let h = -1 - 3. Let y be c(h). Which is greater: y or 2?
y
Suppose 0 = 5*p - 0*p - 5. Is p at most as big as -1?
False
Let i(a) = -a + 1. Let o be (-4)/(-2)*(-10)/(-4). Let y be i(o). Let k be -3 - (0/(-3) - 0). Are y and k non-equal?
True
Let q(b) = b**2 - 7*b + 9. Let k be q(6). Suppose k*x = 3*y + 15, 5*x = x - 5*y + 47. Let o = x + -5. Which is greater: 4 or o?
4
Suppose -5*f - 3 = -13. Let n = -2 + f. Suppose n = -3*h + 5*g + 10, h = 5*h - 5*g - 10. Are 0 and h non-equal?
False
Let g(r) = -r - 5. Let s be g(3). Let b = s - -4. Is -3 at least b?
True
Suppose -j - 1 = -3*c, c - 2*c = 5*j + 5. Let f be 2/4*(-10)/(-25). Which is smaller: c or f?
c
Suppose 4*d + 50 = -2*b, -d - 24 = -3*b - 1. Which is smaller: d or -13?
d
Let l be ((-250)/(-15))/((-4)/6). Is l smaller than -25?
False
Let b = -1 - -2. Let a be (-2 + 3)/(b/(-2)). Which is smaller: a or -1?
a
Let w(b) = -9 - 3*b**2 + 6*b**2 - 4*b**2 - 11*b - 2. Let a(f) = f**3 + 4*f**2 + 3*f + 2. Let j be a(-4). Let c be w(j). Is 8 smaller than c?
False
Let r(z) = -14*z - 3. Let s be r(1). Which is smaller: -18 or s?
-18
Let h = 99 + -43. Let p be 20/h*8/10. Is p at most as big as 0.4?
True
Let t(j) = -j**2 + 9*j - 6. Let y be t(8). Let w be (-5)/y*(-4)/65. Is 1 at least w?
True
Let v be 328/(-1050) - (58/(-7) + 8). Which is bigger: 0 or v?
0
Let c be 20/70 - 172/14. Let n be (c/(-8) + -2)*-10. Is 5 at least n?
True
Suppose -4*w + 4753 + 3839 = 0. Let u be ((-2)/(-36))/(340/w). Let y = -7/30 + u. Which is greater: y or -1?
y
Let i = 9641/27 + -357. Which is smaller: 0 or i?
0
Let a be -1*3/(-3)*0. Suppose -4*o + 6*p = p - 15, -5*o - 3*p - 9 = a. Which is smaller: o or 2?
o
Let n(x) = x - 2. Let w be n(2). Let h be (-29)/(-3) - (-2)/6. Suppose h*m = 9*m. Is w <= m?
True
Let a = 5.4 + -5. Let o = -0.32 + 0.02. Let n = o + a. Which is bigger: n or 0.03?
n
Let r = -452 + 27570/61. Which is smaller: r or -1?
-1
Let w = 34 + -67/2. Is w less than 0.7?
True
Let f be (9/12)/((-15)/(-2)). Which is greater: f or -1?
f
Let l be (-142)/66 - 1/(-3). Let v = l - -69/44. Suppose 2*y = -g - 4, 4*g + 5 = 2*y - 1. Do v and y have different values?
True
Let l = 2.06 - 0.06