/(68/2890) + -6. Is 39 at most as big as b?
False
Let i(j) = -5*j - 10. Let r(l) = -5*l + 26. Let a be r(6). Let b be i(a). Do b and 13 have different values?
True
Let h = 14.5 + -0.5. Let i = h + -14.9. Let l = i + 1. Which is smaller: 0.2 or l?
l
Suppose -2*r - 5*u = -30, r - u = 3*u + 2. Let y be ((-2)/4)/(3 - r/4). Which is smaller: -1/47 or y?
y
Suppose 5*t + 9*b = 14*b - 5, -3*t - 2*b + 2 = 0. Is t at least as big as -1?
True
Let p be (4/(-8))/((-2)/(-8)). Let i = 33 + -581/17. Is i less than p?
False
Suppose -5*z - 35 = -3*m + 8*m, -4*m + 2*z - 10 = 0. Let d be (m/(-1))/(50/5). Suppose -4*v = p - 4, 3*p + 0*p - v + 1 = 0. Is d greater than p?
True
Let l be ((-2 - (-124)/12)*3)/1. Let g be -1 - ((-12)/50)/(5/l). Let s(k) = k - 5. Let o be s(4). Which is smaller: o or g?
o
Suppose 0 = v - 10*v - 108. Let w be (3/v)/((-15)/12). Which is smaller: w or -1?
-1
Let k be (-1)/4 + (-84)/(-16). Suppose 0 = k*m - 9*m + 56. Let l = 15 - m. Which is smaller: l or 6/5?
l
Suppose 4*d - 40*d = -34128. Do d and 949 have the same value?
False
Let m be (38 - (-2)/(-1))*108/(-162). Do m and -23 have the same value?
False
Let i be 26/10 + (-6)/(-15). Suppose 4*m = f - 21, 5*f - 19 = f + i*m. Which is smaller: f or 0.01?
0.01
Let y = -75076/21 + 1084432/273. Let j = y + -397. Are j and -2 unequal?
True
Let c = -12/55 - -82/55. Which is bigger: 2 or c?
2
Let j be -1 + (-20)/15 - -3. Which is smaller: 0.2 or j?
0.2
Suppose 6*j = 4*j - 63850. Let u = j + 223074/7. Let s = 57 + u. Is s < -3?
False
Let o be 10576/(-112) + (-8)/14. Let f = 111 + o. Is 13 bigger than f?
False
Let d = 370 - 207. Which is smaller: 1/3 or d?
1/3
Let a(u) = u - 7. Let g be a(9). Suppose 16*i + 4 = 18*i. Suppose -i*b + 33 = 29. Is g >= b?
True
Suppose -384 = 2*l - 5*u + 268, -1028 = 3*l + 5*u. Let g be (-74)/l - (-9)/(-72). Let s(i) = i**2 + 8*i - 10. Let j be s(-9). Which is smaller: j or g?
j
Let z = -155 + 91. Let c be z/2 - (6 + -8). Let a be 6/c - 4/5. Is 3/8 <= a?
False
Let d = 380 - 380.157. Which is bigger: 1/3 or d?
1/3
Suppose 0 = -11*g + 10*g - 15. Which is greater: 3 or g?
3
Let z be (-3*(-4)/16 - 0)*76. Let a = z + -51. Suppose k - 21 = -2*k. Are k and a unequal?
True
Let q(v) = -2*v**2 - 3*v. Let x be q(-2). Let y be ((-3)/12*x)/(-1). Let s(g) = g**2 - 2*g - 6. Let h be s(-2). Is y greater than h?
False
Suppose -11*q + 45 = -14*q. Let o = 106/7 + q. Is o less than 0?
False
Let i(r) = r**2 - 8*r - 28. Let s be i(12). Suppose 7*g + 36 = -s. Let m(n) = n**3 - 5*n**2 - 6*n - 8. Let o be m(6). Is o bigger than g?
False
Let d be 2*(-3 - (-39)/18). Suppose 4 + 2 = -3*h. Which is bigger: h or d?
d
Suppose 1 = 4*h - 4*k - 15, 0 = -4*k - 8. Let y(s) = 3*s**2 + s + 2. Let p be y(h). Suppose -2*j + 22 = -4*t, -4*j = -0*j - t - p. Which is greater: j or 5/2?
j
Let x be 11/(-22)*2/3. Which is bigger: x or -58/5?
x
Suppose 11*b - 23 = 76. Suppose 0 = p + 3*p - 2*t - 42, 3*t = 2*p - 23. Are b and p equal?
False
Let b = -391295/66 + 18290/3. Let a = 168 - b. Which is smaller: 0 or a?
0
Suppose -r - 2*r - f + 25 = 0, 55 = 3*r - 5*f. Let q be r/(-20) + 51/(-42). Do q and -3 have different values?
True
Suppose 2*n = 5*n, -2*o - 2*n = 30. Let z be 1*(1 - (-39)/6)*-2. Is z greater than or equal to o?
True
Let a = -9977329/1127 - -8853. Which is smaller: 1 or a?
a
Let r = -865 + 62281/72. Which is smaller: 1 or r?
r
Let k(u) = 4*u - 9. Let w be k(3). Suppose 19 = -w*z + 4*o - 33, -3*o + 9 = -z. Which is greater: -23 or z?
-23
Suppose 170 = 5*m - 4*t, -m - 5*t + 22 = -12. Let h = 61 - m. Let o = 28 - h. Is 1/5 greater than or equal to o?
False
Suppose -5*x + 65 - 40 = 0. Suppose -5*b - 116 = -4*h, 3*h - 5*h = x*b + 92. Which is bigger: b or -21?
b
Let l = 128 - 85. Which is smaller: 39 or l?
39
Let a = 881 + -901. Which is smaller: a or -1/17?
a
Let b(m) = -m + 7. Let x be b(-3). Let q be 1192/(-20) - 4/x. Let a be q/(-14) - (-12)/(-3). Do a and -1/5 have different values?
True
Let l be 19/7 + 6/21. Suppose 5*m - 163 = -l. Let w be (44/m - -2) + -3. Is w less than 1?
True
Let q(a) = -a**2 - 7. Let m be q(0). Let u = -4.33 - -4.23. Does m = u?
False
Suppose 5*o - 5 = 5*i, 0 = 3*o - 3*i + i. Let d(p) = 4*p**2 - 44*p + 62. Let v be d(7). Is v < o?
True
Suppose 3*f - 5 = 2*f, -9 = -x + 5*f. Suppose -2*t - x = -t. Let d = t + 16. Do -18 and d have the same value?
True
Let h be 6/(-4)*20/(-50). Suppose 0*v - 3*v + 4 = r, -2*r = 5*v - 6. Are h and v equal?
False
Suppose -u - 4*a - 122 = 0, 3*a + 536 = -4*u - a. Let r = u - -141. Which is bigger: -0.16 or r?
r
Let i = -8 - -5. Let h be (2 - 3)/(i/51). Let l = 8 - h. Is -10 < l?
True
Let v = -2.3 - -2.44. Let q = v - 2.14. Which is greater: 6 or q?
6
Let i be ((-18)/80)/((-2)/8). Let m = i + -17/10. Let j be 0/(-3*8/24). Is j > m?
True
Let r be ((-140)/(-46) - 3)/(-5). Let v = -67 + 66. Is v smaller than r?
True
Let c = 447/175 - -4/25. Is 2 at least as big as c?
False
Suppose 5*j + 700 = -v + 2*v, 5*v + j - 3370 = 0. Let d = v + -1515/2. Let n = d + 81. Which is bigger: -3 or n?
n
Let b = 48.1 - 57. Let r = -1.1 + b. Let g = -9 - r. Do -0.01 and g have the same value?
False
Suppose 0 = -3*g - 5*k - 46, 2*g - 4*k + 2*k = -4. Let s be (-15)/(-3) + g - -16. Is s smaller than 13?
False
Suppose 0*d + d - 18 = 0. Let j be (-2)/8 + d/(-152). Are -1 and j non-equal?
True
Let m = 3.498 - 2.498. Let h = 2.03 + -0.03. Is h greater than or equal to m?
True
Let a = 1 - 1. Let l(v) = -v**2 + 2. Let k be l(a). Let z be (108/(-126))/(48/(-14) + 3). Is k less than z?
False
Let d = -13.383 + 13.3. Let l = d + 0.008. Is 0 not equal to l?
True
Let s be -2*1 + 8 + -5. Let q be s*((-3)/6 - 1). Let h(w) = 2*w - 11. Let k be h(5). Which is bigger: k or q?
k
Let i = 2.946 - 3. Let g = i + -23.946. Which is greater: -3 or g?
-3
Suppose 0 = 5*d - 3*w + 54, -12 = 42*d - 40*d + 2*w. Which is smaller: -85/9 or d?
-85/9
Let r = -44.6 - -44.5. Which is greater: r or 7.9?
7.9
Let q = 4 - -4. Let h(a) = 5*a - 12. Let k be h(q). Let p be k/(-12)*4/(-14). Is 0 < p?
True
Let l(i) = -i**2 + 14*i + 30. Let c be l(16). Let v be (c + 0 + 10)*-1. Which is smaller: v or -7?
v
Let q be 0 + (-1138)/5590 + (-1)/(-5). Is 1 >= q?
True
Let a(l) = -l**3 - 4*l**2 + 3. Let b be a(-4). Let t be (b - (-1196)/(-492)) + (-2)/3. Is 1 at most t?
False
Let j = 59 - 630. Let f be 2/(-3) - (2 + j/213). Which is bigger: 0 or f?
f
Let p = 1117 - 1117. Is p less than -2383?
False
Let h be ((-40)/(-25))/(6/2700*-2). Is h not equal to -360?
False
Let c = 125 + -58. Let l = 66 - c. Is l < 4/5?
True
Let p be (-3)/(-20) + ((-85)/25 - -3). Let v = -9 + 6. Let c = -3.14 - v. Which is smaller: c or p?
p
Let n = -0.2 + 0. Let c = -0.3 - n. Let u be 68/(-1020) + 1/(-3). Does c = u?
False
Let c be 1 + 1 + 0*(-1)/2. Suppose -4*o - z + 4 = 0, 4*z = -c*o + 2 - 0. Let j = -0.04 + 0.01. Is o bigger than j?
True
Suppose 4*z = 2*o, 3*o + z - 2 = 26. Suppose 2*y = -4 + 8. Let g = y - o. Is -6 greater than or equal to g?
True
Let i(g) = g**2 + 4*g. Let a be i(-5). Suppose -3*h - o + 3 = -a, 0 = 2*o - 4. Suppose b + h = 3*b. Which is bigger: b or 0?
b
Let z = -231 - -232. Do z and -26.6 have different values?
True
Suppose 5*i + 2*f = -f - 11, -5*i - 23 = -f. Let n be 0 - (i + 3)*0. Suppose n = -3*x - 5*r + 37, 0*x - 2*r - 23 = -3*x. Are -0.1 and x unequal?
True
Let h = -44 + 52. Suppose -2*n - h - 6 = -4*o, 4*o - 12 = 4*n. Which is smaller: 3 or n?
n
Let o = 12 + -9. Let s be (o - 10/1)/(-1). Suppose -k + 2*p - s = 0, 0*p = 2*k - p + 2. Is 8/5 at least k?
True
Let u = -93 - -150. Which is smaller: u or 59?
u
Let p be ((-6)/(-165) - 0)*-1. Let c = -89 + 101. Suppose 2*j + 2*d + 2*d = c, -2*d = -6. Which is smaller: j or p?
p
Suppose 5*a = -3*h + 4*a + 8, 0 = h - 4*a - 20. Suppose h*n + 76 = -2*f - 22, 2*f + 98 = 4*n. Is -49 < f?
False
Let r = 15 - 7. Let f = r + -9. Let q = f + -1. Are q and -5 equal?
False
Suppose 34*j + 34 = 33*j. Let m = 34 + j. Which is smaller: m or -1/60?
-1/60
Let n = 0.2 - 0.1. Let b = -44.3 - 12.7. Let v = b + 51. Is v > n?
False
Let y be 25/35*26/(-5005). Which is smaller: y or 1?
y
Let g(q) = -q**3 + 4*q**2 - 2*q - 2. Let y be g(2). Suppose 4*k - 5 = 19. Is k smaller than y?
False
Suppose 36*g = 5*g - 31. Is g < -6/539?
True
Let a be 161/(-2) + (-112)/(-16). Which is smaller: -73 or a?
a
Let d = 193 - 192.