or d?
d
Suppose -h - h = 0. Let n = -934/9 - -104. Which is smaller: h or n?
h
Let g be -3 + (3 - 1) + 1. Which is smaller: g or -4/19?
-4/19
Let o(z) = 2*z + 1. Let n be o(1). Let i be (-3 - 0) + n + -1. Let g be 1*-1 - (-8)/6. Are g and i non-equal?
True
Let z be 1 + (2 - 1) + 0. Suppose z*i = -i. Let v = -12 + 15. Which is bigger: i or v?
v
Suppose 0 = -5*m + 16 - 21. Suppose 5*q = -20, -j + 4*q + 12 = 3*j. Is j less than or equal to m?
True
Let x = -99 - -51. Is -48 greater than or equal to x?
True
Let a(c) = -1. Let j(f) = f + 12. Let t(x) = x**3 + 7*x**2 + 7*x + 5. Let p be t(-6). Let o(r) = p*j(r) - 3*a(r). Let u be o(-7). Is -2/3 less than u?
False
Let p = -17 - -14. Suppose 2*m + 3 = -3. Is m <= p?
True
Let d be (-2)/1 + 34/14. Let g = -72/5 + 1003/70. Let j = g - d. Is j less than -4?
False
Suppose 0 = -0*q + q, -9 = -3*t - q. Suppose -2 + 5 = -t*b. Is -1 equal to b?
True
Let t be ((-92)/(-115))/(((-6)/5)/3). Are t and 42 unequal?
True
Let j = 1/15 - 49/60. Suppose 2*a + y = -2*a + 17, 0 = a - 5*y + 22. Suppose -a - 2 = 5*l. Is l at most j?
True
Let w = -1/442 + 905/9282. Which is bigger: w or 1?
1
Let v be 30/(-72) + (-4)/(-16). Suppose -a - 1 + 2 = 0. Is a at most as big as v?
False
Let c be -2 - (-3)/1 - 1. Let h = c - -1. Let i be h + -1 - (1 + -1). Which is smaller: i or -0.1?
-0.1
Let d = -7 + -19. Is d < -26?
False
Let r(h) = h**2 - 7*h + 3. Let l be 164/28 - (-2)/14. Let o be r(l). Suppose 5*c - c = -8. Which is greater: o or c?
c
Let b = -9 + 6. Let y = b + 1. Let s = 0 - y. Is s at most as big as 2/3?
False
Let n = 147/61 + 3623/1281. Let z = -32/7 + n. Let f = -0.4 - -0.3. Which is bigger: f or z?
z
Let m be 2/(-4)*(19 + -19). Are m and 6/17 equal?
False
Let t = -835/9 - -93. Which is smaller: t or -0.8?
-0.8
Let o = -10 + 26. Let x = -15.98 + o. Is x bigger than -2/3?
True
Let x = -11 - -19. Let m be ((-4)/6)/(x/12). Let l be ((-2)/(-18))/(m/(-2)). Which is smaller: -1 or l?
-1
Suppose -6 + 2 = 5*z - w, -3*z + 5*w = -2. Let c(r) = -3*r**2 - 6*r. Let v be c(-6). Let y be 1/4 - (-2)/v. Which is greater: z or y?
y
Let y be (-154)/7*(-3)/2. Let n be 6/4*154/y. Let d be (-40)/(-14) - 21/n. Is -1 less than or equal to d?
True
Let x = -3 + 5. Suppose v - 2 = x*v. Suppose 0 = -2*g - 0*g. Which is smaller: g or v?
v
Let a be (-1 - 5) + 10/2. Which is bigger: a or 2/253?
2/253
Suppose 4*c + 33 = w, -2*c = 2*w - 5*c - 51. Which is bigger: 19 or w?
w
Let f(k) = k - 2. Let u be f(3). Let b be 0/((u - -2)/(-1)). Let d be (0 + 0 + b)/2. Which is smaller: d or -1?
-1
Let s be ((-9)/6)/((-165)/20). Suppose 5*v + 8 = -2*h, -2*v + h + 2 + 2 = 0. Is v less than s?
True
Let h = 14 - 6. Let d be (-4)/(-1)*h/80. Is d smaller than 1/19?
False
Suppose -l + 0*l - 1 = 0. Which is bigger: 1/6 or l?
1/6
Let y = -8 - -11. Suppose y*r + 3*j + 7 + 5 = 0, -7 = r + 2*j. Is 2 < r?
False
Suppose 2*u + 3 = 5. Let m = -15 - -9. Let d be 4/m - u/(-1). Which is smaller: d or 0?
0
Suppose 1 = 2*y - 5. Suppose 127 = -y*g + 19. Let h = g + 107/3. Are -1 and h nonequal?
True
Let x be 120/99*39/(-198). Let w = -2/121 - x. Which is greater: w or -3/7?
w
Let a be (-1)/(-3) + (-115)/21. Let y = -151/28 - a. Let m be (-1 - -1)/(((-60)/(-5))/(-6)). Which is bigger: y or m?
m
Let r(h) = -h - 2. Let g be r(-7). Suppose 2*m + 0 = -2*i - 4, 0 = -g*m + i - 10. Let t = -16 + 13. Which is bigger: t or m?
m
Let g = -109 - -108.78. Which is bigger: -1/3 or g?
g
Let d = 6 - 2. Suppose -3*u + d*u + 4 = 3*b, 3*b = -u - 4. Let o = -248/3 - -82. Is o bigger than b?
False
Suppose 2*o = 3*o + 4. Which is smaller: -3 or o?
o
Suppose 2*x + x = 3. Let f = 15 - 15. Let o be f/(-1) - (-15 - -12). Is x greater than or equal to o?
False
Let f(g) = -3*g + 4*g + 0 + 0*g - 3. Let c be f(2). Is c > 1/10?
False
Suppose 5*w + 1 = -9. Let s be (w/8)/((-2)/(-6)). Let t = -1 + 1. Is t greater than s?
True
Let f = 60 - 60.2. Which is bigger: f or 2/5?
2/5
Let g = 598 + -2999/5. Which is smaller: g or -3?
-3
Let p = -32 - -20. Let j(h) = -h**2 + 31*h + 91. Let u be j(34). Is u <= p?
False
Let r = -20 + 14.5. Let c = 2.2 + r. Let l = 0.3 + c. Is l greater than -0.1?
False
Let h = -6 - -7. Suppose 4*m = 0, -5*m = 2*x - h - 7. Suppose -q + x = -3. Is 6 != q?
True
Let p be 5/((-17)/(-4) - 4). Is p not equal to 1?
True
Let t = 4.5 - 5. Let z = t + 0.6. Which is greater: 0.2 or z?
0.2
Let y(x) = x**2 + 4*x + 4. Suppose -9 = l - 3*a, 3*l + 0*l = a - 11. Let n be y(l). Let r be (-1 - 1/(-1))*n. Is -2/25 >= r?
False
Suppose 0*s = -2*s - 10, -25 = 5*x - 4*s. Which is smaller: -12 or x?
-12
Suppose 4*x - b = -6*b - 19, x + b = -4. Is -20/23 greater than or equal to x?
True
Let u(d) = d**2 - 6*d + 1. Let g be u(6). Let z be 2/(-1) + 0 + g. Is z bigger than -1?
False
Suppose 5*z - 17 = u, -2 = -4*z - 0*z - 5*u. Let h = z + -2. Which is smaller: h or 0?
0
Let c = -4.9 - -0.9. Let u = c + 4.1. Which is bigger: 2 or u?
2
Let s be ((-2)/(-5))/((-4)/(-40)). Suppose -3 = -s*b + 1. Suppose -b = 3*x - 4. Does -1/5 = x?
False
Let w(a) = a**2 - 5*a + 3. Let q be w(3). Is q at least 2/7?
False
Let f(t) = 10*t - 7*t - 2*t - 7. Let a be f(7). Which is bigger: a or 1/14?
1/14
Suppose -18 = 2*t + t. Let y(o) = -o**3 + o**2. Let b be y(2). Let d be ((-8)/90)/(b/t). Which is greater: -1 or d?
d
Let g = -0.58 + 0.39. Let r = -0.11 + g. Let c = -2 + 4. Is r <= c?
True
Let p be -3 - -5 - 10 - -1. Which is greater: -9 or p?
p
Let r be ((-1)/3)/((-8)/12). Which is greater: r or 1?
1
Suppose 5*v + 2 = -2*h, 4*h + 0*h + 4 = 2*v. Which is bigger: v or -1/62?
v
Let n = 5 + -7. Is n bigger than -3?
True
Let x be (-1 + 0)/((-3)/9). Suppose 0 = d - 6*d. Suppose 4*r - x*r = d. Which is greater: -1 or r?
r
Let y(v) = -v - 2. Let m be y(-1). Let i be (-3)/(78/4) + 48/(-26). Is m <= i?
False
Let o be (-2 + (-176)/(-90))*-5. Is o at most -1?
False
Let f(w) = 1. Let r(g) = g**2 - g + 4. Let b(c) = -6*f(c) + r(c). Let k be b(0). Let j = -2/525 + -313/525. Are j and k nonequal?
True
Let t = 65729501/3006684 + -4/250557. Let h = t + -87/4. Is -2/5 >= h?
False
Let g = 3 + 0. Suppose -d - 4 = -g*d. Let u = -2 + d. Which is smaller: -2 or u?
-2
Let y(i) = i**2 - i + 4. Let o be y(0). Let l be ((-6)/(-18))/(2/78). Suppose 3*d + 9 + 0 = 3*p, -p + l = 4*d. Which is bigger: o or p?
p
Let g(u) = -u**2 - 3*u + 4. Let a be g(-4). Let l = -0.25 + 0.05. Let c = l - -0.3. Which is smaller: c or a?
a
Let v = 64.1 + -64. Is v equal to -10?
False
Suppose 3*d + 24 = 2*v, -2*d + 5*v - 5 = -0*d. Suppose 13 - 57 = 4*m. Is m < d?
True
Let o be (-1 - -1)*2/(-4). Let r(x) = -x**3 - 4*x**2 + 5*x + 3. Let k be r(-5). Suppose 5*y - k*m = 3*y, 2*y + 2*m = 0. Is o at least y?
True
Suppose 3*a = -3*c - 33, 2*c - 6*c = 3*a + 40. Is c != -6?
True
Let k = -0.1 + 0.3. Suppose 5*i = 2*g + 17, -3*g - 1 = -13. Suppose 0 = -i*v + 2*v - 3. Is k bigger than v?
True
Let p = -12 + 11. Let v = 1 + p. Which is smaller: v or -4?
-4
Let i be 1/(-9) - (-3)/9. Which is smaller: 1 or i?
i
Let i = -0.095 - -5.195. Let s = i - 0.1. Let z = -4 + s. Which is bigger: z or -3?
z
Let k = 13 + -10. Let i be (-3)/2*(-4)/(-6). Which is bigger: i or k?
k
Suppose 5*z + 9 = -5*r + 4*z, 2*r + 3 = -z. Which is smaller: r or -1?
r
Suppose 2*w + 0*w - 6 = 2*p, w = 3*p + 5. Suppose 3*v - 5*v = -4*q + 2, 3*v + 3 = 4*q. Is p at least as big as q?
False
Let l(m) = -m**2 - 5*m - 2. Let c be l(-3). Let v be (-15)/(-5)*c/198. Is 0 != v?
True
Let u be (-14)/35 - (-33)/(-5). Let t be (-3)/(12/u)*12. Let l be (2 + t/(-6))/3. Which is smaller: -1 or l?
-1
Let c be (-277)/(-11) - (-2)/(-11). Suppose 4*q = x - q - c, -4*q - 20 = -2*x. Do 1/8 and x have the same value?
False
Let m(n) = n**3 + 4*n**2 - 6*n. Let v be m(-5). Suppose 0 = -v*x + 6*x - 8. Are 1 and x equal?
False
Suppose 2*w = -4, -i + 3*w - 38 = 6*w. Do -33 and i have the same value?
False
Suppose 0 = -0*l + l. Let c = -2 + 12. Let y be (-6)/10*c/(-4). Which is greater: l or y?
y
Suppose z = 3*c - 3, 4*c + 3*z - z = 4. Let w be (4 + 0/(-2))/c. Suppose w + 4 = 2*r. Is r less than 3?
False
Let n = -17 - -21. Suppose -4*o - 10 - 6 = -n*i, -5*i + 3*o = -10. Is i smaller than -4/17?
True
Suppose 9*o - 32 = o. Is o less than 5?
True
Let t = -3.99 - -4. Let f = -1.99 - t. Let v = -2 - f. Which is smaller: v or 1?
v
Let d be (-2)/(-3) - 28/6. Let b be (1/2)/(2/d). Suppose 